partial decidability

Мат. частичная разрешимость