Matches in SemOpenAlex for { <https://semopenalex.org/work/W2748034626> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2748034626 created "2017-08-31" @default.
- W2748034626 creator A5005920388 @default.
- W2748034626 date "2017-01-01" @default.
- W2748034626 modified "2023-09-26" @default.
- W2748034626 title "Symbolic model checking of multi-modal logics : uniform strategies and rich explanations" @default.
- W2748034626 hasPublicationYear "2017" @default.
- W2748034626 type Work @default.
- W2748034626 sameAs 2748034626 @default.
- W2748034626 citedByCount "1" @default.
- W2748034626 countsByYear W27480346262019 @default.
- W2748034626 crossrefType "journal-article" @default.
- W2748034626 hasAuthorship W2748034626A5005920388 @default.
- W2748034626 hasConcept C102993220 @default.
- W2748034626 hasConcept C110251889 @default.
- W2748034626 hasConcept C11191006 @default.
- W2748034626 hasConcept C114092440 @default.
- W2748034626 hasConcept C11413529 @default.
- W2748034626 hasConcept C154945302 @default.
- W2748034626 hasConcept C185592680 @default.
- W2748034626 hasConcept C188027245 @default.
- W2748034626 hasConcept C203659156 @default.
- W2748034626 hasConcept C23123167 @default.
- W2748034626 hasConcept C33923547 @default.
- W2748034626 hasConcept C41008148 @default.
- W2748034626 hasConcept C71139939 @default.
- W2748034626 hasConceptScore W2748034626C102993220 @default.
- W2748034626 hasConceptScore W2748034626C110251889 @default.
- W2748034626 hasConceptScore W2748034626C11191006 @default.
- W2748034626 hasConceptScore W2748034626C114092440 @default.
- W2748034626 hasConceptScore W2748034626C11413529 @default.
- W2748034626 hasConceptScore W2748034626C154945302 @default.
- W2748034626 hasConceptScore W2748034626C185592680 @default.
- W2748034626 hasConceptScore W2748034626C188027245 @default.
- W2748034626 hasConceptScore W2748034626C203659156 @default.
- W2748034626 hasConceptScore W2748034626C23123167 @default.
- W2748034626 hasConceptScore W2748034626C33923547 @default.
- W2748034626 hasConceptScore W2748034626C41008148 @default.
- W2748034626 hasConceptScore W2748034626C71139939 @default.
- W2748034626 hasLocation W27480346261 @default.
- W2748034626 hasOpenAccess W2748034626 @default.
- W2748034626 hasPrimaryLocation W27480346261 @default.
- W2748034626 hasRelatedWork W119381390 @default.
- W2748034626 hasRelatedWork W1529747067 @default.
- W2748034626 hasRelatedWork W1529755074 @default.
- W2748034626 hasRelatedWork W1771944222 @default.
- W2748034626 hasRelatedWork W1969011867 @default.
- W2748034626 hasRelatedWork W2003037011 @default.
- W2748034626 hasRelatedWork W201372017 @default.
- W2748034626 hasRelatedWork W2025362088 @default.
- W2748034626 hasRelatedWork W2031522732 @default.
- W2748034626 hasRelatedWork W2048522539 @default.
- W2748034626 hasRelatedWork W2048905609 @default.
- W2748034626 hasRelatedWork W2113066314 @default.
- W2748034626 hasRelatedWork W2407644501 @default.
- W2748034626 hasRelatedWork W2579346949 @default.
- W2748034626 hasRelatedWork W290590429 @default.
- W2748034626 hasRelatedWork W59705961 @default.
- W2748034626 hasRelatedWork W74396429 @default.
- W2748034626 hasRelatedWork W932593208 @default.
- W2748034626 hasRelatedWork W982481174 @default.
- W2748034626 hasRelatedWork W2560706666 @default.
- W2748034626 isParatext "false" @default.
- W2748034626 isRetracted "false" @default.
- W2748034626 magId "2748034626" @default.
- W2748034626 workType "article" @default.