{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:17:27Z","timestamp":1750220247433,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":0,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,3,1]],"date-time":"2022-03-01T00:00:00Z","timestamp":1646092800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Science Foundation","award":["2049911"],"award-info":[{"award-number":["2049911"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,3]]},"DOI":"10.1145\/3545947.3573359","type":"proceedings-article","created":{"date-parts":[[2023,3,7]],"date-time":"2023-03-07T04:37:59Z","timestamp":1678163879000},"page":"1256-1256","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["The Purpose of Proof"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8974-4481","authenticated-orcid":false,"given":"Bruce W.","family":"Char","sequence":"first","affiliation":[{"name":"Drexel University, Philadelphia, PA, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6890-8339","authenticated-orcid":false,"given":"Peter-Michael","family":"Osera","sequence":"additional","affiliation":[{"name":"Grinnell College, Grinnell, IA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7595-2458","authenticated-orcid":false,"given":"David G.","family":"Wonnacott","sequence":"additional","affiliation":[{"name":"Haverford College, Haverford, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,3,6]]},"event":{"name":"SIGCSE 2023: The 54th ACM Technical Symposium on Computer Science Education","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"],"location":"Toronto ON Canada","acronym":"SIGCSE 2023"},"container-title":["Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 2"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3545947.3573359","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:36Z","timestamp":1750188636000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3545947.3573359"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3]]},"references-count":0,"alternative-id":["10.1145\/3545947.3573359","10.1145\/3545947"],"URL":"https:\/\/doi.org\/10.1145\/3545947.3573359","relation":{},"subject":[],"published":{"date-parts":[[2022,3]]},"assertion":[{"value":"2023-03-06","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}