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