On the consistency problem for modular lattices and related structures

Christian Herrmann, Yasuyuki Tsukamoto, Martin Ziegler

The consistency problem for a class of algebraic structures asks for an algorithm to decide for any given conjunction of equations whether it admits a non-trivial satisfying assign…