Matches in SemOpenAlex for { <https://semopenalex.org/work/W2526342011> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2526342011 abstract "Mathematics, especially algebra, uses plenty of structures: groups, rings, integral domains, fields, vector spaces to name a few of the most basic ones. Classes of structures are closely connected - usually by inclusion - naturally leading to hierarchies that has been reproduced in different forms in different mathematical repositories. In this paper we give a brief overview of some existing algebraic hierarchies and report on the latest developments in the Mizar computerized proof assistant system. In particular we present a detailed algebraic hierarchy that has been defined in Mizar and discuss extensions of the hierarchy towards more involved domains. Taking fully formal approach into account we meet new difficulties comparing with its informal mathematical framework." @default.
- W2526342011 created "2016-10-07" @default.
- W2526342011 creator A5048465549 @default.
- W2526342011 creator A5073856205 @default.
- W2526342011 creator A5090121372 @default.
- W2526342011 date "2016-10-02" @default.
- W2526342011 modified "2023-10-16" @default.
- W2526342011 title "On algebraic hierarchies in mathematical repository of Mizar" @default.
- W2526342011 cites W1245804045 @default.
- W2526342011 cites W1532290481 @default.
- W2526342011 cites W1768814311 @default.
- W2526342011 cites W1778672286 @default.
- W2526342011 cites W1789208025 @default.
- W2526342011 cites W1938825438 @default.
- W2526342011 cites W1945317924 @default.
- W2526342011 cites W1963457827 @default.
- W2526342011 cites W2013140497 @default.
- W2526342011 cites W2060832326 @default.
- W2526342011 cites W2062563895 @default.
- W2526342011 cites W2128085487 @default.
- W2526342011 cites W2130628061 @default.
- W2526342011 cites W2146945204 @default.
- W2526342011 cites W2147609833 @default.
- W2526342011 cites W2165764163 @default.
- W2526342011 cites W2184838578 @default.
- W2526342011 cites W2293507108 @default.
- W2526342011 cites W826005707 @default.
- W2526342011 doi "https://doi.org/10.15439/2016f520" @default.
- W2526342011 hasPublicationYear "2016" @default.
- W2526342011 type Work @default.
- W2526342011 sameAs 2526342011 @default.
- W2526342011 citedByCount "25" @default.
- W2526342011 countsByYear W25263420112017 @default.
- W2526342011 countsByYear W25263420112018 @default.
- W2526342011 countsByYear W25263420112019 @default.
- W2526342011 countsByYear W25263420112020 @default.
- W2526342011 countsByYear W25263420112021 @default.
- W2526342011 countsByYear W25263420112022 @default.
- W2526342011 countsByYear W25263420112023 @default.
- W2526342011 crossrefType "proceedings-article" @default.
- W2526342011 hasAuthorship W2526342011A5048465549 @default.
- W2526342011 hasAuthorship W2526342011A5073856205 @default.
- W2526342011 hasAuthorship W2526342011A5090121372 @default.
- W2526342011 hasBestOaLocation W25263420111 @default.
- W2526342011 hasConcept C134306372 @default.
- W2526342011 hasConcept C136119220 @default.
- W2526342011 hasConcept C199360897 @default.
- W2526342011 hasConcept C202444582 @default.
- W2526342011 hasConcept C33923547 @default.
- W2526342011 hasConcept C41008148 @default.
- W2526342011 hasConcept C80444323 @default.
- W2526342011 hasConcept C9376300 @default.
- W2526342011 hasConceptScore W2526342011C134306372 @default.
- W2526342011 hasConceptScore W2526342011C136119220 @default.
- W2526342011 hasConceptScore W2526342011C199360897 @default.
- W2526342011 hasConceptScore W2526342011C202444582 @default.
- W2526342011 hasConceptScore W2526342011C33923547 @default.
- W2526342011 hasConceptScore W2526342011C41008148 @default.
- W2526342011 hasConceptScore W2526342011C80444323 @default.
- W2526342011 hasConceptScore W2526342011C9376300 @default.
- W2526342011 hasLocation W25263420111 @default.
- W2526342011 hasLocation W25263420112 @default.
- W2526342011 hasOpenAccess W2526342011 @default.
- W2526342011 hasPrimaryLocation W25263420111 @default.
- W2526342011 hasRelatedWork W1491366424 @default.
- W2526342011 hasRelatedWork W1527862632 @default.
- W2526342011 hasRelatedWork W2109507516 @default.
- W2526342011 hasRelatedWork W2112962394 @default.
- W2526342011 hasRelatedWork W2118300983 @default.
- W2526342011 hasRelatedWork W2135396778 @default.
- W2526342011 hasRelatedWork W2740990710 @default.
- W2526342011 hasRelatedWork W3137189469 @default.
- W2526342011 hasRelatedWork W4235530921 @default.
- W2526342011 hasRelatedWork W4243252198 @default.
- W2526342011 isParatext "false" @default.
- W2526342011 isRetracted "false" @default.
- W2526342011 magId "2526342011" @default.
- W2526342011 workType "article" @default.