частично разрешимый

Мат. partially decidable