{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:38:04Z","timestamp":1725626284476},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540128717"},{"type":"electronic","value":"9783642693915"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/978-3-642-69391-5_20","type":"book-chapter","created":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T10:13:31Z","timestamp":1319710411000},"page":"216-224","source":"Crossref","is-referenced-by-count":1,"title":["Ein Regelbasiertes Klauselgraph-Beweisverfahren"],"prefix":"10.1007","author":[{"given":"Hans J\u00fcrgen","family":"Ohlbach","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/321738.321739","volume":"20","author":"K John","year":"1973","unstructured":"John K. Dixon Z-Resolution: Theorem Proving with Compiled Axioms J. ACM 20:1 1973","journal-title":"J. ACM"},{"key":"20_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/321495.321500","volume":"16","author":"Guard","year":"1969","unstructured":"Guard, Oglesby, Bennet, Settle Semi-Automated Mathematics J. ACM 16:1 1969","journal-title":"J. ACM"},{"key":"20_CR3","volume-title":"Basic Notions in First Order Unification Theory Interner Bericht","author":"A Herold","year":"1983","unstructured":"A. Herold Basic Notions in First Order Unification Theory Interner Bericht, Universit\u00e4t Karlsruhe, 1983"},{"key":"20_CR4","volume-title":"The Markgraf Karl Refutation Procedure: Spring 1983 Interner Bericht","author":"K Mark","year":"1983","unstructured":"Karl Mark G. Raph The Markgraf Karl Refutation Procedure: Spring 1983 Interner Bericht, Universit\u00e4t Karlsruhe"},{"key":"20_CR5","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 J. ACM 22:4 1975","journal-title":"J. ACM"},{"key":"20_CR6","series-title":"Fakult\u00e4t f\u00fcr Informatik","volume-title":"The Markgraf Karl Refutation Procedure: The Logic Engine","author":"HJ Ohlbach","year":"1982","unstructured":"H.J. Ohlbach The Markgraf Karl Refutation Procedure: The Logic Engine. Fakult\u00e4t f\u00fcr Informatik. Interner Bericht 24\/82 Universit\u00e4t Karlsruhe 1982"},{"key":"20_CR7","volume-title":"Universelle Unifikation Proc. of GWAI-82","author":"J Siekmann","year":"1982","unstructured":"J. Siekmann, P. Szab\u00f3 Universelle Unifikation Proc. of GWAI-82, Bad Honnef 1982"},{"key":"20_CR8","series-title":"Proc. of GWAI-82","volume-title":"Completeness of the Connection Graph Proof Procedure for Unit-Refutable Clause Sets","author":"G Smolka","year":"1982","unstructured":"G. Smolka Completeness of the Connection Graph Proof Procedure for Unit-Refutable Clause Sets. Proc. of GWAI-82, Bad Honnef 1982"},{"key":"20_CR9","volume-title":"Application of Automatic Transformations to Program Verification","author":"RL Veroff","year":"1981","unstructured":"R.L. Veroff, L.J. Henschen Application of Automatic Transformations to Program Verification Proc. of seventh IJCAI, Vancouver 1981"}],"container-title":["Informatik-Fachberichte","GWAI-83"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69391-5_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:33:39Z","timestamp":1606257219000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69391-5_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540128717","9783642693915"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69391-5_20","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1983]]}}}