PanLinx: выводимая формула

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

English	eng-000	deducible formula
English	eng-000	derivable formula

PanLex-PanLinx