{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T00:24:12Z","timestamp":1770683052053,"version":"3.49.0"},"reference-count":0,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.15439\/2017f301","type":"proceedings-article","created":{"date-parts":[[2017,9,24]],"date-time":"2017-09-24T18:53:10Z","timestamp":1506279190000},"page":"237-244","source":"Crossref","is-referenced-by-count":5,"title":["Formalization of the Algebra of Nominative Data in Mizar"],"prefix":"10.15439","volume":"11","author":[{"given":"Artur","family":"Korni\u0142owicz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrii","family":"Kryvolap","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mykola","family":"Nikitchenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ievgen","family":"Ivanov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"6175","published-online":{"date-parts":[[2017,9,24]]},"event":{"name":"2017 Federated Conference on Computer Science and Information Systems","acronym":"FedCSIS 2017","start":{"date-parts":[[2017,9,3]]},"end":{"date-parts":[[2017,9,6]]}},"container-title":["Annals of Computer Science and Information Systems","Proceedings of the 2017 Federated Conference on Computer Science and Information Systems"],"original-title":[],"deposited":{"date-parts":[[2024,12,13]],"date-time":"2024-12-13T21:05:55Z","timestamp":1734123955000},"score":1,"resource":{"primary":{"URL":"https:\/\/annals-csis.org\/Volume_11\/drp\/301.html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,24]]},"references-count":0,"URL":"https:\/\/doi.org\/10.15439\/2017f301","relation":{},"ISSN":["2300-5963"],"issn-type":[{"value":"2300-5963","type":"print"}],"subject":[],"published":{"date-parts":[[2017,9,24]]}}}