Matches in SemOpenAlex for { <https://semopenalex.org/work/W4302798575> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W4302798575 endingPage "232" @default.
- W4302798575 startingPage "217" @default.
- W4302798575 created "2022-10-07" @default.
- W4302798575 creator A5020294470 @default.
- W4302798575 date "2002-01-01" @default.
- W4302798575 modified "2023-09-25" @default.
- W4302798575 title "Generalization in Type Theory Based Proof Assistants" @default.
- W4302798575 cites W1492893226 @default.
- W4302798575 cites W1512176711 @default.
- W4302798575 cites W1538053944 @default.
- W4302798575 cites W1599035857 @default.
- W4302798575 cites W2107923385 @default.
- W4302798575 cites W4239022653 @default.
- W4302798575 doi "https://doi.org/10.1007/3-540-45842-5_14" @default.
- W4302798575 hasPublicationYear "2002" @default.
- W4302798575 type Work @default.
- W4302798575 citedByCount "3" @default.
- W4302798575 countsByYear W43027985752018 @default.
- W4302798575 crossrefType "book-chapter" @default.
- W4302798575 hasAuthorship W4302798575A5020294470 @default.
- W4302798575 hasConcept C108710211 @default.
- W4302798575 hasConcept C11413529 @default.
- W4302798575 hasConcept C134306372 @default.
- W4302798575 hasConcept C177148314 @default.
- W4302798575 hasConcept C18903297 @default.
- W4302798575 hasConcept C199343813 @default.
- W4302798575 hasConcept C199360897 @default.
- W4302798575 hasConcept C203265346 @default.
- W4302798575 hasConcept C2318724 @default.
- W4302798575 hasConcept C2524010 @default.
- W4302798575 hasConcept C2777299769 @default.
- W4302798575 hasConcept C2777686260 @default.
- W4302798575 hasConcept C33923547 @default.
- W4302798575 hasConcept C41008148 @default.
- W4302798575 hasConcept C71924100 @default.
- W4302798575 hasConcept C80444323 @default.
- W4302798575 hasConcept C86803240 @default.
- W4302798575 hasConcept C93682546 @default.
- W4302798575 hasConceptScore W4302798575C108710211 @default.
- W4302798575 hasConceptScore W4302798575C11413529 @default.
- W4302798575 hasConceptScore W4302798575C134306372 @default.
- W4302798575 hasConceptScore W4302798575C177148314 @default.
- W4302798575 hasConceptScore W4302798575C18903297 @default.
- W4302798575 hasConceptScore W4302798575C199343813 @default.
- W4302798575 hasConceptScore W4302798575C199360897 @default.
- W4302798575 hasConceptScore W4302798575C203265346 @default.
- W4302798575 hasConceptScore W4302798575C2318724 @default.
- W4302798575 hasConceptScore W4302798575C2524010 @default.
- W4302798575 hasConceptScore W4302798575C2777299769 @default.
- W4302798575 hasConceptScore W4302798575C2777686260 @default.
- W4302798575 hasConceptScore W4302798575C33923547 @default.
- W4302798575 hasConceptScore W4302798575C41008148 @default.
- W4302798575 hasConceptScore W4302798575C71924100 @default.
- W4302798575 hasConceptScore W4302798575C80444323 @default.
- W4302798575 hasConceptScore W4302798575C86803240 @default.
- W4302798575 hasConceptScore W4302798575C93682546 @default.
- W4302798575 hasLocation W43027985751 @default.
- W4302798575 hasLocation W43027985752 @default.
- W4302798575 hasLocation W43027985753 @default.
- W4302798575 hasOpenAccess W4302798575 @default.
- W4302798575 hasPrimaryLocation W43027985751 @default.
- W4302798575 hasRelatedWork W1537343097 @default.
- W4302798575 hasRelatedWork W2003964583 @default.
- W4302798575 hasRelatedWork W2109631547 @default.
- W4302798575 hasRelatedWork W2166197034 @default.
- W4302798575 hasRelatedWork W2186727393 @default.
- W4302798575 hasRelatedWork W2277214925 @default.
- W4302798575 hasRelatedWork W2606289262 @default.
- W4302798575 hasRelatedWork W2886069053 @default.
- W4302798575 hasRelatedWork W29617856 @default.
- W4302798575 hasRelatedWork W4287280922 @default.
- W4302798575 isParatext "false" @default.
- W4302798575 isRetracted "false" @default.
- W4302798575 workType "book-chapter" @default.