{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:21Z","timestamp":1761611301090},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634935"},{"type":"electronic","value":"9783540695820"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3540634932_31","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:27:18Z","timestamp":1330280838000},"page":"377-380","source":"Crossref","is-referenced-by-count":2,"title":["Planning diagonalization proofs"],"prefix":"10.1007","author":[{"given":"Lassaad","family":"Cheikhrouhou","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,8]]},"reference":[{"key":"31_CR1","volume-title":"Proceedings of the 14th Conference on Automated Deduction","author":"C. Benzm\u00fcller","year":"1997","unstructured":"C. Benzm\u00fcller, L. Cheikhrouhou, D. Fehrer, A. Fiedler, X. Huang, M. Kerber, M. Kohlhase, K. Konrad, E. Melis, A. Meier, W. Schaarschmidt, J. Siekmann, and V. Sorge. \u03a9Mega: Towards a Mathematical Assistant. In William McCune, editor, Proceedings of the 14th Conference on Automated Deduction, LNAI, Townsville, Australia, 1997. Springer Verlag."},{"key":"31_CR2","unstructured":"Alan Bundy. A Science of Reasoning. In Computational Logic: Essays in honor of Alan Robinson. MIT Press, 1991. also presented at the 10th CADE 1990 as extended abstract."},{"key":"31_CR3","series-title":"SEKI Report SR-96-14","volume-title":"The Mechanization of the Diagonalization Proof Strategy","author":"L. Cheikhrouhou","year":"1996","unstructured":"Lassaad Cheikhrouhou. The Mechanization of the Diagonalization Proof Strategy. SEKI Report SR-96-14, Fachbereich Informatik, Universit\u00e4t des Saarlandes, Im Stadtwald, Saarbr\u00fccken, Germany, 1996."},{"key":"31_CR4","series-title":"SEKI Report SR-97-06","volume-title":"Planning Diagonalization Proofs","author":"L. Cheikhrouhou","year":"1997","unstructured":"Lassaad Cheikhrouhou. Planning Diagonalization Proofs. SEKI Report SR-97-06, Fachbereich Informatik, Universit\u00e4t des Saarlandes, Im Stadtwald, Saarbr\u00fccken, Germany, 1997."},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"Martin D. Davis, Ron Sigal, and Elaine J. Weyuker. Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science. Academic Press, second edition, 1994.","DOI":"10.1016\/B978-0-08-050246-5.50020-9"},{"issue":"5-6","key":"31_CR6","first-page":"277","volume":"30","author":"X. Huang","year":"1994","unstructured":"Xiaorong Huang, Manfred Kerber, J\u00f6rn Richts, and Arthur Sehn. Planning Mathematical Proofs with Methods. Journal of Information Processing and Cybernetics, EIK, 30(5-6):277\u2013291, 1994.","journal-title":"Journal of Information Processing and Cybernetics, EIK"},{"key":"31_CR7","unstructured":"I. Kraan, D. Basin, and A. Bundy. Middle-Out Reasoning for Program Synthesis. In P. Szeredi, editor, Proceedings of the 10-th International Conference on Logic Programming. MIT Press, 1993."}],"container-title":["Lecture Notes in Computer Science","KI-97: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540634932_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:18:33Z","timestamp":1605629913000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540634932_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634935","9783540695820"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3540634932_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}