Triple

T25319866
Position Surface form Disambiguated ID Type / Status
Subject Eilenberg–Zilber theorem E634847 entity
Predicate instanceOf P0 FINISHED
Object mathematical theorem C716 CONCEPT FINISHED

Provenance (1 batch)

The batch behind each pipeline step, in order, with when it ran. Timestamps are batch-level — stages were processed in waves, so the object chain (NER → NED1 → NEDg → NED2) reads in order, but predicate / elicitation batches can sit in a different wave.

Step Stage Batch ID Status When
creating Elicitation batch_69e75a9847c08190bb02990d06d5ffb7 completed April 21, 2026, 11:08 a.m.
Created at: April 21, 2026, 1:28 p.m.