Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Model
|
| gptkbp:concept_introduced_in |
1936
|
| gptkbp:designed_by |
gptkb:Alan_Turing
|
| gptkbp:emulation |
any algorithm
|
| https://www.w3.org/2000/01/rdf-schema#label |
universal computing machine
|
| gptkbp:influenced_by |
gptkb:Gödel's_incompleteness_theorems
|
| gptkbp:is_a_foundation_for |
gptkb:computer_science
|
| gptkbp:related_to |
gptkb:machinery
gptkb:Church-Turing_thesis |
| gptkbp:represents |
abstract computation
|
| gptkbp:used_for |
computation
|
| gptkbp:bfsParent |
gptkb:Zuse's_computing_machines
|
| gptkbp:bfsLayer |
8
|