Triple

T22805552
Position Surface form Disambiguated ID Type / Status
Subject Tore Olaus Engset E564522 entity
Predicate notableWork P4 FINISHED
Object Engset formula
The Engset formula is a probability model in teletraffic theory that calculates call blocking in systems with a finite number of traffic sources, often used in telecommunications network design.
E1555285 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: Engset formula | Statement: [Tore Olaus Engset, notableWork, Engset formula]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Engset formula
Context triple: [Tore Olaus Engset, notableWork, Engset formula]
  • A. Erskine Formula
    The Erskine Formula is the experimental serum in Marvel Comics that transforms ordinary individuals into enhanced super-soldiers, most famously used to create Captain America.
  • B. Lindley equation
    The Lindley equation is a fundamental recursive relation in queueing theory that describes the waiting time process in single-server queues.
  • C. Eq
    Eq is a Rust standard library trait that defines equality comparison behavior for types, ensuring they support reflexive, symmetric, and transitive equality.
  • D. EGQS
    EGQS is the ICAO airport code for RAF Lossiemouth, a major Royal Air Force station and military airfield in northeast Scotland.
  • E. Abreu equation
    The Abreu equation is a fourth-order nonlinear partial differential equation arising in Kähler and toric geometry, particularly in the study of extremal and constant scalar curvature Kähler metrics.
  • 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: Engset formula
Triple: [Tore Olaus Engset, notableWork, Engset formula]
Generated description
The Engset formula is a probability model in teletraffic theory that calculates call blocking in systems with a finite number of traffic sources, often used in telecommunications network design.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Engset formula
Target entity description: The Engset formula is a probability model in teletraffic theory that calculates call blocking in systems with a finite number of traffic sources, often used in telecommunications network design.
  • A. Erskine Formula
    The Erskine Formula is the experimental serum in Marvel Comics that transforms ordinary individuals into enhanced super-soldiers, most famously used to create Captain America.
  • B. Lindley equation
    The Lindley equation is a fundamental recursive relation in queueing theory that describes the waiting time process in single-server queues.
  • C. Eq
    Eq is a Rust standard library trait that defines equality comparison behavior for types, ensuring they support reflexive, symmetric, and transitive equality.
  • D. EGQS
    EGQS is the ICAO airport code for RAF Lossiemouth, a major Royal Air Force station and military airfield in northeast Scotland.
  • E. Abreu equation
    The Abreu equation is a fourth-order nonlinear partial differential equation arising in Kähler and toric geometry, particularly in the study of extremal and constant scalar curvature Kähler metrics.
  • 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_69e245823f4c8190ade442cdcc2c224a completed April 17, 2026, 2:36 p.m.
NER Named-entity recognition batch_69f17d5b37cc8190a41d8f304ba8d609 completed April 29, 2026, 3:39 a.m.
NED1 Entity disambiguation (via context triple) batch_6a0b9e9dbb3881909f6fa69466bf3eff completed May 18, 2026, 11:19 p.m.
NEDg Description generation batch_6a0ba0853f7c8190ad9c85a927c3d7ba completed May 18, 2026, 11:28 p.m.
NED2 Entity disambiguation (via description) batch_6a0ba0fa26488190b2246d85b9b5a7b5 completed May 18, 2026, 11:30 p.m.
Created at: April 17, 2026, 3:32 p.m.