Author:Geoff Sutcliffe
Keyphrasesautomated theorem proving^{2}, automated theorem proving process, Bard, connection calculus, Description Logics, difference, EPR, first-order logic, interpretation, interpretations, logic, logics^{2}, model, proof, Quality, tableau calculus, theorem proving^{3}, TPTP^{5}, TPTP language, TPTP Process Instruction language, translation^{2}, Vampire, verification. |