Noun
semidecidability (uncountable) (mathematics) Alternative spelling of semi-decidability (“property of being semi-decidable”)