orderPowerOf2

P160986 predicate

Indicates that one quantity is an exact power of two times another, expressing a relationship where their ratio is a power of 2.

Sample triples (1)

Subject Object
Janko group J4 2^21