Publication:4255507
From MaRDI portal
zbMath0925.20002MaRDI QIDQ4255507
Publication date: 16 August 1999
20F50: Periodic groups; locally finite groups
20-04: Software, source code, etc. for problems pertaining to group theory
68N17: Logic programming
20E10: Quasivarieties and varieties of groups
20A05: Axiomatics and elementary properties of groups
Related Items
Searching for shortest single axioms for groups of exponent \(6\), Shortest single axioms for commutative Moufang loops of exponent 3., The shortest single axioms for groups of exponent 4, Using the prover ANDP to simplify orthogonality., Proofs as schemas and their heuristic use, Single axioms for odd exponent groups