Geoff Sutcliffe

E2193870 UNEXPLORED

Geoff Sutcliffe is a computer scientist best known for his work on automated theorem proving and for developing and curating the TPTP (Thousands of Problems for Theorem Provers) problem library.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Geoff Sutcliffe canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

TPTP → maintainedBy → Geoff Sutcliffe ⓘ