Triple
T22328823
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Hard Lefschetz theorem |
E551969
|
entity |
| Predicate | requires |
P100
|
FINISHED |
| Object | existence of a Kähler metric |
—
|
LITERAL FINISHED |
Provenance (2 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69e11e482f788190b78d1588fc26d606 |
elicitation | completed |
| NER | batch_69f1576ab52c819087563cd778d6bc5e |
ner | completed |
Created at: April 16, 2026, 8:43 p.m.