Triple
T7338155
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Alexander–Briggs notation |
E169181
|
entity |
| Predicate | distinctFrom |
P1612
|
FINISHED |
| Object | Dowker–Thistlethwaite notation |
E169182
|
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: Dowker–Thistlethwaite notation | Statement: [Alexander–Briggs notation, distinctFrom, Dowker–Thistlethwaite notation]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Dowker–Thistlethwaite notation Context triple: [Alexander–Briggs notation, distinctFrom, Dowker–Thistlethwaite notation]
-
A.
Dowker–Thistlethwaite notation
chosen
Dowker–Thistlethwaite notation is a numerical encoding system used in knot theory to uniquely represent knot diagrams and facilitate their classification and study.
-
B.
Conway notation for knots
Conway notation for knots is a mathematical system introduced by John H. Conway that encodes knot and link diagrams into concise symbolic expressions to classify and study them.
-
C.
Alexander–Briggs notation
Alexander–Briggs notation is a classical system for naming and classifying knots in knot theory, assigning each distinct knot a unique label based on its crossing number and order in knot tables.
-
D.
Conway skein triple (L₊, L₋, L₀)
The Conway skein triple (L₊, L₋, L₀) is a standard configuration of three related link diagrams used in knot theory to express how a link invariant, such as the Conway polynomial, changes under local crossing modifications.
-
E.
HOMFLY-PT polynomial
The HOMFLY-PT polynomial is a powerful knot and link invariant in knot theory that generalizes both the Alexander and Jones polynomials.
- 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_69c68a57710481909f0c1f3c6ebdb6f2 |
completed | March 27, 2026, 1:47 p.m. |
| NER | Named-entity recognition | batch_69c6f0d599c88190875514eae7084f8d |
completed | March 27, 2026, 9:04 p.m. |
| NED1 | Entity disambiguation (via context triple) | batch_69c7ef266fd0819096cf3ece3fff6b90 |
completed | March 28, 2026, 3:09 p.m. |
Created at: March 27, 2026, 3:04 p.m.