PanLinx: неразрешимый предикат

русский	rus-000
неразрешимый предикат

English	eng-000	undecidable predicate
English	eng-000	unsolvable predicate

PanLex-PanLinx