semidecision

== English == === Alternative forms === semi-decision === Etymology === From semi- +‎ decision. === Noun === semidecision (uncountable) (attributive) A technique in which the necessary conditions for a state are identified and then a proof that these conditions cannot be satisfied is produced.