Matches in SemOpenAlex for { <https://semopenalex.org/work/W2891151857> ?p ?o ?g. }
Showing items 1 to 44 of
44
with 100 items per page.
- W2891151857 created "2018-09-27" @default.
- W2891151857 creator A5044643168 @default.
- W2891151857 date "2018-09-12" @default.
- W2891151857 modified "2023-09-28" @default.
- W2891151857 title "Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis" @default.
- W2891151857 doi "https://doi.org/10.4204/eptcs.278.2" @default.
- W2891151857 hasPublicationYear "2018" @default.
- W2891151857 type Work @default.
- W2891151857 sameAs 2891151857 @default.
- W2891151857 citedByCount "0" @default.
- W2891151857 crossrefType "journal-article" @default.
- W2891151857 hasAuthorship W2891151857A5044643168 @default.
- W2891151857 hasBestOaLocation W28911518571 @default.
- W2891151857 hasConcept C152076505 @default.
- W2891151857 hasConcept C15744967 @default.
- W2891151857 hasConcept C189790780 @default.
- W2891151857 hasConcept C19417346 @default.
- W2891151857 hasConcept C199360897 @default.
- W2891151857 hasConcept C41008148 @default.
- W2891151857 hasConcept C81721847 @default.
- W2891151857 hasConceptScore W2891151857C152076505 @default.
- W2891151857 hasConceptScore W2891151857C15744967 @default.
- W2891151857 hasConceptScore W2891151857C189790780 @default.
- W2891151857 hasConceptScore W2891151857C19417346 @default.
- W2891151857 hasConceptScore W2891151857C199360897 @default.
- W2891151857 hasConceptScore W2891151857C41008148 @default.
- W2891151857 hasConceptScore W2891151857C81721847 @default.
- W2891151857 hasLocation W28911518571 @default.
- W2891151857 hasOpenAccess W2891151857 @default.
- W2891151857 hasPrimaryLocation W28911518571 @default.
- W2891151857 hasRelatedWork W159293789 @default.
- W2891151857 hasRelatedWork W2022937548 @default.
- W2891151857 hasRelatedWork W2025796387 @default.
- W2891151857 hasRelatedWork W2125129987 @default.
- W2891151857 hasRelatedWork W2226794832 @default.
- W2891151857 hasRelatedWork W2390742962 @default.
- W2891151857 hasRelatedWork W2509598676 @default.
- W2891151857 hasRelatedWork W2568236667 @default.
- W2891151857 hasRelatedWork W2810730020 @default.
- W2891151857 hasRelatedWork W2165399469 @default.
- W2891151857 isParatext "false" @default.
- W2891151857 isRetracted "false" @default.
- W2891151857 magId "2891151857" @default.
- W2891151857 workType "article" @default.