EntityQ1350285· pop 9· linked from 27 articlestrue quantified Boolean formulaSign in to saveproblem of deciding the satisfiability of a true quantified Boolean formulaConnectionsPSPACEEntitybig O notationEntityNP-completeEntitypolynomial hierarchyEntityfree and bound variablesEntityInternational Standard Book NumberEntitynatural numberEntitydigital object identifierEntityInternational Standard Serial NumberEntitygame theoryEntityTuring machineEntityQ118398Entitypropositional calculusEntityformal languageEntityquantifierEntitycomputational complexity theoryEntityQ22908627Entitytruth valueEntityuniversal quantificationEntitytime complexityEntityCategoriesBoolean algebraPSPACE-complete problemsSatisfiability problems