{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,22]],"date-time":"2026-09-22T11:57:59Z","timestamp":1790078279183,"version":"4.0.1"},"reference-count":3,"publisher":"Association for Computing Machinery (ACM)","issue":"7","license":[{"start":{"date-parts":[[1962,7,1]],"date-time":"1962-07-01T00:00:00Z","timestamp":-236822400000},"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":[[1962,7]]},"abstract":"<jats:p>The programming of a proof procedure is discussed in connection with trial runs and possible improvements.<\/jats:p>","DOI":"10.1145\/368273.368557","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T07:37:46Z","timestamp":1027755466000},"page":"394-397","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1891,"title":["A machine program for theorem-proving"],"prefix":"10.1145","volume":"5","author":[{"given":"Martin","family":"Davis","sequence":"first","affiliation":[{"name":"Institute of Mathematical Sciences, New York Univ., New York"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"George","family":"Logemann","sequence":"additional","affiliation":[{"name":"Institute of Mathematical Sciences, New York Univ., New York"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Donald","family":"Loveland","sequence":"additional","affiliation":[{"name":"Institute of Mathematical Sciences, New York Univ., New York"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[1962,7]]},"reference":[{"key":"e_1_2_1_1_2","doi-asserted-by":"publisher","DOI":"10.1145\/321033.321034"},{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1147\/rd.41.0028"},{"key":"e_1_2_1_3_2","first-page":"2","article-title":"An improved proof procedure","volume":"26","author":"PRAWITZ DAG","year":"1960","journal-title":"Theoria"}],"container-title":["Communications of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/368273.368557","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/368273.368557","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:54:03Z","timestamp":1750272843000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/368273.368557"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1962,7]]},"references-count":3,"journal-issue":{"issue":"7","published-print":{"date-parts":[[1962,7]]}},"alternative-id":["10.1145\/368273.368557"],"URL":"https:\/\/doi.org\/10.1145\/368273.368557","relation":{},"ISSN":["0001-0782","1557-7317"],"issn-type":[{"value":"0001-0782","type":"print"},{"value":"1557-7317","type":"electronic"}],"subject":[],"published":{"date-parts":[[1962,7]]},"assertion":[{"value":"1962-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}