semidecision
nounEtymology From semi- + decision.
1
A technique in which the necessary conditions for a state are identified and then a proof that these conditions cannot be satisfied is produced.
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.