{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:56Z","timestamp":1761611216584},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540662228"},{"type":"electronic","value":"9783540486602"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48660-7_24","type":"book-chapter","created":{"date-parts":[[2007,11,9]],"date-time":"2007-11-09T15:53:07Z","timestamp":1194623587000},"page":"282-286","source":"Crossref","is-referenced-by-count":2,"title":["System Description: Kimba, A Model Generator for Many-Valued First-Order Logics"],"prefix":"10.1007","author":[{"given":"Karsten","family":"Konrad","sequence":"first","affiliation":[]},{"given":"D. A.","family":"Wolfram","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,5,17]]},"reference":[{"key":"24_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Proc., 13th International Conference on Automated Deduction (CADE)","author":"B. Beckert","year":"1996","unstructured":"B. Beckert, R. H\u00e4hnle, P. Oel, and M. Sulzmann. The tableau-based theorem prover 3\n                           T\n                           A\n                           P, version 4.0. In M. McRobbie and J. Slaney, editors, Proc., 13th International Conference on Automated Deduction (CADE), New Brunswick, NJ, USA, LNCS 1104. Springer, 1996."},{"issue":"34","key":"24_CR2","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/BF01530787","volume":"12","author":"R. H\u00e4hnle","year":"1994","unstructured":"R. H\u00e4hnle. Many-valued logic and mixed integer programming. Annals of Mathematics and Artificial Intelligence, 12(3,4):231\u2013264, Dec. 1994.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"24_CR3","unstructured":"R. Hasegawa. Model generation theorem provers and their applications. In L. Sterling, editor, Proceedings of the 12th International Conference on Logic Programming, pages 7\u20138, Cambridge, MA, USA, June13-18 1995. MIT Press."},{"key":"24_CR4","series-title":"SEKI-Report","volume-title":"A mechanization of strong Kleene logic for partial functions","author":"M. Kerber","year":"1993","unstructured":"M. Kerber and M. Kohlhase. A mechanization of strong Kleene logic for partial functions. SEKI-Report SR-93-20 (SFB), Universit\u00e4t des Saarlandes, Saarbr\u00fccken, 1993."},{"key":"24_CR5","unstructured":"K. Konrad and D. A. Wolfram. Finite model generation for many-valued higherorder logics. Forthcoming, 1999."},{"key":"24_CR6","unstructured":"Programming Systems Lab Saarbr\u00fccken, 1998. Oz Webpage: \n                    http:\/\/www.ps.uni-sb.de\/oz\/\n                    \n                  ."},{"key":"24_CR7","series-title":"Technical Report","volume-title":"FINDER (Finite Domain Enumerator): Notes and guide","author":"J. Slaney","year":"1992","unstructured":"J. Slaney. FINDER (Finite Domain Enumerator): Notes and guide. Technical Report TR-ARP-1\/92, Australian National University Automated Reasoning Project, Canberra, 1992."},{"key":"24_CR8","series-title":"Technical Report","volume-title":"The TPTP problem library (TPTP v2.2.0)","author":"C. Suttner","year":"1998","unstructured":"C. Suttner and G. Sutcliffe. The TPTP problem library (TPTP v2.2.0). Technical Report 97-04, Department of Computer Science, James Cook University, Townsville, Australia, 1998."}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2014 CADE-16"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48660-7_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,26]],"date-time":"2019-02-26T15:01:13Z","timestamp":1551193273000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48660-7_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662228","9783540486602"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-48660-7_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}