Churchman–Acs conjecture

GPTKB entity