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