{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,15]],"date-time":"2026-06-15T01:08:24Z","timestamp":1781485704274,"version":"3.54.1"},"reference-count":0,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.15439\/2016f520","type":"proceedings-article","created":{"date-parts":[[2016,10,2]],"date-time":"2016-10-02T08:21:41Z","timestamp":1475396501000},"page":"363-371","source":"Crossref","is-referenced-by-count":35,"title":["On algebraic hierarchies in mathematical repository of Mizar"],"prefix":"10.15439","volume":"8","author":[{"given":"Adam","family":"Grabowski","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Artur","family":"Kornilowicz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christoph","family":"Schwarzweller","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"6175","published-online":{"date-parts":[[2016,10,2]]},"event":{"name":"2016 Federated Conference on Computer Science and Information Systems","acronym":"FedCSIS 2016","start":{"date-parts":[[2016,9,11]]},"end":{"date-parts":[[2016,9,14]]}},"container-title":["Annals of Computer Science and Information Systems","Proceedings of the 2016 Federated Conference on Computer Science and Information Systems"],"original-title":[],"deposited":{"date-parts":[[2024,12,12]],"date-time":"2024-12-12T07:58:17Z","timestamp":1733990297000},"score":1,"resource":{"primary":{"URL":"https:\/\/annals-csis.org\/Volume_8\/drp\/520.html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,2]]},"references-count":0,"URL":"https:\/\/doi.org\/10.15439\/2016f520","relation":{},"ISSN":["2300-5963"],"issn-type":[{"value":"2300-5963","type":"print"}],"subject":[],"published":{"date-parts":[[2016,10,2]]}}}