{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:43Z","timestamp":1725664963889},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617327"},{"type":"electronic","value":"9783540707400"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61732-9_67","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:17:03Z","timestamp":1330294623000},"page":"339-353","source":"Crossref","is-referenced-by-count":1,"title":["Backward reasoning in systems with cut"],"prefix":"10.1007","author":[{"given":"Elmar","family":"Eder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"21_CR1","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming, volume 1","author":"W. Bibel","year":"1993","unstructured":"W. Bibel, M. Davis, E. Eder, N. Eisinger, M. Fitting, W. Hodges, D. J. Israel, H.J. Ohlbach, and D.A. Plaisted. Handbook of Logic in Artificial Intelligence and Logic Programming, volume 1. Clarendon Press, Oxford, 1993. (Dov M. Gabbay, C.J. Hogger, and J.A. Robinson, editors)."},{"key":"21_CR2","volume-title":"Artificial Intelligence","author":"W. Bibel","year":"1987","unstructured":"Wolfgang Bibel. Automated Theorem Proving. Artificial Intelligence. Vieweg, Braunschweig\/Wiesbaden, second edition, 1987.","edition":"second edition"},{"key":"21_CR3","first-page":"121","volume-title":"Artificial Intelligence, Methodology, Systems, Applications (AIMSA '84), Varna, Bulgaria (Sept. 1984)","author":"E. Eder","year":"1985","unstructured":"Elmar Eder. An implementation of a theorem prover based on the connection method. In W. Bibel and B. Petkoff, editors, Artificial Intelligence, Methodology, Systems, Applications (AIMSA '84), Varna, Bulgaria (Sept. 1984), pages 121\u2013128, Amsterdam, New York, Oxford, 1985. European Coordinating Committee for Artificial Intelligence, North-Holland."},{"key":"21_CR4","volume-title":"Artificial Intelligence","author":"E. Eder","year":"1992","unstructured":"Elmar Eder. Relative Complexities of First Order Calculi. Artificial Intelligence. Vieweg, Wiesbaden, 1992. (Wolfgang Bibel and Walther von Hahn, editors)."},{"key":"21_CR5","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G. Gentzen","year":"1935","unstructured":"Gerhard Gentzen. Untersuchungen \u00fcber das logische Schlie\u00dfen. Mathematische Zeitschrift, 39:176\u2013210, 405\u2013431, 1935. Engl. transl. in [7], pp. 68\u2013131.","journal-title":"Mathematische Zeitschrift"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"R. Statman. Lower bounds on herbrand's theorem. Proc. AMS, 75, 1979.","DOI":"10.2307\/2042682"},{"key":"21_CR7","volume-title":"Studies in Logic and the Foundations of Mathematics","author":"M. E. Szabo","year":"1969","unstructured":"M. E. Szabo. The Collected Papers of Gerhard Gentzen. Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam, 1969."}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Mathematical Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61732-9_67.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:09:52Z","timestamp":1605647392000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61732-9_67"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617327","9783540707400"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-61732-9_67","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}