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.