Matches in SemOpenAlex for { <https://semopenalex.org/work/W1489809529> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1489809529 endingPage "281" @default.
- W1489809529 startingPage "266" @default.
- W1489809529 created "2016-06-24" @default.
- W1489809529 creator A5016090065 @default.
- W1489809529 date "2001-01-01" @default.
- W1489809529 modified "2023-10-14" @default.
- W1489809529 title "A Type-Theoretic Approach to Induction with Higher-Order Encodings" @default.
- W1489809529 cites W1496188934 @default.
- W1489809529 cites W1517052937 @default.
- W1489809529 cites W1561822296 @default.
- W1489809529 cites W1582062578 @default.
- W1489809529 cites W1634581701 @default.
- W1489809529 cites W1727609483 @default.
- W1489809529 cites W18425853 @default.
- W1489809529 cites W1949275316 @default.
- W1489809529 cites W1974190112 @default.
- W1489809529 cites W2033339909 @default.
- W1489809529 cites W2039977878 @default.
- W1489809529 cites W2123990062 @default.
- W1489809529 cites W4234528212 @default.
- W1489809529 cites W77859606 @default.
- W1489809529 doi "https://doi.org/10.1007/3-540-45653-8_18" @default.
- W1489809529 hasPublicationYear "2001" @default.
- W1489809529 type Work @default.
- W1489809529 sameAs 1489809529 @default.
- W1489809529 citedByCount "4" @default.
- W1489809529 crossrefType "book-chapter" @default.
- W1489809529 hasAuthorship W1489809529A5016090065 @default.
- W1489809529 hasConcept C108710211 @default.
- W1489809529 hasConcept C11413529 @default.
- W1489809529 hasConcept C154945302 @default.
- W1489809529 hasConcept C17744445 @default.
- W1489809529 hasConcept C18903297 @default.
- W1489809529 hasConcept C199343813 @default.
- W1489809529 hasConcept C199360897 @default.
- W1489809529 hasConcept C199539241 @default.
- W1489809529 hasConcept C206743973 @default.
- W1489809529 hasConcept C2524010 @default.
- W1489809529 hasConcept C2776359362 @default.
- W1489809529 hasConcept C2776378722 @default.
- W1489809529 hasConcept C2777212361 @default.
- W1489809529 hasConcept C2777299769 @default.
- W1489809529 hasConcept C2777686260 @default.
- W1489809529 hasConcept C2779382394 @default.
- W1489809529 hasConcept C33923547 @default.
- W1489809529 hasConcept C39920170 @default.
- W1489809529 hasConcept C41008148 @default.
- W1489809529 hasConcept C527412718 @default.
- W1489809529 hasConcept C71924100 @default.
- W1489809529 hasConcept C80444323 @default.
- W1489809529 hasConcept C86803240 @default.
- W1489809529 hasConcept C93682546 @default.
- W1489809529 hasConcept C94625758 @default.
- W1489809529 hasConceptScore W1489809529C108710211 @default.
- W1489809529 hasConceptScore W1489809529C11413529 @default.
- W1489809529 hasConceptScore W1489809529C154945302 @default.
- W1489809529 hasConceptScore W1489809529C17744445 @default.
- W1489809529 hasConceptScore W1489809529C18903297 @default.
- W1489809529 hasConceptScore W1489809529C199343813 @default.
- W1489809529 hasConceptScore W1489809529C199360897 @default.
- W1489809529 hasConceptScore W1489809529C199539241 @default.
- W1489809529 hasConceptScore W1489809529C206743973 @default.
- W1489809529 hasConceptScore W1489809529C2524010 @default.
- W1489809529 hasConceptScore W1489809529C2776359362 @default.
- W1489809529 hasConceptScore W1489809529C2776378722 @default.
- W1489809529 hasConceptScore W1489809529C2777212361 @default.
- W1489809529 hasConceptScore W1489809529C2777299769 @default.
- W1489809529 hasConceptScore W1489809529C2777686260 @default.
- W1489809529 hasConceptScore W1489809529C2779382394 @default.
- W1489809529 hasConceptScore W1489809529C33923547 @default.
- W1489809529 hasConceptScore W1489809529C39920170 @default.
- W1489809529 hasConceptScore W1489809529C41008148 @default.
- W1489809529 hasConceptScore W1489809529C527412718 @default.
- W1489809529 hasConceptScore W1489809529C71924100 @default.
- W1489809529 hasConceptScore W1489809529C80444323 @default.
- W1489809529 hasConceptScore W1489809529C86803240 @default.
- W1489809529 hasConceptScore W1489809529C93682546 @default.
- W1489809529 hasConceptScore W1489809529C94625758 @default.
- W1489809529 hasLocation W14898095291 @default.
- W1489809529 hasOpenAccess W1489809529 @default.
- W1489809529 hasPrimaryLocation W14898095291 @default.
- W1489809529 hasRelatedWork W1489809529 @default.
- W1489809529 hasRelatedWork W1621051805 @default.
- W1489809529 hasRelatedWork W1981809958 @default.
- W1489809529 hasRelatedWork W1986113464 @default.
- W1489809529 hasRelatedWork W2115401928 @default.
- W1489809529 hasRelatedWork W2886737850 @default.
- W1489809529 hasRelatedWork W2951694949 @default.
- W1489809529 hasRelatedWork W29617856 @default.
- W1489809529 hasRelatedWork W2963580724 @default.
- W1489809529 hasRelatedWork W3011272152 @default.
- W1489809529 isParatext "false" @default.
- W1489809529 isRetracted "false" @default.
- W1489809529 magId "1489809529" @default.
- W1489809529 workType "book-chapter" @default.