Böhm–Jacopini theorem

GPTKB entity