PanLinx
English
eng-000
degree of decidability
русский
rus-000
степень разрешимости
PanLex