Triple
T5393019
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Håstad’s switching lemma |
E120579
|
entity |
| Predicate | typicalConclusion |
P7028
|
FINISHED |
| Object | restricted formula has small-depth decision tree with high probability |
—
|
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.