Triple

T13153058
Position Surface form Disambiguated ID Type / Status
Subject Bill Tutte E312513 entity
Predicate notableWork P4 FINISHED
Object Tutte polynomial
The Tutte polynomial is a fundamental graph invariant in combinatorics that encodes extensive structural information about a graph, unifying and generalizing numerous other graph invariants such as the chromatic and flow polynomials.
E1025362 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: Tutte polynomial | Statement: [Bill Tutte, notableWork, Tutte polynomial]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Tutte polynomial
Context triple: [Bill Tutte, notableWork, Tutte polynomial]
  • A. Pólya enumeration theorem
    The Pólya enumeration theorem is a fundamental result in combinatorics that counts distinct configurations of objects under group actions by using cycle index polynomials and generating functions.
  • B. Alon–Tarsi conjecture
    The Alon–Tarsi conjecture is a prominent open problem in combinatorics and graph theory concerning orientations and colorings of graphs, with deep connections to Latin squares and polynomial method techniques.
  • C. Symanzik polynomials
    Symanzik polynomials are graph-based polynomials that arise in the parametric representation of Feynman integrals in quantum field theory, encoding the topology and kinematic dependence of Feynman diagrams.
  • D. matrix-tree theorem
    The matrix-tree theorem is a fundamental result in algebraic graph theory that expresses the number of spanning trees of a graph as a determinant of a matrix derived from the graph’s Laplacian.
  • E. Combinatorial Nullstellensatz
    Combinatorial Nullstellensatz is a powerful algebraic tool in combinatorics that uses polynomial methods over fields to derive results about combinatorial structures, such as existence and counting theorems.
  • 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: Tutte polynomial
Triple: [Bill Tutte, notableWork, Tutte polynomial]
Generated description
The Tutte polynomial is a fundamental graph invariant in combinatorics that encodes extensive structural information about a graph, unifying and generalizing numerous other graph invariants such as the chromatic and flow polynomials.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Tutte polynomial
Target entity description: The Tutte polynomial is a fundamental graph invariant in combinatorics that encodes extensive structural information about a graph, unifying and generalizing numerous other graph invariants such as the chromatic and flow polynomials.
  • A. Pólya enumeration theorem
    The Pólya enumeration theorem is a fundamental result in combinatorics that counts distinct configurations of objects under group actions by using cycle index polynomials and generating functions.
  • B. Alon–Tarsi conjecture
    The Alon–Tarsi conjecture is a prominent open problem in combinatorics and graph theory concerning orientations and colorings of graphs, with deep connections to Latin squares and polynomial method techniques.
  • C. Symanzik polynomials
    Symanzik polynomials are graph-based polynomials that arise in the parametric representation of Feynman integrals in quantum field theory, encoding the topology and kinematic dependence of Feynman diagrams.
  • D. matrix-tree theorem
    The matrix-tree theorem is a fundamental result in algebraic graph theory that expresses the number of spanning trees of a graph as a determinant of a matrix derived from the graph’s Laplacian.
  • E. Combinatorial Nullstellensatz
    Combinatorial Nullstellensatz is a powerful algebraic tool in combinatorics that uses polynomial methods over fields to derive results about combinatorial structures, such as existence and counting theorems.
  • 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_69d806aabde48190899e13e41659cae5 completed April 9, 2026, 8:06 p.m.
NER Named-entity recognition batch_69d98bd317e0819086e383f8e4583630 completed April 10, 2026, 11:46 p.m.
NED1 Entity disambiguation (via context triple) batch_69f6eaeca00c8190aa5645d1084c7d60 completed May 3, 2026, 6:27 a.m.
NEDg Description generation batch_69f6f17376c88190b08a4f2f5967b57c completed May 3, 2026, 6:55 a.m.
NED2 Entity disambiguation (via description) batch_69f6f1e5bc888190a0a82f45922de104 completed May 3, 2026, 6:57 a.m.
Created at: April 9, 2026, 9:11 p.m.