Triple

T12597171
Position Surface form Disambiguated ID Type / Status
Subject Mertens’ first theorem E300762 entity
Predicate instanceOf P0 FINISHED
Object theorem in analytic number theory 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_69d7bdea2ca881908f379526c13b1145 completed April 9, 2026, 2:55 p.m.
Created at: April 9, 2026, 5:08 p.m.