PanLinx
русский
rus-000
полная вычислимость
English
eng-000
complete computability
PanLex