Validating QBF Validity in HOL4.

Ramana Kumar Tjark Weber

Published in: ITP (2011)

Keyphrases

quantified boolean formulas
formal methods
higher order logic
artificial intelligence
theorem prover
natural deduction
data sets
databases
real world
theorem proving
quantified boolean formulae