Triple

T10773296
Position Surface form Disambiguated ID Type / Status
Subject Grothendieck spectral sequence E254133 entity
Predicate typicalNotation P4882 FINISHED
Object E_2^{p,q} = R^p G (R^q F (A)) ⇒ R^{p+q} (G∘F) (A) LITERAL FINISHED

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69d6aa5f54f4819082d0bbcb6f8797e6 elicitation completed
NER batch_69d7329b27748190bd0e2569c7972fd1 ner completed
Created at: April 8, 2026, 9:16 p.m.