{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:47:04Z","timestamp":1762458424870,"version":"3.41.0"},"reference-count":11,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[1985,8,1]],"date-time":"1985-08-01T00:00:00Z","timestamp":491702400000},"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":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[1985,8]]},"DOI":"10.1145\/1012497.1012521","type":"journal-article","created":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T17:39:09Z","timestamp":1097170749000},"page":"63-66","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":44,"title":["An equational approach to theorem proving in first-order predicate calculus"],"prefix":"10.1145","volume":"10","author":[{"given":"Deepak","family":"Kapur","sequence":"first","affiliation":[{"name":"General Electric Company, Schenectady, New York"}]},{"given":"Paliath","family":"Narendran","sequence":"additional","affiliation":[{"name":"General Electric Company, Schenectady, New York"}]}],"member":"320","published-online":{"date-parts":[[1985,8]]},"reference":[{"volume-title":"June, 1978.","author":"Bledsoe W. W.","key":"e_1_2_1_1_1"},{"first-page":"11","volume-title":"Springer Verlag","author":"Buchberger B.","key":"e_1_2_1_2_1"},{"key":"e_1_2_1_3_1","unstructured":"Chang C-L. and Lee R. C. Symbolic Logic and Mechanical Theorem Proving. Academic Press (1973) New York.   Chang C-L. and Lee R. C. Symbolic Logic and Mechanical Theorem Proving. Academic Press (1973) New York."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(82)90026-3"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/646237.683034"},{"key":"e_1_2_1_6_1","first-page":"436","volume-title":"NY","author":"Kandri-Rody A.","year":"1984"},{"volume-title":"Schenectade NY","year":"1984","author":"Kapur D.","key":"e_1_2_1_7_1"},{"key":"e_1_2_1_8_1","first-page":"263","volume-title":"Pergamon Press","author":"Knath D. E.","year":"1970"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/321850.321859"},{"key":"e_1_2_1_11_1","doi-asserted-by":"crossref","unstructured":"van der Waerden B. L. Modern Algebra Vols. I and II Fredrick Ungar Publishing Co. New York 1966.  van der Waerden B. L. Modern Algebra Vols. I and II Fredrick Ungar Publishing Co. New York 1966.","DOI":"10.1007\/978-3-642-96045-1"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1012497.1012521","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1012497.1012521","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:31:43Z","timestamp":1750264303000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1012497.1012521"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,8]]},"references-count":11,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1985,8]]}},"alternative-id":["10.1145\/1012497.1012521"],"URL":"https:\/\/doi.org\/10.1145\/1012497.1012521","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[1985,8]]},"assertion":[{"value":"1985-08-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}