Matches in SemOpenAlex for { <https://semopenalex.org/work/W4241052775> ?p ?o ?g. }
Showing items 1 to 35 of
35
with 100 items per page.
- W4241052775 created "2022-05-12" @default.
- W4241052775 creator A5082596567 @default.
- W4241052775 date "2014-10-01" @default.
- W4241052775 modified "2023-09-24" @default.
- W4241052775 title "Challenges in bit-precise reasoning" @default.
- W4241052775 doi "https://doi.org/10.1109/fmcad.2014.6987584" @default.
- W4241052775 hasPublicationYear "2014" @default.
- W4241052775 type Work @default.
- W4241052775 citedByCount "2" @default.
- W4241052775 countsByYear W42410527752017 @default.
- W4241052775 countsByYear W42410527752019 @default.
- W4241052775 crossrefType "proceedings-article" @default.
- W4241052775 hasAuthorship W4241052775A5082596567 @default.
- W4241052775 hasConcept C117011727 @default.
- W4241052775 hasConcept C38652104 @default.
- W4241052775 hasConcept C41008148 @default.
- W4241052775 hasConceptScore W4241052775C117011727 @default.
- W4241052775 hasConceptScore W4241052775C38652104 @default.
- W4241052775 hasConceptScore W4241052775C41008148 @default.
- W4241052775 hasLocation W42410527751 @default.
- W4241052775 hasOpenAccess W4241052775 @default.
- W4241052775 hasPrimaryLocation W42410527751 @default.
- W4241052775 hasRelatedWork W11174465 @default.
- W4241052775 hasRelatedWork W11415567 @default.
- W4241052775 hasRelatedWork W15739515 @default.
- W4241052775 hasRelatedWork W3505987 @default.
- W4241052775 hasRelatedWork W5412430 @default.
- W4241052775 hasRelatedWork W5683021 @default.
- W4241052775 hasRelatedWork W5894556 @default.
- W4241052775 hasRelatedWork W6544515 @default.
- W4241052775 hasRelatedWork W7126502 @default.
- W4241052775 hasRelatedWork W8129411 @default.
- W4241052775 isParatext "false" @default.
- W4241052775 isRetracted "false" @default.
- W4241052775 workType "article" @default.