About: Strong (D)QBF Dependency Schemes via Tautology-Free Resolution Paths

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Strong (D)QBF Dependency Schemes via Tautology-Free Resolution Paths Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : wasabi.inria.fr associated with source document(s)

Attributes	Values
value	Strong (D)QBF Dependency Schemes via Tautology-Free Resolution Paths
Subject	Mathematical logic Logical expressions Semantics Boolean algebra Satisfiability problems Sentences by type Propositional calculus PSPACE-complete problems Propositions Logical truth Module theory Homological algebra
part of	Strong (D)QBF Dependency Schemes via Tautology-Free Resolution Paths
is hasSource of	covid:ann/target/b1b1222d292c586cf45eca9e5ccdd01c3d99e391 covid:ann/target/c7c116f7c85053c701f4f21a3b1dabd2880ddc74 covid:ann/target/1f010a1c4455ec3b04e520febf6bca9e078588c1 covid:ann/target/9cc409285a10f78fe072775267d8efad45212e30 covid:ann/target/500da4d6571482489103b0b52aeb3c80bfc03bc6 covid:ann/target/a62dce19313fe8d3e49d97c19d63fc42bab66ea2 covid:ann/target/3481637ad3d118c914c742ec7f0ac245940a4ce1 covid:ann/target/f022cb4da67a4ed3adf58b6bf49db77eee0fa45c covid:ann/target/7678965fadecdcbfe399a8931c64ca268af18895 covid:ann/target/c4530b11bd3c732f8111469f5b93ea6dddabf61b
is resource representing a document's title of	Strong (D)QBF Dependency Schemes via Tautology-Free Resolution Paths

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software