Squolem

swMATH9453MaRDI QIDQ21436FDOQ21436

Author name not available (Why is that?)

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

Cited In (3)

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

This page was built for software: Squolem