{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:52Z","timestamp":1725664192952},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615118"},{"type":"electronic","value":"9783540686873"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61511-3_96","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:50:30Z","timestamp":1330275030000},"page":"308-312","source":"Crossref","is-referenced-by-count":15,"title":["System description generating models by SEM"],"prefix":"10.1007","author":[{"given":"Jian","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hantao","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"33_CR1","unstructured":"Fujita, M., Slaney, J., and Bennett, F.; \u201cAutomatic generation of some results in finite algebra,\u201d Proc. IJCAI-93, 52\u201357, Chamb\u00e9ry, France."},{"key":"33_CR2","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/BF00881715","volume":"14","author":"T. Jech","year":"1995","unstructured":"Jech, T., \u201cOTTER experiments in a system of combinatory logic,\u201d J. Automated Reasoning 14 (1995) 413\u2013426.","journal-title":"J. Automated Reasoning"},{"key":"33_CR3","unstructured":"Kim, S., and Zhang, H., \u201cModGen: Theorem proving by model generation,\u201d Proc. AAAI-94, 162\u2013167, Seattle."},{"key":"33_CR4","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/BF00245293","volume":"9","author":"K. Kunen","year":"1992","unstructured":"Kunen, K., \u201cSingle axioms for groups,\u201d J. Automated Reasoning 9 (1992) 291\u2013308.","journal-title":"J. Automated Reasoning"},{"key":"33_CR5","doi-asserted-by":"crossref","unstructured":"Manthey, R., and Bry, F., \u201cSATCHMO: A theorem prover implemented in Prolog,\u201d Proc. CADE-9 (1988) 415\u2013434.","DOI":"10.1007\/BFb0012847"},{"key":"33_CR6","unstructured":"McCune, W., \u201cA Davis-Putnam program and its application to finite first-order model search: Quasigroup existence problems,\u201d Technical Report ANL\/MCS-TM-194, Argonne National Laboratory (1994)."},{"key":"33_CR7","doi-asserted-by":"crossref","unstructured":"Slaney, J., \u201cFINDER: Finite domain enumerator \u2014 system description,\u201d Proc. CADE-12 (1994) 798\u2013801.","DOI":"10.1007\/3-540-58156-1_63"},{"key":"33_CR8","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0898-1221(94)00219-B","volume":"29","author":"J. Slaney","year":"1995","unstructured":"Slaney, J., Fujita, M. and Stickel, M., \u201cAutomated reasoning and exhaustive search: Quasigroup existence problems,\u201d Computers and Mathematics with Applications 29 (1995) 115\u2013132.","journal-title":"Computers and Mathematics with Applications"},{"key":"33_CR9","unstructured":"Zhang, H., and Stickel, M., \u201cImplementing the Davis-Putnam algorithm by tries,\u201d Technical Report, University of Iowa (1994)."},{"key":"33_CR10","unstructured":"Zhang, J., \u201cConstructing finite algebras with FALCON,\u201d accepted by J. Automated Reasoning."},{"key":"33_CR11","unstructured":"Zhang, J., and Zhang, H., \u201cSEM: a System for Enumerating Models,\u201d Proc. IJCAI-95, 298\u2013303."}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2014 Cade-13"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61511-3_96.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:33:43Z","timestamp":1619559223000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61511-3_96"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615118","9783540686873"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-61511-3_96","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}