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