Triple

T22423317
Position Surface form Disambiguated ID Type / Status
Subject Erdős discrepancy problem E554302 entity
Predicate equivalentFormulation P6530 FINISHED
Object for every ±1 sequence (x_n) and every C > 0 there exist n,d with |x_d + x_{2d} + … + x_{nd}| > C LITERAL FINISHED

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69e11e4f2d0c819091aa3558ea2ee630 elicitation completed
NER batch_69f15a2af620819083338127e78137dc ner completed
Created at: April 16, 2026, 8:47 p.m.