SemOpenAlex |

SemOpenAlex

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

Showing items 1 to 100 of ±106 with 100 items per page.

W128793516 created "2016-06-24" @default.
W128793516 creator A5029235448 @default.
W128793516 creator A5090974026 @default.
W128793516 date "2002-01-01" @default.
W128793516 modified "2023-09-24" @default.
W128793516 title "Model checking and theorem proving: a unified framework" @default.
W128793516 cites W143880918 @default.
W128793516 cites W1483327805 @default.
W128793516 cites W1490995582 @default.
W128793516 cites W1497571013 @default.
W128793516 cites W1500286044 @default.
W128793516 cites W1507858616 @default.
W128793516 cites W1517173520 @default.
W128793516 cites W1519306152 @default.
W128793516 cites W1522489781 @default.
W128793516 cites W1540012118 @default.
W128793516 cites W1544543122 @default.
W128793516 cites W1547562281 @default.
W128793516 cites W1555814309 @default.
W128793516 cites W1569881051 @default.
W128793516 cites W1588758388 @default.
W128793516 cites W1592970915 @default.
W128793516 cites W1596365597 @default.
W128793516 cites W1600735021 @default.
W128793516 cites W1606950856 @default.
W128793516 cites W1727609483 @default.
W128793516 cites W1737941572 @default.
W128793516 cites W1741528175 @default.
W128793516 cites W1929502661 @default.
W128793516 cites W1978469611 @default.
W128793516 cites W1990875740 @default.
W128793516 cites W2008770192 @default.
W128793516 cites W2015640848 @default.
W128793516 cites W2038952689 @default.
W128793516 cites W2046213250 @default.
W128793516 cites W2048051309 @default.
W128793516 cites W2080267935 @default.
W128793516 cites W2097699872 @default.
W128793516 cites W2104655005 @default.
W128793516 cites W2130025446 @default.
W128793516 cites W2134113233 @default.
W128793516 cites W2142785340 @default.
W128793516 cites W2146973388 @default.
W128793516 cites W2149932816 @default.
W128793516 cites W2150426251 @default.
W128793516 cites W2153364044 @default.
W128793516 cites W2164587664 @default.
W128793516 cites W2169083900 @default.
W128793516 cites W2169908972 @default.
W128793516 cites W2232359105 @default.
W128793516 cites W2293400264 @default.
W128793516 cites W2471308051 @default.
W128793516 cites W2911379300 @default.
W128793516 cites W2912904668 @default.
W128793516 hasPublicationYear "2002" @default.
W128793516 type Work @default.
W128793516 sameAs 128793516 @default.
W128793516 citedByCount "16" @default.
W128793516 countsByYear W1287935162013 @default.
W128793516 countsByYear W1287935162015 @default.
W128793516 crossrefType "journal-article" @default.
W128793516 hasAuthorship W128793516A5029235448 @default.
W128793516 hasAuthorship W128793516A5090974026 @default.
W128793516 hasConcept C144237770 @default.
W128793516 hasConcept C199343813 @default.
W128793516 hasConcept C206880738 @default.
W128793516 hasConcept C2777686260 @default.
W128793516 hasConcept C33923547 @default.
W128793516 hasConcept C41008148 @default.
W128793516 hasConcept C71924100 @default.
W128793516 hasConcept C80444323 @default.
W128793516 hasConceptScore W128793516C144237770 @default.
W128793516 hasConceptScore W128793516C199343813 @default.
W128793516 hasConceptScore W128793516C206880738 @default.
W128793516 hasConceptScore W128793516C2777686260 @default.
W128793516 hasConceptScore W128793516C33923547 @default.
W128793516 hasConceptScore W128793516C41008148 @default.
W128793516 hasConceptScore W128793516C71924100 @default.
W128793516 hasConceptScore W128793516C80444323 @default.
W128793516 hasLocation W1287935161 @default.
W128793516 hasOpenAccess W128793516 @default.
W128793516 hasPrimaryLocation W1287935161 @default.
W128793516 hasRelatedWork W1514729613 @default.
W128793516 hasRelatedWork W1531901718 @default.
W128793516 hasRelatedWork W1555119247 @default.
W128793516 hasRelatedWork W1555745065 @default.
W128793516 hasRelatedWork W1594393861 @default.
W128793516 hasRelatedWork W2129664123 @default.
W128793516 hasRelatedWork W227433776 @default.
W128793516 hasRelatedWork W2590678415 @default.
W128793516 hasRelatedWork W2738825909 @default.
W128793516 hasRelatedWork W2786449515 @default.
W128793516 hasRelatedWork W2897150585 @default.
W128793516 hasRelatedWork W2952409637 @default.
W128793516 hasRelatedWork W3004486159 @default.
W128793516 hasRelatedWork W3033303901 @default.
W128793516 hasRelatedWork W3145561063 @default.
W128793516 hasRelatedWork W587228181 @default.
W128793516 hasRelatedWork W75561324 @default.
W128793516 hasRelatedWork W186126576 @default.