Matches in SemOpenAlex for { <https://semopenalex.org/work/W2536944202> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2536944202 created "2016-10-28" @default.
- W2536944202 creator A5036166079 @default.
- W2536944202 creator A5069084799 @default.
- W2536944202 creator A5081184867 @default.
- W2536944202 date "2005-08-24" @default.
- W2536944202 modified "2023-10-14" @default.
- W2536944202 title "First Steps Towards Automating Hardware Proofs In HOL" @default.
- W2536944202 cites W1605476959 @default.
- W2536944202 cites W2535018452 @default.
- W2536944202 cites W74334858 @default.
- W2536944202 doi "https://doi.org/10.1109/hol.1991.596286" @default.
- W2536944202 hasPublicationYear "2005" @default.
- W2536944202 type Work @default.
- W2536944202 sameAs 2536944202 @default.
- W2536944202 citedByCount "2" @default.
- W2536944202 crossrefType "proceedings-article" @default.
- W2536944202 hasAuthorship W2536944202A5036166079 @default.
- W2536944202 hasAuthorship W2536944202A5069084799 @default.
- W2536944202 hasAuthorship W2536944202A5081184867 @default.
- W2536944202 hasConcept C108710211 @default.
- W2536944202 hasConcept C149635348 @default.
- W2536944202 hasConcept C17435882 @default.
- W2536944202 hasConcept C199360897 @default.
- W2536944202 hasConcept C2524010 @default.
- W2536944202 hasConcept C33923547 @default.
- W2536944202 hasConcept C41008148 @default.
- W2536944202 hasConcept C9390403 @default.
- W2536944202 hasConceptScore W2536944202C108710211 @default.
- W2536944202 hasConceptScore W2536944202C149635348 @default.
- W2536944202 hasConceptScore W2536944202C17435882 @default.
- W2536944202 hasConceptScore W2536944202C199360897 @default.
- W2536944202 hasConceptScore W2536944202C2524010 @default.
- W2536944202 hasConceptScore W2536944202C33923547 @default.
- W2536944202 hasConceptScore W2536944202C41008148 @default.
- W2536944202 hasConceptScore W2536944202C9390403 @default.
- W2536944202 hasLocation W25369442021 @default.
- W2536944202 hasOpenAccess W2536944202 @default.
- W2536944202 hasPrimaryLocation W25369442021 @default.
- W2536944202 hasRelatedWork W1556955196 @default.
- W2536944202 hasRelatedWork W1571620658 @default.
- W2536944202 hasRelatedWork W1606282492 @default.
- W2536944202 hasRelatedWork W1670685541 @default.
- W2536944202 hasRelatedWork W1856174529 @default.
- W2536944202 hasRelatedWork W1892989470 @default.
- W2536944202 hasRelatedWork W2015098903 @default.
- W2536944202 hasRelatedWork W2039193071 @default.
- W2536944202 hasRelatedWork W2043858766 @default.
- W2536944202 hasRelatedWork W2045513957 @default.
- W2536944202 hasRelatedWork W2079545801 @default.
- W2536944202 hasRelatedWork W2096666413 @default.
- W2536944202 hasRelatedWork W2105337588 @default.
- W2536944202 hasRelatedWork W2107442073 @default.
- W2536944202 hasRelatedWork W2130116292 @default.
- W2536944202 hasRelatedWork W2137974383 @default.
- W2536944202 hasRelatedWork W2139058049 @default.
- W2536944202 hasRelatedWork W2152513650 @default.
- W2536944202 hasRelatedWork W2769741791 @default.
- W2536944202 hasRelatedWork W1687381833 @default.
- W2536944202 isParatext "false" @default.
- W2536944202 isRetracted "false" @default.
- W2536944202 magId "2536944202" @default.
- W2536944202 workType "article" @default.