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