{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T01:47:46Z","timestamp":1777427266546,"version":"3.51.4"},"reference-count":0,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.15439\/2015f229","type":"proceedings-article","created":{"date-parts":[[2015,10,11]],"date-time":"2015-10-11T08:35:21Z","timestamp":1444552521000},"page":"45-54","source":"Crossref","is-referenced-by-count":13,"title":["Equality in computer proof-assistants"],"prefix":"10.15439","volume":"5","author":[{"given":"Adam","family":"Grabowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Artur","family":"Kornilowicz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Schwarzweller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"6175","published-online":{"date-parts":[[2015,10,11]]},"event":{"name":"2015 Federated Conference on Computer Science and Information Systems","acronym":"FedCSIS 2015","start":{"date-parts":[[2015,9,13]]},"end":{"date-parts":[[2015,9,16]]}},"container-title":["Annals of Computer Science and Information Systems","Proceedings of the 2015 Federated Conference on Computer Science and Information Systems"],"original-title":[],"deposited":{"date-parts":[[2024,12,12]],"date-time":"2024-12-12T07:29:50Z","timestamp":1733988590000},"score":1,"resource":{"primary":{"URL":"https:\/\/annals-csis.org\/Volume_5\/drp\/229.html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,11]]},"references-count":0,"URL":"https:\/\/doi.org\/10.15439\/2015f229","relation":{},"ISSN":["2300-5963"],"issn-type":[{"value":"2300-5963","type":"print"}],"subject":[],"published":{"date-parts":[[2015,10,11]]}}}