Geoff Sutcliffe (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Geoff Sutcliffe" in English language version.

refsWebsite

Global rank English rank

low place

low place

2web.archive.org

1^st place

1^st place

4,511^th place

2,800^th place

2^nd place

2^nd place

low place

low place

doi.org

Adam, Pease; Geoff, Sutcliffe; Nick, Siegel; Steven, Trac (2010). "Large theory reasoning with SUMO at CASC". AI Communications. 2–3 (2–3): 137–144. doi:10.3233/AIC-2010-0466.

eprover.org

"Empirically Successful Topics in Automated Deduction workshop series". Archived from the original on February 6, 2010. Retrieved December 10, 2009.

miami.edu

cs.miami.edu

"Curriculum Vitae, Geoff Sutcliffe". Department of Computer Science, University of Miami. 2021. Retrieved February 10, 2021.

tptp.org

tptp.org

Sutcliffe, Geoff (2007). "The Modal Logic $100 Challenge". The TPTP Problem Library for Automated Theorem Proving. Archived from the original on March 4, 2007. Retrieved April 2, 2021.
Urban, Josef; Sutcliffe, Geoff (July 16, 2007). "The MPTP $100 Challenges". The TPTP Problem Library for Automated Theorem Proving. Retrieved April 2, 2021.

worldtour.tptp.org

"TPTP World Tour". Thousands of Problems for Theorem Provers. 2025. Retrieved March 1, 2025.

web.archive.org

Sutcliffe, Geoff (2007). "The Modal Logic $100 Challenge". The TPTP Problem Library for Automated Theorem Proving. Archived from the original on March 4, 2007. Retrieved April 2, 2021.
"Empirically Successful Topics in Automated Deduction workshop series". Archived from the original on February 6, 2010. Retrieved December 10, 2009.