Matches in SemOpenAlex for { <https://semopenalex.org/work/W110834650> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W110834650 endingPage "110" @default.
- W110834650 startingPage "105" @default.
- W110834650 created "2016-06-24" @default.
- W110834650 creator A5043041058 @default.
- W110834650 creator A5051616105 @default.
- W110834650 creator A5052921394 @default.
- W110834650 date "2014-01-01" @default.
- W110834650 modified "2023-10-12" @default.
- W110834650 title "Research on Automated Theorem Finding: Current State and Future Directions" @default.
- W110834650 cites W1499566634 @default.
- W110834650 cites W1526001900 @default.
- W110834650 cites W1558323471 @default.
- W110834650 cites W1562474977 @default.
- W110834650 cites W1592435576 @default.
- W110834650 cites W1918573702 @default.
- W110834650 cites W1978735259 @default.
- W110834650 cites W1983376640 @default.
- W110834650 cites W1998401436 @default.
- W110834650 cites W2011937745 @default.
- W110834650 cites W201443511 @default.
- W110834650 cites W2104693850 @default.
- W110834650 cites W2123376705 @default.
- W110834650 cites W2147107225 @default.
- W110834650 doi "https://doi.org/10.1007/978-3-642-55038-6_16" @default.
- W110834650 hasPublicationYear "2014" @default.
- W110834650 type Work @default.
- W110834650 sameAs 110834650 @default.
- W110834650 citedByCount "6" @default.
- W110834650 countsByYear W1108346502015 @default.
- W110834650 countsByYear W1108346502016 @default.
- W110834650 countsByYear W1108346502017 @default.
- W110834650 countsByYear W1108346502018 @default.
- W110834650 countsByYear W1108346502019 @default.
- W110834650 crossrefType "book-chapter" @default.
- W110834650 hasAuthorship W110834650A5043041058 @default.
- W110834650 hasAuthorship W110834650A5051616105 @default.
- W110834650 hasAuthorship W110834650A5052921394 @default.
- W110834650 hasConcept C11413529 @default.
- W110834650 hasConcept C119599485 @default.
- W110834650 hasConcept C127413603 @default.
- W110834650 hasConcept C13766981 @default.
- W110834650 hasConcept C148043351 @default.
- W110834650 hasConcept C154945302 @default.
- W110834650 hasConcept C195344581 @default.
- W110834650 hasConcept C199343813 @default.
- W110834650 hasConcept C206880738 @default.
- W110834650 hasConcept C2777686260 @default.
- W110834650 hasConcept C3019060180 @default.
- W110834650 hasConcept C41008148 @default.
- W110834650 hasConcept C48103436 @default.
- W110834650 hasConcept C71924100 @default.
- W110834650 hasConcept C80444323 @default.
- W110834650 hasConceptScore W110834650C11413529 @default.
- W110834650 hasConceptScore W110834650C119599485 @default.
- W110834650 hasConceptScore W110834650C127413603 @default.
- W110834650 hasConceptScore W110834650C13766981 @default.
- W110834650 hasConceptScore W110834650C148043351 @default.
- W110834650 hasConceptScore W110834650C154945302 @default.
- W110834650 hasConceptScore W110834650C195344581 @default.
- W110834650 hasConceptScore W110834650C199343813 @default.
- W110834650 hasConceptScore W110834650C206880738 @default.
- W110834650 hasConceptScore W110834650C2777686260 @default.
- W110834650 hasConceptScore W110834650C3019060180 @default.
- W110834650 hasConceptScore W110834650C41008148 @default.
- W110834650 hasConceptScore W110834650C48103436 @default.
- W110834650 hasConceptScore W110834650C71924100 @default.
- W110834650 hasConceptScore W110834650C80444323 @default.
- W110834650 hasLocation W1108346501 @default.
- W110834650 hasOpenAccess W110834650 @default.
- W110834650 hasPrimaryLocation W1108346501 @default.
- W110834650 hasRelatedWork W110834650 @default.
- W110834650 hasRelatedWork W181315827 @default.
- W110834650 hasRelatedWork W1920869409 @default.
- W110834650 hasRelatedWork W1968376266 @default.
- W110834650 hasRelatedWork W197813433 @default.
- W110834650 hasRelatedWork W2120688002 @default.
- W110834650 hasRelatedWork W214195686 @default.
- W110834650 hasRelatedWork W2809689211 @default.
- W110834650 hasRelatedWork W2913968350 @default.
- W110834650 hasRelatedWork W2969740638 @default.
- W110834650 isParatext "false" @default.
- W110834650 isRetracted "false" @default.
- W110834650 magId "110834650" @default.
- W110834650 workType "book-chapter" @default.