Statements (24)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theoretical_computer_science
|
| gptkbp:alsoKnownAs |
gptkb:o-machine
|
| gptkbp:canQuery |
oracle set
|
| gptkbp:canSolve |
gptkb:decision_problems
|
| gptkbp:describedBy |
gptkb:Systems_of_Logic_Based_on_Ordinals
|
| gptkbp:enables |
relative computability
relativized complexity classes |
| gptkbp:generalizes |
gptkb:Technical_Machine
|
| gptkbp:hasComponent |
gptkb:Oracle
gptkb:Technical_Machine |
| gptkbp:introducedIn |
1939
|
| gptkbp:inventedBy |
gptkb:Alan_Turing
|
| gptkbp:relatedTo |
gptkb:P_vs_NP_problem
gptkb:Turing_reduction recursion theory oracle complexity oracle separation |
| gptkbp:studiedIn |
gptkb:theoretical_computer_science
|
| gptkbp:usedIn |
gptkb:complexity_theory
computability theory |
| gptkbp:bfsParent |
gptkb:Turing_machine_(with_unbounded_size)
gptkb:Polynomial_hierarchy |
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
oracle Turing machine
|