Triple

T11507790
Position Surface form Disambiguated ID Type / Status
Subject Arthur Cayley E272830 entity
Predicate notableWork P4 FINISHED
Object Cayley–Hamilton theorem E621087 NE FINISHED

How this triple was built (2 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: [Arthur Cayley, notableWork, Cayley–Hamilton theorem]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Cayley–Hamilton theorem
Context triple: [Arthur Cayley, notableWork, Cayley–Hamilton theorem]
  • A. Cayley–Hamilton theorem chosen
    The Cayley–Hamilton theorem is a fundamental result in linear algebra stating that every square matrix satisfies its own characteristic polynomial.
  • B. Cauchy–Binet formula
    The Cauchy–Binet formula is a fundamental result in linear algebra that expresses the determinant of a product of two rectangular matrices as a sum of products of determinants of their square submatrices.
  • C. 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.
  • D. 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.
  • E. Jordan normal form theorem
    The Jordan normal form theorem is a fundamental result in linear algebra that states every square matrix over an algebraically closed field is similar to a block diagonal matrix composed of Jordan blocks, providing a canonical form for linear operators.
  • F. None of above.
  • G. Unsure - the case is ambiguous/there is not enough information to decide.

Provenance (3 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_69d6aae2c3748190bed2ea50dfb160dc completed April 8, 2026, 7:22 p.m.
NER Named-entity recognition batch_69d86db43a648190be859bec2fe9f43b completed April 10, 2026, 3:25 a.m.
NED1 Entity disambiguation (via context triple) batch_69e624f5c9608190bde28a59860b3c93 completed April 20, 2026, 1:07 p.m.
Created at: April 8, 2026, 9:36 p.m.