FRINK Linked Data Fragments server

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

• W1623004875 endingPage "16" @default.
• W1623004875 startingPage "15" @default.
• W1623004875 created "2016-06-24" @default.
• W1623004875 creator A5047507250 @default.
• W1623004875 date "2005-01-01" @default.
• W1623004875 modified "2023-10-17" @default.
• W1623004875 title "Applications of Craig Interpolation to Model Checking" @default.
• W1623004875 cites W2044095368 @default.
• W1623004875 cites W2044632231 @default.
• W1623004875 cites W2098244894 @default.
• W1623004875 cites W2129874841 @default.
• W1623004875 cites W4212792638 @default.
• W1623004875 cites W4236684541 @default.
• W1623004875 doi "https://doi.org/10.1007/11494744_2" @default.
• W1623004875 hasPublicationYear "2005" @default.
• W1623004875 type Work @default.
• W1623004875 sameAs 1623004875 @default.
• W1623004875 citedByCount "8" @default.
• W1623004875 countsByYear W16230048752013 @default.
• W1623004875 countsByYear W16230048752014 @default.
• W1623004875 countsByYear W16230048752015 @default.
• W1623004875 countsByYear W16230048752016 @default.
• W1623004875 countsByYear W16230048752017 @default.
• W1623004875 crossrefType "book-chapter" @default.
• W1623004875 hasAuthorship W1623004875A5047507250 @default.
• W1623004875 hasConcept C102993220 @default.
• W1623004875 hasConcept C104114177 @default.
• W1623004875 hasConcept C108710211 @default.
• W1623004875 hasConcept C11413529 @default.
• W1623004875 hasConcept C118615104 @default.
• W1623004875 hasConcept C136119220 @default.
• W1623004875 hasConcept C137800194 @default.
• W1623004875 hasConcept C138268822 @default.
• W1623004875 hasConcept C14036430 @default.
• W1623004875 hasConcept C14523651 @default.
• W1623004875 hasConcept C154945302 @default.
• W1623004875 hasConcept C16221470 @default.
• W1623004875 hasConcept C199343813 @default.
• W1623004875 hasConcept C199360897 @default.
• W1623004875 hasConcept C202444582 @default.
• W1623004875 hasConcept C2524010 @default.
• W1623004875 hasConcept C26517878 @default.
• W1623004875 hasConcept C2777686260 @default.
• W1623004875 hasConcept C2778523021 @default.
• W1623004875 hasConcept C32278780 @default.
• W1623004875 hasConcept C33203268 @default.
• W1623004875 hasConcept C33923547 @default.
• W1623004875 hasConcept C38652104 @default.
• W1623004875 hasConcept C41008148 @default.
• W1623004875 hasConcept C69562738 @default.
• W1623004875 hasConcept C71924100 @default.
• W1623004875 hasConcept C74640108 @default.
• W1623004875 hasConcept C78458016 @default.
• W1623004875 hasConcept C80444323 @default.
• W1623004875 hasConcept C86803240 @default.
• W1623004875 hasConcept C97137487 @default.
• W1623004875 hasConceptScore W1623004875C102993220 @default.
• W1623004875 hasConceptScore W1623004875C104114177 @default.
• W1623004875 hasConceptScore W1623004875C108710211 @default.
• W1623004875 hasConceptScore W1623004875C11413529 @default.
• W1623004875 hasConceptScore W1623004875C118615104 @default.
• W1623004875 hasConceptScore W1623004875C136119220 @default.
• W1623004875 hasConceptScore W1623004875C137800194 @default.
• W1623004875 hasConceptScore W1623004875C138268822 @default.
• W1623004875 hasConceptScore W1623004875C14036430 @default.
• W1623004875 hasConceptScore W1623004875C14523651 @default.
• W1623004875 hasConceptScore W1623004875C154945302 @default.
• W1623004875 hasConceptScore W1623004875C16221470 @default.
• W1623004875 hasConceptScore W1623004875C199343813 @default.
• W1623004875 hasConceptScore W1623004875C199360897 @default.
• W1623004875 hasConceptScore W1623004875C202444582 @default.
• W1623004875 hasConceptScore W1623004875C2524010 @default.
• W1623004875 hasConceptScore W1623004875C26517878 @default.
• W1623004875 hasConceptScore W1623004875C2777686260 @default.
• W1623004875 hasConceptScore W1623004875C2778523021 @default.
• W1623004875 hasConceptScore W1623004875C32278780 @default.
• W1623004875 hasConceptScore W1623004875C33203268 @default.
• W1623004875 hasConceptScore W1623004875C33923547 @default.
• W1623004875 hasConceptScore W1623004875C38652104 @default.
• W1623004875 hasConceptScore W1623004875C41008148 @default.
• W1623004875 hasConceptScore W1623004875C69562738 @default.
• W1623004875 hasConceptScore W1623004875C71924100 @default.
• W1623004875 hasConceptScore W1623004875C74640108 @default.
• W1623004875 hasConceptScore W1623004875C78458016 @default.
• W1623004875 hasConceptScore W1623004875C80444323 @default.
• W1623004875 hasConceptScore W1623004875C86803240 @default.
• W1623004875 hasConceptScore W1623004875C97137487 @default.
• W1623004875 hasLocation W16230048751 @default.
• W1623004875 hasOpenAccess W1623004875 @default.
• W1623004875 hasPrimaryLocation W16230048751 @default.
• W1623004875 hasRelatedWork W1526552119 @default.
• W1623004875 hasRelatedWork W1794792640 @default.
• W1623004875 hasRelatedWork W1800789167 @default.
• W1623004875 hasRelatedWork W2022840750 @default.
• W1623004875 hasRelatedWork W2090186445 @default.
• W1623004875 hasRelatedWork W2153912760 @default.
• W1623004875 hasRelatedWork W2951050752 @default.
• W1623004875 hasRelatedWork W4321153753 @default.
• W1623004875 hasRelatedWork W636337682 @default.
• W1623004875 hasRelatedWork W860315492 @default.

• next