• Entscheidungsproblem

Entscheidungsproblem (suomeksi)

Määritelmät:

• (lb, en, mathematics, logic) A decision problem, of finding a way to decide whether a formula is true or provable within a given system.