Matches in SemOpenAlex for { <https://semopenalex.org/work/W1522553964> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1522553964 endingPage "41" @default.
- W1522553964 startingPage "30" @default.
- W1522553964 created "2016-06-24" @default.
- W1522553964 creator A5058799763 @default.
- W1522553964 date "2000-01-01" @default.
- W1522553964 modified "2023-09-25" @default.
- W1522553964 title "Constraint Logic Programming Applied to Model Checking" @default.
- W1522553964 cites W1482233117 @default.
- W1522553964 cites W1489150842 @default.
- W1522553964 cites W1502028089 @default.
- W1522553964 cites W1503857897 @default.
- W1522553964 cites W1522225310 @default.
- W1522553964 cites W1524332517 @default.
- W1522553964 cites W1572952339 @default.
- W1522553964 cites W1590315663 @default.
- W1522553964 cites W1601687420 @default.
- W1522553964 cites W1777025722 @default.
- W1522553964 cites W1786127122 @default.
- W1522553964 cites W1816460274 @default.
- W1522553964 cites W1874996599 @default.
- W1522553964 cites W1904450094 @default.
- W1522553964 cites W1912609664 @default.
- W1522553964 cites W1970603830 @default.
- W1522553964 cites W2015640848 @default.
- W1522553964 cites W2022530540 @default.
- W1522553964 cites W2039491213 @default.
- W1522553964 cites W2059894732 @default.
- W1522553964 cites W2070598037 @default.
- W1522553964 cites W2080267935 @default.
- W1522553964 cites W2088372987 @default.
- W1522553964 cites W2106000595 @default.
- W1522553964 cites W2123396057 @default.
- W1522553964 cites W2132331020 @default.
- W1522553964 cites W2132661148 @default.
- W1522553964 cites W2136545402 @default.
- W1522553964 cites W4300021588 @default.
- W1522553964 cites W59365162 @default.
- W1522553964 doi "https://doi.org/10.1007/10720327_3" @default.
- W1522553964 hasPublicationYear "2000" @default.
- W1522553964 type Work @default.
- W1522553964 sameAs 1522553964 @default.
- W1522553964 citedByCount "21" @default.
- W1522553964 countsByYear W15225539642012 @default.
- W1522553964 countsByYear W15225539642017 @default.
- W1522553964 countsByYear W15225539642019 @default.
- W1522553964 crossrefType "book-chapter" @default.
- W1522553964 hasAuthorship W1522553964A5058799763 @default.
- W1522553964 hasConcept C126255220 @default.
- W1522553964 hasConcept C128838566 @default.
- W1522553964 hasConcept C137631369 @default.
- W1522553964 hasConcept C154945302 @default.
- W1522553964 hasConcept C173404611 @default.
- W1522553964 hasConcept C176783269 @default.
- W1522553964 hasConcept C199360897 @default.
- W1522553964 hasConcept C2524010 @default.
- W1522553964 hasConcept C2776036281 @default.
- W1522553964 hasConcept C33923547 @default.
- W1522553964 hasConcept C41008148 @default.
- W1522553964 hasConcept C44616089 @default.
- W1522553964 hasConcept C49937458 @default.
- W1522553964 hasConceptScore W1522553964C126255220 @default.
- W1522553964 hasConceptScore W1522553964C128838566 @default.
- W1522553964 hasConceptScore W1522553964C137631369 @default.
- W1522553964 hasConceptScore W1522553964C154945302 @default.
- W1522553964 hasConceptScore W1522553964C173404611 @default.
- W1522553964 hasConceptScore W1522553964C176783269 @default.
- W1522553964 hasConceptScore W1522553964C199360897 @default.
- W1522553964 hasConceptScore W1522553964C2524010 @default.
- W1522553964 hasConceptScore W1522553964C2776036281 @default.
- W1522553964 hasConceptScore W1522553964C33923547 @default.
- W1522553964 hasConceptScore W1522553964C41008148 @default.
- W1522553964 hasConceptScore W1522553964C44616089 @default.
- W1522553964 hasConceptScore W1522553964C49937458 @default.
- W1522553964 hasLocation W15225539641 @default.
- W1522553964 hasOpenAccess W1522553964 @default.
- W1522553964 hasPrimaryLocation W15225539641 @default.
- W1522553964 hasRelatedWork W1490546714 @default.
- W1522553964 hasRelatedWork W1586892155 @default.
- W1522553964 hasRelatedWork W1591583250 @default.
- W1522553964 hasRelatedWork W1596719193 @default.
- W1522553964 hasRelatedWork W1602018908 @default.
- W1522553964 hasRelatedWork W2007301302 @default.
- W1522553964 hasRelatedWork W2118850793 @default.
- W1522553964 hasRelatedWork W280757382 @default.
- W1522553964 hasRelatedWork W2951038595 @default.
- W1522553964 hasRelatedWork W4293391431 @default.
- W1522553964 isParatext "false" @default.
- W1522553964 isRetracted "false" @default.
- W1522553964 magId "1522553964" @default.
- W1522553964 workType "book-chapter" @default.