semidecision (English, noun)
expansion: semidecision (uncountable)
Senses:
glosses: A technique in which the necessary conditions for a state are identified and then a proof that these conditions cannot be satisfied is produced.
tags: attributive
uncountable
Forms:
form: semi-decision
tags: alternative