Hierarchy:
Description:
{{mathematics|logic}} A decision problem, of finding a way to decide whether a formula is true or provable within a given system.
Ngram:
Ngram Text:
Entscheidungsproblem
Source:
Wiktionary
Issue:
0
Wiktionary tag:
Ngram Count:
1