Matches in Wikidata for { <http://www.wikidata.org/entity/Q57998315> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- Q57998315 description "article by Olaf Beyersdorff et al published 17 May 2011 in Logical Methods in Computer Science" @default.
- Q57998315 description "im Mai 2011 veröffentlichter wissenschaftlicher Artikel" @default.
- Q57998315 description "наукова стаття, опублікована в травні 2011" @default.
- Q57998315 name "Model Checking CTL is Almost Always Inherently Sequential" @default.
- Q57998315 type Item @default.
- Q57998315 label "Model Checking CTL is Almost Always Inherently Sequential" @default.
- Q57998315 prefLabel "Model Checking CTL is Almost Always Inherently Sequential" @default.
- Q57998315 P1433 Q57998315-621BA7A1-F68D-4982-BA2F-0434824D62DE @default.
- Q57998315 P1476 Q57998315-7F971EDB-EE46-4E2F-9027-2C740AFBB1E8 @default.
- Q57998315 P2093 Q57998315-642B583F-6DE9-4C36-82AE-280491EDDCD1 @default.
- Q57998315 P2093 Q57998315-A2C87952-254D-4E00-869C-6533AF8B9D2C @default.
- Q57998315 P2093 Q57998315-F186704D-C87D-42A2-93E9-01672E71BC2F @default.
- Q57998315 P2860 Q57998315-1AC76ECA-5EB0-42DF-B491-3084DC6E6C71 @default.
- Q57998315 P2860 Q57998315-3EC7AA85-5AC2-49E3-9BD0-35B920E551D5 @default.
- Q57998315 P2860 Q57998315-623B012C-D9A3-4BFE-9F94-FBB333035075 @default.
- Q57998315 P2860 Q57998315-EB220707-0639-4F54-9D48-6A7DC6A64A76 @default.
- Q57998315 P31 Q57998315-A6D9F8E8-DE48-42C8-9AC4-038BC4EEBA8E @default.
- Q57998315 P356 Q57998315-43CC94A5-5EF7-4C90-B23A-65BC9F23CD7B @default.
- Q57998315 P433 Q57998315-78F9AF00-88DB-438F-9BB1-640F68B1BC22 @default.
- Q57998315 P478 Q57998315-A69B5681-FFE0-4063-9F45-5316A6278CB5 @default.
- Q57998315 P50 Q57998315-518A784A-37B5-4F5E-BEC9-E0F1BAF2256D @default.
- Q57998315 P50 Q57998315-7E69B55A-3042-4441-9101-298EF4C8C48A @default.
- Q57998315 P50 Q57998315-AC5C8ABC-DBBB-4C5A-B211-B570A863575D @default.
- Q57998315 P577 Q57998315-6D17B386-17E5-4C33-8544-8E0B06149676 @default.
- Q57998315 P6104 Q57998315-0B45C408-D5DE-4E24-8F16-463764BFEAD5 @default.
- Q57998315 P818 Q57998315-0BBEA68E-1734-401A-9556-511DDB24F93B @default.
- Q57998315 P894 Q57998315-58AEA6C4-AA11-4BEE-8DA5-CA4091DE8A7D @default.
- Q57998315 P953 Q57998315-85E1AAD6-4F36-4008-BF10-5A1D5D76C92F @default.
- Q57998315 P356 LMCS-7(2:12)2011 @default.
- Q57998315 P1433 Q13644986 @default.
- Q57998315 P1476 "Model Checking CTL is Almost Always Inherently Sequential" @default.
- Q57998315 P2093 "Heribert Vollmer" @default.
- Q57998315 P2093 "Martin Mundhenk" @default.
- Q57998315 P2093 "Thomas Schneider" @default.
- Q57998315 P2860 Q55918946 @default.
- Q57998315 P2860 Q56432687 @default.
- Q57998315 P2860 Q56619906 @default.
- Q57998315 P2860 Q57998328 @default.
- Q57998315 P31 Q13442814 @default.
- Q57998315 P356 "10.2168/LMCS-7(2:12)2011" @default.
- Q57998315 P433 "2" @default.
- Q57998315 P478 "7" @default.
- Q57998315 P50 Q102373345 @default.
- Q57998315 P50 Q57435594 @default.
- Q57998315 P50 Q60022559 @default.
- Q57998315 P577 "2011-05-17T00:00:00Z" @default.
- Q57998315 P6104 Q8487137 @default.
- Q57998315 P818 "1103.4990" @default.
- Q57998315 P894 "1220.68068" @default.
- Q57998315 P953 74437 @default.