PanLinx
русский
rus-000
формальная аппроксимация
English
eng-000
formal approximation
PanLex