Publication:4508862
From MaRDI portal
zbMath0955.08003MaRDI QIDQ4508862
Publication date: 16 February 2001
Full work available at URL: https://eudml.org/doc/23678
08B05: Equational logic, Mal'tsev conditions
08B10: Congruence modularity, congruence distributivity
Cites Work