Triple

T9843756
Position Surface form Disambiguated ID Type / Status
Subject Cauchy problem E239288 entity
Predicate relatedTo P37 FINISHED
Object Cauchy–Lipschitz theorem E22820 NE FINISHED

Named-entity recognition

Before disambiguation, gpt-5-mini classified whether the object phrase is a named entity — the step behind the object's NE type shown above.

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: Cauchy–Lipschitz theorem | Statement: [Cauchy problem, relatedTo, Cauchy–Lipschitz theorem]

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–Lipschitz theorem
Context triple: [Cauchy problem, relatedTo, Cauchy–Lipschitz theorem]
  • A. Cauchy–Kovalevskaya theorem
    The Cauchy–Kovalevskaya theorem is a fundamental result in partial differential equations that guarantees the existence and uniqueness of analytic solutions to certain initial value problems under appropriate analyticity conditions.
  • B. local existence and uniqueness theorem chosen
    The local existence and uniqueness theorem is a fundamental result in differential equations that guarantees, under suitable conditions, a single solution passing through a given initial point, valid in some neighborhood of that point.
  • C. Peano existence theorem
    The Peano existence theorem is a fundamental result in the theory of ordinary differential equations that guarantees the existence (but not necessarily uniqueness) of solutions under mild continuity conditions on the right-hand side.
  • D. Carathéodory existence theorem
    The Carathéodory existence theorem is a result in the theory of ordinary differential equations that guarantees the existence (and sometimes uniqueness) of solutions under weaker regularity conditions on the right-hand side than those required by classical theorems like Picard–Lindelöf.
  • E. Bendixson–Dulac criterion
    The Bendixson–Dulac criterion is a result in the qualitative theory of planar dynamical systems that provides conditions under which a system has no periodic orbits in a given region.
  • 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_69cdb35c8e348190aa090c71bf6f30eb ner completed
NED1 batch_69d1d5dda4b0819092703270e87bee5a ned_source_triple completed
Created at: March 30, 2026, 8:33 p.m.