"Mauchly, John W." . "John William Mauchly" . "1980"^^ . "John William" . . _:B3ae80a5c4504b88917e1ce3c2cbe53f0 . . . . "1907"^^ . "Mauchly" . "Mauchly, John William (1907-1980)" . _:B3ae80a5c4504b88917e1ce3c2cbe53f0 . _:B3ae80a5c4504b88917e1ce3c2cbe53f0 . _:B3ae80a5c4504b88917e1ce3c2cbe53f0 "2023-05-22"^^ . _:B3ae80a5c4504b88917e1ce3c2cbe53f0 . _:B3ae80a5c4504b88917e1ce3c2cbe53f0 . _:B3ae80a5c4504b88917e1ce3c2cbe53f0 "071818502" . _:B3ae80a5c4504b88917e1ce3c2cbe53f0 . _:B3ae80a5c4504b88917e1ce3c2cbe53f0 . _:B3ae80a5c4504b88917e1ce3c2cbe53f0 .