Matches in SemOpenAlex for { <https://semopenalex.org/work/W138414979> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W138414979 endingPage "6" @default.
- W138414979 startingPage "1" @default.
- W138414979 created "2016-06-24" @default.
- W138414979 creator A5003633660 @default.
- W138414979 date "2014-01-01" @default.
- W138414979 modified "2023-10-16" @default.
- W138414979 title "A (Biased) Proof Complexity Survey for SAT Practitioners" @default.
- W138414979 cites W1505776303 @default.
- W138414979 cites W1904183950 @default.
- W138414979 cites W1974070050 @default.
- W138414979 cites W1988083342 @default.
- W138414979 cites W1990932978 @default.
- W138414979 cites W1998375896 @default.
- W138414979 cites W2021972008 @default.
- W138414979 cites W2038193643 @default.
- W138414979 cites W2044095368 @default.
- W138414979 cites W2056382067 @default.
- W138414979 cites W2069767473 @default.
- W138414979 cites W2071347463 @default.
- W138414979 cites W2074834475 @default.
- W138414979 cites W2081172416 @default.
- W138414979 cites W2084029169 @default.
- W138414979 cites W2084384424 @default.
- W138414979 cites W2098022011 @default.
- W138414979 cites W2114235518 @default.
- W138414979 cites W2122782108 @default.
- W138414979 cites W2126420408 @default.
- W138414979 cites W2129413084 @default.
- W138414979 cites W2132489129 @default.
- W138414979 cites W2134253979 @default.
- W138414979 cites W2142785340 @default.
- W138414979 cites W3101351575 @default.
- W138414979 cites W48421743 @default.
- W138414979 cites W94961302 @default.
- W138414979 doi "https://doi.org/10.1007/978-3-319-09284-3_1" @default.
- W138414979 hasPublicationYear "2014" @default.
- W138414979 type Work @default.
- W138414979 sameAs 138414979 @default.
- W138414979 citedByCount "3" @default.
- W138414979 countsByYear W1384149792015 @default.
- W138414979 countsByYear W1384149792018 @default.
- W138414979 crossrefType "book-chapter" @default.
- W138414979 hasAuthorship W138414979A5003633660 @default.
- W138414979 hasConcept C105605280 @default.
- W138414979 hasConcept C108710211 @default.
- W138414979 hasConcept C111919701 @default.
- W138414979 hasConcept C11413529 @default.
- W138414979 hasConcept C124978682 @default.
- W138414979 hasConcept C13355873 @default.
- W138414979 hasConcept C138268822 @default.
- W138414979 hasConcept C173613240 @default.
- W138414979 hasConcept C199360897 @default.
- W138414979 hasConcept C206880738 @default.
- W138414979 hasConcept C2524010 @default.
- W138414979 hasConcept C3019612716 @default.
- W138414979 hasConcept C33923547 @default.
- W138414979 hasConcept C41008148 @default.
- W138414979 hasConcept C459310 @default.
- W138414979 hasConcept C6943359 @default.
- W138414979 hasConcept C80444323 @default.
- W138414979 hasConceptScore W138414979C105605280 @default.
- W138414979 hasConceptScore W138414979C108710211 @default.
- W138414979 hasConceptScore W138414979C111919701 @default.
- W138414979 hasConceptScore W138414979C11413529 @default.
- W138414979 hasConceptScore W138414979C124978682 @default.
- W138414979 hasConceptScore W138414979C13355873 @default.
- W138414979 hasConceptScore W138414979C138268822 @default.
- W138414979 hasConceptScore W138414979C173613240 @default.
- W138414979 hasConceptScore W138414979C199360897 @default.
- W138414979 hasConceptScore W138414979C206880738 @default.
- W138414979 hasConceptScore W138414979C2524010 @default.
- W138414979 hasConceptScore W138414979C3019612716 @default.
- W138414979 hasConceptScore W138414979C33923547 @default.
- W138414979 hasConceptScore W138414979C41008148 @default.
- W138414979 hasConceptScore W138414979C459310 @default.
- W138414979 hasConceptScore W138414979C6943359 @default.
- W138414979 hasConceptScore W138414979C80444323 @default.
- W138414979 hasLocation W1384149791 @default.
- W138414979 hasOpenAccess W138414979 @default.
- W138414979 hasPrimaryLocation W1384149791 @default.
- W138414979 hasRelatedWork W138414979 @default.
- W138414979 hasRelatedWork W1496026483 @default.
- W138414979 hasRelatedWork W1548568192 @default.
- W138414979 hasRelatedWork W1614097270 @default.
- W138414979 hasRelatedWork W2216693981 @default.
- W138414979 hasRelatedWork W2408514828 @default.
- W138414979 hasRelatedWork W2464469338 @default.
- W138414979 hasRelatedWork W2787308911 @default.
- W138414979 hasRelatedWork W2980464467 @default.
- W138414979 hasRelatedWork W3101351575 @default.
- W138414979 isParatext "false" @default.
- W138414979 isRetracted "false" @default.
- W138414979 magId "138414979" @default.
- W138414979 workType "book-chapter" @default.