Triple

T6832964
Position Surface form Disambiguated ID Type / Status
Subject linear algebra E157381 entity
Predicate hasKeyTheorem P72923 FINISHED
Object Cayley–Hamilton theorem
The Cayley–Hamilton theorem is a fundamental result in linear algebra stating that every square matrix satisfies its own characteristic polynomial.
E621087 NE FINISHED

How this triple was built (4 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: Cayley–Hamilton theorem | Statement: [linear algebra, hasKeyTheorem, Cayley–Hamilton theorem]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Cayley–Hamilton theorem
Context triple: [linear algebra, hasKeyTheorem, Cayley–Hamilton theorem]
  • A. Sylvester determinant
    The Sylvester determinant is a mathematical construct introduced by James Joseph Sylvester, typically referring to a determinant associated with resultants and elimination theory in algebra.
  • B. Sylvester’s law of inertia
    Sylvester’s law of inertia is a theorem in linear algebra stating that the numbers of positive, negative, and zero eigenvalues (the inertia) of a real symmetric matrix are invariant under change of basis.
  • C. Sylvester matrix
    The Sylvester matrix is a structured matrix constructed from the coefficients of two polynomials, commonly used to compute their resultant and study common roots in algebra.
  • D. Cauchy determinant
    The Cauchy determinant is a classical determinant formula in linear algebra that gives a closed-form expression for matrices with entries of the form 1/(x_i + y_j), named after the French mathematician Augustin-Louis Cauchy.
  • E. Euler’s theorem
    Euler’s theorem is a fundamental result in number theory stating that for any integer a coprime to n, a raised to the power of φ(n) is congruent to 1 modulo n.
  • F. None of above. chosen
  • G. Unsure - the case is ambiguous/there is not enough information to decide.
NEDg Description generation gpt-5.1
Instruction
Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"
Input
Entity: Cayley–Hamilton theorem
Triple: [linear algebra, hasKeyTheorem, Cayley–Hamilton theorem]
Generated description
The Cayley–Hamilton theorem is a fundamental result in linear algebra stating that every square matrix satisfies its own characteristic polynomial.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Cayley–Hamilton theorem
Target entity description: The Cayley–Hamilton theorem is a fundamental result in linear algebra stating that every square matrix satisfies its own characteristic polynomial.
  • A. Sylvester determinant
    The Sylvester determinant is a mathematical construct introduced by James Joseph Sylvester, typically referring to a determinant associated with resultants and elimination theory in algebra.
  • B. Sylvester’s law of inertia
    Sylvester’s law of inertia is a theorem in linear algebra stating that the numbers of positive, negative, and zero eigenvalues (the inertia) of a real symmetric matrix are invariant under change of basis.
  • C. Sylvester matrix
    The Sylvester matrix is a structured matrix constructed from the coefficients of two polynomials, commonly used to compute their resultant and study common roots in algebra.
  • D. Cauchy determinant
    The Cauchy determinant is a classical determinant formula in linear algebra that gives a closed-form expression for matrices with entries of the form 1/(x_i + y_j), named after the French mathematician Augustin-Louis Cauchy.
  • E. Euler’s theorem
    Euler’s theorem is a fundamental result in number theory stating that for any integer a coprime to n, a raised to the power of φ(n) is congruent to 1 modulo n.
  • F. None of above. chosen

Provenance (5 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_69c6882c53608190b99aebef079b23bd completed March 27, 2026, 1:37 p.m.
NER Named-entity recognition batch_69c6d7ca96008190ba79563c2a9a9b0e completed March 27, 2026, 7:17 p.m.
NED1 Entity disambiguation (via context triple) batch_69c723fd50c88190af005fd58ca0aee6 completed March 28, 2026, 12:42 a.m.
NEDg Description generation batch_69c7247806808190ac60c134cec612c8 completed March 28, 2026, 12:44 a.m.
NED2 Entity disambiguation (via description) batch_69c7253b94f081909e7cee870a12af6b completed March 28, 2026, 12:47 a.m.
Created at: March 27, 2026, 2:18 p.m.