PanLinx
русский
rus-000
конечная определимость
English
eng-000
finite definability
PanLex