Matches in SemOpenAlex for { <https://semopenalex.org/work/W32894577> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W32894577 abstract "At first glance Mizar attributes look like unary predicates over mathematical objects enabling a more natural writing and reading. At- tributes in Mizar, however, serve additional, more important purposes con- cerning typing of mathematical objects: Using attributes not only new (sub)types can be introduced, but also the user can characterize further relations between types and in this way make available existing notations for new objects. Thereby it should be stressed that these type relations can stand for elaborated mathematical theorems. This paper describes the properties and benefits of Mizar attributes from a user's perspective. We comprehend the development of Mizar attributes, and give examples highlighting their use — essentially in the area of algebra. Concluding we discuss their impact on building mathematical repositories." @default.
- W32894577 created "2016-06-24" @default.
- W32894577 creator A5048465549 @default.
- W32894577 date "2007-01-01" @default.
- W32894577 modified "2023-09-27" @default.
- W32894577 title "Mizar Attributes: A Technique to Encode Mathematical Knowledge into Type Systems" @default.
- W32894577 cites W1545148392 @default.
- W32894577 cites W1957489330 @default.
- W32894577 cites W1968315351 @default.
- W32894577 cites W1988573483 @default.
- W32894577 cites W2062563895 @default.
- W32894577 cites W2111697230 @default.
- W32894577 cites W2159772409 @default.
- W32894577 hasPublicationYear "2007" @default.
- W32894577 type Work @default.
- W32894577 sameAs 32894577 @default.
- W32894577 citedByCount "5" @default.
- W32894577 countsByYear W328945772013 @default.
- W32894577 crossrefType "journal-article" @default.
- W32894577 hasAuthorship W32894577A5048465549 @default.
- W32894577 hasConcept C104317684 @default.
- W32894577 hasConcept C118615104 @default.
- W32894577 hasConcept C12713177 @default.
- W32894577 hasConcept C138885662 @default.
- W32894577 hasConcept C154945302 @default.
- W32894577 hasConcept C166957645 @default.
- W32894577 hasConcept C185592680 @default.
- W32894577 hasConcept C18903297 @default.
- W32894577 hasConcept C199360897 @default.
- W32894577 hasConcept C2776608160 @default.
- W32894577 hasConcept C2777299769 @default.
- W32894577 hasConcept C33923547 @default.
- W32894577 hasConcept C41008148 @default.
- W32894577 hasConcept C41895202 @default.
- W32894577 hasConcept C45357846 @default.
- W32894577 hasConcept C554936623 @default.
- W32894577 hasConcept C55493867 @default.
- W32894577 hasConcept C66746571 @default.
- W32894577 hasConcept C78023250 @default.
- W32894577 hasConcept C86803240 @default.
- W32894577 hasConcept C93682546 @default.
- W32894577 hasConcept C94375191 @default.
- W32894577 hasConcept C95457728 @default.
- W32894577 hasConceptScore W32894577C104317684 @default.
- W32894577 hasConceptScore W32894577C118615104 @default.
- W32894577 hasConceptScore W32894577C12713177 @default.
- W32894577 hasConceptScore W32894577C138885662 @default.
- W32894577 hasConceptScore W32894577C154945302 @default.
- W32894577 hasConceptScore W32894577C166957645 @default.
- W32894577 hasConceptScore W32894577C185592680 @default.
- W32894577 hasConceptScore W32894577C18903297 @default.
- W32894577 hasConceptScore W32894577C199360897 @default.
- W32894577 hasConceptScore W32894577C2776608160 @default.
- W32894577 hasConceptScore W32894577C2777299769 @default.
- W32894577 hasConceptScore W32894577C33923547 @default.
- W32894577 hasConceptScore W32894577C41008148 @default.
- W32894577 hasConceptScore W32894577C41895202 @default.
- W32894577 hasConceptScore W32894577C45357846 @default.
- W32894577 hasConceptScore W32894577C554936623 @default.
- W32894577 hasConceptScore W32894577C55493867 @default.
- W32894577 hasConceptScore W32894577C66746571 @default.
- W32894577 hasConceptScore W32894577C78023250 @default.
- W32894577 hasConceptScore W32894577C86803240 @default.
- W32894577 hasConceptScore W32894577C93682546 @default.
- W32894577 hasConceptScore W32894577C94375191 @default.
- W32894577 hasConceptScore W32894577C95457728 @default.
- W32894577 hasLocation W328945771 @default.
- W32894577 hasOpenAccess W32894577 @default.
- W32894577 hasPrimaryLocation W328945771 @default.
- W32894577 hasRelatedWork W1504184345 @default.
- W32894577 hasRelatedWork W1506136793 @default.
- W32894577 hasRelatedWork W1548486755 @default.
- W32894577 hasRelatedWork W155641784 @default.
- W32894577 hasRelatedWork W1563105713 @default.
- W32894577 hasRelatedWork W174730697 @default.
- W32894577 hasRelatedWork W179434330 @default.
- W32894577 hasRelatedWork W197216019 @default.
- W32894577 hasRelatedWork W1975918221 @default.
- W32894577 hasRelatedWork W2120930520 @default.
- W32894577 hasRelatedWork W2181321312 @default.
- W32894577 hasRelatedWork W2567310469 @default.
- W32894577 hasRelatedWork W2570668072 @default.
- W32894577 hasRelatedWork W2754613021 @default.
- W32894577 hasRelatedWork W2982379963 @default.
- W32894577 hasRelatedWork W30820807 @default.
- W32894577 hasRelatedWork W3102339475 @default.
- W32894577 hasRelatedWork W66728531 @default.
- W32894577 hasRelatedWork W1581107010 @default.
- W32894577 hasRelatedWork W3120285085 @default.
- W32894577 isParatext "false" @default.
- W32894577 isRetracted "false" @default.
- W32894577 magId "32894577" @default.
- W32894577 workType "article" @default.