PanLinx
English
eng-000
explicit formalism
русский
rus-000
формальное представление в явном виде
PanLex