Triple
T990926
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Manuel Blum |
E21386
|
entity |
| Predicate | notableWork |
P4
|
FINISHED |
| Object |
Blum complexity measures
Blum complexity measures are a formal framework in computational complexity theory that rigorously define and compare the resource usage (such as time or space) of algorithms via axiomatic conditions.
|
E117702
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69a493c383dc8190a03257f22d4b4183 |
elicitation | completed |
| NER | batch_69a4b4ac27e081908f132115464667b2 |
ner | completed |
| NED1 | batch_69ac258d9f4c8190b285455410b30575 |
ned_source_triple | completed |
| NED2 | batch_69ac271c8ad081909c1f1629e0793c40 |
ned_description | completed |
| NEDg | batch_69ac267e4fa08190895fa6809d0decb8 |
nedg | completed |
Created at: March 1, 2026, 7:41 p.m.