Matches in SemOpenAlex for { <https://semopenalex.org/work/W205403492> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W205403492 created "2016-06-24" @default.
- W205403492 creator A5078724981 @default.
- W205403492 date "1990-01-01" @default.
- W205403492 modified "2023-09-27" @default.
- W205403492 title "More Reasons Why Higher-Order Logic is a Good Formalism for Specifying and Verifying Hardware" @default.
- W205403492 cites W1518675260 @default.
- W205403492 cites W1525749267 @default.
- W205403492 cites W1565936897 @default.
- W205403492 cites W1566071989 @default.
- W205403492 cites W1608891104 @default.
- W205403492 cites W1967686058 @default.
- W205403492 cites W1994879909 @default.
- W205403492 cites W2080901110 @default.
- W205403492 cites W2084715426 @default.
- W205403492 cites W2148579499 @default.
- W205403492 hasPublicationYear "1990" @default.
- W205403492 type Work @default.
- W205403492 sameAs 205403492 @default.
- W205403492 citedByCount "4" @default.
- W205403492 countsByYear W2054034922014 @default.
- W205403492 crossrefType "journal-article" @default.
- W205403492 hasAuthorship W205403492A5078724981 @default.
- W205403492 hasConcept C11413529 @default.
- W205403492 hasConcept C142362112 @default.
- W205403492 hasConcept C153349607 @default.
- W205403492 hasConcept C199360897 @default.
- W205403492 hasConcept C41008148 @default.
- W205403492 hasConcept C558565934 @default.
- W205403492 hasConcept C73301696 @default.
- W205403492 hasConcept C80444323 @default.
- W205403492 hasConceptScore W205403492C11413529 @default.
- W205403492 hasConceptScore W205403492C142362112 @default.
- W205403492 hasConceptScore W205403492C153349607 @default.
- W205403492 hasConceptScore W205403492C199360897 @default.
- W205403492 hasConceptScore W205403492C41008148 @default.
- W205403492 hasConceptScore W205403492C558565934 @default.
- W205403492 hasConceptScore W205403492C73301696 @default.
- W205403492 hasConceptScore W205403492C80444323 @default.
- W205403492 hasLocation W2054034921 @default.
- W205403492 hasOpenAccess W205403492 @default.
- W205403492 hasPrimaryLocation W2054034921 @default.
- W205403492 hasRelatedWork W121890175 @default.
- W205403492 hasRelatedWork W1491483666 @default.
- W205403492 hasRelatedWork W1494541138 @default.
- W205403492 hasRelatedWork W1536502027 @default.
- W205403492 hasRelatedWork W1600191109 @default.
- W205403492 hasRelatedWork W1848210326 @default.
- W205403492 hasRelatedWork W2129057127 @default.
- W205403492 hasRelatedWork W2225969887 @default.
- W205403492 hasRelatedWork W2338081809 @default.
- W205403492 hasRelatedWork W2464872518 @default.
- W205403492 hasRelatedWork W2495922928 @default.
- W205403492 hasRelatedWork W2514001358 @default.
- W205403492 hasRelatedWork W2550970678 @default.
- W205403492 hasRelatedWork W2612475455 @default.
- W205403492 hasRelatedWork W2715189260 @default.
- W205403492 hasRelatedWork W2963827670 @default.
- W205403492 hasRelatedWork W3127524265 @default.
- W205403492 hasRelatedWork W3175446617 @default.
- W205403492 hasRelatedWork W3194404527 @default.
- W205403492 hasRelatedWork W91917710 @default.
- W205403492 isParatext "false" @default.
- W205403492 isRetracted "false" @default.
- W205403492 magId "205403492" @default.
- W205403492 workType "article" @default.