Matches in SemOpenAlex for { <https://semopenalex.org/work/W2016732053> ?p ?o ?g. }
- W2016732053 endingPage "547" @default.
- W2016732053 startingPage "521" @default.
- W2016732053 created "2016-06-24" @default.
- W2016732053 creator A5051669490 @default.
- W2016732053 date "1999-11-01" @default.
- W2016732053 modified "2023-09-26" @default.
- W2016732053 title "Sequent calculus proof theory of intuitionistic apartness and order relations" @default.
- W2016732053 cites W1224951838 @default.
- W2016732053 cites W1483568252 @default.
- W2016732053 cites W1498881275 @default.
- W2016732053 cites W1795577507 @default.
- W2016732053 cites W1983271240 @default.
- W2016732053 cites W2029517118 @default.
- W2016732053 cites W2131739376 @default.
- W2016732053 cites W2134005639 @default.
- W2016732053 cites W238104292 @default.
- W2016732053 cites W424940237 @default.
- W2016732053 cites W1933637135 @default.
- W2016732053 doi "https://doi.org/10.1007/s001530050137" @default.
- W2016732053 hasPublicationYear "1999" @default.
- W2016732053 type Work @default.
- W2016732053 sameAs 2016732053 @default.
- W2016732053 citedByCount "25" @default.
- W2016732053 countsByYear W20167320532012 @default.
- W2016732053 countsByYear W20167320532014 @default.
- W2016732053 countsByYear W20167320532016 @default.
- W2016732053 countsByYear W20167320532018 @default.
- W2016732053 countsByYear W20167320532019 @default.
- W2016732053 countsByYear W20167320532021 @default.
- W2016732053 countsByYear W20167320532022 @default.
- W2016732053 countsByYear W20167320532023 @default.
- W2016732053 crossrefType "journal-article" @default.
- W2016732053 hasAuthorship W2016732053A5051669490 @default.
- W2016732053 hasConcept C10138342 @default.
- W2016732053 hasConcept C108710211 @default.
- W2016732053 hasConcept C111404639 @default.
- W2016732053 hasConcept C111472728 @default.
- W2016732053 hasConcept C111919701 @default.
- W2016732053 hasConcept C118615104 @default.
- W2016732053 hasConcept C121332964 @default.
- W2016732053 hasConcept C136119220 @default.
- W2016732053 hasConcept C138885662 @default.
- W2016732053 hasConcept C162324750 @default.
- W2016732053 hasConcept C182306322 @default.
- W2016732053 hasConcept C189950617 @default.
- W2016732053 hasConcept C195653647 @default.
- W2016732053 hasConcept C199343813 @default.
- W2016732053 hasConcept C199360897 @default.
- W2016732053 hasConcept C202444582 @default.
- W2016732053 hasConcept C202854965 @default.
- W2016732053 hasConcept C21308566 @default.
- W2016732053 hasConcept C2185349 @default.
- W2016732053 hasConcept C2318724 @default.
- W2016732053 hasConcept C24890656 @default.
- W2016732053 hasConcept C2524010 @default.
- W2016732053 hasConcept C2777686260 @default.
- W2016732053 hasConcept C2778701210 @default.
- W2016732053 hasConcept C33923547 @default.
- W2016732053 hasConcept C41008148 @default.
- W2016732053 hasConcept C62073222 @default.
- W2016732053 hasConcept C6489637 @default.
- W2016732053 hasConcept C65880906 @default.
- W2016732053 hasConcept C71924100 @default.
- W2016732053 hasConcept C89421646 @default.
- W2016732053 hasConcept C98045186 @default.
- W2016732053 hasConceptScore W2016732053C10138342 @default.
- W2016732053 hasConceptScore W2016732053C108710211 @default.
- W2016732053 hasConceptScore W2016732053C111404639 @default.
- W2016732053 hasConceptScore W2016732053C111472728 @default.
- W2016732053 hasConceptScore W2016732053C111919701 @default.
- W2016732053 hasConceptScore W2016732053C118615104 @default.
- W2016732053 hasConceptScore W2016732053C121332964 @default.
- W2016732053 hasConceptScore W2016732053C136119220 @default.
- W2016732053 hasConceptScore W2016732053C138885662 @default.
- W2016732053 hasConceptScore W2016732053C162324750 @default.
- W2016732053 hasConceptScore W2016732053C182306322 @default.
- W2016732053 hasConceptScore W2016732053C189950617 @default.
- W2016732053 hasConceptScore W2016732053C195653647 @default.
- W2016732053 hasConceptScore W2016732053C199343813 @default.
- W2016732053 hasConceptScore W2016732053C199360897 @default.
- W2016732053 hasConceptScore W2016732053C202444582 @default.
- W2016732053 hasConceptScore W2016732053C202854965 @default.
- W2016732053 hasConceptScore W2016732053C21308566 @default.
- W2016732053 hasConceptScore W2016732053C2185349 @default.
- W2016732053 hasConceptScore W2016732053C2318724 @default.
- W2016732053 hasConceptScore W2016732053C24890656 @default.
- W2016732053 hasConceptScore W2016732053C2524010 @default.
- W2016732053 hasConceptScore W2016732053C2777686260 @default.
- W2016732053 hasConceptScore W2016732053C2778701210 @default.
- W2016732053 hasConceptScore W2016732053C33923547 @default.
- W2016732053 hasConceptScore W2016732053C41008148 @default.
- W2016732053 hasConceptScore W2016732053C62073222 @default.
- W2016732053 hasConceptScore W2016732053C6489637 @default.
- W2016732053 hasConceptScore W2016732053C65880906 @default.
- W2016732053 hasConceptScore W2016732053C71924100 @default.
- W2016732053 hasConceptScore W2016732053C89421646 @default.
- W2016732053 hasConceptScore W2016732053C98045186 @default.
- W2016732053 hasIssue "8" @default.
- W2016732053 hasLocation W20167320531 @default.
- W2016732053 hasOpenAccess W2016732053 @default.