PanLinx
русский
rus-000
формальные преобразования
English
eng-000
formal manipulation
PanLex
