Witten conjecture

GPTKB entity