{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,22]],"date-time":"2026-09-22T05:15:18Z","timestamp":1790054118814,"version":"4.0.1"},"reference-count":5,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[1965,1,1]],"date-time":"1965-01-01T00:00:00Z","timestamp":-157766400000},"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":["J. ACM"],"published-print":{"date-parts":[[1965,1]]},"DOI":"10.1145\/321250.321253","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T11:26:10Z","timestamp":1027769170000},"page":"23-41","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2490,"title":["A Machine-Oriented Logic Based on the Resolution Principle"],"prefix":"10.1145","volume":"12","author":[{"given":"J. A.","family":"Robinson","sequence":"first","affiliation":[{"name":"Argonne National Laboratory, Argonne, Illinois and Rice University, Houston, Texas"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[1965,1]]},"reference":[{"key":"e_1_2_1_1_2","first-page":"40","volume":"1","author":"Eutchddugsproblem J.","year":"1936","journal-title":"Logic"},{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/321033.321034"},{"key":"e_1_2_1_3_2","doi-asserted-by":"crossref","unstructured":"FRIEDMAN J. A semi-decision procedure for die funCtiONAL calculus. J. ACM I0 (Jan. 1963) 1-24. 10.1145\/321150.321151   FRIEDMAN J. A semi-decision procedure for die funCtiONAL calculus. J. ACM I0 (Jan. 1963) 1-24. 10.1145\/321150.321151","DOI":"10.1145\/321150.321151"},{"key":"e_1_2_1_4_2","volume":"4","author":"Fired","year":"1960","journal-title":"IBM J. Res. Develop."},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/321160.321166"}],"container-title":["Journal of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/321250.321253","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/321250.321253","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:54:16Z","timestamp":1750287256000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/321250.321253"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1965,1]]},"references-count":5,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1965,1]]}},"alternative-id":["10.1145\/321250.321253"],"URL":"https:\/\/doi.org\/10.1145\/321250.321253","relation":{},"ISSN":["0004-5411","1557-735X"],"issn-type":[{"value":"0004-5411","type":"print"},{"value":"1557-735X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1965,1]]},"assertion":[{"value":"1965-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}