Matches in SemOpenAlex for { <https://semopenalex.org/work/W4230552941> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4230552941 endingPage "7" @default.
- W4230552941 startingPage "1" @default.
- W4230552941 created "2022-05-11" @default.
- W4230552941 creator A5013530533 @default.
- W4230552941 creator A5066422711 @default.
- W4230552941 date "2018-01-01" @default.
- W4230552941 modified "2023-09-26" @default.
- W4230552941 title "Automated Reasoning" @default.
- W4230552941 cites W1481915355 @default.
- W4230552941 cites W1482585805 @default.
- W4230552941 cites W1516351239 @default.
- W4230552941 cites W1525208404 @default.
- W4230552941 cites W1544139521 @default.
- W4230552941 cites W1555104517 @default.
- W4230552941 cites W1591768831 @default.
- W4230552941 cites W1670748022 @default.
- W4230552941 cites W1870380066 @default.
- W4230552941 cites W1965665811 @default.
- W4230552941 cites W1974068078 @default.
- W4230552941 cites W1983113859 @default.
- W4230552941 cites W1988818178 @default.
- W4230552941 cites W1989040088 @default.
- W4230552941 cites W1990890881 @default.
- W4230552941 cites W2013309158 @default.
- W4230552941 cites W203440368 @default.
- W4230552941 cites W2041200987 @default.
- W4230552941 cites W2092211394 @default.
- W4230552941 cites W2102308007 @default.
- W4230552941 cites W2112161977 @default.
- W4230552941 cites W2137862151 @default.
- W4230552941 cites W2140857649 @default.
- W4230552941 cites W2154829072 @default.
- W4230552941 cites W2155899822 @default.
- W4230552941 cites W2167685423 @default.
- W4230552941 cites W2168120333 @default.
- W4230552941 cites W2171279236 @default.
- W4230552941 cites W2187690660 @default.
- W4230552941 cites W2193530801 @default.
- W4230552941 cites W2214104119 @default.
- W4230552941 cites W2273684054 @default.
- W4230552941 cites W2294695792 @default.
- W4230552941 cites W2299775049 @default.
- W4230552941 cites W2511332563 @default.
- W4230552941 cites W2590203464 @default.
- W4230552941 cites W263998227 @default.
- W4230552941 cites W2963589932 @default.
- W4230552941 cites W3101974058 @default.
- W4230552941 cites W4300129298 @default.
- W4230552941 cites W4367435839 @default.
- W4230552941 cites W93175922 @default.
- W4230552941 doi "https://doi.org/10.1007/978-3-319-63962-8_314-1" @default.
- W4230552941 hasPublicationYear "2018" @default.
- W4230552941 type Work @default.
- W4230552941 citedByCount "0" @default.
- W4230552941 crossrefType "book-chapter" @default.
- W4230552941 hasAuthorship W4230552941A5013530533 @default.
- W4230552941 hasAuthorship W4230552941A5066422711 @default.
- W4230552941 hasConcept C41008148 @default.
- W4230552941 hasConceptScore W4230552941C41008148 @default.
- W4230552941 hasLocation W42305529411 @default.
- W4230552941 hasOpenAccess W4230552941 @default.
- W4230552941 hasPrimaryLocation W42305529411 @default.
- W4230552941 hasRelatedWork W1596801655 @default.
- W4230552941 hasRelatedWork W2130043461 @default.
- W4230552941 hasRelatedWork W2350741829 @default.
- W4230552941 hasRelatedWork W2358668433 @default.
- W4230552941 hasRelatedWork W2376932109 @default.
- W4230552941 hasRelatedWork W2382290278 @default.
- W4230552941 hasRelatedWork W2390279801 @default.
- W4230552941 hasRelatedWork W2748952813 @default.
- W4230552941 hasRelatedWork W2899084033 @default.
- W4230552941 hasRelatedWork W2530322880 @default.
- W4230552941 isParatext "false" @default.
- W4230552941 isRetracted "false" @default.
- W4230552941 workType "book-chapter" @default.