{"entities":{"Q744103":{"pageid":745952,"ns":120,"title":"Item:Q744103","lastrevid":64048134,"modified":"2026-04-11T17:17:32Z","type":"item","id":"Q744103","labels":{"en":{"language":"en","value":"A formal proof of the deadline driven scheduler in PPTL axiomatic system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6351437"}},"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":"Q744103$5D81577F-FDA1-4A1E-8518-A2A2E120F729","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a7c04936ce97471f36b2d0f88386d8073c5cab5","datavalue":{"value":{"text":"A formal proof of the deadline driven scheduler in PPTL axiomatic system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q744103$E8D5C60F-108F-4353-ABFE-93886E0FECBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0d77b000425d66bd46a07c21e335fdfd34115da","datavalue":{"value":"1360.68771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744103$018E1071-E807-40CC-A65D-B4742457A9C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83e0c9ae8671e5f29856e35bbe5db8cbb2ecbb5c","datavalue":{"value":{"entity-type":"item","numeric-id":247888,"id":"Q247888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744103$86718128-24AC-4576-98AD-68C0ED74EA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744103$4F7CF1B7-3132-4244-9454-1A8F2B408F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63c8a7d27ac589b244a048d2f920a9e8c6bd330","datavalue":{"value":{"entity-type":"item","numeric-id":247892,"id":"Q247892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744103$34E06E8A-FA8E-4F50-9F2D-4ECE67185E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d176dcf8014bfec2c4899579ee7ce9e18294338","datavalue":{"value":{"entity-type":"item","numeric-id":166203,"id":"Q166203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744103$FE922C7C-B7D2-480B-BF1A-8B84ECAD4CC5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744103$F951EE8B-6C49-4DAE-A549-81BF061E75E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2b61fc3e1fd77a44c6756723ec563e89b4b6f26","datavalue":{"value":{"time":"+2014-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q744103$6B18F090-DA72-4D33-8928-FEFB8EE4955B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744103$A54575B9-CFD3-4A75-8908-D086D16949F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744103$4151740A-359C-4ADC-8D1C-82BBF662887A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744103$7AD87C73-1171-40B6-A3A8-EC268A583896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744103$0FF39D6E-822D-4F56-ABE9-FF0F998547C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744103$959EE231-58C9-4016-80B8-1C70C2DD6430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744103$463FAB41-3B7D-4607-88F7-DB735DC2EEBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"648aa8009afb7e0ff305e01a4691090020875d3f","datavalue":{"value":"6351437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744103$BEFEBC15-A9DD-4501-A943-9ACB9B0F8B0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q744103$8F77FCDF-1C0F-467E-B098-84375135B322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f57aa81e5af3328b6677d2b978a2e3d19d725f0b","datavalue":{"value":"projection temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q744103$C36E0083-87AE-4DE7-8936-87E9295C485B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d75af44b6b37de89f6e942987f0cba47915212c","datavalue":{"value":"deadline driven scheduler","type":"string"},"datatype":"string"},"type":"statement","id":"Q744103$5522790F-603C-4EC5-A8CC-71032CD44D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5a5cb8f0a2e3ee48e312b2fe05f0225c0a3c2ce","datavalue":{"value":"real-time system","type":"string"},"datatype":"string"},"type":"statement","id":"Q744103$3D8AAB8C-5649-4CB9-8A26-346194250AC6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744103$599D66E0-A016-4E25-8F1F-42DC4DF2A543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744103$546D2B0F-8BDF-4AF4-9A19-8F7D83F164D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744103$C4A8CBAD-4353-42B2-AF3F-5952AE70CBE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744103$BD210D70-1EF8-40E0-BD29-D9ACE04A02B1","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":"Q744103$2840A079-E182-491C-9303-AB4256E043D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5af6caf34f4507ceca542e51605f314d1dcd545a","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2013.12.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q744103$595646EB-4BFE-46F7-820D-866C7AD07EE0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae9c78445b7a4cbae029bb13cfad99c58136b4be","datavalue":{"value":"W2039684730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744103$8E97F2EA-F1C9-4E0F-93CE-13CC79C2EC4D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744103$B9779D73-6EA9-46D9-9700-A125DE421BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744103$57B2437F-30CA-4B1B-AA58-E8767AE8A636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f70484bd2d56db595fa191ad0d54a382774ee3","datavalue":{"value":{"entity-type":"item","numeric-id":3335722,"id":"Q3335722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744103$B1F65499-E27C-421E-B883-6CB32A78ADE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744103$0F1864CF-AF61-4342-92DD-FDE678B8FA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744103$243BECD0-ADB3-41F0-AA4C-C4F3613413F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744103$EC0DFFD3-499E-4179-8DFA-47549593F60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1f1b83769fefedef94f42bd5222af507a657b","datavalue":{"value":{"entity-type":"item","numeric-id":3703866,"id":"Q3703866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744103$5772F5B5-E63C-432D-AAD2-DBBE427E2ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14c9b42a8bdcd0f4515a811d90e2c8fd35dc8cd9","datavalue":{"value":{"entity-type":"item","numeric-id":2430015,"id":"Q2430015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744103$9D49FDB6-EFCD-400F-B4A6-4448331598B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf02e74786a2c5f7ea2dabcf2ee15c3dc85ab8e","datavalue":{"value":{"entity-type":"item","numeric-id":2469157,"id":"Q2469157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744103$8EFFCF84-7188-4E0D-8B2F-C67BCFB84058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a27d29d6c8a6d90cf683150add9e5ddb2d9f1b6","datavalue":{"value":{"entity-type":"item","numeric-id":3806791,"id":"Q3806791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744103$352AE292-AB70-4F15-9F20-6CD56490E9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d1b5b8cf7f7d3f1fd4ae91ff16265c8ce81bed","datavalue":{"value":{"entity-type":"item","numeric-id":391222,"id":"Q391222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744103$F160B00F-E110-4FA9-BC0B-9AEC4193C945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f1e44416a3c1cc347b58f2819f854351e6ffec","datavalue":{"value":{"entity-type":"item","numeric-id":391223,"id":"Q391223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744103$ADF375C2-3EA5-4A03-935D-D563723F7BF0","rank":"normal"},{"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":"Q744103$FB8E0769-EC49-4244-B5F9-2830DED4AE04","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":"Q744103$8335E99E-9ECE-41EF-9BCE-1402388262EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb10bb50274740176b84938a78e63d9b2bdabd1f","datavalue":{"value":{"entity-type":"item","numeric-id":5945840,"id":"Q5945840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744103$7596EEB4-8B57-495F-B91B-C86FA4B0364C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f452bc63d30a9b056e2d110ce2b9c63dde29ce0","datavalue":{"value":{"entity-type":"item","numeric-id":3181698,"id":"Q3181698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744103$34F2BBD9-126D-4FF5-A462-5D80806F11AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367615c89c5e53362735b1e2712e2074018e117f","datavalue":{"value":{"entity-type":"item","numeric-id":3616217,"id":"Q3616217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744103$CF755835-411E-4787-8069-DC0E070B4B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80baa7dd24c818fd0c0c74f2138ba1261f4733e6","datavalue":{"value":{"entity-type":"item","numeric-id":2480780,"id":"Q2480780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744103$29AF8945-CA19-48EB-8229-5D46EC15B7D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e597e35c9392383680d11627079cd06fd8aacca","datavalue":{"value":"10.1016/J.TCS.2013.12.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744103$AF0330D7-827D-4605-BDF8-69A7075FCC8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64d216e27e46b27d6668414a77f4aa8b41fd4c5f","datavalue":{"value":{"entity-type":"item","numeric-id":5963639,"id":"Q5963639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97544754f05220404a1d61ca21eaa0a8b2b2f8f4","datavalue":{"value":{"amount":"+0.841252326965332","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":"Q744103$D440DB46-9D71-4BF4-B5CD-51ABB90D59E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"883493ae2cf104a1dd9f824ee29169e3c1b7ca55","datavalue":{"value":{"entity-type":"item","numeric-id":5945840,"id":"Q5945840"},"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":"Q744103$7C9B14BA-C964-4D62-9E77-A8EE4193BC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"561307f750473501718e9736601af1cef9537c4e","datavalue":{"value":{"entity-type":"item","numeric-id":3109143,"id":"Q3109143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b57a638a7e2b02d181d0dcd5d926c706a647e3d","datavalue":{"value":{"amount":"+0.7499033808708191","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":"Q744103$6897DE33-DB0F-465C-AE61-835DC0AA6324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7300cc5fe982215858a279f2ac0316a4a620cbbd","datavalue":{"value":{"entity-type":"item","numeric-id":391223,"id":"Q391223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90bb90c760bb47e48be358715e573831ec81ea08","datavalue":{"value":{"amount":"+0.7481150031089783","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":"Q744103$23C6DE87-63C2-4C8E-9E86-0D70254D8166","rank":"normal"},{"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":"82cafc3e3d00df023e630d08a4d41d12d8509e45","datavalue":{"value":{"amount":"+0.734990119934082","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":"Q744103$31AE53D6-DD0B-4989-88AF-8163C811CC34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal proof of the deadline driven scheduler in PPTL axiomatic system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formal_proof_of_the_deadline_driven_scheduler_in_PPTL_axiomatic_system"}}}}}