PanLinx
русский
rus-000
локально конечный
English
eng-000
locally finite
PanLex
