Triple
T26255114
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Farey sequence |
E656694
|
entity |
| Predicate | cardinalityFormula |
P23694
|
FINISHED |
| Object | |F_n| = 1 + sum of Euler totient function up to n |
—
|
LITERAL FINISHED |
Provenance (3 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69ee5b4d25ac819086acb51184602576 |
elicitation | completed |
| NER | batch_69f60dcd2e688190b54e36b0ff0d9187 |
ner | completed |
| PD | batch_69f602d2ec748190ae95154f34c7878f |
pd | completed |
Created at: April 26, 2026, 9:08 p.m.