Triple

T25602779
Position Surface form Disambiguated ID Type / Status
Subject Slepian–Wolf coding theorem E641830 entity
Predicate instanceOf P0 FINISHED
Object information theory theorem C41080 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: information theory theorem
Context triple: [Slepian–Wolf coding theorem, instanceOf, information theory theorem]
  • A. set of axioms in information theory
    A set of axioms in information theory is a foundational collection of formal assumptions that precisely define and constrain measures of information, uncertainty, and related concepts so that theorems and results can be derived consistently.
  • B. set of axioms in information theory
    A set of axioms in information theory is a foundational collection of formal principles that precisely define and constrain measures of information, uncertainty, and related concepts so that consistent theorems and results can be derived.
  • C. inequality in information theory chosen
    An inequality in information theory is a mathematical relation that bounds or compares information-theoretic quantities—such as entropy, mutual information, or divergence—to reveal fundamental limits on data compression, communication, and inference.
  • D. entropy measure
    An entropy measure is a quantitative metric that captures the amount of uncertainty, randomness, or information content in a system, distribution, or process.
  • E. pioneer of algorithmic information theory
    A pioneer of algorithmic information theory is a foundational thinker who developed the core concepts and formal frameworks for measuring information, complexity, and randomness using algorithms and computation.
  • 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_69e75dc6ccf081908d49578fd36a76d5 completed April 21, 2026, 11:21 a.m.
Created at: April 21, 2026, 4:36 p.m.