Triple
T8850278
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Hilbert’s seventeenth problem |
E210619
|
entity |
| Predicate | hasCanonicalFormulation |
P84984
|
FINISHED |
| Object | Given a polynomial with real coefficients that takes only nonnegative values for all real inputs, is it a sum of squares of rational functions with real coefficients? |
—
|
LITERAL FINISHED |
Provenance (4 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69ca838a424c8190b1ecac115c2927e7 |
elicitation | completed |
| NER | batch_69cc60abb0748190af41d4e1f419e39c |
ner | completed |
| PD | batch_69cc5c25b874819084c9ba391703e066 |
pd | completed |
| PDg | batch_69cc5cffe8ec819084c12770fe0578f2 |
pdg | completed |
Created at: March 30, 2026, 6:49 p.m.