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