FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1570254110> ?p ?o ?g. }

• W1570254110 endingPage "424" @default.
• W1570254110 startingPage "410" @default.
• W1570254110 created "2016-06-24" @default.
• W1570254110 creator A5043936415 @default.
• W1570254110 creator A5083335403 @default.
• W1570254110 date "2007-11-03" @default.
• W1570254110 modified "2023-09-26" @default.
• W1570254110 title "A New Approach to Bounded Model Checking for Branching Time Logics" @default.
• W1570254110 cites W1480531236 @default.
• W1570254110 cites W1539385324 @default.
• W1570254110 cites W1564580204 @default.
• W1570254110 cites W1597578789 @default.
• W1570254110 cites W1819209966 @default.
• W1570254110 cites W1992582873 @default.
• W1570254110 cites W2015640848 @default.
• W1570254110 cites W2020735753 @default.
• W1570254110 cites W2046239089 @default.
• W1570254110 cites W2108443473 @default.
• W1570254110 cites W2171453216 @default.
• W1570254110 doi "https://doi.org/10.1007/978-3-540-75596-8_29" @default.
• W1570254110 hasPublicationYear "2007" @default.
• W1570254110 type Work @default.
• W1570254110 sameAs 1570254110 @default.
• W1570254110 citedByCount "9" @default.
• W1570254110 countsByYear W15702541102015 @default.
• W1570254110 countsByYear W15702541102017 @default.
• W1570254110 countsByYear W15702541102018 @default.
• W1570254110 crossrefType "book-chapter" @default.
• W1570254110 hasAuthorship W1570254110A5043936415 @default.
• W1570254110 hasAuthorship W1570254110A5083335403 @default.
• W1570254110 hasConcept C102993220 @default.
• W1570254110 hasConcept C104317684 @default.
• W1570254110 hasConcept C110251889 @default.
• W1570254110 hasConcept C11413529 @default.
• W1570254110 hasConcept C118615104 @default.
• W1570254110 hasConcept C132525143 @default.
• W1570254110 hasConcept C134306372 @default.
• W1570254110 hasConcept C14523651 @default.
• W1570254110 hasConcept C159985019 @default.
• W1570254110 hasConcept C162838799 @default.
• W1570254110 hasConcept C17231256 @default.
• W1570254110 hasConcept C185592680 @default.
• W1570254110 hasConcept C192562407 @default.
• W1570254110 hasConcept C198008173 @default.
• W1570254110 hasConcept C199360897 @default.
• W1570254110 hasConcept C206175624 @default.
• W1570254110 hasConcept C25016198 @default.
• W1570254110 hasConcept C2778770139 @default.
• W1570254110 hasConcept C30888246 @default.
• W1570254110 hasConcept C311688 @default.
• W1570254110 hasConcept C33203268 @default.
• W1570254110 hasConcept C33923547 @default.
• W1570254110 hasConcept C34388435 @default.
• W1570254110 hasConcept C41008148 @default.
• W1570254110 hasConcept C4777664 @default.
• W1570254110 hasConcept C55493867 @default.
• W1570254110 hasConcept C66746571 @default.
• W1570254110 hasConcept C6943359 @default.
• W1570254110 hasConcept C74640108 @default.
• W1570254110 hasConcept C80444323 @default.
• W1570254110 hasConceptScore W1570254110C102993220 @default.
• W1570254110 hasConceptScore W1570254110C104317684 @default.
• W1570254110 hasConceptScore W1570254110C110251889 @default.
• W1570254110 hasConceptScore W1570254110C11413529 @default.
• W1570254110 hasConceptScore W1570254110C118615104 @default.
• W1570254110 hasConceptScore W1570254110C132525143 @default.
• W1570254110 hasConceptScore W1570254110C134306372 @default.
• W1570254110 hasConceptScore W1570254110C14523651 @default.
• W1570254110 hasConceptScore W1570254110C159985019 @default.
• W1570254110 hasConceptScore W1570254110C162838799 @default.
• W1570254110 hasConceptScore W1570254110C17231256 @default.
• W1570254110 hasConceptScore W1570254110C185592680 @default.
• W1570254110 hasConceptScore W1570254110C192562407 @default.
• W1570254110 hasConceptScore W1570254110C198008173 @default.
• W1570254110 hasConceptScore W1570254110C199360897 @default.
• W1570254110 hasConceptScore W1570254110C206175624 @default.
• W1570254110 hasConceptScore W1570254110C25016198 @default.
• W1570254110 hasConceptScore W1570254110C2778770139 @default.
• W1570254110 hasConceptScore W1570254110C30888246 @default.
• W1570254110 hasConceptScore W1570254110C311688 @default.
• W1570254110 hasConceptScore W1570254110C33203268 @default.
• W1570254110 hasConceptScore W1570254110C33923547 @default.
• W1570254110 hasConceptScore W1570254110C34388435 @default.
• W1570254110 hasConceptScore W1570254110C41008148 @default.
• W1570254110 hasConceptScore W1570254110C4777664 @default.
• W1570254110 hasConceptScore W1570254110C55493867 @default.
• W1570254110 hasConceptScore W1570254110C66746571 @default.
• W1570254110 hasConceptScore W1570254110C6943359 @default.
• W1570254110 hasConceptScore W1570254110C74640108 @default.
• W1570254110 hasConceptScore W1570254110C80444323 @default.
• W1570254110 hasLocation W15702541101 @default.
• W1570254110 hasOpenAccess W1570254110 @default.
• W1570254110 hasPrimaryLocation W15702541101 @default.
• W1570254110 hasRelatedWork W1504403751 @default.
• W1570254110 hasRelatedWork W1524896067 @default.
• W1570254110 hasRelatedWork W1535375892 @default.
• W1570254110 hasRelatedWork W1553268179 @default.
• W1570254110 hasRelatedWork W1561235555 @default.
• W1570254110 hasRelatedWork W1836483134 @default.
• W1570254110 hasRelatedWork W1972843406 @default.

• next