PanLinx
русский
rus-000
вычислимый в явном виде
English
eng-000
explicitly calculable
PanLex