Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Mathematics
|
| gptkbp:has_implications_for |
gptkb:Logic
|
| gptkbp:has_solution |
no
|
| https://www.w3.org/2000/01/rdf-schema#label |
Entscheidungsproblem
|
| gptkbp:is_a |
gptkb:Judge
|
| gptkbp:is_a_solution_for |
gptkb:Gödel's_incompleteness_theorems
|
| gptkbp:is_compared_to |
the halting problem
|
| gptkbp:is_discussed_in |
Hilbert's problems
|
| gptkbp:is_related_to |
Turing machines
|
| gptkbp:proposed_by |
gptkb:David_Hilbert
|
| gptkbp:related_to |
computability theory
|
| gptkbp:bfsParent |
gptkb:On_Computable_Numbers,_with_an_Application_to_the_Entscheidungsproblem
|
| gptkbp:bfsLayer |
4
|