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