semi-decidability

Noun

 * 1)  The property of being semi-decidable.