Matches in SemOpenAlex for { <https://semopenalex.org/work/W2783807657> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2783807657 created "2018-01-26" @default.
- W2783807657 creator A5048462733 @default.
- W2783807657 date "2018-01-19" @default.
- W2783807657 modified "2023-09-24" @default.
- W2783807657 title "Improvements to Transitive-Closure-based Model Checking in Alloy" @default.
- W2783807657 cites W1485237120 @default.
- W2783807657 cites W1489391022 @default.
- W2783807657 cites W1503170978 @default.
- W2783807657 cites W1519503479 @default.
- W2783807657 cites W1542106392 @default.
- W2783807657 cites W1549166962 @default.
- W2783807657 cites W1559870885 @default.
- W2783807657 cites W172265393 @default.
- W2783807657 cites W1850203898 @default.
- W2783807657 cites W1895387792 @default.
- W2783807657 cites W2023808162 @default.
- W2783807657 cites W2030224590 @default.
- W2783807657 cites W2031111226 @default.
- W2783807657 cites W2060440626 @default.
- W2783807657 cites W2066210260 @default.
- W2783807657 cites W2068847249 @default.
- W2783807657 cites W2120849108 @default.
- W2783807657 cites W2139553864 @default.
- W2783807657 cites W2166768964 @default.
- W2783807657 cites W2197097696 @default.
- W2783807657 cites W2209863624 @default.
- W2783807657 cites W233122475 @default.
- W2783807657 cites W2497820892 @default.
- W2783807657 cites W2740310865 @default.
- W2783807657 cites W2750587933 @default.
- W2783807657 cites W2913459036 @default.
- W2783807657 cites W3124573623 @default.
- W2783807657 cites W99916501 @default.
- W2783807657 hasPublicationYear "2018" @default.
- W2783807657 type Work @default.
- W2783807657 sameAs 2783807657 @default.
- W2783807657 citedByCount "0" @default.
- W2783807657 crossrefType "dissertation" @default.
- W2783807657 hasAuthorship W2783807657A5048462733 @default.
- W2783807657 hasConcept C114614502 @default.
- W2783807657 hasConcept C128896722 @default.
- W2783807657 hasConcept C146834321 @default.
- W2783807657 hasConcept C17744445 @default.
- W2783807657 hasConcept C191399111 @default.
- W2783807657 hasConcept C199539241 @default.
- W2783807657 hasConcept C33923547 @default.
- W2783807657 hasConcept C41008148 @default.
- W2783807657 hasConceptScore W2783807657C114614502 @default.
- W2783807657 hasConceptScore W2783807657C128896722 @default.
- W2783807657 hasConceptScore W2783807657C146834321 @default.
- W2783807657 hasConceptScore W2783807657C17744445 @default.
- W2783807657 hasConceptScore W2783807657C191399111 @default.
- W2783807657 hasConceptScore W2783807657C199539241 @default.
- W2783807657 hasConceptScore W2783807657C33923547 @default.
- W2783807657 hasConceptScore W2783807657C41008148 @default.
- W2783807657 hasLocation W27838076571 @default.
- W2783807657 hasOpenAccess W2783807657 @default.
- W2783807657 hasPrimaryLocation W27838076571 @default.
- W2783807657 hasRelatedWork W1501937057 @default.
- W2783807657 hasRelatedWork W1527916118 @default.
- W2783807657 hasRelatedWork W2047783181 @default.
- W2783807657 hasRelatedWork W2132613654 @default.
- W2783807657 hasRelatedWork W2149601638 @default.
- W2783807657 hasRelatedWork W2243940833 @default.
- W2783807657 hasRelatedWork W2301892716 @default.
- W2783807657 hasRelatedWork W2350182676 @default.
- W2783807657 hasRelatedWork W2358359131 @default.
- W2783807657 hasRelatedWork W2359423766 @default.
- W2783807657 hasRelatedWork W2362009423 @default.
- W2783807657 hasRelatedWork W2364216866 @default.
- W2783807657 hasRelatedWork W2370531848 @default.
- W2783807657 hasRelatedWork W2394135826 @default.
- W2783807657 hasRelatedWork W2581786915 @default.
- W2783807657 hasRelatedWork W2999353834 @default.
- W2783807657 hasRelatedWork W3139713485 @default.
- W2783807657 hasRelatedWork W90346837 @default.
- W2783807657 hasRelatedWork W17973491 @default.
- W2783807657 hasRelatedWork W48550357 @default.
- W2783807657 isParatext "false" @default.
- W2783807657 isRetracted "false" @default.
- W2783807657 magId "2783807657" @default.
- W2783807657 workType "dissertation" @default.