Matches in SemOpenAlex for { <https://semopenalex.org/work/W1495396426> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1495396426 abstract "Since both the coments and the structure of the book appeared to be successful, only minor changes were made. In particular, some recent work in ATP has been incorporated so that the book continues to" @default.
- W1495396426 created "2016-06-24" @default.
- W1495396426 creator A5025467738 @default.
- W1495396426 date "1987-01-01" @default.
- W1495396426 modified "2023-10-01" @default.
- W1495396426 title "Automated Theorem Proving" @default.
- W1495396426 cites W1494270745 @default.
- W1495396426 cites W1495396426 @default.
- W1495396426 cites W1502047167 @default.
- W1495396426 cites W1510333080 @default.
- W1495396426 cites W1516218099 @default.
- W1495396426 cites W1552843312 @default.
- W1495396426 cites W155612886 @default.
- W1495396426 cites W1562833547 @default.
- W1495396426 cites W1966048066 @default.
- W1495396426 cites W1987549075 @default.
- W1495396426 cites W2018221833 @default.
- W1495396426 cites W2021173362 @default.
- W1495396426 cites W2030224590 @default.
- W1495396426 cites W2033288425 @default.
- W1495396426 cites W2034155940 @default.
- W1495396426 cites W2040183410 @default.
- W1495396426 cites W2041161966 @default.
- W1495396426 cites W2042551813 @default.
- W1495396426 cites W2043314428 @default.
- W1495396426 cites W2057361103 @default.
- W1495396426 cites W2061438988 @default.
- W1495396426 cites W2062897452 @default.
- W1495396426 cites W2067716734 @default.
- W1495396426 cites W2069224897 @default.
- W1495396426 cites W2069767473 @default.
- W1495396426 cites W2100738443 @default.
- W1495396426 cites W2121757274 @default.
- W1495396426 cites W2123319860 @default.
- W1495396426 cites W2153131284 @default.
- W1495396426 cites W2164778826 @default.
- W1495396426 cites W2283240724 @default.
- W1495396426 cites W2507006525 @default.
- W1495396426 cites W2914314632 @default.
- W1495396426 cites W2914834504 @default.
- W1495396426 cites W3021880308 @default.
- W1495396426 cites W3022794709 @default.
- W1495396426 cites W4205795901 @default.
- W1495396426 cites W4230919050 @default.
- W1495396426 cites W4234528212 @default.
- W1495396426 cites W4238858352 @default.
- W1495396426 doi "https://doi.org/10.1007/978-3-322-90102-6" @default.
- W1495396426 hasPublicationYear "1987" @default.
- W1495396426 type Work @default.
- W1495396426 sameAs 1495396426 @default.
- W1495396426 citedByCount "309" @default.
- W1495396426 countsByYear W14953964262012 @default.
- W1495396426 countsByYear W14953964262013 @default.
- W1495396426 countsByYear W14953964262014 @default.
- W1495396426 countsByYear W14953964262016 @default.
- W1495396426 countsByYear W14953964262017 @default.
- W1495396426 countsByYear W14953964262018 @default.
- W1495396426 countsByYear W14953964262019 @default.
- W1495396426 countsByYear W14953964262020 @default.
- W1495396426 countsByYear W14953964262021 @default.
- W1495396426 countsByYear W14953964262022 @default.
- W1495396426 countsByYear W14953964262023 @default.
- W1495396426 crossrefType "book" @default.
- W1495396426 hasAuthorship W1495396426A5025467738 @default.
- W1495396426 hasConcept C138885662 @default.
- W1495396426 hasConcept C144237770 @default.
- W1495396426 hasConcept C15708023 @default.
- W1495396426 hasConcept C199343813 @default.
- W1495396426 hasConcept C2777686260 @default.
- W1495396426 hasConcept C2779760435 @default.
- W1495396426 hasConcept C33923547 @default.
- W1495396426 hasConcept C41008148 @default.
- W1495396426 hasConcept C71924100 @default.
- W1495396426 hasConceptScore W1495396426C138885662 @default.
- W1495396426 hasConceptScore W1495396426C144237770 @default.
- W1495396426 hasConceptScore W1495396426C15708023 @default.
- W1495396426 hasConceptScore W1495396426C199343813 @default.
- W1495396426 hasConceptScore W1495396426C2777686260 @default.
- W1495396426 hasConceptScore W1495396426C2779760435 @default.
- W1495396426 hasConceptScore W1495396426C33923547 @default.
- W1495396426 hasConceptScore W1495396426C41008148 @default.
- W1495396426 hasConceptScore W1495396426C71924100 @default.
- W1495396426 hasLocation W14953964261 @default.
- W1495396426 hasOpenAccess W1495396426 @default.
- W1495396426 hasPrimaryLocation W14953964261 @default.
- W1495396426 hasRelatedWork W2156879229 @default.
- W1495396426 hasRelatedWork W2355995962 @default.
- W1495396426 hasRelatedWork W2362718971 @default.
- W1495396426 hasRelatedWork W2368173763 @default.
- W1495396426 hasRelatedWork W2368619281 @default.
- W1495396426 hasRelatedWork W2377143628 @default.
- W1495396426 hasRelatedWork W2392462513 @default.
- W1495396426 hasRelatedWork W2748952813 @default.
- W1495396426 hasRelatedWork W2899084033 @default.
- W1495396426 hasRelatedWork W3121379474 @default.
- W1495396426 isParatext "false" @default.
- W1495396426 isRetracted "false" @default.
- W1495396426 magId "1495396426" @default.
- W1495396426 workType "book" @default.