|
|
Definition of Entscheidungsproblem
1. Noun. (mathematics logic) A decision problem, of finding a way to decide whether a formula is true or provable within a given system. ¹
¹ Source: wiktionary.com
Lexicographical Neighbors of Entscheidungsproblem
Other Resources:
