hasBeattySequenceProperty
P165330
predicate
Indicates that the subject possesses the mathematical Beatty sequence property, meaning its associated sequence of integer parts of multiples satisfies the defining conditions of a Beatty sequence.
Sample triples (1)
| Subject | Object |
|---|---|
| Wythoff Nim | P-positions correspond to complementary Beatty sequences for φ and φ² ⓘ |