Triple
T34689249
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Hamilton’s Harnack inequalities for Ricci flow |
E890839
|
entity |
| Predicate | instanceOf |
P0
|
FINISHED |
| Object | Harnack inequality |
C58796
|
CONCEPT FINISHED |
How this triple was built (1 step)
Every LLM step that produced this triple, in pipeline order — named-entity classification, the disambiguation choices (the exact options shown, with the pick highlighted), and the generated description. The batch + timestamp of each is in the Provenance table below.
CD
Concept disambiguation
gpt-5-mini-2025-08-07
Target class: Harnack inequality Context triple: [Hamilton’s Harnack inequalities for Ricci flow, instanceOf, Harnack inequality]
-
A.
differential inequality
chosen
A differential inequality is a mathematical relation that bounds a derivative (or derivatives) of an unknown function above or below by another function or expression, rather than setting them equal.
-
B.
norm inequality
A norm inequality is a mathematical statement that compares the sizes (norms) of vectors or functions, often establishing bounds or relationships between different norms in a vector space.
-
C.
inequality in inner product spaces
Inequality in inner product spaces refers to fundamental bounds, such as the Cauchy–Schwarz and triangle inequalities, that relate norms and inner products of vectors and constrain their geometric and algebraic relationships.
-
D.
area of harmonic analysis
An area of harmonic analysis is a branch of mathematics focused on representing functions or signals as superpositions of basic waves and studying the properties of these representations.
-
E.
free boundary problem
A free boundary problem is a type of mathematical or physical problem in which the shape or position of the boundary of the domain is not known in advance and must be determined as part of the solution.
- F. None of above.
Provenance (1 batch)
The batch behind each pipeline step, in order, with when it ran. Timestamps are batch-level — stages were processed in waves, so the object chain (NER → NED1 → NEDg → NED2) reads in order, but predicate / elicitation batches can sit in a different wave.
| Step | Stage | Batch ID | Status | When |
|---|---|---|---|---|
| creating | Elicitation | batch_69f349db7ab8819086808e833f472871 |
completed | April 30, 2026, 12:23 p.m. |
Created at: May 1, 2026, 2:05 a.m.