Entscheidungsproblem

Etymology
.

Noun

 * 1)  A decision problem of finding a way to decide whether a formula is true or provable within a given system.

Etymology
From.

Noun

 * 1)  Entscheidungsproblem