Author:Geoff Sutcliffe
Keyphrasesautomated theorem proving2, automated theorem proving process, connection calculus, Description Logics, difference, EPR, first-order logic, interpretation, logics2, model, proof, Quality, tableau calculus, theorem proving3, TPTP3, TPTP language, TPTP Process Instruction language, translation2, Vampire. |