PanLinx
English
eng-000
interdeducible formulas
русский
rus-000
дедуктивно равные формулы
PanLex