• semidecision

semidecision (suomeksi)

Määritelmät:

• (lb, en, 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.