Triple
T692618
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | On Computable Numbers, with an Application to the Entscheidungsproblem |
E13826
|
entity |
| Predicate | addressesProblem |
P3847
|
FINISHED |
| Object |
Entscheidungsproblem
The Entscheidungsproblem is a foundational decision problem in mathematical logic that asks whether there exists a general algorithm to determine the truth or falsity of any given first-order logical statement.
|
E87086
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69a493406c408190957eeec9048a8fb6 |
elicitation | completed |
| NER | batch_69a4a0b05f2c8190876c73db15b489a2 |
ner | completed |
| NED1 | batch_69a637514c9081909938d0801f071fea |
ned_source_triple | completed |
| NED2 | batch_69a63bc5a9808190b881ebd85d3d6ee8 |
ned_description | completed |
| NEDg | batch_69a63b69c1788190b9bc613d04d7d5b0 |
nedg | completed |
Created at: March 1, 2026, 7:36 p.m.