termFormula

URI: https://gptkb.org/prop/termFormula
1 triples
GPTKB property
Random triples
Subject Object
gptkb:Rudin–Shapiro_sequence a(n) = number of (possibly overlapping) occurrences of '11' in binary expansion of n, modulo 2