PanLinx
English
eng-000
algorithmic insolubility
русский
rus-000
алгоритмическая неразрешимость
PanLex