Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950377712> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2950377712 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.
- W2950377712 created "2019-06-27" @default.
- W2950377712 creator A5013230954 @default.
- W2950377712 creator A5038346780 @default.
- W2950377712 date "2012-04-13" @default.
- W2950377712 modified "2023-09-27" @default.
- W2950377712 title "Parameterized Resolution with bounded conjunction" @default.
- W2950377712 hasPublicationYear "2012" @default.
- W2950377712 type Work @default.
- W2950377712 sameAs 2950377712 @default.
- W2950377712 citedByCount "0" @default.
- W2950377712 crossrefType "posted-content" @default.
- W2950377712 hasAuthorship W2950377712A5013230954 @default.
- W2950377712 hasAuthorship W2950377712A5038346780 @default.
- W2950377712 hasConcept C11413529 @default.
- W2950377712 hasConcept C121332964 @default.
- W2950377712 hasConcept C1276947 @default.
- W2950377712 hasConcept C134306372 @default.
- W2950377712 hasConcept C138268822 @default.
- W2950377712 hasConcept C154945302 @default.
- W2950377712 hasConcept C165464430 @default.
- W2950377712 hasConcept C33923547 @default.
- W2950377712 hasConcept C34388435 @default.
- W2950377712 hasConcept C41008148 @default.
- W2950377712 hasConcept C59656382 @default.
- W2950377712 hasConceptScore W2950377712C11413529 @default.
- W2950377712 hasConceptScore W2950377712C121332964 @default.
- W2950377712 hasConceptScore W2950377712C1276947 @default.
- W2950377712 hasConceptScore W2950377712C134306372 @default.
- W2950377712 hasConceptScore W2950377712C138268822 @default.
- W2950377712 hasConceptScore W2950377712C154945302 @default.
- W2950377712 hasConceptScore W2950377712C165464430 @default.
- W2950377712 hasConceptScore W2950377712C33923547 @default.
- W2950377712 hasConceptScore W2950377712C34388435 @default.
- W2950377712 hasConceptScore W2950377712C41008148 @default.
- W2950377712 hasConceptScore W2950377712C59656382 @default.
- W2950377712 hasLocation W29503777121 @default.
- W2950377712 hasOpenAccess W2950377712 @default.
- W2950377712 hasPrimaryLocation W29503777121 @default.
- W2950377712 hasRelatedWork W1505314344 @default.
- W2950377712 hasRelatedWork W1831997537 @default.
- W2950377712 hasRelatedWork W2012313040 @default.
- W2950377712 hasRelatedWork W2023414599 @default.
- W2950377712 hasRelatedWork W2092508401 @default.
- W2950377712 hasRelatedWork W2100239335 @default.
- W2950377712 hasRelatedWork W2121719107 @default.
- W2950377712 hasRelatedWork W2150419136 @default.
- W2950377712 hasRelatedWork W2152809035 @default.
- W2950377712 hasRelatedWork W2408344986 @default.
- W2950377712 hasRelatedWork W2530519209 @default.
- W2950377712 hasRelatedWork W2544182011 @default.
- W2950377712 hasRelatedWork W2767555606 @default.
- W2950377712 hasRelatedWork W2964277875 @default.
- W2950377712 hasRelatedWork W38382899 @default.
- W2950377712 hasRelatedWork W6135152 @default.
- W2950377712 isParatext "false" @default.
- W2950377712 isRetracted "false" @default.
- W2950377712 magId "2950377712" @default.
- W2950377712 workType "article" @default.