effectively decidable

Мат. эффективно разрешимый