Triple

T31656
Position Surface form Disambiguated ID Type / Status
Subject Nash embedding theorem E631 entity
Predicate dimensionBound P99 FINISHED
Object gives explicit upper bounds on the Euclidean dimension needed for embedding LITERAL FINISHED

Provenance (3 batches)

Stage Batch ID Job type Status
creating batch_69a2479dec388190967ba648663442c9 elicitation completed
NER batch_69a249ec0d288190ac3a0939db61813b ner completed
PD batch_69a24870417081909c7c01e400c94716 pd completed
Created at: Feb. 28, 2026, 1:44 a.m.