Matches in SemOpenAlex for { <https://semopenalex.org/work/W1490317596> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W1490317596 endingPage "1051" @default.
- W1490317596 startingPage "1041" @default.
- W1490317596 created "2016-06-24" @default.
- W1490317596 creator A5050394288 @default.
- W1490317596 creator A5050882097 @default.
- W1490317596 creator A5062461863 @default.
- W1490317596 date "2000-01-01" @default.
- W1490317596 modified "2023-09-26" @default.
- W1490317596 title "VERILAT: Verification by Logic Augmentation and Transformation" @default.
- W1490317596 hasPublicationYear "2000" @default.
- W1490317596 type Work @default.
- W1490317596 sameAs 1490317596 @default.
- W1490317596 citedByCount "2" @default.
- W1490317596 countsByYear W14903175962015 @default.
- W1490317596 crossrefType "journal-article" @default.
- W1490317596 hasAuthorship W1490317596A5050394288 @default.
- W1490317596 hasAuthorship W1490317596A5050882097 @default.
- W1490317596 hasAuthorship W1490317596A5062461863 @default.
- W1490317596 hasConcept C104317684 @default.
- W1490317596 hasConcept C185592680 @default.
- W1490317596 hasConcept C199360897 @default.
- W1490317596 hasConcept C204241405 @default.
- W1490317596 hasConcept C41008148 @default.
- W1490317596 hasConcept C55493867 @default.
- W1490317596 hasConceptScore W1490317596C104317684 @default.
- W1490317596 hasConceptScore W1490317596C185592680 @default.
- W1490317596 hasConceptScore W1490317596C199360897 @default.
- W1490317596 hasConceptScore W1490317596C204241405 @default.
- W1490317596 hasConceptScore W1490317596C41008148 @default.
- W1490317596 hasConceptScore W1490317596C55493867 @default.
- W1490317596 hasLocation W14903175961 @default.
- W1490317596 hasOpenAccess W1490317596 @default.
- W1490317596 hasPrimaryLocation W14903175961 @default.
- W1490317596 hasRelatedWork W1528837436 @default.
- W1490317596 hasRelatedWork W1552663356 @default.
- W1490317596 hasRelatedWork W1832851504 @default.
- W1490317596 hasRelatedWork W198702368 @default.
- W1490317596 hasRelatedWork W2051749343 @default.
- W1490317596 hasRelatedWork W2119536726 @default.
- W1490317596 hasRelatedWork W2155077375 @default.
- W1490317596 hasRelatedWork W2168362805 @default.
- W1490317596 hasRelatedWork W2565977307 @default.
- W1490317596 hasRelatedWork W2660131917 @default.
- W1490317596 hasRelatedWork W2738361153 @default.
- W1490317596 hasRelatedWork W2788308899 @default.
- W1490317596 hasRelatedWork W2808492605 @default.
- W1490317596 hasRelatedWork W2908729644 @default.
- W1490317596 hasRelatedWork W3003797644 @default.
- W1490317596 hasRelatedWork W3100241451 @default.
- W1490317596 hasRelatedWork W3115048538 @default.
- W1490317596 hasRelatedWork W574161834 @default.
- W1490317596 hasRelatedWork W632557496 @default.
- W1490317596 hasRelatedWork W2824363737 @default.
- W1490317596 isParatext "false" @default.
- W1490317596 isRetracted "false" @default.
- W1490317596 magId "1490317596" @default.
- W1490317596 workType "article" @default.