Triple

T25457170
Position Surface form Disambiguated ID Type / Status
Subject Birkhoff–von Neumann theorem E637943 entity
Predicate instanceOf P0 FINISHED
Object theorem in matrix theory C26953 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: theorem in matrix theory
Context triple: [Birkhoff–von Neumann theorem, instanceOf, theorem in matrix theory]
  • A. mathematical theorem
    A mathematical theorem is a rigorously proven statement derived from axioms and previously established results, expressing a fundamental truth within a formal mathematical system.
  • B. result in linear algebra chosen
    In linear algebra, a result is a proven statement or conclusion—such as a theorem, lemma, or corollary—that follows logically from definitions and previously established facts about vectors, matrices, and linear transformations.
  • C. theorem in theoretical physics
    A theorem in theoretical physics is a rigorously proven statement, derived from fundamental physical principles and mathematical formalism, that holds universally within the specified theoretical framework.
  • D. random matrix ensemble
    A random matrix ensemble is a collection of matrices whose entries are random variables specified by a probability distribution, studied to understand the statistical properties of their eigenvalues and eigenvectors.
  • E. parameter in random matrix theory
    A parameter in random matrix theory is a variable (such as matrix size, symmetry class index, or coupling constant) that controls the statistical properties and limiting behavior of ensembles of random matrices.
  • 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_69e75db8bab08190baca80b4a8c315fd completed April 21, 2026, 11:21 a.m.
Created at: April 21, 2026, 2:10 p.m.