semidecision

English

Alternative forms
  • semi-decision

Etymology

semi- +‎ decision

Noun

semidecision (uncountable)

  1. (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.
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.