{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,30]],"date-time":"2022-12-30T07:32:21Z","timestamp":1672385541273},"reference-count":19,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1975,6,1]],"date-time":"1975-06-01T00:00:00Z","timestamp":170812800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1975,6]]},"DOI":"10.1016\/0004-3702(75)90005-3","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T13:02:52Z","timestamp":1047646972000},"page":"103-127","source":"Crossref","is-referenced-by-count":12,"title":["\u03a0-representation: A clause representation for parallel search"],"prefix":"10.1016","volume":"6","author":[{"given":"Daniel H.","family":"Fishman","sequence":"first","affiliation":[]},{"given":"Jack","family":"Minker","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(75)90005-3_BIB1","series-title":"Global parallel unification for large question-answering systems. TR-307","author":"Auguston","year":"1974"},{"issue":"1","key":"10.1016\/0004-3702(75)90005-3_BIB2","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(72)90041-0","article-title":"Computer proofs of limit theorems","volume":"3","author":"Bledsoe","year":"1972","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(75)90005-3_BIB3","series-title":"Symbolic Logic and Mechanical Theorem Proving","author":"Chang","year":"1973"},{"key":"10.1016\/0004-3702(75)90005-3_BIB4","series-title":"Proc. IJCAI","first-page":"317","article-title":"Theorem provers as question answerers (unpublished)","author":"Darlington","year":"1969"},{"key":"10.1016\/0004-3702(75)90005-3_BIB5","series-title":"Proc. FJCC","first-page":"1193","article-title":"Recent developments in sail\u2014An algol-based language for artificial intelligence","author":"Feldman","year":"1972"},{"key":"10.1016\/0004-3702(75)90005-3_BIB6","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(70)90003-2","article-title":"REF-ARF: A system for solving problems stated as procedures","volume":"1","author":"Fikes","year":"1970","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(75)90005-3_BIB7_1","series-title":"Ph.D. Thesis","article-title":"Experiments with a resolution-based deductive question-answering system and a proposed clause representation for parallel search","author":"Fishman","year":"1973"},{"key":"10.1016\/0004-3702(75)90005-3_BIB7_2","series-title":"TR-280","author":"Fishman","year":"1973"},{"key":"10.1016\/0004-3702(75)90005-3_BIB8","first-page":"183","article-title":"Theorem proving by resolution as a basis for question answering systems","volume":"4","author":"Green","year":"1969"},{"key":"10.1016\/0004-3702(75)90005-3_BIB9","series-title":"Ph.D. Thesis","article-title":"Description and theoretical analysis (using schemata) of planner: A language for proving theorems and manipulating models in robots","author":"Hewitt","year":"1972"},{"key":"10.1016\/0004-3702(75)90005-3_BIB10","first-page":"181","article-title":"Search strategies for theorem proving","volume":"5","author":"Kowalski","year":"1970"},{"issue":"1","key":"10.1016\/0004-3702(75)90005-3_BIB11","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(71)90003-8","article-title":"Extracting information from resolution-proof trees","volume":"2","author":"Luckham","year":"1971","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(75)90005-3_BIB12","series-title":"TR-208","article-title":"The Maryland refutation proof procedure system (MRPPS)","author":"Minker","year":"1972"},{"issue":"3\/4","key":"10.1016\/0004-3702(75)90005-3_BIB13","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0004-3702(73)90013-1","article-title":"The Q\u2217 algorithm\u2014A search strategy for a deductive question-answering system","volume":"4","author":"Minkes","year":"1973","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(75)90005-3_BIB14","series-title":"TR-228","article-title":"MRPPS\u2014An interactive refutation proof procedure system for question-answering","author":"Minker","year":"1973"},{"key":"10.1016\/0004-3702(75)90005-3_BIB15","series-title":"Problem-Solving Methods in Artificial Intelligence","author":"Nilsson","year":"1971"},{"issue":"1","key":"10.1016\/0004-3702(75)90005-3_BIB16","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","article-title":"A machine oriented logic based on the resolution principle","volume":"12","author":"Robinson","year":"1965","journal-title":"J. ACM"},{"key":"10.1016\/0004-3702(75)90005-3_BIB17","series-title":"Tech. Note 73","article-title":"QA4: A procedural calculus for intuitive reasoning","author":"Rulifson","year":"1972"},{"key":"10.1016\/0004-3702(75)90005-3_BIB18","series-title":"Proc. FJCC","first-page":"1171","article-title":"From planner to conniver\u2014A genetic approach","author":"Sussman","year":"1972"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370275900053?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370275900053?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T23:24:56Z","timestamp":1553642696000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0004370275900053"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975,6]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1975,6]]}},"alternative-id":["0004370275900053"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(75)90005-3","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1975,6]]}}}