Triple

T14334391
Position Surface form Disambiguated ID Type / Status
Subject Ramanujan tau function E355432 entity
Predicate recurrencePrimePowers P43787 FINISHED
Object τ(p^{k+1}) = τ(p)τ(p^k) - p^{11}τ(p^{k-1}) for prime p and k ≥ 1 LITERAL FINISHED

Provenance (3 batches)

Stage Batch ID Job type Status
creating batch_69d8278fa2108190bc0d0e7939c1eb03 elicitation completed
NER batch_69de8c20d2148190bb534bef338e871d ner completed
PD batch_69de2a9515f4819081aabf251bca5878 pd completed
Created at: April 10, 2026, 1:13 a.m.