Triple
T7871986
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Jacobi’s four-square theorem |
E182757
|
entity |
| Predicate | domainOfFormula |
P64857
|
FINISHED |
| Object | n ∈ ℕ |
—
|
LITERAL FINISHED |
Provenance (3 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69ca82894d9081908a832bfce71a4714 |
elicitation | completed |
| NER | batch_69cb39a5950481908399211c5dfe2569 |
ner | completed |
| PD | batch_69cae928e1b88190b0620f4c4f03bc7d |
pd | completed |
Created at: March 30, 2026, 4:56 p.m.