Disambiguation evidence for Böhm–Jacopini theorem via surface form
"structured program theorem"
Triples (1)
Triples where some other subject referred to this entity
as "structured program theorem".
Böhm–Jacopini theorem
→
alsoKnownAs
→
"structured program theorem"
ⓘ
↳ resolves to Böhm–Jacopini theorem