Prover9 is an automated theorem prover for First-order and equational logic developed by William McCune.
William McCune proved the conjecture in 1996, using the automated theorem prover EQP.
William Shakespeare | William Laud | William Blake | William | William III of England | William Morris | William McKinley | William Howard Taft | William Ewart Gladstone | William the Conqueror | William S. Burroughs | William Shatner | William Faulkner | William Randolph Hearst | William Wordsworth | William Tecumseh Sherman | William Hogarth | Prince William, Duke of Cambridge | William Penn | William Jennings Bryan | William Gibson | William Wilberforce | William James | William Makepeace Thackeray | Fort William | William Hanna | William Hague | William III | William Hurt | William Walton |