PanLinx
русский
rus-000
разрешимое множество
беларуская
bel-000
развязальнае мноства
English
eng-000
decidable set
PanLex