Triple

T5570594
Position Surface form Disambiguated ID Type / Status
Subject Fermat's theorem on sums of two squares E146190 entity
Predicate instanceOf P0 FINISHED
Object theorem in 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_69c008ffed108190a084602227af6157 completed March 22, 2026, 3:21 p.m.
Created at: March 22, 2026, 3:37 p.m.