Publication:2713996
From MaRDI portal
zbMath0967.17001MaRDI QIDQ2713996
Publication date: 10 June 2001
decidability; equational theory; finite basis property; variety of rings; finitely based nonassociative rings
03D40: Word problems, etc. in computability and recursion theory
17A30: Nonassociative algebras satisfying other identities