Matches in SemOpenAlex for { <https://semopenalex.org/work/W3144395608> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W3144395608 endingPage "1344" @default.
- W3144395608 startingPage "1341" @default.
- W3144395608 created "2021-04-13" @default.
- W3144395608 creator A5021797472 @default.
- W3144395608 creator A5025317435 @default.
- W3144395608 creator A5057095089 @default.
- W3144395608 creator A5071742136 @default.
- W3144395608 creator A5084007478 @default.
- W3144395608 date "2010-01-01" @default.
- W3144395608 modified "2023-09-23" @default.
- W3144395608 title "Verifying UML/OCL models using Boolean satisfiability" @default.
- W3144395608 hasPublicationYear "2010" @default.
- W3144395608 type Work @default.
- W3144395608 sameAs 3144395608 @default.
- W3144395608 citedByCount "0" @default.
- W3144395608 crossrefType "proceedings-article" @default.
- W3144395608 hasAuthorship W3144395608A5021797472 @default.
- W3144395608 hasAuthorship W3144395608A5025317435 @default.
- W3144395608 hasAuthorship W3144395608A5057095089 @default.
- W3144395608 hasAuthorship W3144395608A5071742136 @default.
- W3144395608 hasAuthorship W3144395608A5084007478 @default.
- W3144395608 hasConcept C133264317 @default.
- W3144395608 hasConcept C145644426 @default.
- W3144395608 hasConcept C146939238 @default.
- W3144395608 hasConcept C168773769 @default.
- W3144395608 hasConcept C199360897 @default.
- W3144395608 hasConcept C2777904410 @default.
- W3144395608 hasConcept C41008148 @default.
- W3144395608 hasConcept C6943359 @default.
- W3144395608 hasConcept C80444323 @default.
- W3144395608 hasConceptScore W3144395608C133264317 @default.
- W3144395608 hasConceptScore W3144395608C145644426 @default.
- W3144395608 hasConceptScore W3144395608C146939238 @default.
- W3144395608 hasConceptScore W3144395608C168773769 @default.
- W3144395608 hasConceptScore W3144395608C199360897 @default.
- W3144395608 hasConceptScore W3144395608C2777904410 @default.
- W3144395608 hasConceptScore W3144395608C41008148 @default.
- W3144395608 hasConceptScore W3144395608C6943359 @default.
- W3144395608 hasConceptScore W3144395608C80444323 @default.
- W3144395608 hasLocation W31443956081 @default.
- W3144395608 hasOpenAccess W3144395608 @default.
- W3144395608 hasPrimaryLocation W31443956081 @default.
- W3144395608 hasRelatedWork W1528393925 @default.
- W3144395608 hasRelatedWork W1542693296 @default.
- W3144395608 hasRelatedWork W1583008453 @default.
- W3144395608 hasRelatedWork W1917325995 @default.
- W3144395608 hasRelatedWork W1977223654 @default.
- W3144395608 hasRelatedWork W1986786159 @default.
- W3144395608 hasRelatedWork W2103631506 @default.
- W3144395608 hasRelatedWork W2109337044 @default.
- W3144395608 hasRelatedWork W2137331557 @default.
- W3144395608 hasRelatedWork W2138505477 @default.
- W3144395608 hasRelatedWork W2148490275 @default.
- W3144395608 hasRelatedWork W2152691384 @default.
- W3144395608 hasRelatedWork W2156116570 @default.
- W3144395608 hasRelatedWork W2160030226 @default.
- W3144395608 hasRelatedWork W2160170063 @default.
- W3144395608 hasRelatedWork W2160895042 @default.
- W3144395608 hasRelatedWork W2204090679 @default.
- W3144395608 hasRelatedWork W2542895659 @default.
- W3144395608 hasRelatedWork W3033412143 @default.
- W3144395608 hasRelatedWork W3141698600 @default.
- W3144395608 isParatext "false" @default.
- W3144395608 isRetracted "false" @default.
- W3144395608 magId "3144395608" @default.
- W3144395608 workType "article" @default.