Triple

T22423385
Position Surface form Disambiguated ID Type / Status
Subject Erdős–Turán conjecture E554303 entity
Predicate hasFormulation P3660 FINISHED
Object If A is a subset of the positive integers and sum_{a in A} 1/a diverges, then A contains arithmetic progressions of every finite length. 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.