Triple

T16445530
Position Surface form Disambiguated ID Type / Status
Subject Zermelo–Fraenkel set theory E399413 entity
Predicate instanceOf P0 FINISHED
Object axiomatic set theory C4422 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_69d87f2c6778819080fcfae53be8f12a completed April 10, 2026, 4:40 a.m.
Created at: April 10, 2026, 5:10 a.m.