Triple

T36469075
Position Surface form Disambiguated ID Type / Status
Subject Koebe function E898494 entity
Predicate instanceOf P0 FINISHED
Object extremal function C24991 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: extremal function
Context triple: [Koebe function, instanceOf, extremal function]
  • A. result in extremal graph theory
    A result in extremal graph theory is a theorem that determines or bounds the maximum or minimum size of a graph (typically in terms of edges) that avoids containing a specified subgraph or satisfies certain forbidden configurations.
  • B. result in extremal combinatorics
    A result in extremal combinatorics is a theorem that determines or bounds the maximum or minimum size of a discrete structure satisfying specified combinatorial constraints.
  • C. extreme point
    An extreme point of a convex set is a point in the set that cannot be expressed as a nontrivial convex combination of other distinct points from the set.
  • D. analytic functional
    An analytic functional is a continuous linear functional defined on a space of analytic functions, often represented via integration against a complex measure or distribution.
  • E. analytic function chosen
    An analytic function is a complex-valued function that is locally given by a convergent power series, meaning it is differentiable at every point in its domain and in a neighborhood around each point.
  • 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_69f76e58ebd88190b75d9b169b59d793 completed May 3, 2026, 3:48 p.m.
Created at: May 3, 2026, 4:10 p.m.