_:Bb716283e5c231d3e170d7f3eeea0c6a5 . "Alonzo" . "Church, Alonzo (1903-1995)" . . "1995"^^ . . . "Church" . "Alonzo Church" . . "1903"^^ . _:Bb716283e5c231d3e170d7f3eeea0c6a5 . _:Bb716283e5c231d3e170d7f3eeea0c6a5 . _:Bb716283e5c231d3e170d7f3eeea0c6a5 "2023-05-19"^^ . _:Bb716283e5c231d3e170d7f3eeea0c6a5 . _:Bb716283e5c231d3e170d7f3eeea0c6a5 . _:Bb716283e5c231d3e170d7f3eeea0c6a5 "067508219" . _:Bb716283e5c231d3e170d7f3eeea0c6a5 . _:Bb716283e5c231d3e170d7f3eeea0c6a5 . _:Bb716283e5c231d3e170d7f3eeea0c6a5 .