Matches in SemOpenAlex for { <https://semopenalex.org/work/W215962318> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W215962318 endingPage "50" @default.
- W215962318 startingPage "33" @default.
- W215962318 created "2016-06-24" @default.
- W215962318 creator A5090023801 @default.
- W215962318 date "2009-04-01" @default.
- W215962318 modified "2023-09-24" @default.
- W215962318 title "On general methods for proving reduction properties of typed lambda terms (Proof theoretical study of the structure of logic and computation)" @default.
- W215962318 hasPublicationYear "2009" @default.
- W215962318 type Work @default.
- W215962318 sameAs 215962318 @default.
- W215962318 citedByCount "0" @default.
- W215962318 crossrefType "journal-article" @default.
- W215962318 hasAuthorship W215962318A5090023801 @default.
- W215962318 hasConcept C105605280 @default.
- W215962318 hasConcept C108710211 @default.
- W215962318 hasConcept C111335779 @default.
- W215962318 hasConcept C11413529 @default.
- W215962318 hasConcept C120665830 @default.
- W215962318 hasConcept C121332964 @default.
- W215962318 hasConcept C136119220 @default.
- W215962318 hasConcept C199343813 @default.
- W215962318 hasConcept C199360897 @default.
- W215962318 hasConcept C202444582 @default.
- W215962318 hasConcept C2524010 @default.
- W215962318 hasConcept C2777686260 @default.
- W215962318 hasConcept C2778113609 @default.
- W215962318 hasConcept C33923547 @default.
- W215962318 hasConcept C41008148 @default.
- W215962318 hasConcept C45374587 @default.
- W215962318 hasConcept C71924100 @default.
- W215962318 hasConceptScore W215962318C105605280 @default.
- W215962318 hasConceptScore W215962318C108710211 @default.
- W215962318 hasConceptScore W215962318C111335779 @default.
- W215962318 hasConceptScore W215962318C11413529 @default.
- W215962318 hasConceptScore W215962318C120665830 @default.
- W215962318 hasConceptScore W215962318C121332964 @default.
- W215962318 hasConceptScore W215962318C136119220 @default.
- W215962318 hasConceptScore W215962318C199343813 @default.
- W215962318 hasConceptScore W215962318C199360897 @default.
- W215962318 hasConceptScore W215962318C202444582 @default.
- W215962318 hasConceptScore W215962318C2524010 @default.
- W215962318 hasConceptScore W215962318C2777686260 @default.
- W215962318 hasConceptScore W215962318C2778113609 @default.
- W215962318 hasConceptScore W215962318C33923547 @default.
- W215962318 hasConceptScore W215962318C41008148 @default.
- W215962318 hasConceptScore W215962318C45374587 @default.
- W215962318 hasConceptScore W215962318C71924100 @default.
- W215962318 hasIssue "1635" @default.
- W215962318 hasLocation W2159623181 @default.
- W215962318 hasOpenAccess W215962318 @default.
- W215962318 hasPrimaryLocation W2159623181 @default.
- W215962318 hasRelatedWork W1483284084 @default.
- W215962318 hasRelatedWork W1510003740 @default.
- W215962318 hasRelatedWork W1519167703 @default.
- W215962318 hasRelatedWork W1519256419 @default.
- W215962318 hasRelatedWork W1524162187 @default.
- W215962318 hasRelatedWork W1558816505 @default.
- W215962318 hasRelatedWork W1580916215 @default.
- W215962318 hasRelatedWork W1585536033 @default.
- W215962318 hasRelatedWork W1852594029 @default.
- W215962318 hasRelatedWork W1971227473 @default.
- W215962318 hasRelatedWork W202861734 @default.
- W215962318 hasRelatedWork W2078766035 @default.
- W215962318 hasRelatedWork W2133487056 @default.
- W215962318 hasRelatedWork W2141287679 @default.
- W215962318 hasRelatedWork W2168281995 @default.
- W215962318 hasRelatedWork W2386978531 @default.
- W215962318 hasRelatedWork W2588945208 @default.
- W215962318 hasRelatedWork W2962954677 @default.
- W215962318 hasRelatedWork W2963595366 @default.
- W215962318 hasRelatedWork W3088664422 @default.
- W215962318 hasVolume "1635" @default.
- W215962318 isParatext "false" @default.
- W215962318 isRetracted "false" @default.
- W215962318 magId "215962318" @default.
- W215962318 workType "article" @default.