{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T15:35:37Z","timestamp":1762875337254},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540280057"},{"type":"electronic","value":"9783540318644"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11532231_32","type":"book-chapter","created":{"date-parts":[[2010,7,21]],"date-time":"2010-07-21T18:56:52Z","timestamp":1279738612000},"page":"441-451","source":"Crossref","is-referenced-by-count":4,"title":["Computer Search for Counterexamples to Wilkie\u2019s Identity"],"prefix":"10.1007","author":[{"given":"Jian","family":"Zhang","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"32_CR1","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1142\/S0218196792000104","volume":"2","author":"S. Burris","year":"1992","unstructured":"Burris, S., Lee, S.: Small models of the high school identities. Int\u2019l J. of Algebra and Computation\u00a02, 139\u2013178 (1992)","journal-title":"Int\u2019l J. of Algebra and Computation"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"Burris, S., Yeats, K.: The saga of the high school identities, Algebra Universalis (to appear)","DOI":"10.1007\/s00012-004-1900-2"},{"key":"32_CR3","unstructured":"Claessen, K., S\u00f6rensson, N.: New techniques that improve MACE-style finite model finding. In: Model Computation \u2013 Principles, Algorithms, Applications, CADE-19 Workshop W4, Miami, Florida, USA (2003)"},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"Gurevi\u010d, R.: Equational theory of positive numbers with exponentiation. In: Proc. Amer. Math. Soc., vol.\u00a094, pp. 135\u2013141 (1985)","DOI":"10.2307\/2044966"},{"key":"32_CR5","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1007\/BF01233923","volume":"36","author":"M.G. Jackson","year":"1996","unstructured":"Jackson, M.G.: A note on HSI-algebras and counterexamples to Wilkie\u2019s identity. Algebra Universalis\u00a036, 528\u2013535 (1996)","journal-title":"Algebra Universalis"},{"key":"32_CR6","unstructured":"McCune, W.: MACE 2.0 reference manual and guide, Technical Memorandum ANL\/MCS-TM-249, Argonne National Laboratory, Argonne, IL, USA (May 2001)"},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"McCune, W.: Mace4 Reference Manual and Guide, Technical Memorandum No. 264, Argonne National Laboratory, Argonne, IL, USA (2003)","DOI":"10.2172\/822574"},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"Slaney, J.K.: The crisis in finite mathematics: Automated reasoning as cause and cure. In: Proc. 12th Int\u2019l Conf. on Automated Deduction (CADE-12), pp. 1\u201313 (1994)","DOI":"10.1007\/3-540-58156-1_1"},{"issue":"2","key":"32_CR9","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., Stickel, M.: Automated reasoning and exhaustive search: Quasigroup existence problems. Computers and Mathematics with Applications\u00a029(2), 115\u2013132 (1995)","journal-title":"Computers and Mathematics with Applications"},{"key":"32_CR10","unstructured":"Tammet, T.: Finite model building: improvements and comparisons. In: Model Computation \u2013 Principles, Algorithms, Applications, CADE-19 Workshop W4, Miami, Florida, USA (2003)"},{"key":"32_CR11","unstructured":"Zhang, J.: The Generation and Applications of Finite Models, PhD thesis, Institute of Software, Chinese Academy of Sciences, Beijing (1994)"},{"key":"32_CR12","doi-asserted-by":"crossref","unstructured":"Zhang, J.: Problems on the generation of finite models. In: Proc. of the 12th Int\u2019l Conf. on Automated Deduction CADE-12. LNCS (LNAI), vol.\u00a0814, pp. 753\u2013757 (1994)","DOI":"10.1007\/3-540-58156-1_54"},{"issue":"1","key":"32_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00244457","volume":"17","author":"J. Zhang","year":"1996","unstructured":"Zhang, J.: Constructing finite algebras with FALCON. J. Automated Reasoning\u00a017(1), 1\u201322 (1996)","journal-title":"J. Automated Reasoning"},{"key":"32_CR14","unstructured":"Zhang, J., Zhang, H.: SEM: a System for Enumerating Models. In: Proc. of the 14th Int\u2019l Joint Conf. on Artif. Intel. IJCAI-95, pp. 298\u2013303 (1995)"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2013 CADE-20"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11532231_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:09:14Z","timestamp":1605643754000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11532231_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540280057","9783540318644"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11532231_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}