Triple
T5213956
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Blum complexity measures |
E117702
|
entity |
| Predicate | axiom2 |
P62071
|
FINISHED |
| Object | set of triples (program,input,complexity) is decidable |
—
|
LITERAL FINISHED |
Provenance (4 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69bd4464ba3c8190bc16b2ebbe42ddb0 |
elicitation | completed |
| NER | batch_69bd7a911d40819086621537274dc0f0 |
ner | completed |
| PD | batch_69bd77bb4e8c819094b5ac7cf61512f9 |
pd | completed |
| PDg | batch_69bd79000cf88190b3c05d95395b0cd2 |
pdg | completed |
Created at: March 20, 2026, 1:47 p.m.