Matches in SemOpenAlex for { <https://semopenalex.org/work/W3117870086> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W3117870086 endingPage "235" @default.
- W3117870086 startingPage "230" @default.
- W3117870086 created "2021-01-05" @default.
- W3117870086 creator A5011583391 @default.
- W3117870086 creator A5038482708 @default.
- W3117870086 date "2020-01-01" @default.
- W3117870086 modified "2023-09-23" @default.
- W3117870086 title "Forward proof-search and Countermodel Construction in Intuitionistic Propositional Logic." @default.
- W3117870086 cites W124130449 @default.
- W3117870086 cites W1579056021 @default.
- W3117870086 cites W185205532 @default.
- W3117870086 cites W2014812345 @default.
- W3117870086 cites W2055466270 @default.
- W3117870086 cites W2087005564 @default.
- W3117870086 cites W2113939721 @default.
- W3117870086 cites W2140979550 @default.
- W3117870086 cites W2160399032 @default.
- W3117870086 cites W2183553861 @default.
- W3117870086 cites W2295924173 @default.
- W3117870086 cites W2593670048 @default.
- W3117870086 cites W26908971 @default.
- W3117870086 cites W2753015581 @default.
- W3117870086 cites W2785787127 @default.
- W3117870086 cites W2894077964 @default.
- W3117870086 cites W2965503064 @default.
- W3117870086 cites W2969539880 @default.
- W3117870086 cites W2970205057 @default.
- W3117870086 hasPublicationYear "2020" @default.
- W3117870086 type Work @default.
- W3117870086 sameAs 3117870086 @default.
- W3117870086 citedByCount "0" @default.
- W3117870086 crossrefType "proceedings-article" @default.
- W3117870086 hasAuthorship W3117870086A5011583391 @default.
- W3117870086 hasAuthorship W3117870086A5038482708 @default.
- W3117870086 hasConcept C102993220 @default.
- W3117870086 hasConcept C105605280 @default.
- W3117870086 hasConcept C108710211 @default.
- W3117870086 hasConcept C118615104 @default.
- W3117870086 hasConcept C14523651 @default.
- W3117870086 hasConcept C178421362 @default.
- W3117870086 hasConcept C191222856 @default.
- W3117870086 hasConcept C199343813 @default.
- W3117870086 hasConcept C199360897 @default.
- W3117870086 hasConcept C203659156 @default.
- W3117870086 hasConcept C2524010 @default.
- W3117870086 hasConcept C2777686260 @default.
- W3117870086 hasConcept C33203268 @default.
- W3117870086 hasConcept C33923547 @default.
- W3117870086 hasConcept C3845977 @default.
- W3117870086 hasConcept C41008148 @default.
- W3117870086 hasConcept C69562738 @default.
- W3117870086 hasConcept C71924100 @default.
- W3117870086 hasConceptScore W3117870086C102993220 @default.
- W3117870086 hasConceptScore W3117870086C105605280 @default.
- W3117870086 hasConceptScore W3117870086C108710211 @default.
- W3117870086 hasConceptScore W3117870086C118615104 @default.
- W3117870086 hasConceptScore W3117870086C14523651 @default.
- W3117870086 hasConceptScore W3117870086C178421362 @default.
- W3117870086 hasConceptScore W3117870086C191222856 @default.
- W3117870086 hasConceptScore W3117870086C199343813 @default.
- W3117870086 hasConceptScore W3117870086C199360897 @default.
- W3117870086 hasConceptScore W3117870086C203659156 @default.
- W3117870086 hasConceptScore W3117870086C2524010 @default.
- W3117870086 hasConceptScore W3117870086C2777686260 @default.
- W3117870086 hasConceptScore W3117870086C33203268 @default.
- W3117870086 hasConceptScore W3117870086C33923547 @default.
- W3117870086 hasConceptScore W3117870086C3845977 @default.
- W3117870086 hasConceptScore W3117870086C41008148 @default.
- W3117870086 hasConceptScore W3117870086C69562738 @default.
- W3117870086 hasConceptScore W3117870086C71924100 @default.
- W3117870086 hasLocation W31178700861 @default.
- W3117870086 hasOpenAccess W3117870086 @default.
- W3117870086 hasPrimaryLocation W31178700861 @default.
- W3117870086 hasRelatedWork W1497109150 @default.
- W3117870086 hasRelatedWork W1527948367 @default.
- W3117870086 hasRelatedWork W1550213970 @default.
- W3117870086 hasRelatedWork W1550288146 @default.
- W3117870086 hasRelatedWork W1575506967 @default.
- W3117870086 hasRelatedWork W1605082355 @default.
- W3117870086 hasRelatedWork W1807903125 @default.
- W3117870086 hasRelatedWork W2006339381 @default.
- W3117870086 hasRelatedWork W2009938424 @default.
- W3117870086 hasRelatedWork W2049227737 @default.
- W3117870086 hasRelatedWork W2055558461 @default.
- W3117870086 hasRelatedWork W2074283846 @default.
- W3117870086 hasRelatedWork W2147768374 @default.
- W3117870086 hasRelatedWork W2497456301 @default.
- W3117870086 hasRelatedWork W2609995680 @default.
- W3117870086 hasRelatedWork W2753667555 @default.
- W3117870086 hasRelatedWork W2798196221 @default.
- W3117870086 hasRelatedWork W3032980851 @default.
- W3117870086 hasRelatedWork W3046415793 @default.
- W3117870086 hasRelatedWork W3048710626 @default.
- W3117870086 isParatext "false" @default.
- W3117870086 isRetracted "false" @default.
- W3117870086 magId "3117870086" @default.
- W3117870086 workType "article" @default.