Publication:2714065
From MaRDI portal
zbMath0966.08006MaRDI QIDQ2714065
Publication date: 10 June 2001
Full work available at URL: https://eudml.org/doc/187963
20M07: Varieties and pseudovarieties of semigroups
03B25: Decidability of theories and sets of sentences
08B05: Equational logic, Mal'tsev conditions