Matches in SemOpenAlex for { <https://semopenalex.org/work/W1881432009> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1881432009 endingPage "76" @default.
- W1881432009 startingPage "62" @default.
- W1881432009 created "2016-06-24" @default.
- W1881432009 creator A5026928710 @default.
- W1881432009 creator A5030305055 @default.
- W1881432009 date "1996-01-01" @default.
- W1881432009 modified "2023-09-24" @default.
- W1881432009 title "Learning domain knowledge to improve theorem proving" @default.
- W1881432009 cites W1535660288 @default.
- W1881432009 cites W1979101142 @default.
- W1881432009 cites W2507006525 @default.
- W1881432009 doi "https://doi.org/10.1007/3-540-61511-3_69" @default.
- W1881432009 hasPublicationYear "1996" @default.
- W1881432009 type Work @default.
- W1881432009 sameAs 1881432009 @default.
- W1881432009 citedByCount "25" @default.
- W1881432009 countsByYear W18814320092013 @default.
- W1881432009 countsByYear W18814320092021 @default.
- W1881432009 crossrefType "book-chapter" @default.
- W1881432009 hasAuthorship W1881432009A5026928710 @default.
- W1881432009 hasAuthorship W1881432009A5030305055 @default.
- W1881432009 hasConcept C108710211 @default.
- W1881432009 hasConcept C111919701 @default.
- W1881432009 hasConcept C127705205 @default.
- W1881432009 hasConcept C134306372 @default.
- W1881432009 hasConcept C14036430 @default.
- W1881432009 hasConcept C154945302 @default.
- W1881432009 hasConcept C177264268 @default.
- W1881432009 hasConcept C199360897 @default.
- W1881432009 hasConcept C206880738 @default.
- W1881432009 hasConcept C207685749 @default.
- W1881432009 hasConcept C2524010 @default.
- W1881432009 hasConcept C2776214188 @default.
- W1881432009 hasConcept C33923547 @default.
- W1881432009 hasConcept C36503486 @default.
- W1881432009 hasConcept C41008148 @default.
- W1881432009 hasConcept C4554734 @default.
- W1881432009 hasConcept C78458016 @default.
- W1881432009 hasConcept C80444323 @default.
- W1881432009 hasConcept C86803240 @default.
- W1881432009 hasConceptScore W1881432009C108710211 @default.
- W1881432009 hasConceptScore W1881432009C111919701 @default.
- W1881432009 hasConceptScore W1881432009C127705205 @default.
- W1881432009 hasConceptScore W1881432009C134306372 @default.
- W1881432009 hasConceptScore W1881432009C14036430 @default.
- W1881432009 hasConceptScore W1881432009C154945302 @default.
- W1881432009 hasConceptScore W1881432009C177264268 @default.
- W1881432009 hasConceptScore W1881432009C199360897 @default.
- W1881432009 hasConceptScore W1881432009C206880738 @default.
- W1881432009 hasConceptScore W1881432009C207685749 @default.
- W1881432009 hasConceptScore W1881432009C2524010 @default.
- W1881432009 hasConceptScore W1881432009C2776214188 @default.
- W1881432009 hasConceptScore W1881432009C33923547 @default.
- W1881432009 hasConceptScore W1881432009C36503486 @default.
- W1881432009 hasConceptScore W1881432009C41008148 @default.
- W1881432009 hasConceptScore W1881432009C4554734 @default.
- W1881432009 hasConceptScore W1881432009C78458016 @default.
- W1881432009 hasConceptScore W1881432009C80444323 @default.
- W1881432009 hasConceptScore W1881432009C86803240 @default.
- W1881432009 hasLocation W18814320091 @default.
- W1881432009 hasOpenAccess W1881432009 @default.
- W1881432009 hasPrimaryLocation W18814320091 @default.
- W1881432009 hasRelatedWork W1500939363 @default.
- W1881432009 hasRelatedWork W1860126932 @default.
- W1881432009 hasRelatedWork W1881432009 @default.
- W1881432009 hasRelatedWork W2110595262 @default.
- W1881432009 hasRelatedWork W2110706569 @default.
- W1881432009 hasRelatedWork W2335990354 @default.
- W1881432009 hasRelatedWork W2385621242 @default.
- W1881432009 hasRelatedWork W2596241031 @default.
- W1881432009 hasRelatedWork W2938239299 @default.
- W1881432009 hasRelatedWork W3175856623 @default.
- W1881432009 isParatext "false" @default.
- W1881432009 isRetracted "false" @default.
- W1881432009 magId "1881432009" @default.
- W1881432009 workType "book-chapter" @default.