Triple

T34154803
Position Surface form Disambiguated ID Type / Status
Subject Beilinson–Bernstein localization theorem E876104 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_69f349abaa508190a820f206620efddc completed April 30, 2026, 12:23 p.m.
Created at: May 1, 2026, 1:54 a.m.