MRDP theorem

GPTKB entity