Matches in SemOpenAlex for { <https://semopenalex.org/work/W192136516> ?p ?o ?g. }
Showing items 1 to 44 of
44
with 100 items per page.
- W192136516 created "2016-06-24" @default.
- W192136516 creator A5002029908 @default.
- W192136516 date "1983-01-01" @default.
- W192136516 modified "2023-09-27" @default.
- W192136516 title "Proving a computer correct with the LCF_LSM hardware verification system" @default.
- W192136516 hasPublicationYear "1983" @default.
- W192136516 type Work @default.
- W192136516 sameAs 192136516 @default.
- W192136516 citedByCount "3" @default.
- W192136516 crossrefType "journal-article" @default.
- W192136516 hasAuthorship W192136516A5002029908 @default.
- W192136516 hasConcept C149635348 @default.
- W192136516 hasConcept C41008148 @default.
- W192136516 hasConcept C9390403 @default.
- W192136516 hasConceptScore W192136516C149635348 @default.
- W192136516 hasConceptScore W192136516C41008148 @default.
- W192136516 hasConceptScore W192136516C9390403 @default.
- W192136516 hasLocation W1921365161 @default.
- W192136516 hasOpenAccess W192136516 @default.
- W192136516 hasPrimaryLocation W1921365161 @default.
- W192136516 hasRelatedWork W1518675260 @default.
- W192136516 hasRelatedWork W1549345379 @default.
- W192136516 hasRelatedWork W1568333396 @default.
- W192136516 hasRelatedWork W1569134779 @default.
- W192136516 hasRelatedWork W1588212183 @default.
- W192136516 hasRelatedWork W1598671361 @default.
- W192136516 hasRelatedWork W1647784576 @default.
- W192136516 hasRelatedWork W1769977300 @default.
- W192136516 hasRelatedWork W1860458868 @default.
- W192136516 hasRelatedWork W2047932652 @default.
- W192136516 hasRelatedWork W2048827942 @default.
- W192136516 hasRelatedWork W2113757735 @default.
- W192136516 hasRelatedWork W2169991924 @default.
- W192136516 hasRelatedWork W2501958301 @default.
- W192136516 hasRelatedWork W2794729440 @default.
- W192136516 hasRelatedWork W2893886114 @default.
- W192136516 hasRelatedWork W2914762105 @default.
- W192136516 hasRelatedWork W647911039 @default.
- W192136516 hasRelatedWork W2280615696 @default.
- W192136516 hasRelatedWork W2846601288 @default.
- W192136516 isParatext "false" @default.
- W192136516 isRetracted "false" @default.
- W192136516 magId "192136516" @default.
- W192136516 workType "article" @default.