{"entities":{"Q5945840":{"pageid":8122642,"ns":120,"title":"Item:Q5945840","lastrevid":47684362,"modified":"2026-01-02T10:28:32Z","type":"item","id":"Q5945840","labels":{"en":{"language":"en","value":"An intuitive formal proof for deadline driven scheduler"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1657699"}},"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":"Q5945840$4063CCFB-9147-4FBC-B0FA-E13765D87953","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4667b0eac087382456331f6bf9d6dae577a8c09c","datavalue":{"value":{"text":"An intuitive formal proof for deadline driven scheduler","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5945840$E1243862-CEA7-48F5-931C-2F6982CF62A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b857a16bd9fe3e771e0158a8fee5b277ef264cda","datavalue":{"value":"0986.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945840$DA404BEB-5E0A-46F9-B56A-0BBF1E76D766","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d041df7166526cc9941ad432063dcd43baca4d69","datavalue":{"value":"10.1007/BF02950419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945840$09CAC22C-F343-4279-9A08-E4C713597338","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c53576066bc56448814a25dcf6f6d8a1a93fe1ff","datavalue":{"value":{"entity-type":"item","numeric-id":208297,"id":"Q208297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945840$DEEDEF7F-4FC7-42CA-B1CA-468DB633F742","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945840$88B781E6-8F7C-4688-968B-2A547B95F566","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64c1f5c2d2acc8630c4745adbe761e7f69f976b3","datavalue":{"value":{"time":"+2001-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5945840$7A0666C3-5E85-4263-A20E-8464E8365261","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945840$8CA44526-26AC-4912-8A4A-6BA5B4CD002B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9aee47a34196e67f2030e6a7973779a27cbec49","datavalue":{"value":"1657699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945840$4C9C9AD1-1680-488C-8A71-14F6079EDB70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d75af44b6b37de89f6e942987f0cba47915212c","datavalue":{"value":"deadline driven scheduler","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945840$48EEDCC8-68E0-4281-8FB3-BE8E5D5962C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4e571d5d1b1f948f468f5f78176e1a3d5c65937","datavalue":{"value":"duration calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945840$FBA463E2-C590-42D5-A18D-7E99B8C76FA6","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":"Q5945840$D39CE423-31F5-4667-8F79-90AFD1675DFF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2fa5133216b14614490f456ec9f05c5af9bfa07","datavalue":{"value":{"entity-type":"item","numeric-id":5681520,"id":"Q5681520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945840$D20C7D66-16D8-4B62-A332-5ED0A81D361C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945840$EA176217-BF1B-4544-ACD3-2B5096452F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f37e8ba0251a16df51f940680106a4e06358b662","datavalue":{"value":{"entity-type":"item","numeric-id":1377324,"id":"Q1377324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945840$03CABFFD-9F06-44DD-85F1-1725D9337768","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2e50e16218b0b3836473e021e3472e6da1d4a28","datavalue":{"value":{"entity-type":"item","numeric-id":3181698,"id":"Q3181698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf2d120a22c9253bffe1b8f32a434d69ea4bdbfb","datavalue":{"value":{"amount":"+0.7811821103096008","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":"Q5945840$5020BB7C-4FFB-4792-BD35-904E948C4558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7fb4573bb9fe07b93f992b29f542769ced4c69d","datavalue":{"value":{"entity-type":"item","numeric-id":744103,"id":"Q744103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9f0a29c25e866bb0c5e83afb055c2a8e8874561","datavalue":{"value":{"amount":"+0.76848304271698","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":"Q5945840$D9A6879D-4825-48B8-AAE9-77B554724B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f369d1d1e090ff9d8f9c91135dbf72238a7d4fa5","datavalue":{"value":{"entity-type":"item","numeric-id":2829245,"id":"Q2829245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66aeb8d9b4e43fe4ee356c00d1b7f30c506c51fe","datavalue":{"value":{"amount":"+0.7003633379936218","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":"Q5945840$1A41502E-50BE-43D5-884A-6DF0756FE278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7eff99584ad0c3f97d7d562f7fcbecfaaa864c3","datavalue":{"value":{"entity-type":"item","numeric-id":835766,"id":"Q835766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d448adca38e0ebe2072ffb65b72c122febef1d2e","datavalue":{"value":{"amount":"+0.6875191926956177","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":"Q5945840$74F8C8A6-2AB9-4C95-860E-96C4D059636D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cdeb6ff4ec14e656ebe25238b2df213bfe64438","datavalue":{"value":{"entity-type":"item","numeric-id":5949488,"id":"Q5949488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d3fcf3a5692a08b062961ddd378a62a10bfc3b1","datavalue":{"value":{"amount":"+0.6748100519180298","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":"Q5945840$7976DAD0-BB34-44CE-8BDF-6A38D75E28EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5945840","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5945840"}}}}}