Triple

T19050876
Position Surface form Disambiguated ID Type / Status
Subject Dirichlet problem E466251 entity
Predicate hasSpecialCase P7025 FINISHED
Object Dirichlet problem on a Riemannian manifold NE NERFINISHED

How this triple was built (3 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: Dirichlet problem on a Riemannian manifold | Statement: [Dirichlet problem, hasSpecialCase, Dirichlet problem on a Riemannian manifold]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Dirichlet problem on a Riemannian manifold
Context triple: [Dirichlet problem, hasSpecialCase, Dirichlet problem on a Riemannian manifold]
  • A. Nirenberg problem in differential geometry
    The Nirenberg problem in differential geometry is a classical question about prescribing Gaussian curvature on the 2-sphere via conformal deformations of the metric.
  • B. Bochner technique in Riemannian geometry
    The Bochner technique in Riemannian geometry is a method that uses Bochner-type identities and curvature conditions to derive vanishing theorems and rigidity results for differential forms and harmonic maps on manifolds.
  • C. Yamabe problem
    The Yamabe problem is a fundamental question in differential geometry concerning whether every compact Riemannian manifold admits a metric of constant scalar curvature within a given conformal class.
  • D. Monge–Ampère equation
    The Monge–Ampère equation is a fully nonlinear partial differential equation central to differential geometry, optimal transport, and several complex variables, often used to study curvature and geometric structures.
  • E. Serrin’s overdetermined boundary value problem
    Serrin’s overdetermined boundary value problem is a classical result in elliptic partial differential equations showing that certain extra boundary conditions force a domain to be a ball, leading to strong symmetry and rigidity conclusions.
  • F. None of above. chosen
  • G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Dirichlet problem on a Riemannian manifold
Target entity description: The Dirichlet problem on a Riemannian manifold concerns finding a harmonic function on the manifold that assumes prescribed values on its boundary, taking into account the manifold’s intrinsic geometric structure.
  • A. Nirenberg problem in differential geometry
    The Nirenberg problem in differential geometry is a classical question about prescribing Gaussian curvature on the 2-sphere via conformal deformations of the metric.
  • B. Bochner technique in Riemannian geometry
    The Bochner technique in Riemannian geometry is a method that uses Bochner-type identities and curvature conditions to derive vanishing theorems and rigidity results for differential forms and harmonic maps on manifolds.
  • C. Yamabe problem
    The Yamabe problem is a fundamental question in differential geometry concerning whether every compact Riemannian manifold admits a metric of constant scalar curvature within a given conformal class.
  • D. Monge–Ampère equation
    The Monge–Ampère equation is a fully nonlinear partial differential equation central to differential geometry, optimal transport, and several complex variables, often used to study curvature and geometric structures.
  • E. Serrin’s overdetermined boundary value problem
    Serrin’s overdetermined boundary value problem is a classical result in elliptic partial differential equations showing that certain extra boundary conditions force a domain to be a ball, leading to strong symmetry and rigidity conclusions.
  • F. None of above. chosen

Provenance (2 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_69d8dd040fb881909af2a964f65ad208 completed April 10, 2026, 11:20 a.m.
NER Named-entity recognition batch_69e5dc02597c8190b39fd2c7b7e42258 completed April 20, 2026, 7:55 a.m.
Created at: April 10, 2026, 12:03 p.m.