Rings
- 40 abstract problems, 99 CNF problems
- Five axiomatizations
- One relational style [MOW76]
- Two equality style [PS81][LW92]
- Two alternative [Ste87][AH90]
- Almost all have some equality
- Large proportion of UEQ
- Hard Moufang identity problems, e.g.,
RNG028-1.p