Neumann conjecture

GPTKB entity