{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:11Z","timestamp":1725664991865},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615118"},{"type":"electronic","value":"9783540686873"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61511-3_87","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:49:47Z","timestamp":1330292987000},"page":"240-244","source":"Crossref","is-referenced-by-count":7,"title":["SiCoTHEO: Simple competitive parallel theorem provers"],"prefix":"10.1007","author":[{"given":"J.","family":"Schumann","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"24_CR1","volume-title":"PMake \u2014 A Tutorial","author":"A. Boor de","year":"1989","unstructured":"A. de Boor. PMake \u2014 A Tutorial. Berkeley Softworks, Berkeley, CA, January 1989."},{"key":"24_CR2","first-page":"226","volume":"624","author":"W. Ertel","year":"1992","unstructured":"W. Ertel. OR-Parallel Theorem Proving with Random Competition. In Proceedings of LPAR'92, pages 226\u2013237, St. Petersburg, Russia, 1992. Springer LNAI 624.","journal-title":"Springer LNAI"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Chr. Goller, R. Letz, K. Mayr, and J. Schumann. SETHEO V3.2: Recent Developments. In Proc. 12th Conference on Automated Deduction (CADE), pages 778\u2013782, 1994.","DOI":"10.1007\/3-540-58156-1_59"},{"issue":"2","key":"24_CR4","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/BF00244282","volume":"8","author":"R. Letz","year":"1992","unstructured":"R. Letz, J. Schumann, S. Bayerl, and W. Bibel. SETHEO: A High-Performance Theorem Prover. Journal of Automated Reasoning, 8(2):183\u2013212, 1992.","journal-title":"Journal of Automated Reasoning"},{"key":"24_CR5","unstructured":"D. Loveland. Automated Theorem Proving: a Logical Basis. North-Holland, 1978."},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"J. Schumann. DELTA \u2014 A Bottom-up Preprocessor for Top-Down Theorem Provers. In Proc. 12th Conference on Automated Deduction (CADE), 1994.","DOI":"10.1007\/3-540-58156-1_58"},{"key":"24_CR7","unstructured":"J. Schumann. Adaptive backpropagation. Ar-report, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, 1996. in preparation."},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"J. Schumann. SiCoTHEO \u2014 Simple Competitive parallel Theorem Provers based on SETHEO. In Parallel Processing for Artificial Intelligence III, Elsevier,1996.","DOI":"10.1007\/3-540-61511-3_87"},{"key":"24_CR9","unstructured":"J. Schumann and O. Ibens. Setheo user's manual. AR-report, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, 1996."},{"key":"24_CR10","first-page":"252","volume":"814","author":"G. Sutcliffe","year":"1994","unstructured":"G. Sutcliffe, C.B. Suttner, and T. Yemenis. The TPTP Problem Library. In Proceedings of the 12. International Conference on Automated Deduction (CADE), pages 252\u2013266. Springer LNAI 814, 1994.","journal-title":"Springer LNAI"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2014 Cade-13"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61511-3_87.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:07:25Z","timestamp":1605647245000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61511-3_87"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615118","9783540686873"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-61511-3_87","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}