Matches in SemOpenAlex for { <https://semopenalex.org/work/W1592462783> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W1592462783 endingPage "386" @default.
- W1592462783 startingPage "373" @default.
- W1592462783 created "2016-06-24" @default.
- W1592462783 creator A5034009786 @default.
- W1592462783 creator A5039175536 @default.
- W1592462783 creator A5063071867 @default.
- W1592462783 date "1989-06-06" @default.
- W1592462783 modified "2023-09-28" @default.
- W1592462783 title "Extensions of Temporal Logic for Counting with Applications to Model Verification" @default.
- W1592462783 hasPublicationYear "1989" @default.
- W1592462783 type Work @default.
- W1592462783 sameAs 1592462783 @default.
- W1592462783 citedByCount "1" @default.
- W1592462783 crossrefType "journal-article" @default.
- W1592462783 hasAuthorship W1592462783A5034009786 @default.
- W1592462783 hasAuthorship W1592462783A5039175536 @default.
- W1592462783 hasAuthorship W1592462783A5063071867 @default.
- W1592462783 hasConcept C198008173 @default.
- W1592462783 hasConcept C199360897 @default.
- W1592462783 hasConcept C25016198 @default.
- W1592462783 hasConcept C33923547 @default.
- W1592462783 hasConcept C41008148 @default.
- W1592462783 hasConceptScore W1592462783C198008173 @default.
- W1592462783 hasConceptScore W1592462783C199360897 @default.
- W1592462783 hasConceptScore W1592462783C25016198 @default.
- W1592462783 hasConceptScore W1592462783C33923547 @default.
- W1592462783 hasConceptScore W1592462783C41008148 @default.
- W1592462783 hasLocation W15924627831 @default.
- W1592462783 hasOpenAccess W1592462783 @default.
- W1592462783 hasPrimaryLocation W15924627831 @default.
- W1592462783 hasRelatedWork W1511880616 @default.
- W1592462783 hasRelatedWork W1514236884 @default.
- W1592462783 hasRelatedWork W1515452107 @default.
- W1592462783 hasRelatedWork W1526924704 @default.
- W1592462783 hasRelatedWork W1615716068 @default.
- W1592462783 hasRelatedWork W199617803 @default.
- W1592462783 hasRelatedWork W2012623308 @default.
- W1592462783 hasRelatedWork W2094575296 @default.
- W1592462783 hasRelatedWork W2118721394 @default.
- W1592462783 hasRelatedWork W2128675861 @default.
- W1592462783 hasRelatedWork W2137922374 @default.
- W1592462783 hasRelatedWork W2143555183 @default.
- W1592462783 hasRelatedWork W259594895 @default.
- W1592462783 hasRelatedWork W2605251839 @default.
- W1592462783 hasRelatedWork W2695579202 @default.
- W1592462783 hasRelatedWork W2808441478 @default.
- W1592462783 hasRelatedWork W3020947342 @default.
- W1592462783 hasRelatedWork W79595156 @default.
- W1592462783 hasRelatedWork W94602661 @default.
- W1592462783 hasRelatedWork W2985456438 @default.
- W1592462783 isParatext "false" @default.
- W1592462783 isRetracted "false" @default.
- W1592462783 magId "1592462783" @default.
- W1592462783 workType "article" @default.