Triple

T21145394
Position Surface form Disambiguated ID Type / Status
Subject Lempert function on convex domains E521040 entity
Predicate instanceOf P0 FINISHED
Object distance-like function C18222 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: distance-like function
Context triple: [Lempert function on convex domains, instanceOf, distance-like function]
  • A. distance function
    A distance function is a rule that assigns a non-negative real number to quantify how far apart two elements are in a given space, typically satisfying properties like non-negativity, identity, symmetry, and the triangle inequality.
  • B. pseudometric chosen
    A pseudometric is a function that assigns a nonnegative real number as a "distance" between any two points in a set, satisfying all the axioms of a metric except that distinct points are allowed to have zero distance.
  • C. statistical distance
    Statistical distance is a numerical measure of how different two probability distributions are, often used to quantify distinguishability or divergence between random variables or datasets.
  • D. city block
    A city block is a contiguous group of buildings and lots bounded on all sides by streets within an urban grid.
  • E. Euclidean correlation function
    A Euclidean correlation function is a Green’s function defined in Euclidean (imaginary-time) spacetime that encodes the correlations between field operators at different points and is related to physical, real-time correlation functions by analytic continuation.
  • 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_69e0b50c6a848190a4e525a77a319b8a completed April 16, 2026, 10:08 a.m.
Created at: April 16, 2026, 2:58 p.m.