Matches in SemOpenAlex for { <https://semopenalex.org/work/W272236185> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W272236185 endingPage "33" @default.
- W272236185 startingPage "1" @default.
- W272236185 created "2016-06-24" @default.
- W272236185 creator A5045753239 @default.
- W272236185 date "1995-08-30" @default.
- W272236185 modified "2023-09-26" @default.
- W272236185 title "Unique normal proof property for implicational minimal formulas in the intuitionistic logic" @default.
- W272236185 hasPublicationYear "1995" @default.
- W272236185 type Work @default.
- W272236185 sameAs 272236185 @default.
- W272236185 citedByCount "1" @default.
- W272236185 crossrefType "journal-article" @default.
- W272236185 hasAuthorship W272236185A5045753239 @default.
- W272236185 hasConcept C111472728 @default.
- W272236185 hasConcept C11413529 @default.
- W272236185 hasConcept C138885662 @default.
- W272236185 hasConcept C16221470 @default.
- W272236185 hasConcept C178421362 @default.
- W272236185 hasConcept C189950617 @default.
- W272236185 hasConcept C199360897 @default.
- W272236185 hasConcept C33923547 @default.
- W272236185 hasConcept C41008148 @default.
- W272236185 hasConcept C69562738 @default.
- W272236185 hasConceptScore W272236185C111472728 @default.
- W272236185 hasConceptScore W272236185C11413529 @default.
- W272236185 hasConceptScore W272236185C138885662 @default.
- W272236185 hasConceptScore W272236185C16221470 @default.
- W272236185 hasConceptScore W272236185C178421362 @default.
- W272236185 hasConceptScore W272236185C189950617 @default.
- W272236185 hasConceptScore W272236185C199360897 @default.
- W272236185 hasConceptScore W272236185C33923547 @default.
- W272236185 hasConceptScore W272236185C41008148 @default.
- W272236185 hasConceptScore W272236185C69562738 @default.
- W272236185 hasLocation W2722361851 @default.
- W272236185 hasOpenAccess W272236185 @default.
- W272236185 hasPrimaryLocation W2722361851 @default.
- W272236185 hasRelatedWork W1492846120 @default.
- W272236185 hasRelatedWork W1502488001 @default.
- W272236185 hasRelatedWork W1963559850 @default.
- W272236185 hasRelatedWork W1967187961 @default.
- W272236185 hasRelatedWork W1969658529 @default.
- W272236185 hasRelatedWork W1971424167 @default.
- W272236185 hasRelatedWork W1992606256 @default.
- W272236185 hasRelatedWork W2017209655 @default.
- W272236185 hasRelatedWork W2042899834 @default.
- W272236185 hasRelatedWork W2083944571 @default.
- W272236185 hasRelatedWork W2092871146 @default.
- W272236185 hasRelatedWork W2093881948 @default.
- W272236185 hasRelatedWork W2211994174 @default.
- W272236185 hasRelatedWork W2409304415 @default.
- W272236185 hasRelatedWork W2788679136 @default.
- W272236185 hasRelatedWork W3158093902 @default.
- W272236185 hasRelatedWork W63047115 @default.
- W272236185 hasRelatedWork W638263960 @default.
- W272236185 hasRelatedWork W8902384 @default.
- W272236185 hasRelatedWork W2183401507 @default.
- W272236185 hasVolume "95" @default.
- W272236185 isParatext "false" @default.
- W272236185 isRetracted "false" @default.
- W272236185 magId "272236185" @default.
- W272236185 workType "article" @default.