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.