PanLinx
русский
rus-000
существенная неразрешимость
English
eng-000
essential insolubility
English
eng-000
essential undecidability
PanLex