{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:33:20Z","timestamp":1725471200074},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540371878"},{"type":"electronic","value":"9783540371885"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11814771_5","type":"book-chapter","created":{"date-parts":[[2006,10,5]],"date-time":"2006-10-05T11:44:21Z","timestamp":1160048661000},"page":"36-51","source":"Crossref","is-referenced-by-count":3,"title":["Automatic Construction and Verification of Isotopy Invariants"],"prefix":"10.1007","author":[{"given":"Volker","family":"Sorge","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Meier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roy","family":"McCasland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Colton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","year":"2004","unstructured":"Alur, R., Peled, D.A. (eds.): CAV 2004. LNCS, vol.\u00a03114. Springer, Heidelberg (2004)"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1007\/978-3-540-27813-9_49","volume-title":"Computer Aided Verification","author":"C. Barrett","year":"2004","unstructured":"Barrett, C., Berezin, S.: CVC Lite: A New Implementation of the Cooperating Validity Checker. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, pp. 515\u2013518. Springer, Heidelberg (2004)"},{"key":"5_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0147-5","volume-title":"Automated Theory Formation in Pure Mathematics","author":"S. Colton","year":"2002","unstructured":"Colton, S.: Automated Theory Formation in Pure Mathematics. Springer, Heidelberg (2002)"},{"key":"5_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1007\/978-3-540-25984-8_30","volume-title":"Automated Reasoning","author":"S. Colton","year":"2004","unstructured":"Colton, S., Meier, A., Sorge, V., McCasland, R.: Automatic Generation of Classification Theorems for Finite Algebras. In: Basin, D., Rusinowitch, M. (eds.) IJCAR 2004. LNCS (LNAI), vol.\u00a03097, pp. 400\u2013414. Springer, Heidelberg (2004)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Colton, S., Muggleton, S.: Mathematical Applications of Inductive Logic Programming. Machine Learning Journal (forthcoming, 2006)","DOI":"10.1007\/s10994-006-8259-x"},{"issue":"2","key":"5_CR6","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1090\/S0002-9947-1970-0272932-4","volume":"151","author":"E. Falconer","year":"1970","unstructured":"Falconer, E.: Isotopy Invariants in Quasigroups. Transactions of the American Mathematical Society\u00a0151(2), 511\u2013526 (1970)","journal-title":"Transactions of the American Mathematical Society"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-540-27813-9_14","volume-title":"Computer Aided Verification","author":"H. Ganzinger","year":"2004","unstructured":"Ganzinger, H., Hagen, G., Nieuwenhuis, R., Oliveras, A., Tinelli, C.: DPLL(T): Fast Decision Procedures. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, pp. 175\u2013188. Springer, Heidelberg (2004)"},{"key":"5_CR8","unstructured":"GAP\u00a0Group: Groups, Algorithms, and Programming, v4.7 (2002), \n                    \n                      gap-system.org"},{"issue":"1","key":"5_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00881862","volume":"10","author":"W. McCune","year":"1993","unstructured":"McCune, W.: Single axioms for groups and Abelian groups with various operations. Journal of Automated Reasoning\u00a010(1), 1\u201313 (1993)","journal-title":"Journal of Automated Reasoning"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"McCune, W.: Mace4 Reference Manual and Guide. Argonne Nat. Laboratory (2003)","DOI":"10.2172\/822574"},{"key":"5_CR11","unstructured":"McKay, B., Meynert, A., Myrvold, W.: Counting Small Latin Squares. In: Europ. Women in Mathematics Int. Workshop on Groups and Graphs, pp. 67\u201372 (2002)"},{"issue":"2","key":"5_CR12","first-page":"34","volume":"34","author":"A. Meier","year":"2005","unstructured":"Meier, A., Sorge, V.: Applying SAT Solving in Classification of Finite Algebras. JAR\u00a034(2), 34 (2005)","journal-title":"JAR"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L., Malik, S.: chaff: Engineering an efficient SAT Solver. In: PROC of DAC-2001, pp. 530\u2013535 (2001)","DOI":"10.1145\/378239.379017"},{"key":"5_CR14","unstructured":"Pflugfelder, H.: Quasigroups and Loops: Introduction, volume\u00a07 of Sigma Series in Pure Mathematics. Heldermann Verlag, Berlin Germany (1990)"},{"key":"5_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/3-540-45744-5_29","volume-title":"Automated Reasoning","author":"A. Riazanov","year":"2001","unstructured":"Riazanov, A., Voronkov, A.: Vampire 1.1. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 376\u2013380. Springer, Heidelberg (2001)"},{"issue":"2\u20133","key":"5_CR16","first-page":"111","volume":"15","author":"S. Schulz","year":"2002","unstructured":"Schulz, S.: E: A Brainiac theorem prover. J. of AI Comm.\u00a015(2\u20133), 111\u2013126 (2002)","journal-title":"J. of AI Comm."},{"key":"5_CR17","first-page":"161","volume":"15","author":"J. Schwenk","year":"1995","unstructured":"Schwenk, J.: A classification of Abelian quasigroups. Rendiconti di Matematica, Serie VII\u00a015, 161\u2013172 (1995)","journal-title":"Rendiconti di Matematica, Serie VII"},{"key":"5_CR18","unstructured":"Slaney, J.: FINDER, Notes and Guide. Center for Information Science Research, Australian National University (1995)"},{"key":"5_CR19","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, 115\u2013132 (1995)","journal-title":"Computers and Mathematics with Applications"},{"issue":"1","key":"5_CR20","first-page":"33","volume":"18","author":"G. Sutcliffe","year":"2005","unstructured":"Sutcliffe, G.: The IJCAR-2004 Automated Theorem Proving Competition. AI Communications\u00a018(1), 33\u201340 (2005)","journal-title":"AI Communications"},{"key":"5_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/3-540-45620-1_22","volume-title":"Automated Deduction - CADE-18","author":"C. Weidenbach","year":"2002","unstructured":"Weidenbach, C., Brahm, U., Hillenbrand, T., Keen, E., Theobald, C., Topic, D.: SPASS Version 2. In: Voronkov, A. (ed.) CADE 2002. LNCS (LNAI), vol.\u00a02392, pp. 275\u2013279. Springer, Heidelberg (2002)"},{"key":"5_CR22","unstructured":"Zhang, J., Zhang, H.: SEM User\u2019s Guide. Dep.of Comp. Science, UIowa (2001)"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11814771_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:33:37Z","timestamp":1558294417000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11814771_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540371878","9783540371885"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11814771_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}