FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2102022086> ?p ?o ?g. }

• W2102022086 endingPage "100" @default.
• W2102022086 startingPage "86" @default.
• W2102022086 abstract "Henkin quantifiers, when applied on Boolean formulae, yielding the so-called dependency quantified Boolean formulae (DQBFs), offer succinct descriptive power specifying variable dependencies. Despite their natural applications to games with incomplete information, logic synthesis with constrained input dependencies, etc., DQBFs remain a relatively unexplored subject however. This paper investigates their basic properties, including formula negation and complement, formula expansion, prenex and non-prenex form conversions, and resolution. In particular, the proposed DQBF formulation is established from a synthesis perspective concerned with Skolem-function models and Herbrand-function countermodels. Also a generalized resolution rule is shown to be sound, but incomplete, for DQBF evaluation." @default.
• W2102022086 created "2016-06-24" @default.
• W2102022086 creator A5059759206 @default.
• W2102022086 creator A5078604015 @default.
• W2102022086 creator A5080372307 @default.
• W2102022086 date "2014-02-01" @default.
• W2102022086 modified "2023-10-15" @default.
• W2102022086 title "Henkin quantifiers and Boolean formulae: A certification perspective of DQBF" @default.
• W2102022086 cites W1862403209 @default.
• W2102022086 cites W1973302434 @default.
• W2102022086 cites W1976876676 @default.
• W2102022086 cites W1988735961 @default.
• W2102022086 cites W2065251436 @default.
• W2102022086 cites W2070447189 @default.
• W2102022086 cites W2149441048 @default.
• W2102022086 cites W2168555998 @default.
• W2102022086 doi "https://doi.org/10.1016/j.tcs.2013.12.020" @default.
• W2102022086 hasPublicationYear "2014" @default.
• W2102022086 type Work @default.
• W2102022086 sameAs 2102022086 @default.
• W2102022086 citedByCount "31" @default.
• W2102022086 countsByYear W21020220862015 @default.
• W2102022086 countsByYear W21020220862016 @default.
• W2102022086 countsByYear W21020220862017 @default.
• W2102022086 countsByYear W21020220862018 @default.
• W2102022086 countsByYear W21020220862019 @default.
• W2102022086 countsByYear W21020220862020 @default.
• W2102022086 countsByYear W21020220862021 @default.
• W2102022086 countsByYear W21020220862022 @default.
• W2102022086 countsByYear W21020220862023 @default.
• W2102022086 crossrefType "journal-article" @default.
• W2102022086 hasAuthorship W2102022086A5059759206 @default.
• W2102022086 hasAuthorship W2102022086A5078604015 @default.
• W2102022086 hasAuthorship W2102022086A5080372307 @default.
• W2102022086 hasBestOaLocation W21020220861 @default.
• W2102022086 hasConcept C104317684 @default.
• W2102022086 hasConcept C112313634 @default.
• W2102022086 hasConcept C11413529 @default.
• W2102022086 hasConcept C118615104 @default.
• W2102022086 hasConcept C12713177 @default.
• W2102022086 hasConcept C127716648 @default.
• W2102022086 hasConcept C136119220 @default.
• W2102022086 hasConcept C138268822 @default.
• W2102022086 hasConcept C14036430 @default.
• W2102022086 hasConcept C154945302 @default.
• W2102022086 hasConcept C158465420 @default.
• W2102022086 hasConcept C169171071 @default.
• W2102022086 hasConcept C185592680 @default.
• W2102022086 hasConcept C187455244 @default.
• W2102022086 hasConcept C188082640 @default.
• W2102022086 hasConcept C199360897 @default.
• W2102022086 hasConcept C202444582 @default.
• W2102022086 hasConcept C204241405 @default.
• W2102022086 hasConcept C207764348 @default.
• W2102022086 hasConcept C2185349 @default.
• W2102022086 hasConcept C33923547 @default.
• W2102022086 hasConcept C41008148 @default.
• W2102022086 hasConcept C55493867 @default.
• W2102022086 hasConcept C6943359 @default.
• W2102022086 hasConcept C78458016 @default.
• W2102022086 hasConcept C80444323 @default.
• W2102022086 hasConcept C86803240 @default.
• W2102022086 hasConcept C9429942 @default.
• W2102022086 hasConceptScore W2102022086C104317684 @default.
• W2102022086 hasConceptScore W2102022086C112313634 @default.
• W2102022086 hasConceptScore W2102022086C11413529 @default.
• W2102022086 hasConceptScore W2102022086C118615104 @default.
• W2102022086 hasConceptScore W2102022086C12713177 @default.
• W2102022086 hasConceptScore W2102022086C127716648 @default.
• W2102022086 hasConceptScore W2102022086C136119220 @default.
• W2102022086 hasConceptScore W2102022086C138268822 @default.
• W2102022086 hasConceptScore W2102022086C14036430 @default.
• W2102022086 hasConceptScore W2102022086C154945302 @default.
• W2102022086 hasConceptScore W2102022086C158465420 @default.
• W2102022086 hasConceptScore W2102022086C169171071 @default.
• W2102022086 hasConceptScore W2102022086C185592680 @default.
• W2102022086 hasConceptScore W2102022086C187455244 @default.
• W2102022086 hasConceptScore W2102022086C188082640 @default.
• W2102022086 hasConceptScore W2102022086C199360897 @default.
• W2102022086 hasConceptScore W2102022086C202444582 @default.
• W2102022086 hasConceptScore W2102022086C204241405 @default.
• W2102022086 hasConceptScore W2102022086C207764348 @default.
• W2102022086 hasConceptScore W2102022086C2185349 @default.
• W2102022086 hasConceptScore W2102022086C33923547 @default.
• W2102022086 hasConceptScore W2102022086C41008148 @default.
• W2102022086 hasConceptScore W2102022086C55493867 @default.
• W2102022086 hasConceptScore W2102022086C6943359 @default.
• W2102022086 hasConceptScore W2102022086C78458016 @default.
• W2102022086 hasConceptScore W2102022086C80444323 @default.
• W2102022086 hasConceptScore W2102022086C86803240 @default.
• W2102022086 hasConceptScore W2102022086C9429942 @default.
• W2102022086 hasFunder F4320321040 @default.
• W2102022086 hasLocation W21020220861 @default.
• W2102022086 hasOpenAccess W2102022086 @default.
• W2102022086 hasPrimaryLocation W21020220861 @default.
• W2102022086 hasRelatedWork W1499470128 @default.
• W2102022086 hasRelatedWork W1532784182 @default.
• W2102022086 hasRelatedWork W1597588219 @default.

• next