Finite representation property conjecture for relation algebra reduct signatures
Finite representation property conjecture. The signature τ\tauτ has the finite representation property if and only if
MathDB