Triple

T10829347
Position Surface form Disambiguated ID Type / Status
Subject K-theory E255574 entity
Predicate developedBy P73 FINISHED
Object Max Karoubi E593363 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: Max Karoubi | Statement: [K-theory, developedBy, Max Karoubi]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Max Karoubi
Context triple: [K-theory, developedBy, Max Karoubi]
  • A. Max Karoubi chosen
    Max Karoubi is a French mathematician known for his influential work in K-theory and its applications to topology and geometry.
  • B. Daniel Quillen
    Daniel Quillen was an American mathematician renowned for revolutionizing algebraic K-theory and for his influential contributions to homotopy theory, earning him the Fields Medal in 1978.
  • C. Jean-Louis Koszul
    Jean-Louis Koszul was a French mathematician renowned for his foundational contributions to differential geometry and homological algebra, including the development of Koszul complexes and Koszul duality.
  • D. Friedrich Hirzebruch
    Friedrich Hirzebruch was a German mathematician renowned for his foundational work in topology and algebraic geometry, particularly the Hirzebruch–Riemann–Roch theorem.
  • E. Georges de Rham
    Georges de Rham was a Swiss mathematician best known for developing de Rham cohomology, a fundamental tool in algebraic topology linking differential forms with topological invariants.
  • 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_69d6aa8081448190a9324184f2bd1c26 completed April 8, 2026, 7:20 p.m.
NER Named-entity recognition batch_69d74420fa188190b5b3c59e1a9f551d completed April 9, 2026, 6:16 a.m.
NED1 Entity disambiguation (via context triple) batch_69deb1096cbc81908f3eda562c2da042 completed April 14, 2026, 9:26 p.m.
Created at: April 8, 2026, 9:19 p.m.