{"entities":{"Q3564026":{"pageid":5593930,"ns":120,"title":"Item:Q3564026","lastrevid":90306419,"modified":"2026-06-04T19:49:57Z","type":"item","id":"Q3564026","labels":{"en":{"language":"en","value":"Schedule verification and synthesis for embedded real-time components"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5715357"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564026$02A54961-D6AB-42DB-A320-A1F7A2213CA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86037ebc4975cdccfa2cb0442f9ce67171777d19","datavalue":{"value":{"text":"Schedule Verification and Synthesis for Embedded Real-Time Components","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3564026$EEF027B4-D0E2-4472-9926-D6C93F69D56F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc2f8b78a7ce1bee2fee060a35dd282a4d0c81b9","datavalue":{"value":"1189.93090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564026$F5CB3ACE-0741-4C77-AC0D-8F50A7F428FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a95f5bfe6c27ae1c38b89f28fb93caf929983ed","datavalue":{"value":"10.1007/978-1-4020-6254-4_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564026$693079BA-9D25-4275-8246-EA7B9F19E090","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f7b97d0ec13caeea26ece0842a295b2fa3e4b72","datavalue":{"value":{"entity-type":"item","numeric-id":2841312,"id":"Q2841312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564026$0FA4335C-B50C-413E-8E22-6A540FFB3B80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0d9b736323840be59c9483c610131b93c4ace334","datavalue":{"value":{"entity-type":"item","numeric-id":3564010,"id":"Q3564010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564026$0C6297FE-84B3-45C2-81F1-25E44E9BF40A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d839b5eef1bcdf95ed84bc93ea6b8a9df9f4c28","datavalue":{"value":{"time":"+2010-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3564026$713C26D8-618D-438A-B47A-0AA1C5982A67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce22555fb5b8246459f5e7afd0df4871fa291b79","datavalue":{"value":"93C70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564026$981DD3D9-64E9-442F-9BC0-2BCDAB11568C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a94d5bf6eab7bddc9c7abbdf41796f52c9b87335","datavalue":{"value":"93C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564026$A92EADF0-0435-438D-8071-AB15AF1B4743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9727d9ee90ef6c0f1bdf0ba5bb711e9a6b7cd05","datavalue":{"value":"93C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564026$72769EBD-4CAE-49F0-BDE7-BA68AC6C8939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564026$63316FC7-D608-4A39-A478-301479AAF085","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"769dd2f232e018aa42a44f1a540a41bf60e20aec","datavalue":{"value":"5715357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564026$72F8F9FD-EAB4-45DE-97CD-08974D15CCC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72a2186bd183e0a18b8c94574b9d4a30e00cb5dd","datavalue":{"value":"component-based embedded real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564026$E5A237CB-991D-4448-8291-E6AA43E3D78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8ba9523fe1389a861721da64a930cb34b56a218","datavalue":{"value":"real-time scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564026$E5237188-1AAA-4377-9F8C-15C9507EEA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f89449c6ec51abad541b26a7fb09691b0170d22","datavalue":{"value":"timed interfaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564026$ECF9CB8A-3770-4854-9553-5D2AB4063E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"846b967df58bd1b5e5fe380a36a7ee5d31c751f1","datavalue":{"value":"timed games","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564026$63D1E623-148E-4F2A-B929-5233FEEF41F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3d94c6cb11ccc806e322daf9341564e463ccf2a","datavalue":{"value":"schedule synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564026$6891648F-3493-4475-AC4A-94D7746CC10E","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564026$2AF1CA99-66F5-45E7-9EA6-FF38FDF13F93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2dc64ed97c804e5e017261467c40c8738c6bd404","datavalue":{"value":"https://doi.org/10.1007/978-1-4020-6254-4_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3564026$08AF814D-304B-4593-9641-36C927057D4E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3b05c5ee9a41f85507a9a2bfda35ef84a8ff70a","datavalue":{"value":"W183077660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564026$EF5271BB-0EE3-439A-97DF-F37CE350A006","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"583272114b98919fd7d51e26e070ca76c3b6807d","datavalue":{"value":{"entity-type":"item","numeric-id":4499283,"id":"Q4499283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3cb8328b93c4f319df9955a6c7d194cd5ceaffa","datavalue":{"value":{"amount":"+0.7679123878479004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3564026$033C55EB-3142-49D5-8B79-F81B55F36B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3b2b8d71d2e94800bacb5fd41d0d1f35aa560de","datavalue":{"value":{"entity-type":"item","numeric-id":1874276,"id":"Q1874276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29a46ccac2a8773de224e6cacaa9196687e4db19","datavalue":{"value":{"amount":"+0.7603362798690796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3564026$DB767CBB-B3CC-4096-9B99-C00ABFF66188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe93788e61ebe7a43bf482717cb6285d2a725fd8","datavalue":{"value":{"entity-type":"item","numeric-id":5275326,"id":"Q5275326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a48c9429b062dd2359a8db97a183492d9996165b","datavalue":{"value":{"amount":"+0.7593338489532471","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3564026$AFEBE4AE-CB7A-4F2F-A743-BF72C3943459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d1082c356268b621975fc7e07219a6429144560","datavalue":{"value":{"entity-type":"item","numeric-id":1770588,"id":"Q1770588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faed75f757ec5bf642513f6bb050f614aefee90b","datavalue":{"value":{"amount":"+0.7581860423088074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3564026$6B681110-AD5D-4C3A-9661-71C13744D071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4c8134d85e0af69adade9d96ac601f9a688f3e5","datavalue":{"value":{"entity-type":"item","numeric-id":2988969,"id":"Q2988969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82fabf06e969ec2ef6bb26aaede266b82f6d4d31","datavalue":{"value":{"amount":"+0.7532744407653809","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3564026$6E79E37C-7356-4B68-945B-CA6254CD5EFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Schedule verification and synthesis for embedded real-time components","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Schedule_verification_and_synthesis_for_embedded_real-time_components"}}}}}