Entscheidungsproblem
Meanings
noun
- A decision problem of finding a way to decide whether a formula is true or provable within a given system.
Pronunciation
Word forms
Etymology
Unadapted borrowing from German Entscheidungsproblem.
Previous
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.