Triple

T18480306
Position Surface form Disambiguated ID Type / Status
Subject Inequalities for analytic functions E451538 entity
Predicate relatedTo P37 FINISHED
Object Hadamard three-circle theorem — NE NERFINISHED

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: Hadamard three-circle theorem | Statement: [Inequalities for analytic functions, relatedTo, Hadamard three-circle 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: Hadamard three-circle theorem
Context triple: [Inequalities for analytic functions, relatedTo, Hadamard three-circle theorem]
  • A. Hadamard three-circle theorem chosen
    The Hadamard three-circle theorem is a result in complex analysis that describes how the maximum modulus of a holomorphic function behaves logarithmically between three concentric circles in the complex plane.
  • B. Borel–Carathéodory theorem
    The Borel–Carathéodory theorem is a result in complex analysis that provides bounds on the modulus of a holomorphic function inside a disk in terms of the maximum of its real part on a larger concentric disk.
  • C. Schwarz–Pick theorem
    The Schwarz–Pick theorem is a fundamental result in complex analysis that characterizes holomorphic self-maps of the unit disk by showing they are distance-decreasing with respect to the hyperbolic (Poincaré) metric.
  • D. Bieberbach conjecture
    The Bieberbach conjecture, now a theorem, is a landmark result in complex analysis that characterizes the size of Taylor coefficients of normalized univalent (injective) holomorphic functions on the unit disk.
  • E. Corona theorem
    The Corona theorem is a fundamental result in complex analysis that characterizes when bounded analytic functions on the unit disk can be solved in a certain type of division problem, showing that the maximal ideal space of the disk algebra has no "corona."
  • F. None of above.
  • G. Unsure - the case is ambiguous/there is not enough information to decide.

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69d8d38465a0819099b9b42d2a662ac1 elicitation completed
NER batch_69e53066a7108190a50eda9b489c90ca ner completed
Created at: April 10, 2026, 11:35 a.m.