Matches in SemOpenAlex for { <https://semopenalex.org/work/W3033641443> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W3033641443 created "2020-06-12" @default.
- W3033641443 creator A5005958488 @default.
- W3033641443 creator A5017185229 @default.
- W3033641443 creator A5064306038 @default.
- W3033641443 creator A5075828617 @default.
- W3033641443 date "2019-01-01" @default.
- W3033641443 modified "2023-09-23" @default.
- W3033641443 title "Machine Learning to Support an Interactive Theorem Prover" @default.
- W3033641443 hasPublicationYear "2019" @default.
- W3033641443 type Work @default.
- W3033641443 sameAs 3033641443 @default.
- W3033641443 citedByCount "0" @default.
- W3033641443 crossrefType "journal-article" @default.
- W3033641443 hasAuthorship W3033641443A5005958488 @default.
- W3033641443 hasAuthorship W3033641443A5017185229 @default.
- W3033641443 hasAuthorship W3033641443A5064306038 @default.
- W3033641443 hasAuthorship W3033641443A5075828617 @default.
- W3033641443 hasConcept C108710211 @default.
- W3033641443 hasConcept C154945302 @default.
- W3033641443 hasConcept C159718280 @default.
- W3033641443 hasConcept C199343813 @default.
- W3033641443 hasConcept C206880738 @default.
- W3033641443 hasConcept C2524010 @default.
- W3033641443 hasConcept C2777686260 @default.
- W3033641443 hasConcept C33923547 @default.
- W3033641443 hasConcept C41008148 @default.
- W3033641443 hasConcept C71924100 @default.
- W3033641443 hasConcept C80444323 @default.
- W3033641443 hasConceptScore W3033641443C108710211 @default.
- W3033641443 hasConceptScore W3033641443C154945302 @default.
- W3033641443 hasConceptScore W3033641443C159718280 @default.
- W3033641443 hasConceptScore W3033641443C199343813 @default.
- W3033641443 hasConceptScore W3033641443C206880738 @default.
- W3033641443 hasConceptScore W3033641443C2524010 @default.
- W3033641443 hasConceptScore W3033641443C2777686260 @default.
- W3033641443 hasConceptScore W3033641443C33923547 @default.
- W3033641443 hasConceptScore W3033641443C41008148 @default.
- W3033641443 hasConceptScore W3033641443C71924100 @default.
- W3033641443 hasConceptScore W3033641443C80444323 @default.
- W3033641443 hasLocation W30336414431 @default.
- W3033641443 hasOpenAccess W3033641443 @default.
- W3033641443 hasPrimaryLocation W30336414431 @default.
- W3033641443 hasRelatedWork W1487533857 @default.
- W3033641443 hasRelatedWork W1553511155 @default.
- W3033641443 hasRelatedWork W1556427327 @default.
- W3033641443 hasRelatedWork W1579574790 @default.
- W3033641443 hasRelatedWork W17889614 @default.
- W3033641443 hasRelatedWork W2034614936 @default.
- W3033641443 hasRelatedWork W2400117685 @default.
- W3033641443 hasRelatedWork W2486519520 @default.
- W3033641443 hasRelatedWork W2615535354 @default.
- W3033641443 hasRelatedWork W289357661 @default.
- W3033641443 hasRelatedWork W2941866998 @default.
- W3033641443 hasRelatedWork W2964077831 @default.
- W3033641443 hasRelatedWork W3204438756 @default.
- W3033641443 hasRelatedWork W3208924914 @default.
- W3033641443 hasRelatedWork W390490791 @default.
- W3033641443 hasRelatedWork W47107507 @default.
- W3033641443 hasRelatedWork W63122532 @default.
- W3033641443 hasRelatedWork W97894006 @default.
- W3033641443 hasRelatedWork W1542579875 @default.
- W3033641443 hasRelatedWork W2297848989 @default.
- W3033641443 isParatext "false" @default.
- W3033641443 isRetracted "false" @default.
- W3033641443 magId "3033641443" @default.
- W3033641443 workType "article" @default.