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