Matches in SemOpenAlex for { <https://semopenalex.org/work/W1629713226> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1629713226 endingPage "121" @default.
- W1629713226 startingPage "107" @default.
- W1629713226 created "2016-06-24" @default.
- W1629713226 creator A5069263468 @default.
- W1629713226 date "2012-01-01" @default.
- W1629713226 modified "2023-09-25" @default.
- W1629713226 title "Improved Single Pass Algorithms for Resolution Proof Reduction" @default.
- W1629713226 cites W1484594398 @default.
- W1629713226 cites W1510595267 @default.
- W1629713226 cites W1589066270 @default.
- W1629713226 cites W1599039905 @default.
- W1629713226 cites W1605748995 @default.
- W1629713226 cites W1630321466 @default.
- W1629713226 cites W1836483134 @default.
- W1629713226 cites W1987719146 @default.
- W1629713226 cites W2044560939 @default.
- W1629713226 cites W2053580308 @default.
- W1629713226 cites W2073776354 @default.
- W1629713226 cites W2074793316 @default.
- W1629713226 cites W2084294613 @default.
- W1629713226 cites W2139906094 @default.
- W1629713226 cites W2146110773 @default.
- W1629713226 cites W2158505527 @default.
- W1629713226 cites W2163103684 @default.
- W1629713226 cites W2913808178 @default.
- W1629713226 cites W4212792638 @default.
- W1629713226 doi "https://doi.org/10.1007/978-3-642-33386-6_10" @default.
- W1629713226 hasPublicationYear "2012" @default.
- W1629713226 type Work @default.
- W1629713226 sameAs 1629713226 @default.
- W1629713226 citedByCount "7" @default.
- W1629713226 countsByYear W16297132262013 @default.
- W1629713226 countsByYear W16297132262014 @default.
- W1629713226 countsByYear W16297132262020 @default.
- W1629713226 crossrefType "book-chapter" @default.
- W1629713226 hasAuthorship W1629713226A5069263468 @default.
- W1629713226 hasConcept C105605280 @default.
- W1629713226 hasConcept C108710211 @default.
- W1629713226 hasConcept C111335779 @default.
- W1629713226 hasConcept C111919701 @default.
- W1629713226 hasConcept C11413529 @default.
- W1629713226 hasConcept C138268822 @default.
- W1629713226 hasConcept C152124472 @default.
- W1629713226 hasConcept C199360897 @default.
- W1629713226 hasConcept C2524010 @default.
- W1629713226 hasConcept C33923547 @default.
- W1629713226 hasConcept C41008148 @default.
- W1629713226 hasConceptScore W1629713226C105605280 @default.
- W1629713226 hasConceptScore W1629713226C108710211 @default.
- W1629713226 hasConceptScore W1629713226C111335779 @default.
- W1629713226 hasConceptScore W1629713226C111919701 @default.
- W1629713226 hasConceptScore W1629713226C11413529 @default.
- W1629713226 hasConceptScore W1629713226C138268822 @default.
- W1629713226 hasConceptScore W1629713226C152124472 @default.
- W1629713226 hasConceptScore W1629713226C199360897 @default.
- W1629713226 hasConceptScore W1629713226C2524010 @default.
- W1629713226 hasConceptScore W1629713226C33923547 @default.
- W1629713226 hasConceptScore W1629713226C41008148 @default.
- W1629713226 hasLocation W16297132261 @default.
- W1629713226 hasOpenAccess W1629713226 @default.
- W1629713226 hasPrimaryLocation W16297132261 @default.
- W1629713226 hasRelatedWork W138926026 @default.
- W1629713226 hasRelatedWork W1618870210 @default.
- W1629713226 hasRelatedWork W1852359712 @default.
- W1629713226 hasRelatedWork W2062912795 @default.
- W1629713226 hasRelatedWork W2084384424 @default.
- W1629713226 hasRelatedWork W2119935022 @default.
- W1629713226 hasRelatedWork W2397377351 @default.
- W1629713226 hasRelatedWork W2400565179 @default.
- W1629713226 hasRelatedWork W2400715714 @default.
- W1629713226 hasRelatedWork W46668428 @default.
- W1629713226 isParatext "false" @default.
- W1629713226 isRetracted "false" @default.
- W1629713226 magId "1629713226" @default.
- W1629713226 workType "book-chapter" @default.