Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
theoretical computer science
|
| gptkbp:alsoKnownAs |
gptkb:o-machine
|
| gptkbp:canQuery |
oracle set
|
| gptkbp:canSolve |
decision problems
|
| gptkbp:describedBy |
gptkb:Systems_of_Logic_Based_on_Ordinals
|
| gptkbp:enables |
relative computability
relativized complexity classes |
| gptkbp:generalizes |
Technical Machine
|
| gptkbp:hasComponent |
gptkb:Oracle
Technical Machine |
| https://www.w3.org/2000/01/rdf-schema#label |
oracle Turing 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 |
theoretical computer science
|
| gptkbp:usedIn |
gptkb:complexity_theory
computability theory |
| gptkbp:bfsParent |
gptkb:Turing_machine_(with_unbounded_size)
gptkb:Polynomial_hierarchy gptkb:Turing_machine_(as_a_generalization) |
| gptkbp:bfsLayer |
5
|