Matches in SemOpenAlex for { <https://semopenalex.org/work/W2130628061> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2130628061 endingPage "266" @default.
- W2130628061 startingPage "252" @default.
- W2130628061 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.
- W2130628061 created "2016-06-24" @default.
- W2130628061 creator A5026752114 @default.
- W2130628061 creator A5074007281 @default.
- W2130628061 creator A5015060761 @default.
- W2130628061 date "2014-01-01" @default.
- W2130628061 modified "2023-09-30" @default.
- W2130628061 title "Realms: A Structure for Consolidating Knowledge about Mathematical Theories" @default.
- W2130628061 cites W1587860830 @default.
- W2130628061 cites W1778672286 @default.
- W2130628061 cites W1999680561 @default.
- W2130628061 cites W2073065349 @default.
- W2130628061 cites W2132124019 @default.
- W2130628061 cites W2156369090 @default.
- W2130628061 cites W2914153160 @default.
- W2130628061 cites W2950226449 @default.
- W2130628061 cites W4238522013 @default.
- W2130628061 cites W2141294623 @default.
- W2130628061 doi "https://doi.org/10.1007/978-3-319-08434-3_19" @default.
- W2130628061 hasPublicationYear "2014" @default.
- W2130628061 type Work @default.
- W2130628061 sameAs 2130628061 @default.
- W2130628061 citedByCount "12" @default.
- W2130628061 countsByYear W21306280612015 @default.
- W2130628061 countsByYear W21306280612016 @default.
- W2130628061 countsByYear W21306280612018 @default.
- W2130628061 countsByYear W21306280612019 @default.
- W2130628061 countsByYear W21306280612020 @default.
- W2130628061 countsByYear W21306280612021 @default.
- W2130628061 countsByYear W21306280612022 @default.
- W2130628061 countsByYear W21306280612023 @default.
- W2130628061 crossrefType "book-chapter" @default.
- W2130628061 hasAuthorship W2130628061A5015060761 @default.
- W2130628061 hasAuthorship W2130628061A5026752114 @default.
- W2130628061 hasAuthorship W2130628061A5074007281 @default.
- W2130628061 hasBestOaLocation W21306280612 @default.
- W2130628061 hasConcept C121332964 @default.
- W2130628061 hasConcept C130327152 @default.
- W2130628061 hasConcept C145420912 @default.
- W2130628061 hasConcept C17744445 @default.
- W2130628061 hasConcept C199539241 @default.
- W2130628061 hasConcept C2778757428 @default.
- W2130628061 hasConcept C2779193601 @default.
- W2130628061 hasConcept C33923547 @default.
- W2130628061 hasConcept C41008148 @default.
- W2130628061 hasConcept C62520636 @default.
- W2130628061 hasConcept C80444323 @default.
- W2130628061 hasConceptScore W2130628061C121332964 @default.
- W2130628061 hasConceptScore W2130628061C130327152 @default.
- W2130628061 hasConceptScore W2130628061C145420912 @default.
- W2130628061 hasConceptScore W2130628061C17744445 @default.
- W2130628061 hasConceptScore W2130628061C199539241 @default.
- W2130628061 hasConceptScore W2130628061C2778757428 @default.
- W2130628061 hasConceptScore W2130628061C2779193601 @default.
- W2130628061 hasConceptScore W2130628061C33923547 @default.
- W2130628061 hasConceptScore W2130628061C41008148 @default.
- W2130628061 hasConceptScore W2130628061C62520636 @default.
- W2130628061 hasConceptScore W2130628061C80444323 @default.
- W2130628061 hasLocation W21306280611 @default.
- W2130628061 hasLocation W21306280612 @default.
- W2130628061 hasLocation W21306280613 @default.
- W2130628061 hasOpenAccess W2130628061 @default.
- W2130628061 hasPrimaryLocation W21306280611 @default.
- W2130628061 hasRelatedWork W1989643754 @default.
- W2130628061 hasRelatedWork W2130628061 @default.
- W2130628061 hasRelatedWork W2356246150 @default.
- W2130628061 hasRelatedWork W2487981093 @default.
- W2130628061 hasRelatedWork W2801811182 @default.
- W2130628061 hasRelatedWork W2952002348 @default.
- W2130628061 hasRelatedWork W307680803 @default.
- W2130628061 hasRelatedWork W4225387407 @default.
- W2130628061 hasRelatedWork W4248545424 @default.
- W2130628061 hasRelatedWork W4300804118 @default.
- W2130628061 isParatext "false" @default.
- W2130628061 isRetracted "false" @default.
- W2130628061 magId "2130628061" @default.
- W2130628061 workType "book-chapter" @default.