Complex sentence: The theorem was proved independently by Boris Trakhtenbrot in 1964 and Allan Borodin in 1972.
Split into simpler sentences: The theorem was proved by Boris Trakhtenbrot in 1964. Eight years later Allan Borodin in 1972.