Semi-decidability

#REDIRECT Decidability_(logic)#Semidecidability