Triple
T5393023
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Håstad’s switching lemma |
E120579
|
entity |
| Predicate | importance |
P428
|
FINISHED |
| Object | central tool in modern circuit lower bound proofs |
—
|
LITERAL FINISHED |
Provenance (2 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69bd4637b92c8190b815b6443ae4b323 |
elicitation | completed |
| NER | batch_69bd871b81d08190993928e2c6251226 |
ner | completed |
Created at: March 20, 2026, 2:04 p.m.