Triple
T32308727
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Weyl inequalities |
E825434
|
entity |
| Predicate | instanceOf |
P0
|
FINISHED |
| Object | matrix inequality |
C59157
|
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: matrix inequality Context triple: [Weyl inequalities, instanceOf, matrix inequality]
-
A.
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.
-
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.
differential inequality
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.
-
D.
moment inequality
A moment inequality is a constraint that specifies that an expected value (moment) of a random variable or function of data must lie above or below a certain bound, rather than being exactly equal to it.
-
E.
inequality in statistics
Inequality in statistics refers to the unequal distribution of a variable (such as income, wealth, or resources) across individuals or groups, often quantified using measures like the Gini coefficient or Lorenz curve.
- F. None of above. chosen
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_69f3491213b88190a57094d8697a7455 |
completed | April 30, 2026, 12:20 p.m. |
Created at: May 1, 2026, 12:45 a.m.