. . _:KCQiuBWN788. _:KCQiuBWN787. _:KCQiuBWN789. . . "Source: Freebase - The World's database". "1987-04-15". . . . "Alex Smith"@en. . _:KCQiuBWN788 "Alex_Smith_$0028The_Simplest_Universal_Computer_Proof_contest_winner$0029". _:KCQiuBWN788 . _:KCQiuBWN787 "13923003". _:KCQiuBWN787 . _:KCQiuBWN789 "Alex_Smith_$0028mathematician$0029". _:KCQiuBWN789 .