Triple

T22423365
Position Surface form Disambiguated ID Type / Status
Subject Erdős–Turán conjecture E554303 entity
Predicate statementInformal P4223 FINISHED
Object Any subset of the positive integers whose sum of reciprocals diverges contains arbitrarily long arithmetic progressions. 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.