semidecision
Jump to navigation
Jump to search
English
[edit]Alternative forms
[edit]Etymology
[edit]Noun
[edit]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.