Matches in SemOpenAlex for { <https://semopenalex.org/work/W1831997537> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1831997537 endingPage "149" @default.
- W1831997537 startingPage "139" @default.
- W1831997537 abstract "We provide separations between the parameterized versions of Res(1) (Resolution) and Res(2). Using a different set of parameterized contradictions, we also separate the parameterized versions of Res*(1) (tree-Resolution) and Res*(2)." @default.
- W1831997537 created "2016-06-24" @default.
- W1831997537 creator A5013230954 @default.
- W1831997537 creator A5038346780 @default.
- W1831997537 date "2013-01-01" @default.
- W1831997537 modified "2023-09-25" @default.
- W1831997537 title "Parameterized Resolution with Bounded Conjunction" @default.
- W1831997537 cites W1571909284 @default.
- W1831997537 cites W1572996061 @default.
- W1831997537 cites W1988083342 @default.
- W1831997537 cites W2026967932 @default.
- W1831997537 cites W2041857712 @default.
- W1831997537 cites W2080763555 @default.
- W1831997537 cites W2093224650 @default.
- W1831997537 cites W2112145019 @default.
- W1831997537 cites W2137423523 @default.
- W1831997537 cites W2150936971 @default.
- W1831997537 cites W2155848600 @default.
- W1831997537 cites W2159170152 @default.
- W1831997537 cites W4292230561 @default.
- W1831997537 doi "https://doi.org/10.1007/978-3-642-38536-0_12" @default.
- W1831997537 hasPublicationYear "2013" @default.
- W1831997537 type Work @default.
- W1831997537 sameAs 1831997537 @default.
- W1831997537 citedByCount "0" @default.
- W1831997537 crossrefType "book-chapter" @default.
- W1831997537 hasAuthorship W1831997537A5013230954 @default.
- W1831997537 hasAuthorship W1831997537A5038346780 @default.
- W1831997537 hasBestOaLocation W18319975372 @default.
- W1831997537 hasConcept C11413529 @default.
- W1831997537 hasConcept C121332964 @default.
- W1831997537 hasConcept C1276947 @default.
- W1831997537 hasConcept C134306372 @default.
- W1831997537 hasConcept C138268822 @default.
- W1831997537 hasConcept C154945302 @default.
- W1831997537 hasConcept C165464430 @default.
- W1831997537 hasConcept C33923547 @default.
- W1831997537 hasConcept C34388435 @default.
- W1831997537 hasConcept C41008148 @default.
- W1831997537 hasConcept C59656382 @default.
- W1831997537 hasConceptScore W1831997537C11413529 @default.
- W1831997537 hasConceptScore W1831997537C121332964 @default.
- W1831997537 hasConceptScore W1831997537C1276947 @default.
- W1831997537 hasConceptScore W1831997537C134306372 @default.
- W1831997537 hasConceptScore W1831997537C138268822 @default.
- W1831997537 hasConceptScore W1831997537C154945302 @default.
- W1831997537 hasConceptScore W1831997537C165464430 @default.
- W1831997537 hasConceptScore W1831997537C33923547 @default.
- W1831997537 hasConceptScore W1831997537C34388435 @default.
- W1831997537 hasConceptScore W1831997537C41008148 @default.
- W1831997537 hasConceptScore W1831997537C59656382 @default.
- W1831997537 hasLocation W18319975371 @default.
- W1831997537 hasLocation W18319975372 @default.
- W1831997537 hasLocation W18319975373 @default.
- W1831997537 hasOpenAccess W1831997537 @default.
- W1831997537 hasPrimaryLocation W18319975371 @default.
- W1831997537 hasRelatedWork W1875643871 @default.
- W1831997537 hasRelatedWork W1973679146 @default.
- W1831997537 hasRelatedWork W2159656199 @default.
- W1831997537 hasRelatedWork W2262201633 @default.
- W1831997537 hasRelatedWork W2357085366 @default.
- W1831997537 hasRelatedWork W2699933423 @default.
- W1831997537 hasRelatedWork W2753491353 @default.
- W1831997537 hasRelatedWork W2808270189 @default.
- W1831997537 hasRelatedWork W2950377712 @default.
- W1831997537 hasRelatedWork W4297914055 @default.
- W1831997537 isParatext "false" @default.
- W1831997537 isRetracted "false" @default.
- W1831997537 magId "1831997537" @default.
- W1831997537 workType "book-chapter" @default.