Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022388196> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2022388196 endingPage "457" @default.
- W2022388196 startingPage "443" @default.
- W2022388196 abstract "The existential positive fragment of first-order logic is the set of formulas built from conjunction, disjunction, and existential quantification. On sentences from this fragment, we study three fundamental computational problems: logical equivalence, entailment, and the problem of deciding, given a sentence and a positive integer k, whether or not the sentence is logically equivalent to a k-variable sentence. We study the complexity of these three problems, and give a description thereof with respect to all relational signatures. In particular, we establish for the first time that, over a signature containing a relation symbol of binary (or higher) arity, all three of these problems are complete for the complexity class Π2p of the polynomial hierarchy." @default.
- W2022388196 created "2016-06-24" @default.
- W2022388196 creator A5023349661 @default.
- W2022388196 creator A5044720498 @default.
- W2022388196 date "2015-03-01" @default.
- W2022388196 modified "2023-09-30" @default.
- W2022388196 title "The complexity of equivalence, entailment, and minimization in existential positive logic" @default.
- W2022388196 cites W2056660085 @default.
- W2022388196 cites W2063191044 @default.
- W2022388196 cites W2073279331 @default.
- W2022388196 cites W2076946745 @default.
- W2022388196 cites W2118076394 @default.
- W2022388196 doi "https://doi.org/10.1016/j.jcss.2014.10.002" @default.
- W2022388196 hasPublicationYear "2015" @default.
- W2022388196 type Work @default.
- W2022388196 sameAs 2022388196 @default.
- W2022388196 citedByCount "2" @default.
- W2022388196 countsByYear W20223881962019 @default.
- W2022388196 crossrefType "journal-article" @default.
- W2022388196 hasAuthorship W2022388196A5023349661 @default.
- W2022388196 hasAuthorship W2022388196A5044720498 @default.
- W2022388196 hasBestOaLocation W20223881961 @default.
- W2022388196 hasConcept C100481476 @default.
- W2022388196 hasConcept C110546421 @default.
- W2022388196 hasConcept C11413529 @default.
- W2022388196 hasConcept C114614502 @default.
- W2022388196 hasConcept C118615104 @default.
- W2022388196 hasConcept C119857082 @default.
- W2022388196 hasConcept C134752490 @default.
- W2022388196 hasConcept C154945302 @default.
- W2022388196 hasConcept C2776235265 @default.
- W2022388196 hasConcept C2777530160 @default.
- W2022388196 hasConcept C2780069185 @default.
- W2022388196 hasConcept C33923547 @default.
- W2022388196 hasConcept C41008148 @default.
- W2022388196 hasConcept C52146309 @default.
- W2022388196 hasConcept C70846408 @default.
- W2022388196 hasConceptScore W2022388196C100481476 @default.
- W2022388196 hasConceptScore W2022388196C110546421 @default.
- W2022388196 hasConceptScore W2022388196C11413529 @default.
- W2022388196 hasConceptScore W2022388196C114614502 @default.
- W2022388196 hasConceptScore W2022388196C118615104 @default.
- W2022388196 hasConceptScore W2022388196C119857082 @default.
- W2022388196 hasConceptScore W2022388196C134752490 @default.
- W2022388196 hasConceptScore W2022388196C154945302 @default.
- W2022388196 hasConceptScore W2022388196C2776235265 @default.
- W2022388196 hasConceptScore W2022388196C2777530160 @default.
- W2022388196 hasConceptScore W2022388196C2780069185 @default.
- W2022388196 hasConceptScore W2022388196C33923547 @default.
- W2022388196 hasConceptScore W2022388196C41008148 @default.
- W2022388196 hasConceptScore W2022388196C52146309 @default.
- W2022388196 hasConceptScore W2022388196C70846408 @default.
- W2022388196 hasFunder F4320321181 @default.
- W2022388196 hasFunder F4320334678 @default.
- W2022388196 hasIssue "2" @default.
- W2022388196 hasLocation W20223881961 @default.
- W2022388196 hasOpenAccess W2022388196 @default.
- W2022388196 hasPrimaryLocation W20223881961 @default.
- W2022388196 hasRelatedWork W1483892218 @default.
- W2022388196 hasRelatedWork W1519323567 @default.
- W2022388196 hasRelatedWork W1600220056 @default.
- W2022388196 hasRelatedWork W2022388196 @default.
- W2022388196 hasRelatedWork W2912942225 @default.
- W2022388196 hasRelatedWork W2951573754 @default.
- W2022388196 hasRelatedWork W3021442973 @default.
- W2022388196 hasRelatedWork W3162533888 @default.
- W2022388196 hasRelatedWork W2303005335 @default.
- W2022388196 hasRelatedWork W2525205340 @default.
- W2022388196 hasVolume "81" @default.
- W2022388196 isParatext "false" @default.
- W2022388196 isRetracted "false" @default.
- W2022388196 magId "2022388196" @default.
- W2022388196 workType "article" @default.