FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1736942297> ?p ?o ?g. }

• W1736942297 endingPage "40" @default.
• W1736942297 startingPage "21" @default.
• W1736942297 created "2016-06-24" @default.
• W1736942297 creator A5008534457 @default.
• W1736942297 creator A5056420469 @default.
• W1736942297 date "2000-01-01" @default.
• W1736942297 modified "2023-09-27" @default.
• W1736942297 title "A Predicative Strong Normalisation Proof for a λCalculus with Interleaving Inductive Types" @default.
• W1736942297 cites W1503362807 @default.
• W1736942297 cites W1507113273 @default.
• W1736942297 cites W1549406551 @default.
• W1736942297 cites W1587287586 @default.
• W1736942297 cites W165729215 @default.
• W1736942297 cites W2031678037 @default.
• W1736942297 cites W2097508095 @default.
• W1736942297 cites W2149837936 @default.
• W1736942297 cites W2911433283 @default.
• W1736942297 doi "https://doi.org/10.1007/3-540-44557-9_2" @default.
• W1736942297 hasPublicationYear "2000" @default.
• W1736942297 type Work @default.
• W1736942297 sameAs 1736942297 @default.
• W1736942297 citedByCount "14" @default.
• W1736942297 countsByYear W17369422972013 @default.
• W1736942297 countsByYear W17369422972014 @default.
• W1736942297 countsByYear W17369422972015 @default.
• W1736942297 crossrefType "book-chapter" @default.
• W1736942297 hasAuthorship W1736942297A5008534457 @default.
• W1736942297 hasAuthorship W1736942297A5056420469 @default.
• W1736942297 hasConcept C104317684 @default.
• W1736942297 hasConcept C111919701 @default.
• W1736942297 hasConcept C118615104 @default.
• W1736942297 hasConcept C129131279 @default.
• W1736942297 hasConcept C136119220 @default.
• W1736942297 hasConcept C138885662 @default.
• W1736942297 hasConcept C158448853 @default.
• W1736942297 hasConcept C17020691 @default.
• W1736942297 hasConcept C17744445 @default.
• W1736942297 hasConcept C178421362 @default.
• W1736942297 hasConcept C185592680 @default.
• W1736942297 hasConcept C18903297 @default.
• W1736942297 hasConcept C199343813 @default.
• W1736942297 hasConcept C199539241 @default.
• W1736942297 hasConcept C202444582 @default.
• W1736942297 hasConcept C2524010 @default.
• W1736942297 hasConcept C2777026412 @default.
• W1736942297 hasConcept C2777299769 @default.
• W1736942297 hasConcept C2777686260 @default.
• W1736942297 hasConcept C28034677 @default.
• W1736942297 hasConcept C28077239 @default.
• W1736942297 hasConcept C2834757 @default.
• W1736942297 hasConcept C33923547 @default.
• W1736942297 hasConcept C41008148 @default.
• W1736942297 hasConcept C41895202 @default.
• W1736942297 hasConcept C55493867 @default.
• W1736942297 hasConcept C71924100 @default.
• W1736942297 hasConcept C86339819 @default.
• W1736942297 hasConcept C86803240 @default.
• W1736942297 hasConcept C93682546 @default.
• W1736942297 hasConceptScore W1736942297C104317684 @default.
• W1736942297 hasConceptScore W1736942297C111919701 @default.
• W1736942297 hasConceptScore W1736942297C118615104 @default.
• W1736942297 hasConceptScore W1736942297C129131279 @default.
• W1736942297 hasConceptScore W1736942297C136119220 @default.
• W1736942297 hasConceptScore W1736942297C138885662 @default.
• W1736942297 hasConceptScore W1736942297C158448853 @default.
• W1736942297 hasConceptScore W1736942297C17020691 @default.
• W1736942297 hasConceptScore W1736942297C17744445 @default.
• W1736942297 hasConceptScore W1736942297C178421362 @default.
• W1736942297 hasConceptScore W1736942297C185592680 @default.
• W1736942297 hasConceptScore W1736942297C18903297 @default.
• W1736942297 hasConceptScore W1736942297C199343813 @default.
• W1736942297 hasConceptScore W1736942297C199539241 @default.
• W1736942297 hasConceptScore W1736942297C202444582 @default.
• W1736942297 hasConceptScore W1736942297C2524010 @default.
• W1736942297 hasConceptScore W1736942297C2777026412 @default.
• W1736942297 hasConceptScore W1736942297C2777299769 @default.
• W1736942297 hasConceptScore W1736942297C2777686260 @default.
• W1736942297 hasConceptScore W1736942297C28034677 @default.
• W1736942297 hasConceptScore W1736942297C28077239 @default.
• W1736942297 hasConceptScore W1736942297C2834757 @default.
• W1736942297 hasConceptScore W1736942297C33923547 @default.
• W1736942297 hasConceptScore W1736942297C41008148 @default.
• W1736942297 hasConceptScore W1736942297C41895202 @default.
• W1736942297 hasConceptScore W1736942297C55493867 @default.
• W1736942297 hasConceptScore W1736942297C71924100 @default.
• W1736942297 hasConceptScore W1736942297C86339819 @default.
• W1736942297 hasConceptScore W1736942297C86803240 @default.
• W1736942297 hasConceptScore W1736942297C93682546 @default.
• W1736942297 hasLocation W17369422971 @default.
• W1736942297 hasOpenAccess W1736942297 @default.
• W1736942297 hasPrimaryLocation W17369422971 @default.
• W1736942297 hasRelatedWork W1567995736 @default.
• W1736942297 hasRelatedWork W20138908 @default.
• W1736942297 hasRelatedWork W2037502636 @default.
• W1736942297 hasRelatedWork W2112970627 @default.
• W1736942297 hasRelatedWork W2152655108 @default.
• W1736942297 hasRelatedWork W2242636821 @default.
• W1736942297 hasRelatedWork W2609602555 @default.
• W1736942297 hasRelatedWork W4295295521 @default.
• W1736942297 hasRelatedWork W4297908055 @default.

• next