{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T17:55:26Z","timestamp":1648922126091},"reference-count":18,"publisher":"Informa UK Limited","issue":"1-2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Computer Mathematics"],"published-print":{"date-parts":[[1996,1]]},"DOI":"10.1080\/00207169608804524","type":"journal-article","created":{"date-parts":[[2007,6,25]],"date-time":"2007-06-25T20:21:21Z","timestamp":1182802881000},"page":"45-61","source":"Crossref","is-referenced-by-count":2,"title":["The practicality of generating semantic trees for proofs of unsatisfiability"],"prefix":"10.1080","volume":"62","author":[{"given":"Mohamed","family":"Almulla","sequence":"first","affiliation":[]},{"given":"Monroe","family":"Newborn","sequence":"additional","affiliation":[]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(71)90004-X"},{"key":"CIT0002","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"Chang C. L.","year":"1973"},{"key":"CIT0003","volume-title":"Theorem proving by generation of pseudo-semantic trees, Div. of Comput. Res. and TechnoL, Nat. Inst, of Health","author":"Chang C. L.","year":"1971"},{"key":"CIT0004","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1145\/116825.116833","volume":"38","author":"Hsiang J.","year":"1991","journal-title":"Journal of the Assoc, for Computing Machinery"},{"key":"CIT0005","first-page":"87","volume":"5","author":"Kowalski R.","year":"1970","journal-title":"Machine Intelligence"},{"key":"CIT0006","first-page":"87","volume":"4","author":"Kowalski R.","year":"1969","journal-title":"Machine Intelligence"},{"key":"CIT0007","first-page":"183","volume":"4","author":"Letz R.","year":"1992","journal-title":"Journal of Automated ReasoningrH"},{"key":"CIT0008","volume-title":"Automated Theorem Proving: A lagical Basis","volume":"6","author":"Loveland D. W.","year":"1978"},{"key":"CIT0009","volume-title":"Mathematical Theory of Computation","author":"Manna Z.","year":"1974"},{"key":"CIT0010","volume-title":"The Great Theorem Prover Version 2, Newborn Software","author":"Newborn M.","year":"1994"},{"key":"CIT0011","volume-title":"Problem-Solving Methods in Artificial Intelligence","author":"Nilsson N. J.","year":"1971"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(71)90013-0"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"CIT0014","unstructured":"Sikloosy L. Marinov V.Heuristic search vs. exhaustive search, Proc. 2nd International Conference on Artificial IntelligenceLondon1971 601 607"},{"key":"CIT0015","first-page":"91","volume":"14","author":"Slagle J. R.","year":"1971","journal-title":"Comm. Assoc, for Computing Machinery"},{"key":"CIT0016","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1145\/321420.321428","volume":"14","author":"Slagle J. R.","year":"1967","journal-title":"for Computing Machinery"},{"key":"CIT0017","volume-title":"Set Theorey And Logic","author":"Stickel M. E.","year":"1963"},{"key":"CIT0018","volume-title":"Set Theorey And Logic","author":"Stoll R.","year":"1963"}],"container-title":["International Journal of Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207169608804524","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T15:51:40Z","timestamp":1556553100000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/00207169608804524"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1]]},"references-count":18,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1996,1]]}},"alternative-id":["10.1080\/00207169608804524"],"URL":"https:\/\/doi.org\/10.1080\/00207169608804524","relation":{},"ISSN":["0020-7160","1029-0265"],"issn-type":[{"value":"0020-7160","type":"print"},{"value":"1029-0265","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,1]]}}}