Matches in SemOpenAlex for { <https://semopenalex.org/work/W2494237651> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2494237651 endingPage "434" @default.
- W2494237651 startingPage "419" @default.
- W2494237651 abstract "Quantified Boolean formulas (QBFs) generalize propositional formulas by admitting quantifications over propositional variables. QBFs can be viewed as (restricted) formulas of first-order predicate logic and easy translations of QBFs into first-order formulas exist. We analyze different translations and show that first-order resolution combined with such translations can polynomially simulate well-known deduction concepts for QBFs. Furthermore, we extend QBF calculi by the possibility to instantiate a universal variable by an existential variable of smaller level. Combining such an enhanced calculus with the propositional extension rule results in a calculus with a universal quantifier rule which essentially introduces propositional formulas for universal variables. In this way, one can mimic a very general quantifier rule known from sequent systems." @default.
- W2494237651 created "2016-08-23" @default.
- W2494237651 creator A5065693180 @default.
- W2494237651 date "2016-01-01" @default.
- W2494237651 modified "2023-09-27" @default.
- W2494237651 title "On Stronger Calculi for QBFs" @default.
- W2494237651 cites W114846694 @default.
- W2494237651 cites W1525848078 @default.
- W2494237651 cites W1552843312 @default.
- W2494237651 cites W1851471023 @default.
- W2494237651 cites W1976876676 @default.
- W2494237651 cites W1999997889 @default.
- W2494237651 cites W2005573219 @default.
- W2494237651 cites W2055138800 @default.
- W2494237651 cites W2069767473 @default.
- W2494237651 cites W2070447189 @default.
- W2494237651 cites W2090172107 @default.
- W2494237651 cites W2122908864 @default.
- W2494237651 cites W2161955489 @default.
- W2494237651 cites W2285200894 @default.
- W2494237651 cites W2494237651 @default.
- W2494237651 cites W25993968 @default.
- W2494237651 cites W4248733413 @default.
- W2494237651 doi "https://doi.org/10.1007/978-3-319-40970-2_26" @default.
- W2494237651 hasPublicationYear "2016" @default.
- W2494237651 type Work @default.
- W2494237651 sameAs 2494237651 @default.
- W2494237651 citedByCount "10" @default.
- W2494237651 countsByYear W24942376512016 @default.
- W2494237651 countsByYear W24942376512017 @default.
- W2494237651 countsByYear W24942376512018 @default.
- W2494237651 countsByYear W24942376512019 @default.
- W2494237651 countsByYear W24942376512020 @default.
- W2494237651 crossrefType "book-chapter" @default.
- W2494237651 hasAuthorship W2494237651A5065693180 @default.
- W2494237651 hasConcept C33923547 @default.
- W2494237651 hasConcept C41008148 @default.
- W2494237651 hasConceptScore W2494237651C33923547 @default.
- W2494237651 hasConceptScore W2494237651C41008148 @default.
- W2494237651 hasLocation W24942376511 @default.
- W2494237651 hasOpenAccess W2494237651 @default.
- W2494237651 hasPrimaryLocation W24942376511 @default.
- W2494237651 hasRelatedWork W1974891317 @default.
- W2494237651 hasRelatedWork W2007596026 @default.
- W2494237651 hasRelatedWork W2044189972 @default.
- W2494237651 hasRelatedWork W2069964982 @default.
- W2494237651 hasRelatedWork W2313400459 @default.
- W2494237651 hasRelatedWork W2748952813 @default.
- W2494237651 hasRelatedWork W2899084033 @default.
- W2494237651 hasRelatedWork W2965437270 @default.
- W2494237651 hasRelatedWork W4225152035 @default.
- W2494237651 hasRelatedWork W4245490552 @default.
- W2494237651 isParatext "false" @default.
- W2494237651 isRetracted "false" @default.
- W2494237651 magId "2494237651" @default.
- W2494237651 workType "book-chapter" @default.