PanLinx
русский
rus-000
полуразрешающая процедура
English
eng-000
semidecision procedure
PanLex