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