Triple

T34472054
Position Surface form Disambiguated ID Type / Status
Subject Gabriel–Popescu theorem E884933 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_69f349c880408190ade571c471ab154a completed April 30, 2026, 12:23 p.m.
Created at: May 1, 2026, 2:01 a.m.