Matches in SemOpenAlex for { <https://semopenalex.org/work/W2099158350> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2099158350 endingPage "130" @default.
- W2099158350 startingPage "110" @default.
- W2099158350 abstract "Abstract A Krom formula of pure quantification theory is a formula in conjunctive normal form such that each conjunct is a disjunction of at most two atomic formulas or negations of atomic formulas. Every class of Krom formulas that is determined by the form of their quantifier prefixes and which is known to have an unsolvable decision problem for satisfiability is here shown to be a conservative reduction class. Therefore both the general satisfiability problem, and the problem of satisfiability in finite models, can be effectively reduced from arbitrary formulas to Krom formulas of these several prefix types." @default.
- W2099158350 created "2016-06-24" @default.
- W2099158350 creator A5021020828 @default.
- W2099158350 creator A5032562524 @default.
- W2099158350 creator A5046018851 @default.
- W2099158350 date "1982-03-01" @default.
- W2099158350 modified "2023-10-13" @default.
- W2099158350 title "Conservative reduction classes of Krom formulas " @default.
- W2099158350 cites W2077925882 @default.
- W2099158350 doi "https://doi.org/10.2307/2273385" @default.
- W2099158350 hasPublicationYear "1982" @default.
- W2099158350 type Work @default.
- W2099158350 sameAs 2099158350 @default.
- W2099158350 citedByCount "2" @default.
- W2099158350 crossrefType "journal-article" @default.
- W2099158350 hasAuthorship W2099158350A5021020828 @default.
- W2099158350 hasAuthorship W2099158350A5032562524 @default.
- W2099158350 hasAuthorship W2099158350A5046018851 @default.
- W2099158350 hasConcept C111335779 @default.
- W2099158350 hasConcept C118615104 @default.
- W2099158350 hasConcept C136119220 @default.
- W2099158350 hasConcept C136726353 @default.
- W2099158350 hasConcept C138885662 @default.
- W2099158350 hasConcept C141603448 @default.
- W2099158350 hasConcept C154945302 @default.
- W2099158350 hasConcept C16221470 @default.
- W2099158350 hasConcept C168773769 @default.
- W2099158350 hasConcept C199360897 @default.
- W2099158350 hasConcept C202444582 @default.
- W2099158350 hasConcept C2185349 @default.
- W2099158350 hasConcept C2524010 @default.
- W2099158350 hasConcept C2777212361 @default.
- W2099158350 hasConcept C2778523021 @default.
- W2099158350 hasConcept C33923547 @default.
- W2099158350 hasConcept C41008148 @default.
- W2099158350 hasConcept C41895202 @default.
- W2099158350 hasConcept C6943359 @default.
- W2099158350 hasConceptScore W2099158350C111335779 @default.
- W2099158350 hasConceptScore W2099158350C118615104 @default.
- W2099158350 hasConceptScore W2099158350C136119220 @default.
- W2099158350 hasConceptScore W2099158350C136726353 @default.
- W2099158350 hasConceptScore W2099158350C138885662 @default.
- W2099158350 hasConceptScore W2099158350C141603448 @default.
- W2099158350 hasConceptScore W2099158350C154945302 @default.
- W2099158350 hasConceptScore W2099158350C16221470 @default.
- W2099158350 hasConceptScore W2099158350C168773769 @default.
- W2099158350 hasConceptScore W2099158350C199360897 @default.
- W2099158350 hasConceptScore W2099158350C202444582 @default.
- W2099158350 hasConceptScore W2099158350C2185349 @default.
- W2099158350 hasConceptScore W2099158350C2524010 @default.
- W2099158350 hasConceptScore W2099158350C2777212361 @default.
- W2099158350 hasConceptScore W2099158350C2778523021 @default.
- W2099158350 hasConceptScore W2099158350C33923547 @default.
- W2099158350 hasConceptScore W2099158350C41008148 @default.
- W2099158350 hasConceptScore W2099158350C41895202 @default.
- W2099158350 hasConceptScore W2099158350C6943359 @default.
- W2099158350 hasIssue "01" @default.
- W2099158350 hasLocation W20991583501 @default.
- W2099158350 hasOpenAccess W2099158350 @default.
- W2099158350 hasPrimaryLocation W20991583501 @default.
- W2099158350 hasRelatedWork W1543568366 @default.
- W2099158350 hasRelatedWork W1996710055 @default.
- W2099158350 hasRelatedWork W2002672992 @default.
- W2099158350 hasRelatedWork W2007102962 @default.
- W2099158350 hasRelatedWork W2025137085 @default.
- W2099158350 hasRelatedWork W2099158350 @default.
- W2099158350 hasRelatedWork W2144859778 @default.
- W2099158350 hasRelatedWork W2235115558 @default.
- W2099158350 hasRelatedWork W2981948274 @default.
- W2099158350 hasRelatedWork W2994030322 @default.
- W2099158350 hasVolume "47" @default.
- W2099158350 isParatext "false" @default.
- W2099158350 isRetracted "false" @default.
- W2099158350 magId "2099158350" @default.
- W2099158350 workType "article" @default.