The language TQBF is a formal language in computer science that contains True Quantified Boolean Formulas. A fully quantified boolean formula is a formula in first-order logic where every variable is quantified, using either existential or universal quantifiers, at the beginning of the sentence. Any such formula is always 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.

PropertyValue
dbpprop:abstract
  • The language TQBF is a formal language in computer science that contains True Quantified Boolean Formulas. A fully quantified boolean formula is a formula in first-order logic where every variable is quantified, using either existential or universal quantifiers, at the beginning of the sentence. Any such formula is always 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).
  • In der Komplexitätstheorie ist das Erfüllbarkeitsproblem für quantifizierte boolesche Formeln (oft nur kurz QBF oder QSAT) eine Verallgemeinerung des Erfüllbarkeitsproblems der Aussagenlogik. Es untersucht, ob eine mit Quantoren versehene aussagenlogische Formel erfüllbar oder wahr ist. Es ist das kanonische PSPACE-vollständige Problem.
  • El lenguaje TQBF es un lenguaje formal de la ciencia computacional que contiene Fórmulas Booleanas Verdaderas Totalmente Cuantificadas. Una fórmula booleana plenamente cuantificada es una fórmula en lógica de primer orden donde toda variable es cuantificada (o atada), utilizando o el cuantificador existencial o el universal al principio de cada sentencia. Cualquier fórmula de este tipo es siempre verdadera o falsa (ya que no hay variables independientes). Si tal fórmula se evalúa como verdadera, entonces la fórmula está en el lenguaje TQBF. También es conocido como QSAT (SAT Cuantificado)
dbpprop:hasPhotoCollection
dbpprop:reference
rdf:type
rdfs:comment
  • The language TQBF is a formal language in computer science that contains True Quantified Boolean Formulas. A fully quantified boolean formula is a formula in first-order logic where every variable is quantified, using either existential or universal quantifiers, at the beginning of the sentence. Any such formula is always 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.
  • In der Komplexitätstheorie ist das Erfüllbarkeitsproblem für quantifizierte boolesche Formeln (oft nur kurz QBF oder QSAT) eine Verallgemeinerung des Erfüllbarkeitsproblems der Aussagenlogik. Es untersucht, ob eine mit Quantoren versehene aussagenlogische Formel erfüllbar oder wahr ist. Es ist das kanonische PSPACE-vollständige Problem.
  • El lenguaje TQBF es un lenguaje formal de la ciencia computacional que contiene Fórmulas Booleanas Verdaderas Totalmente Cuantificadas. Una fórmula booleana plenamente cuantificada es una fórmula en lógica de primer orden donde toda variable es cuantificada (o atada), utilizando o el cuantificador existencial o el universal al principio de cada sentencia. Cualquier fórmula de este tipo es siempre verdadera o falsa (ya que no hay variables independientes).
rdfs:label
  • True quantified Boolean formula
  • Erfüllbarkeitsproblem für quantifizierte boolesche Formeln
  • Problema de la fórmula booleana cuantificada
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of
is owl:sameAs of