Back to Results
First PageMeta Content
Logic / Mathematical logic / Mathematics / Boolean algebra / Complexity classes / Metalogic / Model theory / True quantified Boolean formula / Satisfiability / FO / PSPACE-complete / Well-formed formula


Introduction Background, Theory Validating Squolem’s Certificates in HOL4 Evaluation Conclusions
Add to Reading List

Document Date: 2010-06-02 16:25:19


Open Document

File Size: 1,04 MB

Share Result on Facebook
UPDATE