Triple

T6376276
Position Surface form Disambiguated ID Type / Status
Subject Louis Nirenberg E143472 entity
Predicate knownFor P22 FINISHED
Object Agmon–Douglis–Nirenberg estimates
Agmon–Douglis–Nirenberg estimates are fundamental a priori estimates in the theory of linear elliptic partial differential equations and systems, providing precise control of solution regularity in terms of data norms.
E588690 NE FINISHED

How this triple was built (4 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: Agmon–Douglis–Nirenberg estimates | Statement: [Louis Nirenberg, knownFor, Agmon–Douglis–Nirenberg estimates]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Agmon–Douglis–Nirenberg estimates
Context triple: [Louis Nirenberg, knownFor, Agmon–Douglis–Nirenberg estimates]
  • A. Lectures on Cauchy’s problem in linear partial differential equations
    "Lectures on Cauchy’s Problem in Linear Partial Differential Equations" is a classic mathematical treatise by Jacques Hadamard that systematically develops the theory of existence, uniqueness, and well-posedness for solutions to linear partial differential equations.
  • B. Singular Integrals and Differentiability Properties of Functions
    "Singular Integrals and Differentiability Properties of Functions" is a landmark mathematical monograph by Elias M. Stein that developed the modern theory of singular integral operators and their role in harmonic analysis and differentiability.
  • C. Fefferman–Phong inequality
    The Fefferman–Phong inequality is a fundamental result in harmonic analysis and partial differential equations that provides weighted \(L^2\) estimates controlling functions by their gradients and associated potentials.
  • 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. An Introduction to the Mathematical Theory of Finite Elements
    An Introduction to the Mathematical Theory of Finite Elements is a foundational textbook that rigorously develops the mathematical underpinnings of the finite element method used in numerical analysis and engineering.
  • F. None of above. chosen
  • G. Unsure - the case is ambiguous/there is not enough information to decide.
NEDg Description generation gpt-5.1
Instruction
Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"
Input
Entity: Agmon–Douglis–Nirenberg estimates
Triple: [Louis Nirenberg, knownFor, Agmon–Douglis–Nirenberg estimates]
Generated description
Agmon–Douglis–Nirenberg estimates are fundamental a priori estimates in the theory of linear elliptic partial differential equations and systems, providing precise control of solution regularity in terms of data norms.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Agmon–Douglis–Nirenberg estimates
Target entity description: Agmon–Douglis–Nirenberg estimates are fundamental a priori estimates in the theory of linear elliptic partial differential equations and systems, providing precise control of solution regularity in terms of data norms.
  • A. Lectures on Cauchy’s problem in linear partial differential equations
    "Lectures on Cauchy’s Problem in Linear Partial Differential Equations" is a classic mathematical treatise by Jacques Hadamard that systematically develops the theory of existence, uniqueness, and well-posedness for solutions to linear partial differential equations.
  • B. Singular Integrals and Differentiability Properties of Functions
    "Singular Integrals and Differentiability Properties of Functions" is a landmark mathematical monograph by Elias M. Stein that developed the modern theory of singular integral operators and their role in harmonic analysis and differentiability.
  • C. Fefferman–Phong inequality
    The Fefferman–Phong inequality is a fundamental result in harmonic analysis and partial differential equations that provides weighted \(L^2\) estimates controlling functions by their gradients and associated potentials.
  • 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. An Introduction to the Mathematical Theory of Finite Elements
    An Introduction to the Mathematical Theory of Finite Elements is a foundational textbook that rigorously develops the mathematical underpinnings of the finite element method used in numerical analysis and engineering.
  • F. None of above. chosen

Provenance (5 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_69c008d9f4348190ab598a2913259a1c completed March 22, 2026, 3:20 p.m.
NER Named-entity recognition batch_69c0683bfc7081908b15c3c9a3c72e7b completed March 22, 2026, 10:07 p.m.
NED1 Entity disambiguation (via context triple) batch_69c62d9dd9dc8190b2aca25feda3e690 completed March 27, 2026, 7:11 a.m.
NEDg Description generation batch_69c62fb982088190ab4ccbd5ff23740d completed March 27, 2026, 7:20 a.m.
NED2 Entity disambiguation (via description) batch_69c6302e2f008190bd7ccdfbcddb3c07 completed March 27, 2026, 7:22 a.m.
Created at: March 22, 2026, 4:33 p.m.