Triple
T14334405
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Ramanujan tau function |
E355432
|
entity |
| Predicate | growthBound |
P37890
|
FINISHED |
| Object | |τ(p)| ≤ 2 p^{11/2} for prime p |
—
|
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.