Specker sequence (Q2308311)
Language:
Current Data About Specker sequence
(P31) (Q24034552)

(P2534) q_n = \sum_{i = 0}^n 2^{-a_i - 1}
(P143)

(P6104) (Q8487137)

other details