Triple

T243814
Position Surface form Disambiguated ID Type / Status
Subject central limit theorem E4991 entity
Predicate hasHistoricalContributor P3444 FINISHED
Object Jarl Waldemar Lindeberg
Jarl Waldemar Lindeberg was a Finnish mathematician best known for formulating a key general condition (now called Lindeberg’s condition) that underpins a powerful version of the central limit theorem in probability theory.
E35416 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: Jarl Waldemar Lindeberg | Statement: [central limit theorem, hasHistoricalContributor, Jarl Waldemar Lindeberg]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Jarl Waldemar Lindeberg
Context triple: [central limit theorem, hasHistoricalContributor, Jarl Waldemar Lindeberg]
  • A. Ivar Tengbom
    Ivar Tengbom was a prominent Swedish architect known for his influential early 20th-century public buildings and contributions to Nordic classicism.
  • B. Johan Nordström
    Johan Nordström, better known as John W. Nordstrom, was a Swedish-American businessman who co-founded the upscale department store chain Nordstrom in the United States.
  • C. Christian Lous Lange
    Christian Lous Lange was a Norwegian historian, political scientist, and prominent internationalist who shared the 1921 Nobel Peace Prize for his work as secretary-general of the Inter-Parliamentary Union.
  • D. Carl F. Wallin
    Carl F. Wallin was an early 20th-century American businessman best known as the co-founder of the Nordstrom retail company.
  • E. Einar Gerhardsen
    Einar Gerhardsen was a Norwegian politician often called the "father of the nation" for his central role in rebuilding Norway and shaping its social democratic welfare state after World War II.
  • 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: Jarl Waldemar Lindeberg
Triple: [central limit theorem, hasHistoricalContributor, Jarl Waldemar Lindeberg]
Generated description
Jarl Waldemar Lindeberg was a Finnish mathematician best known for formulating a key general condition (now called Lindeberg’s condition) that underpins a powerful version of the central limit theorem in probability theory.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Jarl Waldemar Lindeberg
Target entity description: Jarl Waldemar Lindeberg was a Finnish mathematician best known for formulating a key general condition (now called Lindeberg’s condition) that underpins a powerful version of the central limit theorem in probability theory.
  • A. Ivar Tengbom
    Ivar Tengbom was a prominent Swedish architect known for his influential early 20th-century public buildings and contributions to Nordic classicism.
  • B. Johan Nordström
    Johan Nordström, better known as John W. Nordstrom, was a Swedish-American businessman who co-founded the upscale department store chain Nordstrom in the United States.
  • C. Christian Lous Lange
    Christian Lous Lange was a Norwegian historian, political scientist, and prominent internationalist who shared the 1921 Nobel Peace Prize for his work as secretary-general of the Inter-Parliamentary Union.
  • D. Carl F. Wallin
    Carl F. Wallin was an early 20th-century American businessman best known as the co-founder of the Nordstrom retail company.
  • E. Einar Gerhardsen
    Einar Gerhardsen was a Norwegian politician often called the "father of the nation" for his central role in rebuilding Norway and shaping its social democratic welfare state after World War II.
  • 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_69a257c3d0708190b0871c4269d273e6 completed Feb. 28, 2026, 2:49 a.m.
NER Named-entity recognition batch_69a260c592cc8190bc642fcd248a1f1b completed Feb. 28, 2026, 3:28 a.m.
NED1 Entity disambiguation (via context triple) batch_69a38f4e35688190b8c8714c7f06c6ee completed March 1, 2026, 12:58 a.m.
NEDg Description generation batch_69a390159ac08190892a67e906b33df3 completed March 1, 2026, 1:02 a.m.
NED2 Entity disambiguation (via description) batch_69a3907070fc8190891fac451c8f7fad completed March 1, 2026, 1:03 a.m.
Created at: Feb. 28, 2026, 2:53 a.m.