Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569318606> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W1569318606 abstract "When we try to extract to an open format formal mathematical knowledge from libraries of already existing proof-assistants, we must face several problems and make important design decisions. This paper is based on our experiences on the exportation to XML of the theories developed in Coq and NuPRL: we try to collect a set of (hopefully useful) suggestions to pave the way to other teams willing to attempt the same operation." @default.
- W1569318606 created "2016-06-24" @default.
- W1569318606 creator A5081097346 @default.
- W1569318606 date "2003-01-01" @default.
- W1569318606 modified "2023-09-27" @default.
- W1569318606 title "From Proof-Assistants to Distributed Libraries of Mathematics: Tips and Pitfalls" @default.
- W1569318606 cites W1582998182 @default.
- W1569318606 cites W2092690557 @default.
- W1569318606 doi "https://doi.org/10.1007/3-540-36469-2_3" @default.
- W1569318606 hasPublicationYear "2003" @default.
- W1569318606 type Work @default.
- W1569318606 sameAs 1569318606 @default.
- W1569318606 citedByCount "8" @default.
- W1569318606 countsByYear W15693186062019 @default.
- W1569318606 crossrefType "book-chapter" @default.
- W1569318606 hasAuthorship W1569318606A5081097346 @default.
- W1569318606 hasConcept C108710211 @default.
- W1569318606 hasConcept C115903868 @default.
- W1569318606 hasConcept C136764020 @default.
- W1569318606 hasConcept C144024400 @default.
- W1569318606 hasConcept C177264268 @default.
- W1569318606 hasConcept C199360897 @default.
- W1569318606 hasConcept C203265346 @default.
- W1569318606 hasConcept C2524010 @default.
- W1569318606 hasConcept C2779304628 @default.
- W1569318606 hasConcept C33923547 @default.
- W1569318606 hasConcept C36289849 @default.
- W1569318606 hasConcept C41008148 @default.
- W1569318606 hasConcept C8797682 @default.
- W1569318606 hasConceptScore W1569318606C108710211 @default.
- W1569318606 hasConceptScore W1569318606C115903868 @default.
- W1569318606 hasConceptScore W1569318606C136764020 @default.
- W1569318606 hasConceptScore W1569318606C144024400 @default.
- W1569318606 hasConceptScore W1569318606C177264268 @default.
- W1569318606 hasConceptScore W1569318606C199360897 @default.
- W1569318606 hasConceptScore W1569318606C203265346 @default.
- W1569318606 hasConceptScore W1569318606C2524010 @default.
- W1569318606 hasConceptScore W1569318606C2779304628 @default.
- W1569318606 hasConceptScore W1569318606C33923547 @default.
- W1569318606 hasConceptScore W1569318606C36289849 @default.
- W1569318606 hasConceptScore W1569318606C41008148 @default.
- W1569318606 hasConceptScore W1569318606C8797682 @default.
- W1569318606 hasLocation W15693186061 @default.
- W1569318606 hasOpenAccess W1569318606 @default.
- W1569318606 hasPrimaryLocation W15693186061 @default.
- W1569318606 hasRelatedWork W1532058475 @default.
- W1569318606 hasRelatedWork W1652311832 @default.
- W1569318606 hasRelatedWork W2118300983 @default.
- W1569318606 hasRelatedWork W2135396778 @default.
- W1569318606 hasRelatedWork W2166247150 @default.
- W1569318606 hasRelatedWork W2243428364 @default.
- W1569318606 hasRelatedWork W2462453872 @default.
- W1569318606 hasRelatedWork W3207171446 @default.
- W1569318606 hasRelatedWork W4243252198 @default.
- W1569318606 hasRelatedWork W4245713008 @default.
- W1569318606 isParatext "false" @default.
- W1569318606 isRetracted "false" @default.
- W1569318606 magId "1569318606" @default.
- W1569318606 workType "book-chapter" @default.