semidecision

Etymology

From semi- + decision.

noun

A technique in which the necessary conditions for a state are identified and then a proof that these conditions cannot be satisfied is produced.