Triple

T6929682
Position Surface form Disambiguated ID Type / Status
Subject Cantor–Bernstein–Schröder theorem E160401 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_69c6884e15208190b9e91487eaafcf85 completed March 27, 2026, 1:38 p.m.
Created at: March 27, 2026, 2:27 p.m.