{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:51:27Z","timestamp":1725475887308},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676973"},{"type":"electronic","value":"9783540450085"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722086_34","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T19:43:15Z","timestamp":1167421395000},"page":"436-440","source":"Crossref","is-referenced-by-count":11,"title":["E-SETHEO: An Automated3 Theorem Prover"],"prefix":"10.1007","author":[{"given":"Gernot","family":"Stenz","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Wolf","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"34_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1090.001.0001","volume-title":"Adaptation in Natural and Artificial Systems","author":"J.H. Holland","year":"1992","unstructured":"Holland, J.H.: Adaptation in Natural and Artificial Systems. MIT Press, Cambridge (1992)"},{"issue":"2","key":"34_CR2","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1023\/A:1005808119103","volume":"18","author":"M. Moser","year":"1997","unstructured":"Moser, M., et al.: SETHEO and E-SETHEO. The CADE-13 Systems. JAR\u00a018(2), 237\u2013246 (1997)","journal-title":"JAR"},{"key":"34_CR3","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/3-540-48660-7_27","volume-title":"Automated Deduction - CADE-16","author":"S. Schulz","year":"1999","unstructured":"Schulz, S.: System Abstract: E 0.3. In: Ganzinger, H. (ed.) CADE 1999. LNCS (LNAI), vol.\u00a01632, pp. 297\u2013301. Springer, Heidelberg (1999)"},{"key":"34_CR4","unstructured":"Stenz, G., Wolf, A.: Strategy Selection by Genetic Programming. FLAIRS-12, 346\u2013350 (1999)"},{"key":"34_CR5","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/3-540-46695-9_20","volume-title":"Advanced Topics in Artificial Intelligence","author":"G. Stenz","year":"1999","unstructured":"Stenz, G., Wolf, A.: E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover. In: Foo, N.Y. (ed.) AI 1999. LNCS (LNAI), vol.\u00a01747, pp. 231\u2013243. Springer, Heidelberg (1999)"},{"key":"34_CR6","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1007\/3-540-58156-1_18","volume-title":"Automated Deduction - CADE-12","author":"G. Sutcliffe","year":"1994","unstructured":"Sutcliffe, G., et al.: The TPTP Prob. Lib. In: Bundy, A., et al. (eds.) CADE 1994. LNCS (LNAI), vol.\u00a0814, pp. 252\u2013266. Springer, Heidelberg (1994)"},{"issue":"2","key":"34_CR7","first-page":"219","volume":"13","author":"A. Wolf","year":"1999","unstructured":"Wolf, A., Letz, R.: Strategy Parallelism in ATP. IJPRAI\u00a013(2), 219\u2013245 (1999)","journal-title":"IJPRAI"},{"key":"34_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/3-540-69778-0_32","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"A. Wolf","year":"1998","unstructured":"Wolf, A.: p-SETHEO: Strategy Parallelism in ATP. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol.\u00a01397, pp. 320\u2013324. Springer, Heidelberg (1998)"},{"key":"34_CR9","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1007\/BFb0057466","volume-title":"Artificial Intelligence: Methodology, Systems, and Applications","author":"A. Wolf","year":"1998","unstructured":"Wolf, A.: Strategy Selection for Automated Theorem Proving. In: Giunchiglia, F. (ed.) AIMSA 1998. LNCS (LNAI), vol.\u00a01480, pp. 452\u2013465. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722086_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T05:39:19Z","timestamp":1553319559000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722086_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676973","9783540450085"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/10722086_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}