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-01 10:39:41


Open Document

File Size: 1.000,36 KB

Share Result on Facebook
UPDATE