Matches in SemOpenAlex for { <https://semopenalex.org/work/W2569856615> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2569856615 endingPage "84" @default.
- W2569856615 startingPage "71" @default.
- W2569856615 created "2017-01-13" @default.
- W2569856615 creator A5045759852 @default.
- W2569856615 date "2010-04-01" @default.
- W2569856615 modified "2023-09-27" @default.
- W2569856615 title "A Prototype Program of Theorem Prover based on the Constructive Type Theory" @default.
- W2569856615 hasPublicationYear "2010" @default.
- W2569856615 type Work @default.
- W2569856615 sameAs 2569856615 @default.
- W2569856615 citedByCount "0" @default.
- W2569856615 crossrefType "journal-article" @default.
- W2569856615 hasAuthorship W2569856615A5045759852 @default.
- W2569856615 hasConcept C108710211 @default.
- W2569856615 hasConcept C118615104 @default.
- W2569856615 hasConcept C136119220 @default.
- W2569856615 hasConcept C144237770 @default.
- W2569856615 hasConcept C159718280 @default.
- W2569856615 hasConcept C18903297 @default.
- W2569856615 hasConcept C199343813 @default.
- W2569856615 hasConcept C199360897 @default.
- W2569856615 hasConcept C202444582 @default.
- W2569856615 hasConcept C206880738 @default.
- W2569856615 hasConcept C2524010 @default.
- W2569856615 hasConcept C2777299769 @default.
- W2569856615 hasConcept C2777686260 @default.
- W2569856615 hasConcept C2778701210 @default.
- W2569856615 hasConcept C33923547 @default.
- W2569856615 hasConcept C41008148 @default.
- W2569856615 hasConcept C71924100 @default.
- W2569856615 hasConcept C86803240 @default.
- W2569856615 hasConcept C93682546 @default.
- W2569856615 hasConcept C98045186 @default.
- W2569856615 hasConceptScore W2569856615C108710211 @default.
- W2569856615 hasConceptScore W2569856615C118615104 @default.
- W2569856615 hasConceptScore W2569856615C136119220 @default.
- W2569856615 hasConceptScore W2569856615C144237770 @default.
- W2569856615 hasConceptScore W2569856615C159718280 @default.
- W2569856615 hasConceptScore W2569856615C18903297 @default.
- W2569856615 hasConceptScore W2569856615C199343813 @default.
- W2569856615 hasConceptScore W2569856615C199360897 @default.
- W2569856615 hasConceptScore W2569856615C202444582 @default.
- W2569856615 hasConceptScore W2569856615C206880738 @default.
- W2569856615 hasConceptScore W2569856615C2524010 @default.
- W2569856615 hasConceptScore W2569856615C2777299769 @default.
- W2569856615 hasConceptScore W2569856615C2777686260 @default.
- W2569856615 hasConceptScore W2569856615C2778701210 @default.
- W2569856615 hasConceptScore W2569856615C33923547 @default.
- W2569856615 hasConceptScore W2569856615C41008148 @default.
- W2569856615 hasConceptScore W2569856615C71924100 @default.
- W2569856615 hasConceptScore W2569856615C86803240 @default.
- W2569856615 hasConceptScore W2569856615C93682546 @default.
- W2569856615 hasConceptScore W2569856615C98045186 @default.
- W2569856615 hasLocation W25698566151 @default.
- W2569856615 hasOpenAccess W2569856615 @default.
- W2569856615 hasPrimaryLocation W25698566151 @default.
- W2569856615 hasRelatedWork W120823771 @default.
- W2569856615 hasRelatedWork W133949766 @default.
- W2569856615 hasRelatedWork W1494993095 @default.
- W2569856615 hasRelatedWork W159165748 @default.
- W2569856615 hasRelatedWork W1592672507 @default.
- W2569856615 hasRelatedWork W163012990 @default.
- W2569856615 hasRelatedWork W168451675 @default.
- W2569856615 hasRelatedWork W17889614 @default.
- W2569856615 hasRelatedWork W179065745 @default.
- W2569856615 hasRelatedWork W2010445528 @default.
- W2569856615 hasRelatedWork W2026352253 @default.
- W2569856615 hasRelatedWork W2086027910 @default.
- W2569856615 hasRelatedWork W3204438756 @default.
- W2569856615 hasRelatedWork W593894321 @default.
- W2569856615 hasRelatedWork W60445782 @default.
- W2569856615 hasRelatedWork W63122532 @default.
- W2569856615 hasRelatedWork W97894006 @default.
- W2569856615 hasRelatedWork W1542579875 @default.
- W2569856615 hasRelatedWork W2192184199 @default.
- W2569856615 hasRelatedWork W2297848989 @default.
- W2569856615 hasVolume "13" @default.
- W2569856615 isParatext "false" @default.
- W2569856615 isRetracted "false" @default.
- W2569856615 magId "2569856615" @default.
- W2569856615 workType "article" @default.