PanLinx
English
eng-000
mechanically computable
русский
rus-000
механически вычислимый
PanLex