Conjecture on semilattice-like terms in bounded width algebras
Semilattice-like terms conjecture. Every bounded width algebra has terms w,sw,sw,s satisfying these identities.
MathDB