{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:48:04Z","timestamp":1749124084355},"publisher-location":"New York, NY","reference-count":8,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9780387960227"},{"type":"electronic","value":"9780387347684"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/978-0-387-34768-4_19","type":"book-chapter","created":{"date-parts":[[2011,5,9]],"date-time":"2011-05-09T04:01:06Z","timestamp":1304913666000},"page":"316-332","source":"Crossref","is-referenced-by-count":9,"title":["The Linked Inference Principle, II: The User\u2019s Viewpoint"],"prefix":"10.1007","author":[{"given":"L.","family":"Wos","sequence":"first","affiliation":[]},{"given":"R.","family":"Veroff","sequence":"additional","affiliation":[]},{"given":"B.","family":"Smith","sequence":"additional","affiliation":[]},{"given":"W.","family":"McCune","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Luckham, D. C., \u201cSome Tree-paring Strategies for Theorem Proving,\u201d Machine Intelligence 3 (ed. Michle, D.), Edinburgh University Press 1968, pp. 95\u2013112."},{"key":"19_CR2","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1109\/TC.1976.1674696","volume":"C-25","author":"J. McCharen","year":"1976","unstructured":"McCharen, J., Overbeek, R. and Wos, L., \u201cProblems and experiments for and with automated theorem proving programs,\u201d IEEE Transactions on Computers, Vol. C-25(1976), pp. 773\u2013782.","journal-title":"IEEE Transactions on Computers"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. Robinson","year":"1965","unstructured":"Robinson, J., \u201cA machlne-orlented logic based on the resolution principle,\u201d J. ACM, Vol. 12(1965), pp. 23\u201341.","journal-title":"J. ACM"},{"key":"19_CR4","unstructured":"Warren, D. H. D., Implementing Prolog \u2014 compiling predicate logic programs, DAI Research Reports 39 & 40, University of Edinburgh, May 1977."},{"key":"19_CR5","unstructured":"Wojclechowski, W. and Wojcik, A., \u201cAutomated design of multlple-valued logic circuits by automatic theorem proving teehnlques,\u201d to appear in IEEE Transactions on Computers."},{"key":"19_CR6","first-page":"615","volume-title":"Proc. AFIPS","author":"L. Wos","year":"1964","unstructured":"Wos, L., Carson, D. and Robinson, G., \u201cThe unit preference strategy in theorem proving,\u201d Proc. AFIPS 1964 Fall Joint Computer Conference, Vol. 26, Part II, pp. 615\u2013621 (Spartan Books, Washington, D.C.)."},{"key":"19_CR7","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1145\/321296.321302","volume":"12","author":"L. Wos","year":"1965","unstructured":"Wos, L., Carson, D. and Robinson, G., \u201cEfficiency and completeness of the set of support strategy in theorem proving,\u201d J. ACM, Vol. 12(1965), pp. 536\u2013541.","journal-title":"J. ACM"},{"key":"19_CR8","unstructured":"Wos, L., Smith, B. and Veroff, R., \u201cThe Linked Inference Principle, I: The Formal Treatment,\u201d in preparation."}],"container-title":["Lecture Notes in Computer Science","7th International Conference on Automated Deduction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-34768-4_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:45:18Z","timestamp":1605649518000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-34768-4_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9780387960227","9780387347684"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-34768-4_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1984]]}}}