PanLinx: формальное вычисление

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

English	eng-000	formal calculation
English	eng-000	formal computation

PanLex-PanLinx