Matches in SemOpenAlex for { <https://semopenalex.org/work/W4367692253> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4367692253 abstract "Libraries of formal proofs are an important part of our mathematical heritage, but their usability and sustainability is poor. Indeed, each library is specific to a proof system, sometimes even to some version of this system. Thus, a library developed in one system cannot, in general, be used in another and when the system is no more maintained, the library may be lost. This impossibility of using a proof developed in one system in another has been noted for long and a remediation has been proposed: as we have empirical evidence that most of the formal proofs developed in one of these systems can also be developed in another, we can develop a standard language, in which these proofs can be translated, and then used in all systems supporting this standard. Logipedia is an attempt to build such a multi-system online encyclopedia of formal proofs expressed in such as standard language. It is based on two main ideas: the use of a logical framework and of reverse mathematics." @default.
- W4367692253 created "2023-05-03" @default.
- W4367692253 creator A5073164575 @default.
- W4367692253 creator A5076741560 @default.
- W4367692253 date "2023-04-06" @default.
- W4367692253 modified "2023-09-27" @default.
- W4367692253 title "Logipedia: a multi-system encyclopedia of formal proofs" @default.
- W4367692253 doi "https://doi.org/10.48550/arxiv.2305.00064" @default.
- W4367692253 hasPublicationYear "2023" @default.
- W4367692253 type Work @default.
- W4367692253 citedByCount "0" @default.
- W4367692253 crossrefType "posted-content" @default.
- W4367692253 hasAuthorship W4367692253A5073164575 @default.
- W4367692253 hasAuthorship W4367692253A5076741560 @default.
- W4367692253 hasBestOaLocation W43676922531 @default.
- W4367692253 hasConcept C102315432 @default.
- W4367692253 hasConcept C107457646 @default.
- W4367692253 hasConcept C108710211 @default.
- W4367692253 hasConcept C146072743 @default.
- W4367692253 hasConcept C148863701 @default.
- W4367692253 hasConcept C161191863 @default.
- W4367692253 hasConcept C170130773 @default.
- W4367692253 hasConcept C17744445 @default.
- W4367692253 hasConcept C199360897 @default.
- W4367692253 hasConcept C199539241 @default.
- W4367692253 hasConcept C2524010 @default.
- W4367692253 hasConcept C2776261394 @default.
- W4367692253 hasConcept C33923547 @default.
- W4367692253 hasConcept C41008148 @default.
- W4367692253 hasConcept C80444323 @default.
- W4367692253 hasConceptScore W4367692253C102315432 @default.
- W4367692253 hasConceptScore W4367692253C107457646 @default.
- W4367692253 hasConceptScore W4367692253C108710211 @default.
- W4367692253 hasConceptScore W4367692253C146072743 @default.
- W4367692253 hasConceptScore W4367692253C148863701 @default.
- W4367692253 hasConceptScore W4367692253C161191863 @default.
- W4367692253 hasConceptScore W4367692253C170130773 @default.
- W4367692253 hasConceptScore W4367692253C17744445 @default.
- W4367692253 hasConceptScore W4367692253C199360897 @default.
- W4367692253 hasConceptScore W4367692253C199539241 @default.
- W4367692253 hasConceptScore W4367692253C2524010 @default.
- W4367692253 hasConceptScore W4367692253C2776261394 @default.
- W4367692253 hasConceptScore W4367692253C33923547 @default.
- W4367692253 hasConceptScore W4367692253C41008148 @default.
- W4367692253 hasConceptScore W4367692253C80444323 @default.
- W4367692253 hasLocation W43676922531 @default.
- W4367692253 hasOpenAccess W4367692253 @default.
- W4367692253 hasPrimaryLocation W43676922531 @default.
- W4367692253 hasRelatedWork W1485757985 @default.
- W4367692253 hasRelatedWork W1580916829 @default.
- W4367692253 hasRelatedWork W1604879818 @default.
- W4367692253 hasRelatedWork W1982976663 @default.
- W4367692253 hasRelatedWork W2023056990 @default.
- W4367692253 hasRelatedWork W2409148419 @default.
- W4367692253 hasRelatedWork W27605384 @default.
- W4367692253 hasRelatedWork W2765472795 @default.
- W4367692253 hasRelatedWork W2768423348 @default.
- W4367692253 hasRelatedWork W2911487006 @default.
- W4367692253 isParatext "false" @default.
- W4367692253 isRetracted "false" @default.
- W4367692253 workType "article" @default.