{"type":"ScholarlyArticle","title":"Automatic Generation of Some Results in Finite Algebra","authors":[{"name":"Masayuki Fujita","slug":"masayuki-fujita","given":"Masayuki","family":"Fujita","affiliation":""},{"name":"John K. Slaney","slug":"john-k-slaney","given":"John K.","family":"Slaney","affiliation":""},{"name":"Frank Bennett","slug":"frank-bennett","given":"Frank","family":"Bennett","affiliation":""}],"abstract":"This is a report of the application of the Model Generation Theorem Prover developed at ICOT to problems in the theory of finite quasigroups. Several of the problems were previously open. In this paper, we discuss our theorem proving methods, related to those of the existing provers SATCHMO (Manthey, Bry) and OTTER (McCune), and note how parallel processing on the ICOT Parallel Inference Machines was used to obtain high speeds. We then present and discuss our machine-aided investigation of seven problems concerning the existence of types of quasigroup.","doi":null,"url":"https://ijcai.org/proceedings/1993/8","pdf":"https://ijcai.org/proceedings/1993/0008.pdf","markdown":"https://ijcai.org/proceedings/1993/8.md","bibtex":"https://ijcai.org/proceedings/1993/bibtex/8","volume":{"slug":"1993","title":"Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1993","url":"https://ijcai.org/proceedings/1993/","year":1993,"location":"Chambéry, France","dates":"","editors":"Ruzena Bajcsy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automated Reasoning","track":"Automated Reasoning","number":8,"pages":{"first":52,"last":58},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}