{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:14:28Z","timestamp":1750220068930,"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"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,3]]},"DOI":"10.1145\/3545947.3573228","type":"proceedings-article","created":{"date-parts":[[2023,3,7]],"date-time":"2023-03-07T04:37:59Z","timestamp":1678163879000},"page":"1259-1259","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Proof Buddy"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2541-5264","authenticated-orcid":false,"given":"Steve","family":"Earth","sequence":"first","affiliation":[{"name":"Drexel University, Philadelphia, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8333-5532","authenticated-orcid":false,"given":"Jeremy","family":"Johnson","sequence":"additional","affiliation":[{"name":"Drexel University, Philadelphia, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8974-4481","authenticated-orcid":false,"given":"Bruce","family":"Char","sequence":"additional","affiliation":[{"name":"Drexel University, Philadelphia, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,3,6]]},"event":{"sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"],"acronym":"SIGCSE 2023","name":"SIGCSE 2023: The 54th ACM Technical Symposium on Computer Science Education","location":"Toronto ON Canada"},"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.3573228","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:09:05Z","timestamp":1750183745000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3545947.3573228"}},"subtitle":["A Tool to Aid Students in Proof Construction"],"short-title":[],"issued":{"date-parts":[[2022,3]]},"references-count":0,"alternative-id":["10.1145\/3545947.3573228","10.1145\/3545947"],"URL":"https:\/\/doi.org\/10.1145\/3545947.3573228","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"}}]}}