Matches in SemOpenAlex for { <https://semopenalex.org/work/W390490791> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W390490791 created "2016-06-24" @default.
- W390490791 creator A5062651906 @default.
- W390490791 date "1981-01-01" @default.
- W390490791 modified "2023-09-27" @default.
- W390490791 title "Knowledge based theorem proving and learning" @default.
- W390490791 hasPublicationYear "1981" @default.
- W390490791 type Work @default.
- W390490791 sameAs 390490791 @default.
- W390490791 citedByCount "4" @default.
- W390490791 crossrefType "book" @default.
- W390490791 hasAuthorship W390490791A5062651906 @default.
- W390490791 hasConcept C144237770 @default.
- W390490791 hasConcept C199343813 @default.
- W390490791 hasConcept C2777686260 @default.
- W390490791 hasConcept C33923547 @default.
- W390490791 hasConcept C41008148 @default.
- W390490791 hasConcept C71924100 @default.
- W390490791 hasConceptScore W390490791C144237770 @default.
- W390490791 hasConceptScore W390490791C199343813 @default.
- W390490791 hasConceptScore W390490791C2777686260 @default.
- W390490791 hasConceptScore W390490791C33923547 @default.
- W390490791 hasConceptScore W390490791C41008148 @default.
- W390490791 hasConceptScore W390490791C71924100 @default.
- W390490791 hasLocation W3904907911 @default.
- W390490791 hasOpenAccess W390490791 @default.
- W390490791 hasPrimaryLocation W3904907911 @default.
- W390490791 hasRelatedWork W1531901718 @default.
- W390490791 hasRelatedWork W1553511155 @default.
- W390490791 hasRelatedWork W1594393861 @default.
- W390490791 hasRelatedWork W20054469 @default.
- W390490791 hasRelatedWork W2040183410 @default.
- W390490791 hasRelatedWork W2486519520 @default.
- W390490791 hasRelatedWork W2549482841 @default.
- W390490791 hasRelatedWork W2590678415 @default.
- W390490791 hasRelatedWork W2612532395 @default.
- W390490791 hasRelatedWork W2612664774 @default.
- W390490791 hasRelatedWork W2613584484 @default.
- W390490791 hasRelatedWork W2744220352 @default.
- W390490791 hasRelatedWork W2754906292 @default.
- W390490791 hasRelatedWork W2786449515 @default.
- W390490791 hasRelatedWork W289357661 @default.
- W390490791 hasRelatedWork W2952409637 @default.
- W390490791 hasRelatedWork W3033641443 @default.
- W390490791 hasRelatedWork W3208924914 @default.
- W390490791 hasRelatedWork W74839752 @default.
- W390490791 hasRelatedWork W3084664354 @default.
- W390490791 isParatext "false" @default.
- W390490791 isRetracted "false" @default.
- W390490791 magId "390490791" @default.
- W390490791 workType "book" @default.