semidecision en · NOUN
Etymology
From semi- + decision.
Meanings
- (attributive, uncountable) A technique in which the necessary conditions for a state are identified and then a proof that these conditions cannot be satisfied is produced.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| semi-decision | alternative | lexicographic |