Vampire17: Keyword Index

Keyword	Papers
a
acyclicity	An Inference Rule for the Acyclicity Property of Term Algebras
automated theorem proving	An Inference Rule for the Acyclicity Property of Term Algebras Using Vampire with Support for Algebraic Datatypes in Type Soundness Proofs
Avatar	Local proofs and AVATAR
i
inference rule	An Inference Rule for the Acyclicity Property of Term Algebras
Interpolants	Local proofs and AVATAR
l
local proofs	Local proofs and AVATAR
q
Question Answering	Revisiting Question Answering in Vampire
s
SMT solving	Incremental Solving with Vampire
soundness proofs of type systems	Using Vampire with Support for Algebraic Datatypes in Type Soundness Proofs
superposition	An Inference Rule for the Acyclicity Property of Term Algebras
t
term algebra	An Inference Rule for the Acyclicity Property of Term Algebras
theorem proving	Incremental Solving with Vampire Revisiting Question Answering in Vampire
v
Vampire	Using Vampire with Support for Algebraic Datatypes in Type Soundness Proofs Incremental Solving with Vampire Revisiting Question Answering in Vampire