Triple

T12026555

Position	Surface form	Disambiguated ID	Type / Status
Subject	Green–Tao theorem	`E286292`	entity
Predicate	generalizesFrom	`P57966`	FINISHED
Object	Szemerédi's theorem Szemerédi's theorem is a fundamental result in combinatorial number theory stating that any subset of the integers with positive upper density contains arbitrarily long arithmetic progressions.	`E959796`	NE FINISHED

Provenance (6 batches)

Stage	Batch ID	Job type	Status
creating	`batch_69d6ab4669e48190b59246358b0383ab`	elicitation	completed
NER	`batch_69d9100b4ca8819084845ca4c13e34ce`	ner	completed
NED1	`batch_69f48b8111b88190a42a8904a2d26862`	ned_source_triple	completed
NED2	`batch_69f495f069c48190a6e5856c272420c0`	ned_description	completed
NEDg	`batch_69f48fc7a8848190a06b34cc45db4789`	nedg	completed
PD	`batch_69d902b6ebbc8190b13c44a61c6f81b9`	pd	completed

Created at: April 8, 2026, 9:47 p.m.