Matches in SemOpenAlex for { <https://semopenalex.org/work/W796000934> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W796000934 created "2016-06-24" @default.
- W796000934 creator A5019539173 @default.
- W796000934 date "1997-07-01" @default.
- W796000934 modified "2023-09-23" @default.
- W796000934 title "Proof Planning for Automating Hardware Verification" @default.
- W796000934 hasPublicationYear "1997" @default.
- W796000934 type Work @default.
- W796000934 sameAs 796000934 @default.
- W796000934 citedByCount "1" @default.
- W796000934 crossrefType "dissertation" @default.
- W796000934 hasAuthorship W796000934A5019539173 @default.
- W796000934 hasConcept C115903868 @default.
- W796000934 hasConcept C118524514 @default.
- W796000934 hasConcept C149635348 @default.
- W796000934 hasConcept C199360897 @default.
- W796000934 hasConcept C41008148 @default.
- W796000934 hasConcept C9390403 @default.
- W796000934 hasConceptScore W796000934C115903868 @default.
- W796000934 hasConceptScore W796000934C118524514 @default.
- W796000934 hasConceptScore W796000934C149635348 @default.
- W796000934 hasConceptScore W796000934C199360897 @default.
- W796000934 hasConceptScore W796000934C41008148 @default.
- W796000934 hasConceptScore W796000934C9390403 @default.
- W796000934 hasLocation W7960009341 @default.
- W796000934 hasOpenAccess W796000934 @default.
- W796000934 hasPrimaryLocation W7960009341 @default.
- W796000934 hasRelatedWork W1484851744 @default.
- W796000934 hasRelatedWork W1484942078 @default.
- W796000934 hasRelatedWork W1596831424 @default.
- W796000934 hasRelatedWork W2034526989 @default.
- W796000934 hasRelatedWork W2046370999 @default.
- W796000934 hasRelatedWork W2057956383 @default.
- W796000934 hasRelatedWork W2113487529 @default.
- W796000934 hasRelatedWork W2114042684 @default.
- W796000934 hasRelatedWork W2138825781 @default.
- W796000934 hasRelatedWork W2172028582 @default.
- W796000934 hasRelatedWork W2405145456 @default.
- W796000934 hasRelatedWork W2475557998 @default.
- W796000934 hasRelatedWork W2477025673 @default.
- W796000934 hasRelatedWork W2481990321 @default.
- W796000934 hasRelatedWork W2528256688 @default.
- W796000934 hasRelatedWork W2763992091 @default.
- W796000934 hasRelatedWork W3142856423 @default.
- W796000934 hasRelatedWork W3148292708 @default.
- W796000934 hasRelatedWork W3186572156 @default.
- W796000934 hasRelatedWork W772072587 @default.
- W796000934 isParatext "false" @default.
- W796000934 isRetracted "false" @default.
- W796000934 magId "796000934" @default.
- W796000934 workType "dissertation" @default.