Matches in SemOpenAlex for { <https://semopenalex.org/work/W1989816897> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1989816897 endingPage "424" @default.
- W1989816897 startingPage "385" @default.
- W1989816897 created "2016-06-24" @default.
- W1989816897 creator A5037284320 @default.
- W1989816897 date "2007-02-27" @default.
- W1989816897 modified "2023-09-23" @default.
- W1989816897 title "Analytic proof systems for λ-calculus: the elimination of transitivity, and why it matters" @default.
- W1989816897 cites W1511937404 @default.
- W1989816897 cites W1556655517 @default.
- W1989816897 cites W18425853 @default.
- W1989816897 cites W1966663897 @default.
- W1989816897 cites W2016699565 @default.
- W1989816897 cites W2018181305 @default.
- W1989816897 cites W2036609822 @default.
- W1989816897 cites W2069624336 @default.
- W1989816897 cites W2105126759 @default.
- W1989816897 cites W2132042970 @default.
- W1989816897 cites W2149531431 @default.
- W1989816897 cites W2149904043 @default.
- W1989816897 cites W2159526276 @default.
- W1989816897 cites W3005371133 @default.
- W1989816897 doi "https://doi.org/10.1007/s00153-007-0039-1" @default.
- W1989816897 hasPublicationYear "2007" @default.
- W1989816897 type Work @default.
- W1989816897 sameAs 1989816897 @default.
- W1989816897 citedByCount "2" @default.
- W1989816897 countsByYear W19898168972019 @default.
- W1989816897 crossrefType "journal-article" @default.
- W1989816897 hasAuthorship W1989816897A5037284320 @default.
- W1989816897 hasConcept C108710211 @default.
- W1989816897 hasConcept C111335779 @default.
- W1989816897 hasConcept C11413529 @default.
- W1989816897 hasConcept C114614502 @default.
- W1989816897 hasConcept C118615104 @default.
- W1989816897 hasConcept C135754263 @default.
- W1989816897 hasConcept C136119220 @default.
- W1989816897 hasConcept C136886441 @default.
- W1989816897 hasConcept C144024400 @default.
- W1989816897 hasConcept C144133560 @default.
- W1989816897 hasConcept C162853370 @default.
- W1989816897 hasConcept C191399111 @default.
- W1989816897 hasConcept C19165224 @default.
- W1989816897 hasConcept C199343813 @default.
- W1989816897 hasConcept C202444582 @default.
- W1989816897 hasConcept C206880738 @default.
- W1989816897 hasConcept C2524010 @default.
- W1989816897 hasConcept C2777686260 @default.
- W1989816897 hasConcept C2779466795 @default.
- W1989816897 hasConcept C33923547 @default.
- W1989816897 hasConcept C71924100 @default.
- W1989816897 hasConceptScore W1989816897C108710211 @default.
- W1989816897 hasConceptScore W1989816897C111335779 @default.
- W1989816897 hasConceptScore W1989816897C11413529 @default.
- W1989816897 hasConceptScore W1989816897C114614502 @default.
- W1989816897 hasConceptScore W1989816897C118615104 @default.
- W1989816897 hasConceptScore W1989816897C135754263 @default.
- W1989816897 hasConceptScore W1989816897C136119220 @default.
- W1989816897 hasConceptScore W1989816897C136886441 @default.
- W1989816897 hasConceptScore W1989816897C144024400 @default.
- W1989816897 hasConceptScore W1989816897C144133560 @default.
- W1989816897 hasConceptScore W1989816897C162853370 @default.
- W1989816897 hasConceptScore W1989816897C191399111 @default.
- W1989816897 hasConceptScore W1989816897C19165224 @default.
- W1989816897 hasConceptScore W1989816897C199343813 @default.
- W1989816897 hasConceptScore W1989816897C202444582 @default.
- W1989816897 hasConceptScore W1989816897C206880738 @default.
- W1989816897 hasConceptScore W1989816897C2524010 @default.
- W1989816897 hasConceptScore W1989816897C2777686260 @default.
- W1989816897 hasConceptScore W1989816897C2779466795 @default.
- W1989816897 hasConceptScore W1989816897C33923547 @default.
- W1989816897 hasConceptScore W1989816897C71924100 @default.
- W1989816897 hasIssue "5-6" @default.
- W1989816897 hasLocation W19898168971 @default.
- W1989816897 hasOpenAccess W1989816897 @default.
- W1989816897 hasPrimaryLocation W19898168971 @default.
- W1989816897 hasRelatedWork W1500659951 @default.
- W1989816897 hasRelatedWork W1509982649 @default.
- W1989816897 hasRelatedWork W1858809161 @default.
- W1989816897 hasRelatedWork W1884463932 @default.
- W1989816897 hasRelatedWork W1963536278 @default.
- W1989816897 hasRelatedWork W1989816897 @default.
- W1989816897 hasRelatedWork W2020589045 @default.
- W1989816897 hasRelatedWork W2143608087 @default.
- W1989816897 hasRelatedWork W2278526301 @default.
- W1989816897 hasRelatedWork W2807891740 @default.
- W1989816897 hasVolume "46" @default.
- W1989816897 isParatext "false" @default.
- W1989816897 isRetracted "false" @default.
- W1989816897 magId "1989816897" @default.
- W1989816897 workType "article" @default.