Matches in SemOpenAlex for { <https://semopenalex.org/work/W2012195956> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2012195956 endingPage "441" @default.
- W2012195956 startingPage "425" @default.
- W2012195956 created "2016-06-24" @default.
- W2012195956 creator A5030590840 @default.
- W2012195956 date "1992-09-01" @default.
- W2012195956 modified "2023-09-26" @default.
- W2012195956 title "Coquand's calculus of constructions: A mathematical foundation for a proof development system" @default.
- W2012195956 cites W174922664 @default.
- W2012195956 cites W1974396457 @default.
- W2012195956 cites W1986402635 @default.
- W2012195956 cites W2100325541 @default.
- W2012195956 cites W2568721247 @default.
- W2012195956 doi "https://doi.org/10.1007/bf01211392" @default.
- W2012195956 hasPublicationYear "1992" @default.
- W2012195956 type Work @default.
- W2012195956 sameAs 2012195956 @default.
- W2012195956 citedByCount "7" @default.
- W2012195956 countsByYear W20121959562014 @default.
- W2012195956 crossrefType "journal-article" @default.
- W2012195956 hasAuthorship W2012195956A5030590840 @default.
- W2012195956 hasConcept C108710211 @default.
- W2012195956 hasConcept C11413529 @default.
- W2012195956 hasConcept C117312493 @default.
- W2012195956 hasConcept C118615104 @default.
- W2012195956 hasConcept C127413603 @default.
- W2012195956 hasConcept C133731056 @default.
- W2012195956 hasConcept C136119220 @default.
- W2012195956 hasConcept C142362112 @default.
- W2012195956 hasConcept C153349607 @default.
- W2012195956 hasConcept C195653647 @default.
- W2012195956 hasConcept C199343813 @default.
- W2012195956 hasConcept C202444582 @default.
- W2012195956 hasConcept C2318724 @default.
- W2012195956 hasConcept C24858836 @default.
- W2012195956 hasConcept C2524010 @default.
- W2012195956 hasConcept C2777686260 @default.
- W2012195956 hasConcept C33695381 @default.
- W2012195956 hasConcept C33923547 @default.
- W2012195956 hasConcept C558565934 @default.
- W2012195956 hasConcept C62073222 @default.
- W2012195956 hasConcept C6489637 @default.
- W2012195956 hasConcept C71924100 @default.
- W2012195956 hasConcept C73301696 @default.
- W2012195956 hasConceptScore W2012195956C108710211 @default.
- W2012195956 hasConceptScore W2012195956C11413529 @default.
- W2012195956 hasConceptScore W2012195956C117312493 @default.
- W2012195956 hasConceptScore W2012195956C118615104 @default.
- W2012195956 hasConceptScore W2012195956C127413603 @default.
- W2012195956 hasConceptScore W2012195956C133731056 @default.
- W2012195956 hasConceptScore W2012195956C136119220 @default.
- W2012195956 hasConceptScore W2012195956C142362112 @default.
- W2012195956 hasConceptScore W2012195956C153349607 @default.
- W2012195956 hasConceptScore W2012195956C195653647 @default.
- W2012195956 hasConceptScore W2012195956C199343813 @default.
- W2012195956 hasConceptScore W2012195956C202444582 @default.
- W2012195956 hasConceptScore W2012195956C2318724 @default.
- W2012195956 hasConceptScore W2012195956C24858836 @default.
- W2012195956 hasConceptScore W2012195956C2524010 @default.
- W2012195956 hasConceptScore W2012195956C2777686260 @default.
- W2012195956 hasConceptScore W2012195956C33695381 @default.
- W2012195956 hasConceptScore W2012195956C33923547 @default.
- W2012195956 hasConceptScore W2012195956C558565934 @default.
- W2012195956 hasConceptScore W2012195956C62073222 @default.
- W2012195956 hasConceptScore W2012195956C6489637 @default.
- W2012195956 hasConceptScore W2012195956C71924100 @default.
- W2012195956 hasConceptScore W2012195956C73301696 @default.
- W2012195956 hasIssue "5" @default.
- W2012195956 hasLocation W20121959561 @default.
- W2012195956 hasOpenAccess W2012195956 @default.
- W2012195956 hasPrimaryLocation W20121959561 @default.
- W2012195956 hasRelatedWork W1480577011 @default.
- W2012195956 hasRelatedWork W1505594952 @default.
- W2012195956 hasRelatedWork W2012195956 @default.
- W2012195956 hasRelatedWork W2793983771 @default.
- W2012195956 hasRelatedWork W2806893870 @default.
- W2012195956 hasRelatedWork W2891688494 @default.
- W2012195956 hasRelatedWork W2900352879 @default.
- W2012195956 hasRelatedWork W2902193508 @default.
- W2012195956 hasRelatedWork W2950279424 @default.
- W2012195956 hasRelatedWork W4210480840 @default.
- W2012195956 hasVolume "4" @default.
- W2012195956 isParatext "false" @default.
- W2012195956 isRetracted "false" @default.
- W2012195956 magId "2012195956" @default.
- W2012195956 workType "article" @default.