Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300804118> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- W4300804118 abstract "Since there are different ways of axiomatizing and developing a mathematical theory, knowledge about a such a theory may reside in many places and in many forms within a library of formalized mathematics. We introduce the notion of a realm as a structure for consolidating knowledge about a mathematical theory. A realm contains several axiomatizations of a theory that are separately developed. Views interconnect these developments and establish that the axiomatizations are equivalent in the sense of being mutually interpretable. A realm also contains an external interface that is convenient for users of the library who want to apply the concepts and facts of the theory without delving into the details of how the concepts and facts were developed. We illustrate the utility of realms through a series of examples. We also give an outline of the mechanisms that are needed to create and maintain realms." @default.
- W4300804118 created "2022-10-04" @default.
- W4300804118 creator A5026752114 @default.
- W4300804118 creator A5074007281 @default.
- W4300804118 creator A5015060761 @default.
- W4300804118 date "2014-05-22" @default.
- W4300804118 modified "2023-10-16" @default.
- W4300804118 title "Realms: A Structure for Consolidating Knowledge about Mathematical Theories" @default.
- W4300804118 doi "https://doi.org/10.48550/arxiv.1405.5956" @default.
- W4300804118 hasPublicationYear "2014" @default.
- W4300804118 type Work @default.
- W4300804118 citedByCount "0" @default.
- W4300804118 crossrefType "posted-content" @default.
- W4300804118 hasAuthorship W4300804118A5015060761 @default.
- W4300804118 hasAuthorship W4300804118A5026752114 @default.
- W4300804118 hasAuthorship W4300804118A5074007281 @default.
- W4300804118 hasBestOaLocation W43008041181 @default.
- W4300804118 hasConcept C121332964 @default.
- W4300804118 hasConcept C17744445 @default.
- W4300804118 hasConcept C199539241 @default.
- W4300804118 hasConcept C2778757428 @default.
- W4300804118 hasConcept C2779193601 @default.
- W4300804118 hasConcept C41008148 @default.
- W4300804118 hasConcept C62520636 @default.
- W4300804118 hasConceptScore W4300804118C121332964 @default.
- W4300804118 hasConceptScore W4300804118C17744445 @default.
- W4300804118 hasConceptScore W4300804118C199539241 @default.
- W4300804118 hasConceptScore W4300804118C2778757428 @default.
- W4300804118 hasConceptScore W4300804118C2779193601 @default.
- W4300804118 hasConceptScore W4300804118C41008148 @default.
- W4300804118 hasConceptScore W4300804118C62520636 @default.
- W4300804118 hasLocation W43008041181 @default.
- W4300804118 hasLocation W43008041182 @default.
- W4300804118 hasOpenAccess W4300804118 @default.
- W4300804118 hasPrimaryLocation W43008041181 @default.
- W4300804118 hasRelatedWork W1440498027 @default.
- W4300804118 hasRelatedWork W2130628061 @default.
- W4300804118 hasRelatedWork W2359053655 @default.
- W4300804118 hasRelatedWork W2382709029 @default.
- W4300804118 hasRelatedWork W2387777532 @default.
- W4300804118 hasRelatedWork W2389147080 @default.
- W4300804118 hasRelatedWork W2748952813 @default.
- W4300804118 hasRelatedWork W2899084033 @default.
- W4300804118 hasRelatedWork W2952002348 @default.
- W4300804118 hasRelatedWork W4300804118 @default.
- W4300804118 isParatext "false" @default.
- W4300804118 isRetracted "false" @default.
- W4300804118 workType "article" @default.