DBpedia 2016-04

Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/True_quantified_Boolean_formula> ?p ?o }

Showing triples 1 to 73 of 73 with 100 triples per page.

True_quantified_Boolean_formula abstract "In computational complexity theory, the language TQBF is a formal language consisting of the true quantified Boolean formulas. A (fully) quantified Boolean formula is a formula in quantified propositional logic where every variable is quantified (or bound), using either existential or universal quantifiers, at the beginning of the sentence. Such a formula is equivalent to either true or false (since there are no free variables). If such a formula evaluates to true, then that formula is in the language TQBF. It is also known as QSAT (Quantified SAT).".
True_quantified_Boolean_formula wikiPageExternalLink qbf15.
True_quantified_Boolean_formula wikiPageExternalLink depqbf.
True_quantified_Boolean_formula wikiPageExternalLink column80.pdf.
True_quantified_Boolean_formula wikiPageExternalLink thesis_lintao_zhang.pdf.
True_quantified_Boolean_formula wikiPageExternalLink aroracom.ps.
True_quantified_Boolean_formula wikiPageExternalLink www.qbflib.org.
True_quantified_Boolean_formula wikiPageID "20768715".
True_quantified_Boolean_formula wikiPageLength "17759".
True_quantified_Boolean_formula wikiPageOutDegree "51".
True_quantified_Boolean_formula wikiPageRevisionID "673235722".
True_quantified_Boolean_formula wikiPageWikiLink 2-satisfiability.
True_quantified_Boolean_formula wikiPageWikiLink Abstract_syntax_tree.
True_quantified_Boolean_formula wikiPageWikiLink Alternating_Turing_machine.
True_quantified_Boolean_formula wikiPageWikiLink Arthur–Merlin_protocol.
True_quantified_Boolean_formula wikiPageWikiLink Big_O_notation.
True_quantified_Boolean_formula wikiPageWikiLink Boolean_satisfiability_problem.
True_quantified_Boolean_formula wikiPageWikiLink Category:Boolean_algebra.
True_quantified_Boolean_formula wikiPageWikiLink Category:PSPACE-complete_problems.
True_quantified_Boolean_formula wikiPageWikiLink Category:Satisfiability_problems.
True_quantified_Boolean_formula wikiPageWikiLink Complete_(complexity).
True_quantified_Boolean_formula wikiPageWikiLink Complexity_class.
True_quantified_Boolean_formula wikiPageWikiLink Computational_complexity_theory.
True_quantified_Boolean_formula wikiPageWikiLink Conjunctive_normal_form.
True_quantified_Boolean_formula wikiPageWikiLink Cook–Levin_theorem.
True_quantified_Boolean_formula wikiPageWikiLink Existential_quantification.
True_quantified_Boolean_formula wikiPageWikiLink Formal_language.
True_quantified_Boolean_formula wikiPageWikiLink Formula_game.
True_quantified_Boolean_formula wikiPageWikiLink Free_variables_and_bound_variables.
True_quantified_Boolean_formula wikiPageWikiLink Generalized_geography.
True_quantified_Boolean_formula wikiPageWikiLink IP_(complexity).
True_quantified_Boolean_formula wikiPageWikiLink Implication_graph.
True_quantified_Boolean_formula wikiPageWikiLink Interactive_proof_system.
True_quantified_Boolean_formula wikiPageWikiLink NP-completeness.
True_quantified_Boolean_formula wikiPageWikiLink Non-deterministic_Turing_machine.
True_quantified_Boolean_formula wikiPageWikiLink PH_(complexity).
True_quantified_Boolean_formula wikiPageWikiLink PSPACE.
True_quantified_Boolean_formula wikiPageWikiLink PSPACE-complete.
True_quantified_Boolean_formula wikiPageWikiLink Polynomial-time_reduction.
True_quantified_Boolean_formula wikiPageWikiLink Polynomial_hierarchy.
True_quantified_Boolean_formula wikiPageWikiLink Prenex_normal_form.
True_quantified_Boolean_formula wikiPageWikiLink Probabilistic_Turing_machine.
True_quantified_Boolean_formula wikiPageWikiLink Propositional_calculus.
True_quantified_Boolean_formula wikiPageWikiLink Quantifier_(logic).
True_quantified_Boolean_formula wikiPageWikiLink Strongly_connected_component.
True_quantified_Boolean_formula wikiPageWikiLink Time_complexity.
True_quantified_Boolean_formula wikiPageWikiLink Truth_value.
True_quantified_Boolean_formula wikiPageWikiLink Turing_machine.
True_quantified_Boolean_formula wikiPageWikiLink Universal_quantification.
True_quantified_Boolean_formula wikiPageWikiLinkText "True quantified Boolean formula".
True_quantified_Boolean_formula wikiPageWikiLinkText "fully quantified Boolean formula".
True_quantified_Boolean_formula wikiPageWikiLinkText "fully quantified Boolean formulae".
True_quantified_Boolean_formula wikiPageWikiLinkText "quantified Boolean formula".
True_quantified_Boolean_formula subject Category:Boolean_algebra.
True_quantified_Boolean_formula subject Category:PSPACE-complete_problems.
True_quantified_Boolean_formula subject Category:Satisfiability_problems.
True_quantified_Boolean_formula hypernym Language.
True_quantified_Boolean_formula type Language.
True_quantified_Boolean_formula type Method.
True_quantified_Boolean_formula type Redirect.
True_quantified_Boolean_formula comment "In computational complexity theory, the language TQBF is a formal language consisting of the true quantified Boolean formulas. A (fully) quantified Boolean formula is a formula in quantified propositional logic where every variable is quantified (or bound), using either existential or universal quantifiers, at the beginning of the sentence. Such a formula is equivalent to either true or false (since there are no free variables).".
True_quantified_Boolean_formula label "True quantified Boolean formula".
True_quantified_Boolean_formula sameAs Q1350285.
True_quantified_Boolean_formula sameAs Erfüllbarkeitsproblem_für_quantifizierte_boolesche_Formeln.
True_quantified_Boolean_formula sameAs Fórmula_booleana_cuantificada_verdadera.
True_quantified_Boolean_formula sameAs Formule_booléenne_quantifiée.
True_quantified_Boolean_formula sameAs TQBF問題.
True_quantified_Boolean_formula sameAs Fórmula_booliana_completamente_quantificada.
True_quantified_Boolean_formula sameAs m.088ksf.
True_quantified_Boolean_formula sameAs TQBF_Problemi.
True_quantified_Boolean_formula sameAs Q1350285.
True_quantified_Boolean_formula wasDerivedFrom True_quantified_Boolean_formula?oldid=673235722.
True_quantified_Boolean_formula isPrimaryTopicOf True_quantified_Boolean_formula.