Triple

T23760848
Position Surface form Disambiguated ID Type / Status
Subject Wallis product E587242 entity
Predicate hasLimitForm P9149 FINISHED
Object lim_{n→∞} ∏_{k=1}^{n} (4k^2)/(4k^2 - 1) = π/2 LITERAL FINISHED

Provenance (3 batches)

Stage Batch ID Job type Status
creating batch_69e2490b8ac48190a6b35f1d5500486b elicitation completed
NER batch_69f1bdb289508190a4a1049762102794 ner completed
PD batch_69f155f79e34819080f9ddb972b34deb pd completed
Created at: April 17, 2026, 7:14 p.m.