Triple

T11085939
Position Surface form Disambiguated ID Type / Status
Subject Hurwitz bound on automorphism groups of curves E262119 entity
Predicate relatedResult P96512 FINISHED
Object Wiman bound
The Wiman bound is a classical result in algebraic geometry that gives an upper limit on the size of the automorphism group of certain algebraic curves, refining the general Hurwitz bound in specific cases.
E904005 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: Wiman bound | Statement: [Hurwitz bound on automorphism groups of curves, relatedResult, Wiman bound]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Wiman bound
Context triple: [Hurwitz bound on automorphism groups of curves, relatedResult, Wiman bound]
  • A. Barankin bound
    The Barankin bound is a fundamental lower bound in statistical estimation theory that generalizes and can be tighter than the Cramér–Rao bound for the variance of unbiased estimators, especially in non-regular or finite-sample settings.
  • B. Busemann
    Busemann is a surname most notably associated with Herbert Busemann, a German-American mathematician known for his work in geometry.
  • C. Bounding Theory
    Bounding Theory is a subtheory within Government and Binding Theory in generative linguistics that constrains how far syntactic elements can move in a sentence.
  • D. WIMM
    WIMM is the ICAO airport code for Kualanamu International Airport, a major airport serving Medan and the surrounding region in North Sumatra, Indonesia.
  • E. Beenieman
    Beenieman is a prominent Jamaican dancehall deejay and reggae artist often referred to as the "King of Dancehall."
  • 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: Wiman bound
Triple: [Hurwitz bound on automorphism groups of curves, relatedResult, Wiman bound]
Generated description
The Wiman bound is a classical result in algebraic geometry that gives an upper limit on the size of the automorphism group of certain algebraic curves, refining the general Hurwitz bound in specific cases.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Wiman bound
Target entity description: The Wiman bound is a classical result in algebraic geometry that gives an upper limit on the size of the automorphism group of certain algebraic curves, refining the general Hurwitz bound in specific cases.
  • A. Barankin bound
    The Barankin bound is a fundamental lower bound in statistical estimation theory that generalizes and can be tighter than the Cramér–Rao bound for the variance of unbiased estimators, especially in non-regular or finite-sample settings.
  • B. Busemann
    Busemann is a surname most notably associated with Herbert Busemann, a German-American mathematician known for his work in geometry.
  • C. Bounding Theory
    Bounding Theory is a subtheory within Government and Binding Theory in generative linguistics that constrains how far syntactic elements can move in a sentence.
  • D. WIMM
    WIMM is the ICAO airport code for Kualanamu International Airport, a major airport serving Medan and the surrounding region in North Sumatra, Indonesia.
  • E. Beenieman
    Beenieman is a prominent Jamaican dancehall deejay and reggae artist often referred to as the "King of Dancehall."
  • 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_69d6aa9983c08190b0ef61603b69feac completed April 8, 2026, 7:20 p.m.
NER Named-entity recognition batch_69d799c2c7d4819087ac793153340178 completed April 9, 2026, 12:21 p.m.
NED1 Entity disambiguation (via context triple) batch_69e3e7a6dfa8819096f822294eb64dd1 completed April 18, 2026, 8:20 p.m.
NEDg Description generation batch_69e3f2cafc008190a3504999297f1e4e completed April 18, 2026, 9:08 p.m.
NED2 Entity disambiguation (via description) batch_69e3f488819081908f9a4225279cde6b completed April 18, 2026, 9:15 p.m.
Created at: April 8, 2026, 9:27 p.m.