Matches in SemOpenAlex for { <https://semopenalex.org/work/W622459163> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W622459163 created "2016-06-24" @default.
- W622459163 creator A5023025130 @default.
- W622459163 creator A5075747760 @default.
- W622459163 date "2000-01-01" @default.
- W622459163 modified "2023-09-22" @default.
- W622459163 title "Exploring the power of automated reasoning" @default.
- W622459163 hasPublicationYear "2000" @default.
- W622459163 type Work @default.
- W622459163 sameAs 622459163 @default.
- W622459163 citedByCount "0" @default.
- W622459163 crossrefType "book" @default.
- W622459163 hasAuthorship W622459163A5023025130 @default.
- W622459163 hasAuthorship W622459163A5075747760 @default.
- W622459163 hasConcept C121332964 @default.
- W622459163 hasConcept C154945302 @default.
- W622459163 hasConcept C163258240 @default.
- W622459163 hasConcept C195344581 @default.
- W622459163 hasConcept C41008148 @default.
- W622459163 hasConcept C62520636 @default.
- W622459163 hasConceptScore W622459163C121332964 @default.
- W622459163 hasConceptScore W622459163C154945302 @default.
- W622459163 hasConceptScore W622459163C163258240 @default.
- W622459163 hasConceptScore W622459163C195344581 @default.
- W622459163 hasConceptScore W622459163C41008148 @default.
- W622459163 hasConceptScore W622459163C62520636 @default.
- W622459163 hasLocation W6224591631 @default.
- W622459163 hasOpenAccess W622459163 @default.
- W622459163 hasPrimaryLocation W6224591631 @default.
- W622459163 hasRelatedWork W1259645906 @default.
- W622459163 hasRelatedWork W154816051 @default.
- W622459163 hasRelatedWork W1597150547 @default.
- W622459163 hasRelatedWork W186210261 @default.
- W622459163 hasRelatedWork W1987398275 @default.
- W622459163 hasRelatedWork W2013434344 @default.
- W622459163 hasRelatedWork W2142398440 @default.
- W622459163 hasRelatedWork W2158116823 @default.
- W622459163 hasRelatedWork W2480496397 @default.
- W622459163 hasRelatedWork W2497215049 @default.
- W622459163 hasRelatedWork W2497947584 @default.
- W622459163 hasRelatedWork W2746286899 @default.
- W622459163 hasRelatedWork W2794299357 @default.
- W622459163 hasRelatedWork W2798401172 @default.
- W622459163 hasRelatedWork W3100697485 @default.
- W622459163 hasRelatedWork W3113196550 @default.
- W622459163 hasRelatedWork W3207400398 @default.
- W622459163 hasRelatedWork W32647813 @default.
- W622459163 hasRelatedWork W3420091 @default.
- W622459163 hasRelatedWork W3159245695 @default.
- W622459163 isParatext "false" @default.
- W622459163 isRetracted "false" @default.
- W622459163 magId "622459163" @default.
- W622459163 workType "book" @default.