Triple

T7338662
Position Surface form Disambiguated ID Type / Status
Subject Farey tessellation E169192 entity
Predicate embeddedIn P15157 FINISHED
Object Poincaré upper half-plane model
The Poincaré upper half-plane model is a standard representation of the hyperbolic plane using the complex numbers with positive imaginary part, equipped with a specific metric that makes geodesics appear as semicircles and vertical lines.
E656696 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: Poincaré upper half-plane model | Statement: [Farey tessellation, embeddedIn, Poincaré upper half-plane model]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Poincaré upper half-plane model
Context triple: [Farey tessellation, embeddedIn, Poincaré upper half-plane model]
  • A. Riemann sphere
    The Riemann sphere is the complex plane plus a point at infinity, forming a one-dimensional complex manifold topologically equivalent to a sphere and used to study meromorphic functions and complex analysis.
  • B. Farey tessellation
    The Farey tessellation is a geometric partition of the hyperbolic plane into ideal triangles whose vertices correspond to rational numbers, closely linked to number theory and modular group actions.
  • C. Klein quartic
    The Klein quartic is a highly symmetric algebraic curve of genus 3 that plays a central role in complex geometry, group theory, and the study of Riemann surfaces.
  • D. Fuchsian group
    A Fuchsian group is a discrete group of isometries of the hyperbolic plane, fundamental in the study of Riemann surfaces, modular forms, and hyperbolic geometry.
  • E. Kleinian group
    A Kleinian group is a discrete subgroup of Möbius transformations acting on hyperbolic 3-space, central to the study of Riemann surfaces, complex dynamics, and low-dimensional topology.
  • 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: Poincaré upper half-plane model
Triple: [Farey tessellation, embeddedIn, Poincaré upper half-plane model]
Generated description
The Poincaré upper half-plane model is a standard representation of the hyperbolic plane using the complex numbers with positive imaginary part, equipped with a specific metric that makes geodesics appear as semicircles and vertical lines.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Poincaré upper half-plane model
Target entity description: The Poincaré upper half-plane model is a standard representation of the hyperbolic plane using the complex numbers with positive imaginary part, equipped with a specific metric that makes geodesics appear as semicircles and vertical lines.
  • A. Riemann sphere
    The Riemann sphere is the complex plane plus a point at infinity, forming a one-dimensional complex manifold topologically equivalent to a sphere and used to study meromorphic functions and complex analysis.
  • B. Farey tessellation
    The Farey tessellation is a geometric partition of the hyperbolic plane into ideal triangles whose vertices correspond to rational numbers, closely linked to number theory and modular group actions.
  • C. Klein quartic
    The Klein quartic is a highly symmetric algebraic curve of genus 3 that plays a central role in complex geometry, group theory, and the study of Riemann surfaces.
  • D. Fuchsian group
    A Fuchsian group is a discrete group of isometries of the hyperbolic plane, fundamental in the study of Riemann surfaces, modular forms, and hyperbolic geometry.
  • E. Kleinian group
    A Kleinian group is a discrete subgroup of Möbius transformations acting on hyperbolic 3-space, central to the study of Riemann surfaces, complex dynamics, and low-dimensional topology.
  • 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_69c68a57710481909f0c1f3c6ebdb6f2 completed March 27, 2026, 1:47 p.m.
NER Named-entity recognition batch_69c6f0d702108190a00a3681ff6e67d4 completed March 27, 2026, 9:04 p.m.
NED1 Entity disambiguation (via context triple) batch_69c7ef266fd0819096cf3ece3fff6b90 completed March 28, 2026, 3:09 p.m.
NEDg Description generation batch_69c7efa4f5148190842f30988cbea94c completed March 28, 2026, 3:11 p.m.
NED2 Entity disambiguation (via description) batch_69c7f0092bac819080ded1863f99290a completed March 28, 2026, 3:13 p.m.
Created at: March 27, 2026, 3:04 p.m.