Triple
T10855515
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Serre spectral sequence |
E256258
|
entity |
| Predicate | usedToProve |
P21917
|
FINISHED |
| Object | Serre’s finiteness theorem for homotopy groups of spheres (via related methods) |
—
|
LITERAL FINISHED |
Provenance (2 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d6aa83d1448190a66d93c32394d21f |
elicitation | completed |
| NER | batch_69d75135df24819090ce43afa3ea9b38 |
ner | completed |
Created at: April 8, 2026, 9:20 p.m.