Triple

T12138860
Position Surface form Disambiguated ID Type / Status
Subject Pafnuty Chebyshev E289130 entity
Predicate notableWork P4 FINISHED
Object Chebyshev inequality E451512 NE FINISHED

How this triple was built (2 steps)

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.

NER Named-entity recognition gpt-5-mini
Instruction
Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).
Input
Phrase: Chebyshev inequality | Statement: [Pafnuty Chebyshev, notableWork, Chebyshev inequality]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: Chebyshev inequality
Context triple: [Pafnuty Chebyshev, notableWork, Chebyshev inequality]
  • A. Chebyshev inequalities chosen
    Chebyshev inequalities are probabilistic bounds that limit how much a random variable’s values can deviate from its mean in terms of its variance.
  • B. Chernoff bound
    The Chernoff bound is a probabilistic inequality that gives exponentially decreasing upper bounds on the tail probabilities of sums of independent random variables.
  • C. Berry–Esseen theorem
    The Berry–Esseen theorem is a quantitative refinement of the central limit theorem that provides explicit bounds on the rate of convergence of normalized sums of independent random variables to the normal distribution.
  • D. Cauchy–Schwarz inequality
    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.
  • E. 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.
  • F. None of above.
  • G. Unsure - the case is ambiguous/there is not enough information to decide.

Provenance (3 batches)

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_69d6ab4b5e4c81909950b17151eb0951 completed April 8, 2026, 7:23 p.m.
NER Named-entity recognition batch_69d9158eef48819083bdce283a363414 completed April 10, 2026, 3:21 p.m.
NED1 Entity disambiguation (via context triple) batch_69f5f690ae408190966bb4fe8feaa7d2 completed May 2, 2026, 1:05 p.m.
Created at: April 8, 2026, 9:49 p.m.