Triple

T25432874
Position Surface form Disambiguated ID Type / Status
Subject Dirichlet approximation theorem E637303 entity
Predicate strength P6664 FINISHED
Object gives optimal exponent 2 in |α − p/q| < C/q² for general real numbers LITERAL FINISHED

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69e75db58a1c8190891b9ff7c2f8414e elicitation completed
NER batch_69f5f6dc7d088190b1e4c191172ea256 ner completed
Created at: April 21, 2026, 1:58 p.m.