Semi-decidability

Redirect to:

• Decidability (logic)#Semidecidability