RhymeZone: entscheidungsproblem definitions

Definitions of Entscheidungsproblem:

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

(Definitions from Wiktionary)