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.