Matches in SemOpenAlex for { <https://semopenalex.org/work/W2955272802> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W2955272802 created "2019-07-12" @default.
- W2955272802 creator A5066568314 @default.
- W2955272802 date "2019-01-01" @default.
- W2955272802 modified "2023-09-27" @default.
- W2955272802 title "Witness generation in existential CTL model checking" @default.
- W2955272802 hasPublicationYear "2019" @default.
- W2955272802 type Work @default.
- W2955272802 sameAs 2955272802 @default.
- W2955272802 citedByCount "0" @default.
- W2955272802 crossrefType "journal-article" @default.
- W2955272802 hasAuthorship W2955272802A5066568314 @default.
- W2955272802 hasConcept C111472728 @default.
- W2955272802 hasConcept C127882523 @default.
- W2955272802 hasConcept C138885662 @default.
- W2955272802 hasConcept C147483822 @default.
- W2955272802 hasConcept C147969180 @default.
- W2955272802 hasConcept C167672396 @default.
- W2955272802 hasConcept C199360897 @default.
- W2955272802 hasConcept C203014093 @default.
- W2955272802 hasConcept C2776900844 @default.
- W2955272802 hasConcept C41008148 @default.
- W2955272802 hasConcept C71924100 @default.
- W2955272802 hasConceptScore W2955272802C111472728 @default.
- W2955272802 hasConceptScore W2955272802C127882523 @default.
- W2955272802 hasConceptScore W2955272802C138885662 @default.
- W2955272802 hasConceptScore W2955272802C147483822 @default.
- W2955272802 hasConceptScore W2955272802C147969180 @default.
- W2955272802 hasConceptScore W2955272802C167672396 @default.
- W2955272802 hasConceptScore W2955272802C199360897 @default.
- W2955272802 hasConceptScore W2955272802C203014093 @default.
- W2955272802 hasConceptScore W2955272802C2776900844 @default.
- W2955272802 hasConceptScore W2955272802C41008148 @default.
- W2955272802 hasConceptScore W2955272802C71924100 @default.
- W2955272802 hasLocation W29552728021 @default.
- W2955272802 hasOpenAccess W2955272802 @default.
- W2955272802 hasPrimaryLocation W29552728021 @default.
- W2955272802 hasRelatedWork W120135115 @default.
- W2955272802 hasRelatedWork W146107827 @default.
- W2955272802 hasRelatedWork W1489469477 @default.
- W2955272802 hasRelatedWork W1498819640 @default.
- W2955272802 hasRelatedWork W1501346358 @default.
- W2955272802 hasRelatedWork W1531522240 @default.
- W2955272802 hasRelatedWork W1539201627 @default.
- W2955272802 hasRelatedWork W1541426137 @default.
- W2955272802 hasRelatedWork W1570093829 @default.
- W2955272802 hasRelatedWork W1575764074 @default.
- W2955272802 hasRelatedWork W1593793497 @default.
- W2955272802 hasRelatedWork W1785234853 @default.
- W2955272802 hasRelatedWork W1861949749 @default.
- W2955272802 hasRelatedWork W2112447468 @default.
- W2955272802 hasRelatedWork W2127988328 @default.
- W2955272802 hasRelatedWork W2144883917 @default.
- W2955272802 hasRelatedWork W2357906634 @default.
- W2955272802 hasRelatedWork W2362871145 @default.
- W2955272802 hasRelatedWork W2365988016 @default.
- W2955272802 hasRelatedWork W2372104150 @default.
- W2955272802 isParatext "false" @default.
- W2955272802 isRetracted "false" @default.
- W2955272802 magId "2955272802" @default.
- W2955272802 workType "article" @default.