Triple

T6482556
Position Surface form Disambiguated ID Type / Status
Subject Gamma function E146428 entity
Predicate hasIntegralRepresentation P71171 FINISHED
Object Γ(z)=∫₀^∞ t^{z-1}e^{-t}dt for Re(z)>0 — 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: Γ(z)=∫₀^∞ t^{z-1}e^{-t}dt for Re(z)>0 | Statement: [Gamma function, hasIntegralRepresentation, Γ(z)=∫₀^∞ t^{z-1}e^{-t}dt for Re(z)>0]
PD Predicate disambiguation gpt-5-mini-2025-08-07 
Target predicate: hasIntegralRepresentation
Context triple: [Gamma function, hasIntegralRepresentation, Γ(z)=∫₀^∞ t^{z-1}e^{-t}dt for Re(z)>0]
  • A. isIntegralOver
    Indicates that one algebraic structure (typically a ring element or extension) satisfies a monic polynomial with coefficients in another ring, expressing that it is algebraically dependent on and “integral over” that base ring.
  • B. isIntegralFormOf
    Indicates that one entity is the integral (indefinite integral or antiderivative) form corresponding to another entity, typically a derivative or differential expression.
  • C. isInteger
    Indicates that a given value represents a whole number with no fractional or decimal component.
  • D. hasCanonicalRepresentation
    Indicates that one entity is the standard or authoritative form in which another entity is represented.
  • E. isIntegerUnitIn
    Indicates that one integer-valued unit is contained within, or belongs to, a specified larger unit or unit set.
  • F. None of above. chosen

Provenance (4 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_69c0090158c08190af0df9a2348d2d52 completed March 22, 2026, 3:21 p.m.
NER Named-entity recognition batch_69c06a6cd0c4819085a921e6a361d91c completed March 22, 2026, 10:17 p.m.
PD Predicate disambiguation batch_69c0673f6d48819080e10c85155c7195 completed March 22, 2026, 10:03 p.m.
PDg Predicate description generation batch_69c06822f73081908e6bb9edecbe77a6 completed March 22, 2026, 10:07 p.m.
Created at: March 22, 2026, 4:51 p.m.