Matches in SemOpenAlex for { <https://semopenalex.org/work/W82721630> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W82721630 endingPage "239" @default.
- W82721630 startingPage "224" @default.
- W82721630 created "2016-06-24" @default.
- W82721630 creator A5051238737 @default.
- W82721630 date "2014-01-01" @default.
- W82721630 modified "2023-09-24" @default.
- W82721630 title "QBF Encoding of Temporal Properties and QBF-Based Verification" @default.
- W82721630 cites W1539457702 @default.
- W82721630 cites W1574030932 @default.
- W82721630 cites W1583869287 @default.
- W82721630 cites W1604827233 @default.
- W82721630 cites W1787074469 @default.
- W82721630 cites W2004306067 @default.
- W82721630 cites W2036267700 @default.
- W82721630 cites W2048355938 @default.
- W82721630 cites W2115309705 @default.
- W82721630 cites W2137162774 @default.
- W82721630 cites W39854187 @default.
- W82721630 cites W4300021588 @default.
- W82721630 doi "https://doi.org/10.1007/978-3-319-08587-6_16" @default.
- W82721630 hasPublicationYear "2014" @default.
- W82721630 type Work @default.
- W82721630 sameAs 82721630 @default.
- W82721630 citedByCount "10" @default.
- W82721630 countsByYear W827216302015 @default.
- W82721630 countsByYear W827216302016 @default.
- W82721630 countsByYear W827216302017 @default.
- W82721630 countsByYear W827216302018 @default.
- W82721630 countsByYear W827216302019 @default.
- W82721630 countsByYear W827216302021 @default.
- W82721630 crossrefType "book-chapter" @default.
- W82721630 hasAuthorship W82721630A5051238737 @default.
- W82721630 hasConcept C110251889 @default.
- W82721630 hasConcept C11413529 @default.
- W82721630 hasConcept C125411270 @default.
- W82721630 hasConcept C134306372 @default.
- W82721630 hasConcept C154945302 @default.
- W82721630 hasConcept C184337299 @default.
- W82721630 hasConcept C198008173 @default.
- W82721630 hasConcept C199360897 @default.
- W82721630 hasConcept C25016198 @default.
- W82721630 hasConcept C33923547 @default.
- W82721630 hasConcept C34388435 @default.
- W82721630 hasConcept C41008148 @default.
- W82721630 hasConcept C45374587 @default.
- W82721630 hasConcept C80444323 @default.
- W82721630 hasConceptScore W82721630C110251889 @default.
- W82721630 hasConceptScore W82721630C11413529 @default.
- W82721630 hasConceptScore W82721630C125411270 @default.
- W82721630 hasConceptScore W82721630C134306372 @default.
- W82721630 hasConceptScore W82721630C154945302 @default.
- W82721630 hasConceptScore W82721630C184337299 @default.
- W82721630 hasConceptScore W82721630C198008173 @default.
- W82721630 hasConceptScore W82721630C199360897 @default.
- W82721630 hasConceptScore W82721630C25016198 @default.
- W82721630 hasConceptScore W82721630C33923547 @default.
- W82721630 hasConceptScore W82721630C34388435 @default.
- W82721630 hasConceptScore W82721630C41008148 @default.
- W82721630 hasConceptScore W82721630C45374587 @default.
- W82721630 hasConceptScore W82721630C80444323 @default.
- W82721630 hasLocation W827216301 @default.
- W82721630 hasOpenAccess W82721630 @default.
- W82721630 hasPrimaryLocation W827216301 @default.
- W82721630 hasRelatedWork W2040233837 @default.
- W82721630 hasRelatedWork W2103740034 @default.
- W82721630 hasRelatedWork W2119610731 @default.
- W82721630 hasRelatedWork W2149515428 @default.
- W82721630 hasRelatedWork W2151277984 @default.
- W82721630 hasRelatedWork W2203774400 @default.
- W82721630 hasRelatedWork W2931443989 @default.
- W82721630 hasRelatedWork W3005864166 @default.
- W82721630 hasRelatedWork W88258996 @default.
- W82721630 hasRelatedWork W2463499912 @default.
- W82721630 isParatext "false" @default.
- W82721630 isRetracted "false" @default.
- W82721630 magId "82721630" @default.
- W82721630 workType "book-chapter" @default.