Triple
T25930035
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Wythoff Nim |
E653413
|
entity |
| Predicate | hasPPositionDefinition |
P159571
|
FINISHED |
| Object | P-positions are pairs (a_k, b_k) with b_k − a_k = k and a_k = ⌊kφ⌋ |
—
|
LITERAL FINISHED |
Provenance (3 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69e7ab3eb9b881909c1390690551f868 |
elicitation | completed |
| NER | batch_69f60418322081908411c24d1dc820de |
ner | completed |
| PD | batch_69f5afec3e94819080d9ba86cf8c866e |
pd | completed |
Created at: April 22, 2026, 8:36 a.m.