semidecision

English

Alternative forms

• semi-decision

Etymology

semi- +‎ decision

Noun

semidecision (uncountable)

1. (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.