semidecision

别名

semi-decision

释义与例句

n.
  1. 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.

    定语 不可数

词源

From semi- + decision.

来源：wiktionary