{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T09:03:10Z","timestamp":1771059790618,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540662228","type":"print"},{"value":"9783540486602","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48660-7_37","type":"book-chapter","created":{"date-parts":[[2007,11,9]],"date-time":"2007-11-09T20:53:07Z","timestamp":1194641587000},"page":"393-397","source":"Crossref","is-referenced-by-count":6,"title":["System Description: MCS: Model-Based Conjecture Searching"],"prefix":"10.1007","author":[{"given":"Jian","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,5,17]]},"reference":[{"key":"37_CR1","volume-title":"Artificial Intelligence: A Modern Approach","author":"S. Russell","year":"1995","unstructured":"Russell, S. and Norvig, P., Artificial Intelligence: A Modern Approach, Prentice Hall, Englewood Cliffs, New Jersey, USA, 1995."},{"key":"37_CR2","doi-asserted-by":"crossref","unstructured":"Schumann, J.M.Ph., \u201cDELTA-A bottom-up preprocessor for top-down theorem provers,\u201d Proc. CADE-12, 774\u2013777, 1994.","DOI":"10.1007\/3-540-58156-1_58"},{"issue":"2","key":"37_CR3","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0898-1221(94)00219-B","volume":"29","author":"S. J","year":"1995","unstructured":"Slaney, J. et al. \u201cAutomated reasoning and exhaustive search: Quasigroup existence problems,\u201d Computers and Math. with Applications 29(2): 115\u2013132, 1995.","journal-title":"Computers and Math. with Applications"},{"key":"37_CR4","volume-title":"Automated Reasoning: 33 Basic Research Problems","author":"W. L","year":"1988","unstructured":"Wos, L., Automated Reasoning: 33 Basic Research Problems, Prentice Hall, Englewood Cliffs, New Jersey, USA, 1988."},{"key":"37_CR5","volume-title":"The Generation and Applications of Finite Models","author":"Z. J","year":"1994","unstructured":"Zhang, J., The Generation and Applications of Finite Models, PhD thesis, Institute of Software, Chinese Academy of Sciences, Beijing, China, 1994."},{"issue":"1","key":"37_CR6","first-page":"1","volume":"17","author":"Z. J","year":"1996","unstructured":"Zhang, J., \u201cConstructing finite algebras with FALCON,\u201d J. Automated Reasoning 17(1): 1\u201322, 1996.","journal-title":"J. Automated Reasoning"}],"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_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T02:37:15Z","timestamp":1551062235000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48660-7_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662228","9783540486602"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-48660-7_37","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}