Matches in SemOpenAlex for { <https://semopenalex.org/work/W196654925> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W196654925 startingPage "578" @default.
- W196654925 created "2016-06-24" @default.
- W196654925 creator A5073189486 @default.
- W196654925 date "1999-09-20" @default.
- W196654925 modified "2023-09-22" @default.
- W196654925 title "Interactive Theorem Proving Using Type Theory" @default.
- W196654925 hasPublicationYear "1999" @default.
- W196654925 type Work @default.
- W196654925 sameAs 196654925 @default.
- W196654925 citedByCount "0" @default.
- W196654925 crossrefType "proceedings-article" @default.
- W196654925 hasAuthorship W196654925A5073189486 @default.
- W196654925 hasConcept C108710211 @default.
- W196654925 hasConcept C111498074 @default.
- W196654925 hasConcept C127413603 @default.
- W196654925 hasConcept C151730666 @default.
- W196654925 hasConcept C153269930 @default.
- W196654925 hasConcept C18903297 @default.
- W196654925 hasConcept C195818886 @default.
- W196654925 hasConcept C199360897 @default.
- W196654925 hasConcept C203265346 @default.
- W196654925 hasConcept C206880738 @default.
- W196654925 hasConcept C2524010 @default.
- W196654925 hasConcept C2777299769 @default.
- W196654925 hasConcept C2779343474 @default.
- W196654925 hasConcept C2780428219 @default.
- W196654925 hasConcept C33923547 @default.
- W196654925 hasConcept C41008148 @default.
- W196654925 hasConcept C78519656 @default.
- W196654925 hasConcept C80444323 @default.
- W196654925 hasConcept C86803240 @default.
- W196654925 hasConcept C93682546 @default.
- W196654925 hasConceptScore W196654925C108710211 @default.
- W196654925 hasConceptScore W196654925C111498074 @default.
- W196654925 hasConceptScore W196654925C127413603 @default.
- W196654925 hasConceptScore W196654925C151730666 @default.
- W196654925 hasConceptScore W196654925C153269930 @default.
- W196654925 hasConceptScore W196654925C18903297 @default.
- W196654925 hasConceptScore W196654925C195818886 @default.
- W196654925 hasConceptScore W196654925C199360897 @default.
- W196654925 hasConceptScore W196654925C203265346 @default.
- W196654925 hasConceptScore W196654925C206880738 @default.
- W196654925 hasConceptScore W196654925C2524010 @default.
- W196654925 hasConceptScore W196654925C2777299769 @default.
- W196654925 hasConceptScore W196654925C2779343474 @default.
- W196654925 hasConceptScore W196654925C2780428219 @default.
- W196654925 hasConceptScore W196654925C33923547 @default.
- W196654925 hasConceptScore W196654925C41008148 @default.
- W196654925 hasConceptScore W196654925C78519656 @default.
- W196654925 hasConceptScore W196654925C80444323 @default.
- W196654925 hasConceptScore W196654925C86803240 @default.
- W196654925 hasConceptScore W196654925C93682546 @default.
- W196654925 hasLocation W1966549251 @default.
- W196654925 hasOpenAccess W196654925 @default.
- W196654925 hasPrimaryLocation W1966549251 @default.
- W196654925 hasRelatedWork W1483198369 @default.
- W196654925 hasRelatedWork W1513782751 @default.
- W196654925 hasRelatedWork W1515169568 @default.
- W196654925 hasRelatedWork W1647688562 @default.
- W196654925 hasRelatedWork W1958676488 @default.
- W196654925 hasRelatedWork W1980237913 @default.
- W196654925 hasRelatedWork W2059882796 @default.
- W196654925 hasRelatedWork W2109917208 @default.
- W196654925 hasRelatedWork W2115503997 @default.
- W196654925 hasRelatedWork W2123470495 @default.
- W196654925 hasRelatedWork W2127784146 @default.
- W196654925 hasRelatedWork W2134175771 @default.
- W196654925 hasRelatedWork W2146692504 @default.
- W196654925 hasRelatedWork W2160267725 @default.
- W196654925 hasRelatedWork W2166178773 @default.
- W196654925 hasRelatedWork W2258230469 @default.
- W196654925 hasRelatedWork W2284603212 @default.
- W196654925 hasRelatedWork W24943673 @default.
- W196654925 hasRelatedWork W2573990656 @default.
- W196654925 hasRelatedWork W3160537972 @default.
- W196654925 isParatext "false" @default.
- W196654925 isRetracted "false" @default.
- W196654925 magId "196654925" @default.
- W196654925 workType "article" @default.