Search Details

Word: entscheidungsproblem (lookup usage) (lookup stats)


Meaning:

Noun:

  • maths|logic A decision problem, of finding a way to decide whether a formula is true or provable within a given system.

Source: Wiktionary | Src Info »