{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:23:32Z","timestamp":1749723812511},"publisher-location":"Berlin\/Heidelberg","reference-count":10,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055727X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013064","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:02:07Z","timestamp":1132729327000},"page":"226-237","source":"Crossref","is-referenced-by-count":14,"title":["OR-parallel theorem proving with random competition"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Ertel","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"21_CR1","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/BF01414554","volume":"15","author":"K. A. M. Ali","year":"1987","unstructured":"K. A. M. Ali. Or-parallel execution of PROLOG on a multi-sequential machine. Int. Journal of Parallel Programming, 15(3):189\u2013214, 1987.","journal-title":"Int. Journal of Parallel Programming"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"W. Ertel. Random Competition: A Simple, but Efficient Method for Parallelizing Inference Systems. In B. Fronh\u00f6fer and G. Wrightson, editors, Parallelization in Inference Systems. LNAI 590, Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55425-4_9"},{"key":"21_CR3","unstructured":"B. Fronh\u00f6fer and F. Kurfe\u00df. Cooperative Competition: A Modest Proposal Concerning the Use of Multi-Processor Systems for Automated Reasoning. Technical Report ATP-74-VTI-87, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, 1987."},{"key":"21_CR4","unstructured":"V. K. Janakiram, D. P. Agrawal, and R. Mehrotra. Randomized Parallel Algorithms for Prolog Programs and Backtracking Applications. In Int. Conf. on Parallel Processing, pages 278\u2013281, 1987."},{"key":"21_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-1-4612-3390-9","volume-title":"Parallel Algorithmus for Maschine Intelligence and Vision","author":"V. Kumar","year":"1990","unstructured":"V. Kumar and V. N. Rao. Scalable Parallel Formulations of Depth-First Search. In Vipin Kumar, P.S. Gopalakrishnan, and Laveen N. Kanal, editors, Parallel Algorithmus for Maschine Intelligence and Vision, pages 1\u201341. Springer Verlag, New York, 1990."},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"R. Letz, J. Schumann, S. Bayerl, and W. Bibel. SETHEO, A High-Performance Theorem Prover. to appear in Journal of Automated Reasoning, 1992. available as Technical Report TUM-I9008 from Technical University Munich.","DOI":"10.1007\/BF00244282"},{"key":"21_CR7","first-page":"710","volume-title":"Single axioms in the implicational prepositional calculus","author":"F. Pfenning","year":"1988","unstructured":"F. Pfenning. Single axioms in the implicational prepositional calculus. In 9th Int. Conf. on Automated Deduction, pages 710\u2013713, Berlin, 1988. Springer Verlag, LNCS 310."},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"J. Schumann and R. Letz. PARTHEO: a High Performance Parallel Theorem Prover. In 10th Int. Conf. on Automated Deduction, pages 40\u201356. Springer Verlag, LNAI 449, 1990.","DOI":"10.1007\/3-540-52885-7_78"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"E. Speckenmeyer, B. Monien, and O. Vornberger. Superlinear speedup for parallel backtracking. In Supercomputing, LNCS 297, pages 985\u2013994. Springer Verlag, 1988.","DOI":"10.1007\/3-540-18991-2_58"},{"key":"21_CR10","unstructured":"L. Wos. Automated Reasoning: 33 Basic Research Problems. Prentice-Hall, 1988."}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013064","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:29:47Z","timestamp":1586579387000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013064"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055727X"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0013064","relation":{},"subject":[]}}