{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:42:08Z","timestamp":1725583328349},"publisher-location":"New York, NY","reference-count":10,"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_29","type":"book-chapter","created":{"date-parts":[[2011,5,9]],"date-time":"2011-05-09T04:01:06Z","timestamp":1304913666000},"page":"496-508","source":"Crossref","is-referenced-by-count":2,"title":["Solving a Problem in Relevance Logic with an Automated Theorem Prover"],"prefix":"10.1007","author":[{"given":"Hans-J\u00fcrgen","family":"Ohlbach","sequence":"first","affiliation":[]},{"given":"Graham","family":"Wrightson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"A.R. Anderson, N.D. Belnap Entailment: The Logic of Relevance and Necessity Vol. 1, Princeton University Press, 1975","key":"29_CR1"},{"unstructured":"G. Antoniou, H.J. Ohlbach Terminator Proc. of Eights IJCAI, Karlsruhe 1983","key":"29_CR2"},{"doi-asserted-by":"crossref","unstructured":"N. Eisinger Subsumption and Connection Graphs Proc. of GWAI-81, Bad Honnef 1981","key":"29_CR3","DOI":"10.1007\/978-3-662-02328-0_17"},{"key":"29_CR4","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1145\/322077.322078","volume":"25","author":"M.C. Harrison","year":"1978","unstructured":"M.C. Harrison, N. Rubin Another Generalization of Resolution JACM 25:3 341\u2013351 1978","journal-title":"JACM"},{"unstructured":"Karl Mark G. Raph The Markgraf. Karl Refutatlon Procedure: Spring 1983 University of Karlsruhe, Interner Berlcht","key":"29_CR5"},{"key":"29_CR6","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/321906.321919","volume":"22","author":"R. Kowalski","year":"1975","unstructured":"R. Kowalski A Proof Procedure Using Connection Graphs JACM 22:4 1975","journal-title":"JACM"},{"doi-asserted-by":"crossref","unstructured":"G.A. Wilson, J. Minker Resolution Refinement and Search Strategies: A Comparative Study. Trans. on Comp., vol. C-25, no.8, 1976","key":"29_CR7","DOI":"10.1109\/TC.1976.1674697"},{"unstructured":"R. Overbeck, L. Wos Private Communication (IJCAI 83)","key":"29_CR8"},{"unstructured":"C. Walther Elimination of Redundant Links in Extended Connection Graphs. University of Karlsruhe, Interner Bericht 10\/81","key":"29_CR9"},{"doi-asserted-by":"crossref","unstructured":"R. Routley, R. Meyer The Semantics of Entailment in Truth, Syntax and Modality. Leblanc (ed) North-Holland 1972","key":"29_CR10","DOI":"10.1016\/S0049-237X(08)71541-6"}],"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_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:45:23Z","timestamp":1605649523000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-34768-4_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9780387960227","9780387347684"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-34768-4_29","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1984]]}}}