{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:21:15Z","timestamp":1725643275907},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540545507"},{"type":"electronic","value":"9783642769344"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/978-3-642-76934-4_16","type":"book-chapter","created":{"date-parts":[[2011,12,14]],"date-time":"2011-12-14T19:20:50Z","timestamp":1323890450000},"page":"228-243","source":"Crossref","is-referenced-by-count":3,"title":["Modelling and Performance Analysis of a Parallel Theorem Prover"],"prefix":"10.1007","author":[{"given":"M.","family":"Jobmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Schumann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"Parallel C \u2014 User Guide","author":"3L Ltd","year":"1988","unstructured":"3L Ltd.. Parallel C \u2014 User Guide, Living.st.on, Scotland, 1988."},{"key":"16_CR2","volume-title":"Parthenon: A Parallel Theorem Prover for Non-Horn Clauses","author":"S Bose","year":"1989","unstructured":"S. Bose, E. M. Clarke, D. E. Long, and S. Michaylov. Parthenon: A Parallel Theorem Prover for Non-Horn Clauses, 1989. To appear in Journal of Automated Reasoning."},{"key":"16_CR3","unstructured":"S. Bayerl, W. Ertel, F. Kurfess, R. Letz, and J. Schumann. D16\/Full first order logic parallel inference machine - Language and Design. ESPRIT 415, Deliverable D16, Brussels, 1989."},{"key":"16_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-90102-6","volume-title":"Automated Theorem Proving","author":"W Bibel","year":"1987","unstructured":"W. Bibel. Automated Theorem Proving. Vieweg Verlag, Braunschweig, second edition, 1987.","edition":"2"},{"key":"16_CR5","volume-title":"MAOS \u2014 Model Analysis and Optimisation System","author":"R Feix","year":"1989","unstructured":"R. Feix and M. R. Jobmann. MAOS \u2014 Model Analysis and Optimisation System (Version 1.0). Mitteilung Nr. 173\/89, Fachbereich Informatik, Universit\u00e4t Hamburg, 1989."},{"key":"16_CR6","series-title":"Bericht Nr","volume-title":"ILMAOS \u2014 Eine Sprache zur Formulierung von RechensyHtemmodellen","author":"MR Jobmann","year":"1982","unstructured":"M. R. Jobmann. ILMAOS - Eine Sprache zur Formulierung von RechensyHtemmodellen. Bericht Nr. 91, Fachbereich Informatik, Universit\u00e4t Hamburg, 1982."},{"key":"16_CR7","unstructured":"M. R. Jobmann. Leistungsanalyse von Rechen- und Kommunikationssystemen \u2014 Konzepte der Modellauswertung und Definition einer Modellierungssprache. Dissertation, Universit\u00e4t Hamburg, Feb 1991."},{"key":"16_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-3390-9","volume-title":"Parallel Algorithms for Machine Intelligence and Vision","author":"V Kumar","year":"1990","unstructured":"V. Kumar, P. S. Gopalakrishnan, and L. N. Kanal. Parallel Algorithms for Machine Intelligence and Vision. Springer Verlag, New York, 1990."},{"key":"16_CR9","unstructured":"D. W. Loveland. Automated Theorem Proving: a Logical Basis. North-Holland, 1978."},{"key":"16_CR10","unstructured":"R. Letz, J. Schumann, S. Bayerl, and W. Bibel. SETUEO: A High-Performance Theorem Prover. Technical report, Technische Universit\u00e4t M\u00fcnchen, 1990. To appear in Journal of Automated Reasoning."},{"key":"16_CR11","volume-title":"Mean value analysis of closed multichain queueing networks","author":"M Reiser","year":"1978","unstructured":"M. Reiser and S. S. Lavenberg. Mean value analysis of closed multichain queueing networks. Research Report RC-7023, IBM Thomas Watson Research Institute, Yorktown Heights, N. Y., March 1978."},{"key":"16_CR12","volume-title":"Efficient Theorem Provers based on an Abstract Machine","author":"J Schumann","year":"1991","unstructured":"J. Schumann. Efficient Theorem Provers based on an Abstract Machine. Dissertation, Technische Universit\u00e4t, M\u00fcnchen, 1991 (in preparation)."},{"key":"16_CR13","volume-title":"CADE10","author":"J Schumann","year":"1990","unstructured":"J. Schumann and R. Letz. PARTHEO: a High Performance Parallel Theorem Prover. In CADE10. Springer, 1990."},{"key":"16_CR14","unstructured":"SIS Standardiseringsgrupp, editor. Databehandling-Programspr\u00e4k - SIMULA. SIS Standardiseringskom- missionen i Sverige, 1987."},{"key":"16_CR15","unstructured":"D. II. D. Warren. An Abstract PROLOG Instruction Set. Technical report, SRI, Menlo Park, Ca, 1983."}],"container-title":["Informatik-Fachberichte","Messung, Modellierung und Bewertung von Rechensystemen"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-76934-4_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T03:10:10Z","timestamp":1606273810000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-76934-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540545507","9783642769344"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-76934-4_16","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1991]]}}}