Triple
T9843870
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Cauchy–Schwarz inequality |
E239290
|
entity |
| Predicate | relatedTo |
P37
|
FINISHED |
| Object | Jensen inequality |
E87727
|
NE FINISHED |
Disambiguation candidates (1 decision)
The exact options the model was shown at each disambiguation step, with the option it chose highlighted — the evidence behind this triple's disambiguated ids.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Jensen inequality Context triple: [Cauchy–Schwarz inequality, relatedTo, Jensen inequality]
-
A.
Jensen inequality
chosen
Jensen's inequality is a fundamental result in convex analysis and probability theory that relates the value of a convex (or concave) function of an expectation to the expectation of the function, providing bounds that underlie many other inequalities and convergence results.
-
B.
Karamata's inequality
Karamata's inequality is a fundamental result in majorization theory that generalizes several classical inequalities by comparing sums of convex (or concave) functions over majorized sequences.
-
C.
Young's inequality
Young's inequality is a fundamental result in mathematical analysis that provides an upper bound for the product of two nonnegative numbers in terms of their powers, playing a key role in convex analysis and functional inequalities.
-
D.
Minkowski inequality
The Minkowski inequality is a fundamental result in functional analysis and measure theory that generalizes the triangle inequality to L^p spaces, providing a key tool for studying norms and integrable functions.
-
E.
Hölder inequality
Hölder inequality is a fundamental result in mathematical analysis that generalizes the Cauchy–Schwarz inequality and provides bounds for integrals or sums of products in Lᵖ spaces.
- F. None of above.
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Provenance (3 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69ca84e3f0c48190ada72a65ebd50efd |
elicitation | completed |
| NER | batch_69cdb35dc29c819080203be5b904dc9d |
ner | completed |
| NED1 | batch_69d1d5dda4b0819092703270e87bee5a |
ned_source_triple | completed |
Created at: March 30, 2026, 8:33 p.m.