Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023242314> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2023242314 endingPage "778" @default.
- W2023242314 startingPage "759" @default.
- W2023242314 created "2016-06-24" @default.
- W2023242314 creator A5047308562 @default.
- W2023242314 date "2013-05-28" @default.
- W2023242314 modified "2023-10-03" @default.
- W2023242314 title "A proof-search procedure for intuitionistic propositional logic" @default.
- W2023242314 cites W1528233644 @default.
- W2023242314 cites W1561567467 @default.
- W2023242314 cites W1603245130 @default.
- W2023242314 cites W1683126086 @default.
- W2023242314 cites W1846589774 @default.
- W2023242314 cites W1976964734 @default.
- W2023242314 cites W1989653304 @default.
- W2023242314 cites W2111792525 @default.
- W2023242314 cites W4249736722 @default.
- W2023242314 doi "https://doi.org/10.1007/s00153-013-0342-y" @default.
- W2023242314 hasPublicationYear "2013" @default.
- W2023242314 type Work @default.
- W2023242314 sameAs 2023242314 @default.
- W2023242314 citedByCount "0" @default.
- W2023242314 crossrefType "journal-article" @default.
- W2023242314 hasAuthorship W2023242314A5047308562 @default.
- W2023242314 hasConcept C105605280 @default.
- W2023242314 hasConcept C108710211 @default.
- W2023242314 hasConcept C111404639 @default.
- W2023242314 hasConcept C118615104 @default.
- W2023242314 hasConcept C136119220 @default.
- W2023242314 hasConcept C178421362 @default.
- W2023242314 hasConcept C195653647 @default.
- W2023242314 hasConcept C199343813 @default.
- W2023242314 hasConcept C202444582 @default.
- W2023242314 hasConcept C2318724 @default.
- W2023242314 hasConcept C2524010 @default.
- W2023242314 hasConcept C2777686260 @default.
- W2023242314 hasConcept C33923547 @default.
- W2023242314 hasConcept C62073222 @default.
- W2023242314 hasConcept C6489637 @default.
- W2023242314 hasConcept C65880906 @default.
- W2023242314 hasConcept C69562738 @default.
- W2023242314 hasConcept C71924100 @default.
- W2023242314 hasConcept C85343465 @default.
- W2023242314 hasConcept C89421646 @default.
- W2023242314 hasConceptScore W2023242314C105605280 @default.
- W2023242314 hasConceptScore W2023242314C108710211 @default.
- W2023242314 hasConceptScore W2023242314C111404639 @default.
- W2023242314 hasConceptScore W2023242314C118615104 @default.
- W2023242314 hasConceptScore W2023242314C136119220 @default.
- W2023242314 hasConceptScore W2023242314C178421362 @default.
- W2023242314 hasConceptScore W2023242314C195653647 @default.
- W2023242314 hasConceptScore W2023242314C199343813 @default.
- W2023242314 hasConceptScore W2023242314C202444582 @default.
- W2023242314 hasConceptScore W2023242314C2318724 @default.
- W2023242314 hasConceptScore W2023242314C2524010 @default.
- W2023242314 hasConceptScore W2023242314C2777686260 @default.
- W2023242314 hasConceptScore W2023242314C33923547 @default.
- W2023242314 hasConceptScore W2023242314C62073222 @default.
- W2023242314 hasConceptScore W2023242314C6489637 @default.
- W2023242314 hasConceptScore W2023242314C65880906 @default.
- W2023242314 hasConceptScore W2023242314C69562738 @default.
- W2023242314 hasConceptScore W2023242314C71924100 @default.
- W2023242314 hasConceptScore W2023242314C85343465 @default.
- W2023242314 hasConceptScore W2023242314C89421646 @default.
- W2023242314 hasIssue "7-8" @default.
- W2023242314 hasLocation W20232423141 @default.
- W2023242314 hasOpenAccess W2023242314 @default.
- W2023242314 hasPrimaryLocation W20232423141 @default.
- W2023242314 hasRelatedWork W1562648369 @default.
- W2023242314 hasRelatedWork W1573739954 @default.
- W2023242314 hasRelatedWork W1807903125 @default.
- W2023242314 hasRelatedWork W2023242314 @default.
- W2023242314 hasRelatedWork W2108922266 @default.
- W2023242314 hasRelatedWork W2134382089 @default.
- W2023242314 hasRelatedWork W2137780954 @default.
- W2023242314 hasRelatedWork W2753667555 @default.
- W2023242314 hasRelatedWork W3090765541 @default.
- W2023242314 hasRelatedWork W2584381231 @default.
- W2023242314 hasVolume "52" @default.
- W2023242314 isParatext "false" @default.
- W2023242314 isRetracted "false" @default.
- W2023242314 magId "2023242314" @default.
- W2023242314 workType "article" @default.