PanLinx
русский
rus-000
существенно неразрешимый
English
eng-000
essentially undecidable
PanLex
