PanLinx
English
eng-000
completely recursively enumerable
русский
rus-000
вполне рекурсивно перечислимый
PanLex