Matches in SemOpenAlex for { <https://semopenalex.org/work/W2049462023> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2049462023 endingPage "20" @default.
- W2049462023 startingPage "17" @default.
- W2049462023 abstract "Cook [1] and Karp [2] have shown that a large class of combinatorial decision problems can be solved in time bounded by a polynomial in the size of the problem iff there is a polynomial time procedure for deciding whether a disjunctive formula with at most three literals per disjunct in the propositional calculus is a tautology." @default.
- W2049462023 created "2016-06-24" @default.
- W2049462023 creator A5030381747 @default.
- W2049462023 creator A5043105322 @default.
- W2049462023 creator A5063801356 @default.
- W2049462023 creator A5079256324 @default.
- W2049462023 creator A5088362612 @default.
- W2049462023 date "1973-04-01" @default.
- W2049462023 modified "2023-09-26" @default.
- W2049462023 title "A note on disjunctive form tautologies" @default.
- W2049462023 cites W2036265926 @default.
- W2049462023 cites W2401610261 @default.
- W2049462023 doi "https://doi.org/10.1145/1811123.1811124" @default.
- W2049462023 hasPublicationYear "1973" @default.
- W2049462023 type Work @default.
- W2049462023 sameAs 2049462023 @default.
- W2049462023 citedByCount "23" @default.
- W2049462023 countsByYear W20494620232013 @default.
- W2049462023 countsByYear W20494620232015 @default.
- W2049462023 crossrefType "journal-article" @default.
- W2049462023 hasAuthorship W2049462023A5030381747 @default.
- W2049462023 hasAuthorship W2049462023A5043105322 @default.
- W2049462023 hasAuthorship W2049462023A5063801356 @default.
- W2049462023 hasAuthorship W2049462023A5079256324 @default.
- W2049462023 hasAuthorship W2049462023A5088362612 @default.
- W2049462023 hasBestOaLocation W20494620231 @default.
- W2049462023 hasConcept C102993220 @default.
- W2049462023 hasConcept C11413529 @default.
- W2049462023 hasConcept C114614502 @default.
- W2049462023 hasConcept C115988155 @default.
- W2049462023 hasConcept C118615104 @default.
- W2049462023 hasConcept C134306372 @default.
- W2049462023 hasConcept C144024400 @default.
- W2049462023 hasConcept C14523651 @default.
- W2049462023 hasConcept C149923435 @default.
- W2049462023 hasConcept C154945302 @default.
- W2049462023 hasConcept C16221470 @default.
- W2049462023 hasConcept C166374712 @default.
- W2049462023 hasConcept C2777212361 @default.
- W2049462023 hasConcept C2781445333 @default.
- W2049462023 hasConcept C2908647359 @default.
- W2049462023 hasConcept C311688 @default.
- W2049462023 hasConcept C33203268 @default.
- W2049462023 hasConcept C33923547 @default.
- W2049462023 hasConcept C34388435 @default.
- W2049462023 hasConcept C41008148 @default.
- W2049462023 hasConcept C69562738 @default.
- W2049462023 hasConcept C74640108 @default.
- W2049462023 hasConcept C80444323 @default.
- W2049462023 hasConcept C90119067 @default.
- W2049462023 hasConceptScore W2049462023C102993220 @default.
- W2049462023 hasConceptScore W2049462023C11413529 @default.
- W2049462023 hasConceptScore W2049462023C114614502 @default.
- W2049462023 hasConceptScore W2049462023C115988155 @default.
- W2049462023 hasConceptScore W2049462023C118615104 @default.
- W2049462023 hasConceptScore W2049462023C134306372 @default.
- W2049462023 hasConceptScore W2049462023C144024400 @default.
- W2049462023 hasConceptScore W2049462023C14523651 @default.
- W2049462023 hasConceptScore W2049462023C149923435 @default.
- W2049462023 hasConceptScore W2049462023C154945302 @default.
- W2049462023 hasConceptScore W2049462023C16221470 @default.
- W2049462023 hasConceptScore W2049462023C166374712 @default.
- W2049462023 hasConceptScore W2049462023C2777212361 @default.
- W2049462023 hasConceptScore W2049462023C2781445333 @default.
- W2049462023 hasConceptScore W2049462023C2908647359 @default.
- W2049462023 hasConceptScore W2049462023C311688 @default.
- W2049462023 hasConceptScore W2049462023C33203268 @default.
- W2049462023 hasConceptScore W2049462023C33923547 @default.
- W2049462023 hasConceptScore W2049462023C34388435 @default.
- W2049462023 hasConceptScore W2049462023C41008148 @default.
- W2049462023 hasConceptScore W2049462023C69562738 @default.
- W2049462023 hasConceptScore W2049462023C74640108 @default.
- W2049462023 hasConceptScore W2049462023C80444323 @default.
- W2049462023 hasConceptScore W2049462023C90119067 @default.
- W2049462023 hasIssue "2" @default.
- W2049462023 hasLocation W20494620231 @default.
- W2049462023 hasOpenAccess W2049462023 @default.
- W2049462023 hasPrimaryLocation W20494620231 @default.
- W2049462023 hasRelatedWork W1990248762 @default.
- W2049462023 hasRelatedWork W2049462023 @default.
- W2049462023 hasRelatedWork W2058405326 @default.
- W2049462023 hasRelatedWork W2142913681 @default.
- W2049462023 hasRelatedWork W2153912760 @default.
- W2049462023 hasRelatedWork W2371934321 @default.
- W2049462023 hasRelatedWork W2393406546 @default.
- W2049462023 hasRelatedWork W2951050752 @default.
- W2049462023 hasRelatedWork W4283374277 @default.
- W2049462023 hasRelatedWork W4321153753 @default.
- W2049462023 hasVolume "5" @default.
- W2049462023 isParatext "false" @default.
- W2049462023 isRetracted "false" @default.
- W2049462023 magId "2049462023" @default.
- W2049462023 workType "article" @default.