{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:33:18Z","timestamp":1750221198603,"version":"3.41.0"},"reference-count":0,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2018,7,26]],"date-time":"2018-07-26T00:00:00Z","timestamp":1532563200000},"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":["ACM SIGLOG News"],"published-print":{"date-parts":[[2018,7,26]]},"abstract":"<jats:p>Any computer scientist who does research in logic and verification will sooner or later cross their path with Presburger arithmetic. This column, authoritatively and accessibly composed by Christoph Haase, fills the gap for a state-of-the-art introduction to the logic of Presburger arithmetic and its algorithmic properties. As well as conveying an illuminating brief history, the article provides plenty of pointers to ongoing cutting-edge work.<\/jats:p>","DOI":"10.1145\/3242953.3242963","type":"journal-article","created":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T09:28:34Z","timestamp":1585992514000},"page":"66-66","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Verification column"],"prefix":"10.1145","volume":"5","author":[{"given":"Ranko","family":"Lazi\u0107","sequence":"first","affiliation":[{"name":"University of Warwick"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,7,26]]},"container-title":["ACM SIGLOG News"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3242953.3242963","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3242953.3242963","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:24Z","timestamp":1750210764000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3242953.3242963"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,26]]},"references-count":0,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,7,26]]}},"alternative-id":["10.1145\/3242953.3242963"],"URL":"https:\/\/doi.org\/10.1145\/3242953.3242963","relation":{},"ISSN":["2372-3491"],"issn-type":[{"type":"electronic","value":"2372-3491"}],"subject":[],"published":{"date-parts":[[2018,7,26]]},"assertion":[{"value":"2018-07-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}