Matches in SemOpenAlex for { <https://semopenalex.org/work/W72591118> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W72591118 abstract "This report describes the implementation of a mechanisation of the theory of computation in the Coq proof assistant which leads to a proof of the Smn theorem. This mechanisation is based on a model of computation similar to the partial recursive function model and includes the definition of a computable function, proofs of the computability of a number of functions and the definition of an effective coding from the set of partial recursive functions to natural numbers. This work forms part of a comparative study of the HOL and Coq proof assistants." @default.
- W72591118 created "2016-06-24" @default.
- W72591118 creator A5025160785 @default.
- W72591118 date "1997-03-01" @default.
- W72591118 modified "2023-09-27" @default.
- W72591118 title "A Proof of the S-m-n theorem in Coq" @default.
- W72591118 hasPublicationYear "1997" @default.
- W72591118 type Work @default.
- W72591118 sameAs 72591118 @default.
- W72591118 citedByCount "0" @default.
- W72591118 crossrefType "journal-article" @default.
- W72591118 hasAuthorship W72591118A5025160785 @default.
- W72591118 hasConcept C108710211 @default.
- W72591118 hasConcept C11413529 @default.
- W72591118 hasConcept C118615104 @default.
- W72591118 hasConcept C136119220 @default.
- W72591118 hasConcept C152062344 @default.
- W72591118 hasConcept C171636804 @default.
- W72591118 hasConcept C17435882 @default.
- W72591118 hasConcept C17566778 @default.
- W72591118 hasConcept C184264201 @default.
- W72591118 hasConcept C194886279 @default.
- W72591118 hasConcept C199343813 @default.
- W72591118 hasConcept C202444582 @default.
- W72591118 hasConcept C203265346 @default.
- W72591118 hasConcept C206880738 @default.
- W72591118 hasConcept C2318724 @default.
- W72591118 hasConcept C2524010 @default.
- W72591118 hasConcept C2777686260 @default.
- W72591118 hasConcept C33923547 @default.
- W72591118 hasConcept C45374587 @default.
- W72591118 hasConcept C45962547 @default.
- W72591118 hasConcept C71924100 @default.
- W72591118 hasConcept C9986523 @default.
- W72591118 hasConceptScore W72591118C108710211 @default.
- W72591118 hasConceptScore W72591118C11413529 @default.
- W72591118 hasConceptScore W72591118C118615104 @default.
- W72591118 hasConceptScore W72591118C136119220 @default.
- W72591118 hasConceptScore W72591118C152062344 @default.
- W72591118 hasConceptScore W72591118C171636804 @default.
- W72591118 hasConceptScore W72591118C17435882 @default.
- W72591118 hasConceptScore W72591118C17566778 @default.
- W72591118 hasConceptScore W72591118C184264201 @default.
- W72591118 hasConceptScore W72591118C194886279 @default.
- W72591118 hasConceptScore W72591118C199343813 @default.
- W72591118 hasConceptScore W72591118C202444582 @default.
- W72591118 hasConceptScore W72591118C203265346 @default.
- W72591118 hasConceptScore W72591118C206880738 @default.
- W72591118 hasConceptScore W72591118C2318724 @default.
- W72591118 hasConceptScore W72591118C2524010 @default.
- W72591118 hasConceptScore W72591118C2777686260 @default.
- W72591118 hasConceptScore W72591118C33923547 @default.
- W72591118 hasConceptScore W72591118C45374587 @default.
- W72591118 hasConceptScore W72591118C45962547 @default.
- W72591118 hasConceptScore W72591118C71924100 @default.
- W72591118 hasConceptScore W72591118C9986523 @default.
- W72591118 hasLocation W725911181 @default.
- W72591118 hasOpenAccess W72591118 @default.
- W72591118 hasPrimaryLocation W725911181 @default.
- W72591118 hasRelatedWork W1498097959 @default.
- W72591118 hasRelatedWork W1514798374 @default.
- W72591118 hasRelatedWork W1519256419 @default.
- W72591118 hasRelatedWork W1525737662 @default.
- W72591118 hasRelatedWork W1548292710 @default.
- W72591118 hasRelatedWork W1553762530 @default.
- W72591118 hasRelatedWork W1988755390 @default.
- W72591118 hasRelatedWork W2017200838 @default.
- W72591118 hasRelatedWork W2027737519 @default.
- W72591118 hasRelatedWork W2046255686 @default.
- W72591118 hasRelatedWork W2100238579 @default.
- W72591118 hasRelatedWork W2101614227 @default.
- W72591118 hasRelatedWork W2153532376 @default.
- W72591118 hasRelatedWork W2618311217 @default.
- W72591118 hasRelatedWork W26319539 @default.
- W72591118 hasRelatedWork W294101617 @default.
- W72591118 hasRelatedWork W2978345188 @default.
- W72591118 hasRelatedWork W3099251155 @default.
- W72591118 hasRelatedWork W3099960354 @default.
- W72591118 hasRelatedWork W327545094 @default.
- W72591118 isParatext "false" @default.
- W72591118 isRetracted "false" @default.
- W72591118 magId "72591118" @default.
- W72591118 workType "article" @default.