Triple

T16886711
Position Surface form Disambiguated ID Type / Status
Subject Hans Lewy E421557 entity
Predicate theoremNamedAfter P29208 FINISHED
Object Lewy example in PDE
The Lewy example in PDE is a classical counterexample in the theory of partial differential equations that demonstrates the existence of a smooth linear PDE with no local solution, highlighting limitations of earlier existence theorems.
E1238589 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: Lewy example in PDE | Statement: [Hans Lewy, theoremNamedAfter, Lewy example in PDE]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Lewy example in PDE
Context triple: [Hans Lewy, theoremNamedAfter, Lewy example in PDE]
  • A. 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.
  • B. Lectures on Partial Differential Equations
    "Lectures on Partial Differential Equations" is a concise, influential textbook by Vladimir Arnold that presents the theory of partial differential equations with a strong geometric and intuitive emphasis.
  • C. 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.
  • D. 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.
  • E. PDE
    PDE is the state agency responsible for overseeing public education and related policies in Pennsylvania.
  • 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: Lewy example in PDE
Triple: [Hans Lewy, theoremNamedAfter, Lewy example in PDE]
Generated description
The Lewy example in PDE is a classical counterexample in the theory of partial differential equations that demonstrates the existence of a smooth linear PDE with no local solution, highlighting limitations of earlier existence theorems.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Lewy example in PDE
Target entity description: The Lewy example in PDE is a classical counterexample in the theory of partial differential equations that demonstrates the existence of a smooth linear PDE with no local solution, highlighting limitations of earlier existence theorems.
  • A. 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.
  • B. Lectures on Partial Differential Equations
    "Lectures on Partial Differential Equations" is a concise, influential textbook by Vladimir Arnold that presents the theory of partial differential equations with a strong geometric and intuitive emphasis.
  • C. 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.
  • D. 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.
  • E. PDE
    PDE is the state agency responsible for overseeing public education and related policies in Pennsylvania.
  • 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_69d889d470fc8190b4aec199636c0c56 completed April 10, 2026, 5:25 a.m.
NER Named-entity recognition batch_69e3bbc126e881909dae8133ad34acc9 completed April 18, 2026, 5:13 p.m.
NED1 Entity disambiguation (via context triple) batch_6a00c2bcf290819098be9def471e02b8 completed May 10, 2026, 5:39 p.m.
NEDg Description generation batch_6a00c3c25e9481908327bb6646212368 completed May 10, 2026, 5:43 p.m.
NED2 Entity disambiguation (via description) batch_6a00c44e37b48190a62b315ddbbd4ec4 completed May 10, 2026, 5:45 p.m.
Created at: April 10, 2026, 5:29 a.m.