scientific article; zbMATH DE number 1324436

zbMath0925.20002MaRDI QIDQ4255507

Larry Wos, William W. McCune

Publication date: 16 August 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automated reasoninggroups of odd exponentaxiom systems

Mathematics Subject Classification ID

Periodic groups; locally finite groups (20F50) Software, source code, etc. for problems pertaining to group theory (20-04) Logic programming (68N17) Quasivarieties and varieties of groups (20E10) Axiomatics and elementary properties of groups (20A05)

Related Items

The shortest single axioms for groups of exponent 4 ⋮ Single axioms for odd exponent groups ⋮ Searching for shortest single axioms for groups of exponent \(6\) ⋮ Using the prover ANDP to simplify orthogonality. ⋮ A method for finding new sets of axioms for classes of semigroups. ⋮ Shortest single axioms for commutative Moufang loops of exponent 3. ⋮ Proofs as schemas and their heuristic use