semidecision
Noun
Meaning
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.
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.