FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3087777408> ?p ?o ?g. }

• W3087777408 created "2020-10-01" @default.
• W3087777408 creator A5032460892 @default.
• W3087777408 creator A5066768973 @default.
• W3087777408 creator A5075945595 @default.
• W3087777408 date "2020-09-26" @default.
• W3087777408 modified "2023-09-24" @default.
• W3087777408 title "Formal Verification of ECCs for Memories Using ACL2" @default.
• W3087777408 cites W130705246 @default.
• W3087777408 cites W140959013 @default.
• W3087777408 cites W1541483005 @default.
• W3087777408 cites W1967835393 @default.
• W3087777408 cites W1999365446 @default.
• W3087777408 cites W2023856022 @default.
• W3087777408 cites W2024791001 @default.
• W3087777408 cites W2030660537 @default.
• W3087777408 cites W2034717157 @default.
• W3087777408 cites W2043483139 @default.
• W3087777408 cites W2047276574 @default.
• W3087777408 cites W2048503119 @default.
• W3087777408 cites W2086835673 @default.
• W3087777408 cites W2087761502 @default.
• W3087777408 cites W2089014520 @default.
• W3087777408 cites W2103415152 @default.
• W3087777408 cites W2107049974 @default.
• W3087777408 cites W2107672210 @default.
• W3087777408 cites W2108578145 @default.
• W3087777408 cites W2111031278 @default.
• W3087777408 cites W2122683098 @default.
• W3087777408 cites W2137874240 @default.
• W3087777408 cites W2141472133 @default.
• W3087777408 cites W2143137068 @default.
• W3087777408 cites W2151947899 @default.
• W3087777408 cites W2152652532 @default.
• W3087777408 cites W2154044472 @default.
• W3087777408 cites W2413840352 @default.
• W3087777408 cites W2595531433 @default.
• W3087777408 cites W2700668 @default.
• W3087777408 cites W2806769967 @default.
• W3087777408 cites W2921385613 @default.
• W3087777408 cites W3000218028 @default.
• W3087777408 cites W4230392938 @default.
• W3087777408 cites W4242741415 @default.
• W3087777408 cites W4248229502 @default.
• W3087777408 cites W4253698428 @default.
• W3087777408 cites W1491775145 @default.
• W3087777408 cites W1980073965 @default.
• W3087777408 doi "https://doi.org/10.1007/s10836-020-05904-2" @default.
• W3087777408 hasPublicationYear "2020" @default.
• W3087777408 type Work @default.
• W3087777408 sameAs 3087777408 @default.
• W3087777408 citedByCount "1" @default.
• W3087777408 countsByYear W30877774082022 @default.
• W3087777408 crossrefType "journal-article" @default.
• W3087777408 hasAuthorship W3087777408A5032460892 @default.
• W3087777408 hasAuthorship W3087777408A5066768973 @default.
• W3087777408 hasAuthorship W3087777408A5075945595 @default.
• W3087777408 hasConcept C103088060 @default.
• W3087777408 hasConcept C111498074 @default.
• W3087777408 hasConcept C11413529 @default.
• W3087777408 hasConcept C153207627 @default.
• W3087777408 hasConcept C157125643 @default.
• W3087777408 hasConcept C177264268 @default.
• W3087777408 hasConcept C193319292 @default.
• W3087777408 hasConcept C199360897 @default.
• W3087777408 hasConcept C206880738 @default.
• W3087777408 hasConcept C2776760102 @default.
• W3087777408 hasConcept C33923547 @default.
• W3087777408 hasConcept C41008148 @default.
• W3087777408 hasConcept C57273362 @default.
• W3087777408 hasConcept C73150493 @default.
• W3087777408 hasConcept C80444323 @default.
• W3087777408 hasConcept C94375191 @default.
• W3087777408 hasConceptScore W3087777408C103088060 @default.
• W3087777408 hasConceptScore W3087777408C111498074 @default.
• W3087777408 hasConceptScore W3087777408C11413529 @default.
• W3087777408 hasConceptScore W3087777408C153207627 @default.
• W3087777408 hasConceptScore W3087777408C157125643 @default.
• W3087777408 hasConceptScore W3087777408C177264268 @default.
• W3087777408 hasConceptScore W3087777408C193319292 @default.
• W3087777408 hasConceptScore W3087777408C199360897 @default.
• W3087777408 hasConceptScore W3087777408C206880738 @default.
• W3087777408 hasConceptScore W3087777408C2776760102 @default.
• W3087777408 hasConceptScore W3087777408C33923547 @default.
• W3087777408 hasConceptScore W3087777408C41008148 @default.
• W3087777408 hasConceptScore W3087777408C57273362 @default.
• W3087777408 hasConceptScore W3087777408C73150493 @default.
• W3087777408 hasConceptScore W3087777408C80444323 @default.
• W3087777408 hasConceptScore W3087777408C94375191 @default.
• W3087777408 hasLocation W30877774081 @default.
• W3087777408 hasOpenAccess W3087777408 @default.
• W3087777408 hasPrimaryLocation W30877774081 @default.
• W3087777408 hasRelatedWork W12455754 @default.
• W3087777408 hasRelatedWork W12986456 @default.
• W3087777408 hasRelatedWork W13452620 @default.
• W3087777408 hasRelatedWork W1482794 @default.
• W3087777408 hasRelatedWork W1713610 @default.
• W3087777408 hasRelatedWork W2288352 @default.
• W3087777408 hasRelatedWork W327400 @default.
• W3087777408 hasRelatedWork W5867707 @default.
• W3087777408 hasRelatedWork W8439598 @default.

• next