PanLinx: дедуктивно равные формулы

русский	rus-000
дедуктивно равные формулы

English	eng-000	interdeducible formulas
English	eng-000	interdeductible formulas

PanLex-PanLinx