Matches in SemOpenAlex for { <https://semopenalex.org/work/W794880082> ?p ?o ?g. }
Showing items 1 to 40 of
40
with 100 items per page.
- W794880082 created "2016-06-24" @default.
- W794880082 creator A5067135306 @default.
- W794880082 creator A5088595514 @default.
- W794880082 date "2014-01-01" @default.
- W794880082 modified "2023-09-28" @default.
- W794880082 title "Proceedings of the Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014" @default.
- W794880082 hasPublicationYear "2014" @default.
- W794880082 type Work @default.
- W794880082 sameAs 794880082 @default.
- W794880082 citedByCount "0" @default.
- W794880082 crossrefType "journal-article" @default.
- W794880082 hasAuthorship W794880082A5067135306 @default.
- W794880082 hasAuthorship W794880082A5088595514 @default.
- W794880082 hasConcept C108710211 @default.
- W794880082 hasConcept C159718280 @default.
- W794880082 hasConcept C199343813 @default.
- W794880082 hasConcept C199360897 @default.
- W794880082 hasConcept C206880738 @default.
- W794880082 hasConcept C2524010 @default.
- W794880082 hasConcept C2777686260 @default.
- W794880082 hasConcept C33923547 @default.
- W794880082 hasConcept C41008148 @default.
- W794880082 hasConcept C71924100 @default.
- W794880082 hasConceptScore W794880082C108710211 @default.
- W794880082 hasConceptScore W794880082C159718280 @default.
- W794880082 hasConceptScore W794880082C199343813 @default.
- W794880082 hasConceptScore W794880082C199360897 @default.
- W794880082 hasConceptScore W794880082C206880738 @default.
- W794880082 hasConceptScore W794880082C2524010 @default.
- W794880082 hasConceptScore W794880082C2777686260 @default.
- W794880082 hasConceptScore W794880082C33923547 @default.
- W794880082 hasConceptScore W794880082C41008148 @default.
- W794880082 hasConceptScore W794880082C71924100 @default.
- W794880082 hasLocation W7948800821 @default.
- W794880082 hasOpenAccess W794880082 @default.
- W794880082 hasPrimaryLocation W7948800821 @default.
- W794880082 isParatext "false" @default.
- W794880082 isRetracted "false" @default.
- W794880082 magId "794880082" @default.
- W794880082 workType "article" @default.