{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,2]],"date-time":"2023-01-02T20:10:13Z","timestamp":1672690213648},"reference-count":12,"publisher":"Association for Computing Machinery (ACM)","issue":"3","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["J. ACM"],"published-print":{"date-parts":[[1978,7]]},"DOI":"10.1145\/322077.322078","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T11:26:13Z","timestamp":1027769173000},"page":"341-351","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Another Generalization of Resolution"],"prefix":"10.1145","volume":"25","author":[{"given":"Norman","family":"Rubin","sequence":"first","affiliation":[{"name":"Polytechnic Institute of New York, 230 Jay Street, Brooklyn, NY and New York University, New York, New York"}]},{"given":"Malcolm C.","family":"Harrison","sequence":"additional","affiliation":[{"name":"Courant Institute of Mathematical Sciences, New York University, 251 Mercer Street, New York, NY"}]}],"member":"320","published-online":{"date-parts":[[1978,7]]},"reference":[{"key":"e_1_2_1_1_2","doi-asserted-by":"publisher","DOI":"10.1145\/321466.321469"},{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/321607.321618"},{"key":"e_1_2_1_3_2","volume-title":"R C Symbohc Logic and Mechamcal Theorem","author":"CHANG C L","year":"1973","unstructured":"CHANG , C L , AND LEE , R C Symbohc Logic and Mechamcal Theorem . Proving Academic Press , New York , 1973 CHANG, C L, AND LEE, R C Symbohc Logic and Mechamcal Theorem.Proving Academic Press, New York, 1973"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321748"},{"key":"e_1_2_1_5_2","first-page":"134","volume-title":"E Felgenbaum and J Feldman, Eds","author":"GELERNTER","year":"1963","unstructured":"GELERNTER , H Reahzatton of a geometry theorem proving machine In Computers and Thought , E Felgenbaum and J Feldman, Eds , McGraw-Hill , New York , 1963 , pp 134 - 152 GELERNTER, H Reahzatton of a geometry theorem proving machine In Computers and Thought, E Felgenbaum and J Feldman, Eds, McGraw-Hill, New York, 1963, pp 134-152"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/321850.321857"},{"key":"e_1_2_1_7_2","first-page":"287","volume-title":"E-resolution Extension of resolution to include the equality relation Proc First lnt Joint Conf on Artlf. lntell","author":"MORRIS J B","year":"1969","unstructured":"MORRIS , J B , E-resolution Extension of resolution to include the equality relation Proc First lnt Joint Conf on Artlf. lntell ., 1969 , pp 287 - 294 MORRIS, J B, E-resolution Extension of resolution to include the equality relation Proc First lnt Joint Conf on Artlf. lntell., 1969, pp 287-294"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"e_1_2_1_9_2","first-page":"135","volume-title":"B Meltzer and D Mtchle, Eds","author":"ROBINSON G","year":"1969","unstructured":"ROBINSON , G , AND WOS , L Paramodulatton and theorem-prowng In first-order theories wlth equahty In Machine Intelhgence 4 , B Meltzer and D Mtchle, Eds , American Elsevier , New York , 1969 , pp 135 - 150 ROBINSON, G, AND WOS, L Paramodulatton and theorem-prowng In first-order theories wlth equahty In Machine Intelhgence 4, B Meltzer and D Mtchle, Eds, American Elsevier, New York, 1969, pp 135-150"},{"key":"e_1_2_1_10_2","volume-title":"L Axiom systems In automatic theorem proving Proc Syrup Automatic Demonstration","author":"ROBINSON G","year":"1968","unstructured":"ROBINSON , G , AND WOS , L Axiom systems In automatic theorem proving Proc Syrup Automatic Demonstration , Versailles, France , 1968 , M Landet, Ed, Spnnger-Verlag (Lecture Notes in Mathematics, No 125), 1970, pp 215-236 ROBINSON, G, AND WOS, L Axiom systems In automatic theorem proving Proc Syrup Automatic Demonstration, Versailles, France, 1968, M Landet, Ed, Spnnger-Verlag (Lecture Notes in Mathematics, No 125), 1970, pp 215-236"},{"key":"e_1_2_1_11_2","volume-title":"New York U","author":"RUBIN N A","year":"1976","unstructured":"RUBIN , N A hierarchical technique for mechanical theorem proving and ItS application to programming language design Courant Comptr Scl Rep No 10 , New York U , New York , 1976 . RUBIN, N A hierarchical technique for mechanical theorem proving and ItS application to programming language design Courant Comptr Scl Rep No 10, New York U, New York, 1976."},{"key":"e_1_2_1_12_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(76)90021-7","volume":"7","author":"SHOSTAK R E","year":"1976","unstructured":"SHOSTAK . R E Refutation graphs Artif. Intell 7 , 1 (Spnng 1976 ), 51-64 SHOSTAK. R E Refutation graphs Artif. Intell 7, 1 (Spnng 1976), 51-64","journal-title":"Artif. Intell"}],"container-title":["Journal of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/322077.322078","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,31]],"date-time":"2022-12-31T22:07:26Z","timestamp":1672524446000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/322077.322078"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978,7]]},"references-count":12,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1978,7]]}},"alternative-id":["10.1145\/322077.322078"],"URL":"http:\/\/dx.doi.org\/10.1145\/322077.322078","relation":{},"ISSN":["0004-5411","1557-735X"],"issn-type":[{"value":"0004-5411","type":"print"},{"value":"1557-735X","type":"electronic"}],"subject":["Artificial Intelligence","Hardware and Architecture","Information Systems","Control and Systems Engineering","Software"],"published":{"date-parts":[[1978,7]]},"assertion":[{"value":"1978-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}