Triple
T21055992
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | John Farey Sr. |
E518712
|
entity |
| Predicate | notableWork |
P4
|
FINISHED |
| Object | Farey sequence |
—
|
NE NERFINISHED |
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: Farey sequence | Statement: [John Farey Sr., notableWork, Farey sequence]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Farey sequence Context triple: [John Farey Sr., notableWork, Farey sequence]
-
A.
Farey sequence
chosen
The Farey sequence is an ordered list of completely reduced fractions between 0 and 1 with denominators up to a given integer, widely studied in number theory for its connections to fractions, mediants, and modular forms.
-
B.
Farey tessellation
The Farey tessellation is a geometric partition of the hyperbolic plane into ideal triangles whose vertices correspond to rational numbers, closely linked to number theory and modular group actions.
-
C.
Stern–Brocot tree
The Stern–Brocot tree is an infinite binary tree that systematically lists all positive rational numbers in lowest terms exactly once, ordered by increasing value.
-
D.
Sylvester sequence
The Sylvester sequence is an integer sequence defined recursively where each term is one more than the product of all previous terms, yielding rapidly growing, pairwise coprime numbers closely related to Egyptian fraction representations.
-
E.
Continued Fractions
Continued Fractions is a classic mathematical monograph by Aleksandr Khinchin that systematically develops the theory and applications of continued fraction expansions in number theory and analysis.
- F. None of above.
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Provenance (2 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_69e0b5053ac48190921529544959e906 |
completed | April 16, 2026, 10:08 a.m. |
| NER | Named-entity recognition | batch_69e6fd7fc5c48190bdc4d75ab6a529a3 |
completed | April 21, 2026, 4:30 a.m. |
Created at: April 16, 2026, 2:37 p.m.