Triple
T123963
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Turing machine |
E2505
|
entity |
| Predicate | describedInWork |
P519
|
FINISHED |
| Object |
On Computable Numbers with an Application to the Entscheidungsproblem
"On Computable Numbers, with an Application to the Entscheidungsproblem" is Alan Turing’s landmark 1936 paper that introduced the Turing machine model and founded the formal study of computability and the limits of algorithmic decision procedures.
|
E13826
|
NE FINISHED |
Provenance (6 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69a251b54ea88190b18281669f59b4c0 |
elicitation | completed |
| NER | batch_69a2573ce0ac8190b49fb31d3d475bf9 |
ner | completed |
| NED1 | batch_69a2982485348190b2b361aef7b42fc9 |
ned_source_triple | completed |
| NED2 | batch_69a29af5cf3c8190a88b5cbabea72cc5 |
ned_description | completed |
| NEDg | batch_69a299032e748190b8f91ff2109c40fe |
nedg | completed |
| PD | batch_69a2564a54948190ba30bee858173b27 |
pd | completed |
Created at: Feb. 28, 2026, 2:27 a.m.