Matches in SemOpenAlex for { <https://semopenalex.org/work/W2890980364> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- W2890980364 created "2018-09-27" @default.
- W2890980364 creator A5039281466 @default.
- W2890980364 creator A5041875141 @default.
- W2890980364 date "2018-09-12" @default.
- W2890980364 modified "2023-09-23" @default.
- W2890980364 title "Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis" @default.
- W2890980364 doi "https://doi.org/10.4204/eptcs.278.0" @default.
- W2890980364 hasPublicationYear "2018" @default.
- W2890980364 type Work @default.
- W2890980364 sameAs 2890980364 @default.
- W2890980364 citedByCount "2" @default.
- W2890980364 countsByYear W28909803642019 @default.
- W2890980364 countsByYear W28909803642022 @default.
- W2890980364 crossrefType "journal-article" @default.
- W2890980364 hasAuthorship W2890980364A5039281466 @default.
- W2890980364 hasAuthorship W2890980364A5041875141 @default.
- W2890980364 hasBestOaLocation W28909803641 @default.
- W2890980364 hasConcept C152076505 @default.
- W2890980364 hasConcept C15744967 @default.
- W2890980364 hasConcept C189790780 @default.
- W2890980364 hasConcept C19417346 @default.
- W2890980364 hasConcept C199360897 @default.
- W2890980364 hasConcept C41008148 @default.
- W2890980364 hasConcept C81721847 @default.
- W2890980364 hasConceptScore W2890980364C152076505 @default.
- W2890980364 hasConceptScore W2890980364C15744967 @default.
- W2890980364 hasConceptScore W2890980364C189790780 @default.
- W2890980364 hasConceptScore W2890980364C19417346 @default.
- W2890980364 hasConceptScore W2890980364C199360897 @default.
- W2890980364 hasConceptScore W2890980364C41008148 @default.
- W2890980364 hasConceptScore W2890980364C81721847 @default.
- W2890980364 hasLocation W28909803641 @default.
- W2890980364 hasOpenAccess W2890980364 @default.
- W2890980364 hasPrimaryLocation W28909803641 @default.
- W2890980364 hasRelatedWork W159293789 @default.
- W2890980364 hasRelatedWork W2022937548 @default.
- W2890980364 hasRelatedWork W2025796387 @default.
- W2890980364 hasRelatedWork W2125129987 @default.
- W2890980364 hasRelatedWork W2226794832 @default.
- W2890980364 hasRelatedWork W2390742962 @default.
- W2890980364 hasRelatedWork W2509598676 @default.
- W2890980364 hasRelatedWork W2568236667 @default.
- W2890980364 hasRelatedWork W2810730020 @default.
- W2890980364 hasRelatedWork W2165399469 @default.
- W2890980364 isParatext "false" @default.
- W2890980364 isRetracted "false" @default.
- W2890980364 magId "2890980364" @default.
- W2890980364 workType "article" @default.