Triple
T9843845
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Cauchy–Schwarz inequality |
E239290
|
entity |
| Predicate | alsoKnownAs |
P39
|
FINISHED |
| Object | Cauchy–Bunyakovsky inequality |
E239290
|
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: Cauchy–Bunyakovsky inequality Context triple: [Cauchy–Schwarz inequality, alsoKnownAs, Cauchy–Bunyakovsky inequality]
-
A.
Cauchy–Schwarz inequality
chosen
The Cauchy–Schwarz inequality is a fundamental result in linear algebra and analysis that bounds the inner product of two vectors by the product of their magnitudes, underpinning many concepts in geometry, probability, and functional analysis.
-
B.
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.
-
C.
Bessel inequality
Bessel inequality is a fundamental result in functional analysis that bounds the sum of squared Fourier coefficients of a vector in an inner product space by the square of its norm.
-
D.
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.
-
E.
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.
- 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_69d2287bbdf88190acd23f9572213e8a |
ned_source_triple | completed |
Created at: March 30, 2026, 8:33 p.m.