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