Matches in Wikidata for { <http://www.wikidata.org/entity/Q57998328> ?p ?o ?g. }
Showing items 1 to 33 of
33
with 100 items per page.
- Q57998328 description "scholarly article published July 2009" @default.
- Q57998328 description "wetenschappelijk artikel" @default.
- Q57998328 description "наукова стаття, опублікована в липні 2009" @default.
- Q57998328 name "Model Checking CTL is Almost Always Inherently Sequential" @default.
- Q57998328 name "Model Checking CTL is Almost Always Inherently Sequential" @default.
- Q57998328 type Item @default.
- Q57998328 label "Model Checking CTL is Almost Always Inherently Sequential" @default.
- Q57998328 label "Model Checking CTL is Almost Always Inherently Sequential" @default.
- Q57998328 prefLabel "Model Checking CTL is Almost Always Inherently Sequential" @default.
- Q57998328 prefLabel "Model Checking CTL is Almost Always Inherently Sequential" @default.
- Q57998328 P1476 Q57998328-42EE527B-C858-464A-99D2-1FA37B3B69C4 @default.
- Q57998328 P2093 Q57998328-501729CE-3DF6-4A3F-8449-5B66D617567C @default.
- Q57998328 P2093 Q57998328-5D70B8C6-1A9A-43E7-B2AD-DD90118BF2CA @default.
- Q57998328 P2093 Q57998328-683FE436-25D6-45EC-AC5C-F0B3B0110369 @default.
- Q57998328 P31 Q57998328-451AD646-BD83-41EF-8EFB-D9848490C3CF @default.
- Q57998328 P356 Q57998328-84C381D2-E670-4606-A8C8-C550FBA2B0B3 @default.
- Q57998328 P50 Q57998328-3B9A1441-642B-40C9-A200-5301CE0CDD3D @default.
- Q57998328 P50 Q57998328-68BAAD43-7B5A-4185-B04F-9B0069BB7FE5 @default.
- Q57998328 P50 Q57998328-91B0FCC3-9E08-4034-A62F-40C02E3C7ED8 @default.
- Q57998328 P577 Q57998328-22659924-BB68-494E-AD2E-4AA987CD3502 @default.
- Q57998328 P953 Q57998328-E25B0F8B-7700-437D-8ACA-0EA787797CEA @default.
- Q57998328 P356 TIME.2009.12 @default.
- Q57998328 P1476 "Model Checking CTL is Almost Always Inherently Sequential" @default.
- Q57998328 P2093 "Heribert Vollmer" @default.
- Q57998328 P2093 "Martin Mundhenk" @default.
- Q57998328 P2093 "Thomas Schneider" @default.
- Q57998328 P31 Q13442814 @default.
- Q57998328 P356 "10.1109/TIME.2009.12" @default.
- Q57998328 P50 Q102373345 @default.
- Q57998328 P50 Q57435594 @default.
- Q57998328 P50 Q60022559 @default.
- Q57998328 P577 "2009-07-01T00:00:00Z" @default.
- Q57998328 P953 74808 @default.