PanLinx
English
eng-000
strongly computable
русский
rus-000
строго вычислимый
PanLex