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

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

English	eng-000	decidable predicate
English	eng-000	solvable predicate

PanLex-PanLinx