Groups
- 207 abstract problems, 1 FOF problem, 206 CNF problems
- One of the original TPTP domains
- Second largest mathematical domain in the TPTP
- Various axiom sets
- Five for groups
- Axioms for semigroups, subgroups, monoids, etc.
- Some relational formulation, in terms of
product/3
- One axiomatization with equality as a consequence [Ver92]
- Large proportion of pure equality problems
- Large proportion of UEQ problems
- Good source of range restricted problems
- Includes the previously open quasigroup problems of Bennett,
solved by Fujita, Slaney, etc, e.g.,
GRP128-2.006.p
- McCune's problems establishing single axioms, e.g.,
GRP049-1.p