Triple

T36467638
Position Surface form Disambiguated ID Type / Status
Subject Wigner semicircle law E898462 entity
Predicate hasDensityFormula P87492 FINISHED
Object (1/(2πσ²))·sqrt(4σ² - x²) on [-2σ,2σ] LITERAL FINISHED

How this triple was built (2 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: (1/(2πσ²))·sqrt(4σ² - x²) on [-2σ,2σ] | Statement: [Wigner semicircle law, hasDensityFormula, (1/(2πσ²))·sqrt(4σ² - x²) on [-2σ,2σ]]
PD Predicate disambiguation gpt-5-mini-2025-08-07
Target predicate: hasDensityFormula
Context triple: [Wigner semicircle law, hasDensityFormula, (1/(2πσ²))·sqrt(4σ² - x²) on [-2σ,2σ]]
  • A. givesDensityOf chosen
    Indicates that one entity provides or specifies the density value of another entity.
  • B. hasMeanDensity
    Indicates that one entity possesses a specified average mass per unit volume (mean density).
  • C. hasDensityParameter
    Indicates that an entity is associated with a specific density-related parameter or value used to characterize its density properties.
  • D. typeOfDensity
    Indicates the specific category or kind of density (e.g., mass, population, charge) that characterizes a given quantity or measurement.
  • E. hasSpecificGravity
    Indicates that one entity has a specific gravity value equal to or characteristic of another entity or reference substance.
  • F. None of above.

Provenance (3 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_69f76e58ebd88190b75d9b169b59d793 completed May 3, 2026, 3:48 p.m.
NER Named-entity recognition batch_69ff70ecc1a481909571b18d56d982b8 completed May 9, 2026, 5:37 p.m.
PD Predicate disambiguation batch_69ff70322a3c8190837840ea42cd3093 completed May 9, 2026, 5:34 p.m.
Created at: May 3, 2026, 4:10 p.m.