Triple

T9838791
Position Surface form Disambiguated ID Type / Status
Subject de Bruijn–Newman constant E239168 entity
Predicate instanceOf P0 FINISHED
Object real number C3507 CONCEPT FINISHED

How this triple was built (1 step)

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.

CD Concept disambiguation gpt-5-mini-2025-08-07
Target class: real number
Context triple: [de Bruijn–Newman constant, instanceOf, real number]
  • A. number field
    A number field is a finite-degree field extension of the rational numbers, typically obtained by adjoining to ℚ a root of a non-constant polynomial with rational (or integer) coefficients.
  • B. round
    A round is a conceptual class representing objects or forms characterized by circular or curved boundaries equidistant from a central point.
  • C. subset of the real line
    A subset of the real line is any collection of real numbers, possibly finite or infinite, that inherits the usual order and topology from the real number system.
  • D. mathematical object chosen
    A mathematical object is an abstract entity, such as a number, function, set, or space, defined by precise properties and relations within a formal mathematical system.
  • E. dimensionless number
    A dimensionless number is a pure ratio of quantities that has no physical units, often used to characterize and compare physical phenomena independent of measurement systems.
  • F. None of above.

Provenance (1 batch)

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_69ca84e314108190978324a4bdb959f8 completed March 30, 2026, 2:12 p.m.
Created at: March 30, 2026, 8:33 p.m.