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