Triple
T26255127
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Farey sequence |
E656694
|
entity |
| Predicate | orderingType |
P164829
|
FINISHED |
| Object | total order on rationals in [0,1] with bounded denominator |
—
|
LITERAL FINISHED |
Provenance (4 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69ee5b4d25ac819086acb51184602576 |
elicitation | completed |
| NER | batch_69f650fc44e48190bc0e0a935eac62a6 |
ner | completed |
| PD | batch_69f64cab1f648190a2a9460690d18a37 |
pd | completed |
| PDg | batch_69f650c466b881908954e43bfebae8a4 |
pdg | completed |
Created at: April 26, 2026, 9:08 p.m.