Triple
T5191863
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Charles Hermite |
E117173
|
entity |
| Predicate | notableWork |
P4
|
FINISHED |
| Object | Sur la fonction exponentielle (proof of transcendence of e) |
E113531
|
NE FINISHED |
How this triple was built (2 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: Sur la fonction exponentielle (proof of transcendence of e) | Statement: [Charles Hermite, notableWork, Sur la fonction exponentielle (proof of transcendence of e)]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Sur la fonction exponentielle (proof of transcendence of e) Context triple: [Charles Hermite, notableWork, Sur la fonction exponentielle (proof of transcendence of e)]
-
A.
Mémoire sur une propriété générale d’une classe très étendue de fonctions transcendantes
Mémoire sur une propriété générale d’une classe très étendue de fonctions transcendantes is a seminal mathematical paper by Niels Henrik Abel that develops fundamental results on transcendental functions and helped lay groundwork for modern analysis.
-
B.
Lindemann–Weierstrass theorem precursor
chosen
The Lindemann–Weierstrass theorem precursor is an early foundational result in transcendental number theory developed by Ferdinand von Lindemann that paved the way for the full Lindemann–Weierstrass theorem on the algebraic independence of exponentials of algebraic numbers.
-
C.
Essai sur l’étude des fonctions données par leur développement de Taylor
Essai sur l’étude des fonctions données par leur développement de Taylor is a foundational mathematical treatise by Jacques Hadamard that investigates the behavior and properties of functions defined through their Taylor series expansions.
-
D.
Théorie des fonctions analytiques
Théorie des fonctions analytiques is a foundational mathematical treatise by Joseph-Louis Lagrange that systematically develops calculus using power series and analytic functions instead of geometric or infinitesimal arguments.
-
E.
Euler’s formula for complex exponentials
Euler’s formula for complex exponentials is the fundamental identity \(e^{i\theta} = \cos\theta + i\sin\theta\), which links complex exponentials with trigonometric functions and underpins much of complex analysis and engineering mathematics.
- F. None of above.
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Provenance (3 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_69bd44620ff48190bcac01782107a397 |
completed | March 20, 2026, 12:58 p.m. |
| NER | Named-entity recognition | batch_69bd79ed61c88190bda492f6489f44de |
completed | March 20, 2026, 4:46 p.m. |
| NED1 | Entity disambiguation (via context triple) | batch_69bee0943ce48190838aff0cfd12c655 |
completed | March 21, 2026, 6:16 p.m. |
Created at: March 20, 2026, 1:46 p.m.