Matches in SemOpenAlex for { <https://semopenalex.org/work/W2954163388> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2954163388 endingPage "76" @default.
- W2954163388 startingPage "61" @default.
- W2954163388 abstract "Formal libraries are treasure troves of detailed mathematical knowledge, but this treasure is usually locked into system- and logic-specific representations that can only be understood by the respective theorem prover system. In this paper we present an ontology for using relational information on mathematical knowledge and a corresponding data set generated from the Isabelle and Coq libraries. We show the utility of the generated data by setting a relational query engine that provides easy access to certain library information that was previously hard or impossible to determine." @default.
- W2954163388 created "2019-07-12" @default.
- W2954163388 creator A5014646028 @default.
- W2954163388 creator A5047192599 @default.
- W2954163388 creator A5081097346 @default.
- W2954163388 creator A5087998017 @default.
- W2954163388 creator A5091861223 @default.
- W2954163388 creator A5015060761 @default.
- W2954163388 date "2019-01-01" @default.
- W2954163388 modified "2023-09-30" @default.
- W2954163388 title "Relational Data Across Mathematical Libraries" @default.
- W2954163388 cites W1517818229 @default.
- W2954163388 cites W1581739545 @default.
- W2954163388 cites W1589944513 @default.
- W2954163388 cites W1999680561 @default.
- W2954163388 cites W2569480976 @default.
- W2954163388 cites W2614075156 @default.
- W2954163388 cites W2725162198 @default.
- W2954163388 cites W3106487221 @default.
- W2954163388 doi "https://doi.org/10.1007/978-3-030-23250-4_5" @default.
- W2954163388 hasPublicationYear "2019" @default.
- W2954163388 type Work @default.
- W2954163388 sameAs 2954163388 @default.
- W2954163388 citedByCount "7" @default.
- W2954163388 countsByYear W29541633882019 @default.
- W2954163388 countsByYear W29541633882020 @default.
- W2954163388 countsByYear W29541633882021 @default.
- W2954163388 countsByYear W29541633882023 @default.
- W2954163388 crossrefType "book-chapter" @default.
- W2954163388 hasAuthorship W2954163388A5014646028 @default.
- W2954163388 hasAuthorship W2954163388A5015060761 @default.
- W2954163388 hasAuthorship W2954163388A5047192599 @default.
- W2954163388 hasAuthorship W2954163388A5081097346 @default.
- W2954163388 hasAuthorship W2954163388A5087998017 @default.
- W2954163388 hasAuthorship W2954163388A5091861223 @default.
- W2954163388 hasConcept C111472728 @default.
- W2954163388 hasConcept C138885662 @default.
- W2954163388 hasConcept C177264268 @default.
- W2954163388 hasConcept C199360897 @default.
- W2954163388 hasConcept C206880738 @default.
- W2954163388 hasConcept C23123220 @default.
- W2954163388 hasConcept C25810664 @default.
- W2954163388 hasConcept C27206212 @default.
- W2954163388 hasConcept C2776084483 @default.
- W2954163388 hasConcept C40207289 @default.
- W2954163388 hasConcept C41008148 @default.
- W2954163388 hasConcept C5655090 @default.
- W2954163388 hasConcept C80444323 @default.
- W2954163388 hasConcept C95916125 @default.
- W2954163388 hasConcept C99436015 @default.
- W2954163388 hasConceptScore W2954163388C111472728 @default.
- W2954163388 hasConceptScore W2954163388C138885662 @default.
- W2954163388 hasConceptScore W2954163388C177264268 @default.
- W2954163388 hasConceptScore W2954163388C199360897 @default.
- W2954163388 hasConceptScore W2954163388C206880738 @default.
- W2954163388 hasConceptScore W2954163388C23123220 @default.
- W2954163388 hasConceptScore W2954163388C25810664 @default.
- W2954163388 hasConceptScore W2954163388C27206212 @default.
- W2954163388 hasConceptScore W2954163388C2776084483 @default.
- W2954163388 hasConceptScore W2954163388C40207289 @default.
- W2954163388 hasConceptScore W2954163388C41008148 @default.
- W2954163388 hasConceptScore W2954163388C5655090 @default.
- W2954163388 hasConceptScore W2954163388C80444323 @default.
- W2954163388 hasConceptScore W2954163388C95916125 @default.
- W2954163388 hasConceptScore W2954163388C99436015 @default.
- W2954163388 hasLocation W29541633881 @default.
- W2954163388 hasOpenAccess W2954163388 @default.
- W2954163388 hasPrimaryLocation W29541633881 @default.
- W2954163388 hasRelatedWork W1516375613 @default.
- W2954163388 hasRelatedWork W1542080972 @default.
- W2954163388 hasRelatedWork W2005835473 @default.
- W2954163388 hasRelatedWork W2056340443 @default.
- W2954163388 hasRelatedWork W2085988990 @default.
- W2954163388 hasRelatedWork W2089781037 @default.
- W2954163388 hasRelatedWork W2095263945 @default.
- W2954163388 hasRelatedWork W2243465518 @default.
- W2954163388 hasRelatedWork W2954163388 @default.
- W2954163388 hasRelatedWork W60748262 @default.
- W2954163388 isParatext "false" @default.
- W2954163388 isRetracted "false" @default.
- W2954163388 magId "2954163388" @default.
- W2954163388 workType "book-chapter" @default.