{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:48:12Z","timestamp":1725518892369},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878803"},{"type":"electronic","value":"9783540878810"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87881-0_33","type":"book-chapter","created":{"date-parts":[[2008,9,21]],"date-time":"2008-09-21T03:10:38Z","timestamp":1221966638000},"page":"359-364","source":"Crossref","is-referenced-by-count":1,"title":["Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language"],"prefix":"10.1007","author":[{"given":"Adam","family":"Meissner","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1-4","key":"33_CR1","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1023\/A:1018932114059","volume":"29","author":"M.P. Bonacina","year":"2000","unstructured":"Bonacina, M.P.: A taxonomy of parallel strategies for deduction. Annals of Mathematics and Artificial Intelligence\u00a029(1-4), 223\u2013257 (2000)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"33_CR2","volume-title":"Logic, Programming and Prolog","author":"U. Nilsson","year":"1995","unstructured":"Nilsson, U., Ma\u0142uszy\u0144ski, J.: Logic, Programming and Prolog, 2nd edn. John Wiley & Sons Ltd., Chichester (1995)","edition":"2"},{"key":"33_CR3","volume-title":"Concepts, Techniques, and Models of Computer Programming","author":"P. Roy Van","year":"2004","unstructured":"Van Roy, P., Haridi, S.: Concepts, Techniques, and Models of Computer Programming. The MIT Press, Cambridge (2004)"},{"key":"33_CR4","unstructured":"Schulte, C.: Programming Constraint Services, Ph.D thesis. University of Saarlandes (2000)"},{"key":"33_CR5","doi-asserted-by":"crossref","unstructured":"Stickel, M.: A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog, Technical Note No. 464, SRI Int., Menlo Park (1989)","DOI":"10.1007\/3-540-52531-9_135"},{"key":"33_CR6","series-title":"Lecture Notes in Computer Science","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., Suttner, C.B., Yemenis, T.: The TPTP Problem Library. In: Bundy, A. (ed.) CADE 1994. LNCS, vol.\u00a0814, pp. 252\u2013266. Springer, Heidelberg (1994)"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence: Theories, Models and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87881-0_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:51:28Z","timestamp":1619509888000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87881-0_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878803","9783540878810"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87881-0_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}