Matches in SemOpenAlex for { <https://semopenalex.org/work/W177650123> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W177650123 endingPage "1075" @default.
- W177650123 startingPage "1073" @default.
- W177650123 created "2016-06-24" @default.
- W177650123 creator A5027786347 @default.
- W177650123 creator A5076636496 @default.
- W177650123 date "1985-08-18" @default.
- W177650123 modified "2023-10-03" @default.
- W177650123 title "An analysis of consecutively bounded depth-first search with applications in automated deduction" @default.
- W177650123 cites W1559996602 @default.
- W177650123 cites W1974299393 @default.
- W177650123 cites W2087562299 @default.
- W177650123 cites W2150470619 @default.
- W177650123 cites W2152475379 @default.
- W177650123 cites W3098199328 @default.
- W177650123 hasPublicationYear "1985" @default.
- W177650123 type Work @default.
- W177650123 sameAs 177650123 @default.
- W177650123 citedByCount "31" @default.
- W177650123 countsByYear W1776501232013 @default.
- W177650123 crossrefType "proceedings-article" @default.
- W177650123 hasAuthorship W177650123A5027786347 @default.
- W177650123 hasAuthorship W177650123A5076636496 @default.
- W177650123 hasConcept C134306372 @default.
- W177650123 hasConcept C154945302 @default.
- W177650123 hasConcept C33923547 @default.
- W177650123 hasConcept C34388435 @default.
- W177650123 hasConcept C41008148 @default.
- W177650123 hasConceptScore W177650123C134306372 @default.
- W177650123 hasConceptScore W177650123C154945302 @default.
- W177650123 hasConceptScore W177650123C33923547 @default.
- W177650123 hasConceptScore W177650123C34388435 @default.
- W177650123 hasConceptScore W177650123C41008148 @default.
- W177650123 hasLocation W1776501231 @default.
- W177650123 hasOpenAccess W177650123 @default.
- W177650123 hasPrimaryLocation W1776501231 @default.
- W177650123 hasRelatedWork W1495396426 @default.
- W177650123 hasRelatedWork W1514729613 @default.
- W177650123 hasRelatedWork W1530765221 @default.
- W177650123 hasRelatedWork W1541434994 @default.
- W177650123 hasRelatedWork W1554786964 @default.
- W177650123 hasRelatedWork W1588666994 @default.
- W177650123 hasRelatedWork W1969483458 @default.
- W177650123 hasRelatedWork W1974299393 @default.
- W177650123 hasRelatedWork W1980717258 @default.
- W177650123 hasRelatedWork W1998330152 @default.
- W177650123 hasRelatedWork W2021473914 @default.
- W177650123 hasRelatedWork W2042551813 @default.
- W177650123 hasRelatedWork W2084894656 @default.
- W177650123 hasRelatedWork W2100738443 @default.
- W177650123 hasRelatedWork W2124996147 @default.
- W177650123 hasRelatedWork W2134634502 @default.
- W177650123 hasRelatedWork W2150470619 @default.
- W177650123 hasRelatedWork W2152475379 @default.
- W177650123 hasRelatedWork W2169528473 @default.
- W177650123 hasRelatedWork W3098199328 @default.
- W177650123 isParatext "false" @default.
- W177650123 isRetracted "false" @default.
- W177650123 magId "177650123" @default.
- W177650123 workType "article" @default.