{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:13:32Z","timestamp":1725491612794},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540752905"},{"type":"electronic","value":"9783540752929"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75292-9_14","type":"book-chapter","created":{"date-parts":[[2007,9,11]],"date-time":"2007-09-11T10:43:07Z","timestamp":1189507387000},"page":"201-215","source":"Crossref","is-referenced-by-count":4,"title":["Skolem Machines and Geometric Logic"],"prefix":"10.1007","author":[{"given":"John","family":"Fisher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Bezem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Ait-Kaci, H.: Warrens\u2019s Abstract Machine, A Tutorial Reconstruction. School of Computing Science (February 18, 1999)"},{"key":"14_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/11591191_18","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"M.A. Bezem","year":"2005","unstructured":"Bezem, M.A., Coquand, T.: Automating Coherent Logic. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol.\u00a03835, pp. 246\u2013260. Springer, Heidelberg (2005)"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/11601548_2","volume-title":"Processes, Terms and Cycles: Steps on the Road to Infinity","author":"M.A. Bezem","year":"2005","unstructured":"Bezem, M.A.: On the Undecidability of Coherent Logic. In: Middeldorp, A., van Oostrom, V., van Raamsdonk, F., de Vrijer, R. (eds.) Processes, Terms and Cycles: Steps on the Road to Infinity. LNCS, vol.\u00a03838, pp. 6\u201313. Springer, Heidelberg (2005)"},{"key":"14_CR4","first-page":"57","volume":"36","author":"A. Blass","year":"1998","unstructured":"Blass, A.: Topoi and computation. Bulletin of the EATCS\u00a036, 57\u201365 (1998)","journal-title":"Bulletin of the EATCS"},{"key":"14_CR5","unstructured":"Fisher, J.R.: Geolog website, www.csupomona.edu\/~jrfisher\/www\/geolog\/"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Fisher, J.R., Bezem, M.A.: Query Completeness of Skolem Machine Computations. In: Proceedings MCU 2007 (to appear, 2007)","DOI":"10.1007\/978-3-540-74593-8_16"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Johnstone, P.: Sketches of an Elephant: a topos theory compendium, vol. 2, Oxford Logic Guides 44, OUP (2002)","DOI":"10.1093\/oso\/9780198515982.001.0001"},{"key":"14_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. revised edn. Springer, Berlin (1987)"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/BFb0012847","volume-title":"9th International Conference on Automated Deduction","author":"R. Manthey","year":"1988","unstructured":"Manthey, R., Bry, F.: SATCHMO: A Theorem Prover Implemented in Prolog. In: Lusk, E., Overbeek, R. (eds.) 9th International Conference on Automated Deduction. LNCS, vol.\u00a0310, pp. 415\u2013434. Springer, Heidelberg (1988)"},{"key":"14_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/11814771_28","volume-title":"Automated Reasoning","author":"H. Nivelle de","year":"2006","unstructured":"de Nivelle, H., Meng, J.: Geometric Resolution: A Proof Procedure Based on Finite Model Search. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 303\u2013317. Springer, Berlin (2006)"},{"issue":"1","key":"14_CR11","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J.A. Robinson","year":"1965","unstructured":"Robinson, J.A.: A Machine-Oriented Logic Based on the Resolution Principle. Journal of the ACM\u00a012(1), 23\u201341 (1965)","journal-title":"Journal of the ACM"},{"key":"14_CR12","unstructured":"Skolem, Th.: Logisch-kombinatorische Untersuchungen \u00fcber die Erf\u00fcllbarkeit und Beweisbarkeit mathematischen S\u00e4tze nebst einem Theoreme \u00fcber dichte Mengen, Skrifter I, vol. 4, pp. 1\u201336, Det Norske Videnskaps-Akademi (1920). Also in Jens Erik Fenstad, editor, Selected Works in Logic by Th. Skolem, pp.\u00a0103\u2013136, Universitetsforlaget, Oslo (1970)"},{"key":"14_CR13","unstructured":"Warren, D.H.D.: An abstract Prolog instruction set. Technical Note 309, SRI International, Menlo Park, CA (October 1983)"},{"key":"14_CR14","unstructured":"Sutcliffe, G., Suttner, C.: The CADE ATP System Competition. Link available at: www.cs.miami.edu\/~tptp\/CASC\/"},{"key":"14_CR15","unstructured":"Wielemaker, J.: SWI-Prolog Reference Manual. Link available at: www.swi-prolog.org"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75292-9_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T21:22:39Z","timestamp":1708204959000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75292-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540752905","9783540752929"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75292-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}