semidecision
Смотреть что такое "semidecision" в других словарях:
semidecision — noun Used attributively to describe a technique in which the necessary conditions for a state are identified and then a proof that these conditions cannot be satisfied is produced … Wiktionary
