{"entities":{"Q5963639":{"pageid":8140441,"ns":120,"title":"Item:Q5963639","lastrevid":93555629,"modified":"2026-06-05T04:36:13Z","type":"item","id":"Q5963639","labels":{"en":{"language":"en","value":"Verifying safety critical task scheduling systems in PPTL axiom system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6544327"}},"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":"Q5963639$9D38DE6B-3530-4B9B-A77E-506858C451DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e67dcc93909e241aab1c43cfbe7a1ad4270950b","datavalue":{"value":{"text":"Verifying safety critical task scheduling systems in PPTL axiom system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5963639$532C88D5-2CD6-4438-AFA4-08F1577E4BBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5b57944db4aec2c5a704087eb584a6f569d4c86","datavalue":{"value":"1333.90055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5963639$FF97904D-F45F-473E-9151-4EE683771C4A","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":"Q5963639$D15DB7F1-BDC3-410C-82A3-BA00A42EDF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37e085ecbc83d59919ae382f77064b9890c510b4","datavalue":{"value":{"entity-type":"item","numeric-id":247889,"id":"Q247889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5963639$A7E98383-E32E-48FC-800B-BFED32EF7DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c070a33f8297eb81472738edbeec8a26e479904","datavalue":{"value":{"entity-type":"item","numeric-id":247890,"id":"Q247890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5963639$8C81F0BB-9D3F-470B-B995-4628D811DEC1","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":"Q5963639$F4A1AC55-44EC-4CE9-B425-38A5D7FAEA7E","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":"Q5963639$BD9CBCD4-52C2-4852-92E6-24E47CC24F39","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dcf8815e3b257674fa147da7a4e7c92c91c0b3e3","datavalue":{"value":{"entity-type":"item","numeric-id":185429,"id":"Q185429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5963639$84F56330-172C-432D-9453-42FC560B06C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f429de4bb61af0cec7dd689742f7976bba897976","datavalue":{"value":{"time":"+2016-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5963639$D72909F6-13BA-4B74-88B1-194595B940AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b7ffcab9ce53e90c8627cb2c3bb400b94a5f354a","datavalue":{"value":"90B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5963639$284278E9-21FB-483B-8C19-00A57E61D272","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2a23bdfc6c0f209049f4491b34b677cd1973503","datavalue":{"value":"6544327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5963639$280F7131-DF25-4760-87C9-0B937D0A6EF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5963639$EE5957DC-F8A1-4A37-90D6-AB0B2D09EEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"234199a288eaf2c4b3846975331b2cd7884c9f1b","datavalue":{"value":"scheduler","type":"string"},"datatype":"string"},"type":"statement","id":"Q5963639$56283A78-F2F7-492D-8E50-A3E029CA3E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f20dd649bc10efa5e5acc4f3062bf85bd231792","datavalue":{"value":"real-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q5963639$3F959426-A561-4FA5-8441-95913552BDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba8232b7b201dcff83c9dcd810d27be2fd614bf","datavalue":{"value":"safety critical system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5963639$2000D0D8-426A-440A-87CF-7AFB71A16DCC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d7a27cff78b00adf0310ffe1c25a1f31e609a221","datavalue":{"value":"Q114017540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5963639$B003DA3E-4E2E-4DAE-9DDF-7748EE8D2F7E","rank":"normal"}],"P1463":[{"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":"Q5963639$1AE4DA9D-AD89-4C96-BA5D-26398571C57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5963639$29EA258C-553B-4466-BBE8-21BCD9ECC89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5963639$8969540D-AE05-4DA1-B6DF-B660FDB4087F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5963639$66EED347-4FCE-486A-9D3F-ACC5822345BB","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":"Q5963639$8E153A04-51C1-42E5-94B8-3C0BB7C2B8B3","rank":"normal"},{"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":"Q5963639$DCA15CD9-4495-46A2-8035-100244EBD61E","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":"Q5963639$826DC3C6-F84C-4D2E-A21C-C9DB72CB4AA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"742475494a763e17deb499812d42b8496b39dd60","datavalue":{"value":"https://doi.org/10.1007/s10878-014-9776-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5963639$84D322F7-0EEC-4546-9148-4A0A2C9D36EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4dc7d195b61a586810f6c1002f7cb56f1b4e1e02","datavalue":{"value":"W2076669467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5963639$F4684DEC-5B8E-4CA6-BFDD-C7861B292F3D","rank":"normal"}],"P223":[{"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":"Q5963639$075FE5F2-554E-455C-9CE3-FEAE8E2ABCD4","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":"Q5963639$852EE2A7-347F-4D32-A625-FE89A3C7F8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5963639$32B980D7-E314-406D-8026-CFF25FFA001D","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":"Q5963639$C28CB0B9-BA12-430C-A2D6-0ABF56E24521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5963639$77F63E91-52C5-46F8-91A2-A5D32766AAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5963639$55588CF6-F3F1-4FEE-BF90-4C959B7736FB","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":"Q5963639$D4429FB0-E3D2-41E6-99D5-7346BDF80E09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"725f27e0ea778bf3dfc5a1b6b2e7bbf04a1bae2f","datavalue":{"value":"10.1007/S10878-014-9776-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5963639$C7B4703D-19C7-4C5C-B08A-95C0943EA705","rank":"normal"}],"P1643":[{"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":"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":"Q5963639$BFF07C12-4C1D-47DD-8C73-3D0475A9A26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c99edb253f5ddcee94fb06c4b2b2e038cef42256","datavalue":{"value":{"entity-type":"item","numeric-id":2424721,"id":"Q2424721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39788faa3b847d7a510883db8bbc4591da668bc7","datavalue":{"value":{"amount":"+0.8266699910163879","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":"Q5963639$1EDB91AF-7638-479E-BD01-451414FE3C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55c3ed1378a7b5675ec987954b2446685ba1aad6","datavalue":{"value":{"entity-type":"item","numeric-id":3017644,"id":"Q3017644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bc139a65c5a916cf55b9a8faff39f004a565c1d","datavalue":{"value":{"amount":"+0.7556461691856384","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":"Q5963639$7066ABD6-F05C-40D1-85ED-89D22CBC2822","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":"aa08943117dc0545f28be6c4f065906311a29b0b","datavalue":{"value":{"amount":"+0.7446212768554688","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":"Q5963639$A6CD8FEB-B5DB-4053-92E1-FC9183F67DF1","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":"2f107b580305097381f268ad771a59ef2c8f4252","datavalue":{"value":{"amount":"+0.7374945282936096","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":"Q5963639$A36FFA50-B131-47E3-9CF2-8127548E97C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying safety critical task scheduling systems in PPTL axiom system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_safety_critical_task_scheduling_systems_in_PPTL_axiom_system"}}}}}