1 citations · 1 across the 5 of their papers we have counts for
1 paper · 2 filters
William McCune, Ranganathan Padmanabhan, Robert Veroff
In this note we show that the equational theory of all lattices is defined by a single absorption law. The identity of length 29 with 8 variables is shorter than previously known s…