Triple

T10991983
Position Surface form Disambiguated ID Type / Status
Subject Hirzebruch–Riemann–Roch theorem E259772 entity
Predicate relatedTo P37 FINISHED
Object signature theorem E587785 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: signature theorem | Statement: [Hirzebruch–Riemann–Roch theorem, relatedTo, signature theorem]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: signature theorem
Context triple: [Hirzebruch–Riemann–Roch theorem, relatedTo, signature theorem]
  • A. Sig
    Sig is a common shortened form of the given name Sigmund, often used as an informal or familiar nickname.
  • B. Signature Class
    Signature Class is Air Canada’s premium business-class service featuring lie-flat seats, enhanced dining, and priority airport services on select long-haul and transcontinental routes.
  • C. Hirzebruch signature theorem chosen
    The Hirzebruch signature theorem is a fundamental result in differential topology that expresses the signature of a smooth, compact, oriented 4k-dimensional manifold as a polynomial in its Pontryagin classes.
  • D. The Sigma Protocol
    The Sigma Protocol is a posthumously published thriller novel by Robert Ludlum that follows a man uncovering a vast global conspiracy tied to secret financial and political powers.
  • E. admissibility theorem
    The admissibility theorem is a result in statistical decision theory that characterizes when a decision rule cannot be uniformly improved upon, linking admissible rules to optimality concepts such as those in complete class theorems.
  • 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_69d6aa8a6a548190a750f944ccdc8064 completed April 8, 2026, 7:20 p.m.
NER Named-entity recognition batch_69d795d1e918819090c71f5a077fa15a completed April 9, 2026, 12:04 p.m.
NED1 Entity disambiguation (via context triple) batch_69e34504ebec8190a78e4795765b0c24 completed April 18, 2026, 8:47 a.m.
Created at: April 8, 2026, 9:24 p.m.