Squolem

MaRDI QIDQ21436swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-642-14052-5_32

Cited in

(3)

• Validating QBF Validity in HOL4
• Proving Valid Quantified Boolean Formulas in HOL Light
• Validating QBF invalidity in HOL4

This page was built for software: Squolem