k-SAT for k > 3

GPTKB entity