Matches in SemOpenAlex for { <https://semopenalex.org/work/W2297029380> ?p ?o ?g. }
Showing items 1 to 40 of
40
with 100 items per page.
- W2297029380 created "2016-06-24" @default.
- W2297029380 creator A5034009786 @default.
- W2297029380 creator A5076638419 @default.
- W2297029380 creator A5090974026 @default.
- W2297029380 date "1991-06-06" @default.
- W2297029380 modified "2023-09-27" @default.
- W2297029380 title "Computer-Aided Verification ’90" @default.
- W2297029380 doi "https://doi.org/10.1090/dimacs/003" @default.
- W2297029380 hasPublicationYear "1991" @default.
- W2297029380 type Work @default.
- W2297029380 sameAs 2297029380 @default.
- W2297029380 citedByCount "6" @default.
- W2297029380 countsByYear W22970293802016 @default.
- W2297029380 crossrefType "monograph" @default.
- W2297029380 hasAuthorship W2297029380A5034009786 @default.
- W2297029380 hasAuthorship W2297029380A5076638419 @default.
- W2297029380 hasAuthorship W2297029380A5090974026 @default.
- W2297029380 hasConcept C41008148 @default.
- W2297029380 hasConceptScore W2297029380C41008148 @default.
- W2297029380 hasLocation W22970293801 @default.
- W2297029380 hasOpenAccess W2297029380 @default.
- W2297029380 hasPrimaryLocation W22970293801 @default.
- W2297029380 hasRelatedWork W184890046 @default.
- W2297029380 hasRelatedWork W1967375057 @default.
- W2297029380 hasRelatedWork W2231953252 @default.
- W2297029380 hasRelatedWork W2309582574 @default.
- W2297029380 hasRelatedWork W2496764087 @default.
- W2297029380 hasRelatedWork W2588869261 @default.
- W2297029380 hasRelatedWork W2799352616 @default.
- W2297029380 hasRelatedWork W2896049118 @default.
- W2297029380 hasRelatedWork W2964440234 @default.
- W2297029380 hasRelatedWork W2970231833 @default.
- W2297029380 hasRelatedWork W747108014 @default.
- W2297029380 hasRelatedWork W2181649929 @default.
- W2297029380 hasRelatedWork W2760312237 @default.
- W2297029380 hasRelatedWork W2837369516 @default.
- W2297029380 isParatext "false" @default.
- W2297029380 isRetracted "false" @default.
- W2297029380 magId "2297029380" @default.
- W2297029380 workType "book" @default.