Single axioms for groups
From MaRDI portal
Publication:688567
DOI10.1007/BF00245293zbMath0794.20001WikidataQ114694848 ScholiaQ114694848MaRDI QIDQ688567
Publication date: 25 August 1994
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
variablesbinary operationlengthMoufang loopsingle axiomsvariety of groupsinversionsunary operationlawsautomated theorem-proving program OTTERnon-associative di-associative loop
Software, source code, etc. for problems pertaining to group theory (20-04) Axiomatics and elementary properties of groups (20A05)
Related Items (13)
A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods ⋮ The shortest single axioms for groups of exponent 4 ⋮ Single axioms for odd exponent groups ⋮ OTTER experiments in a system of combinatory logic ⋮ Applying SAT solving in classification of finite algebras ⋮ A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods ⋮ A method for finding new sets of axioms for classes of semigroups. ⋮ Ken Kunen: algebraist. ⋮ Basis reduction for cryptogroups and orthogroups ⋮ Automatic construction and verification of isotopy invariants ⋮ Computer Solutions of Problems in Inverse Semigroups ⋮ System description generating models by SEM ⋮ Single axioms for groups and abelian groups with various operations
Uses Software
Cites Work
This page was built for publication: Single axioms for groups