Wang's conjecture

GPTKB entity