PanLinx
English
eng-000
effectively decidable
русский
rus-000
эффективно разрешимый
PanLex