Triple

T1139492
Position Surface form Disambiguated ID Type / Status
Subject Janet–Cartan theorem E23415 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_69a493ef399c8190b04b9146d2314f59 completed March 1, 2026, 7:30 p.m.
Created at: March 1, 2026, 7:44 p.m.