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