{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:19:58Z","timestamp":1750306798774,"version":"3.41.0"},"reference-count":3,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2014,2,1]],"date-time":"2014-02-01T00:00:00Z","timestamp":1391212800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Commun. ACM"],"published-print":{"date-parts":[[2014,2]]},"abstract":"<jats:p>New discoveries expand the scope of computer-assisted proofs of theorems.<\/jats:p>","DOI":"10.1145\/2557446","type":"journal-article","created":{"date-parts":[[2014,1,28]],"date-time":"2014-01-28T13:49:22Z","timestamp":1390916962000},"page":"13-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["A new type of mathematics?"],"prefix":"10.1145","volume":"57","author":[{"given":"Don","family":"Monroe","sequence":"first","affiliation":[{"name":"Murray Hill, NJ"}]}],"member":"320","published-online":{"date-parts":[[2014,2]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"The Univalent Foundations Program Institute for Advanced Study \"Homotopy Type Theory: Univalent Foundations of Mathematics\" (Princeton 2013) available for download or purchase at http:\/\/homotopytypetheory.org\/book\/. The Univalent Foundations Program Institute for Advanced Study \"Homotopy Type Theory: Univalent Foundations of Mathematics\" (Princeton 2013) available for download or purchase at http:\/\/homotopytypetheory.org\/book\/."},{"issue":"11","key":"e_1_2_1_2_1","first-page":"1382","volume":"55","author":"Georges Gonthier","year":"2008","journal-title":"Notices of the American Mathematical Society"},{"key":"e_1_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Thomas Hales \"Mathematics in the Age of the Turing Machine\" to be published in Turing's Legacy: Developments from Turing's Ideas in Logic (Lecture Notes in Logic) ed. R. Downey (Cambridge University Press 2014).  Thomas Hales \"Mathematics in the Age of the Turing Machine\" to be published in Turing's Legacy: Developments from Turing's Ideas in Logic (Lecture Notes in Logic) ed. R. Downey (Cambridge University Press 2014).","DOI":"10.1017\/CBO9781107338579.008"}],"container-title":["Communications of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2557446","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2557446","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:34:41Z","timestamp":1750232081000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2557446"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2]]},"references-count":3,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,2]]}},"alternative-id":["10.1145\/2557446"],"URL":"https:\/\/doi.org\/10.1145\/2557446","relation":{},"ISSN":["0001-0782","1557-7317"],"issn-type":[{"type":"print","value":"0001-0782"},{"type":"electronic","value":"1557-7317"}],"subject":[],"published":{"date-parts":[[2014,2]]},"assertion":[{"value":"2014-02-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}