{"entities":{"Q5045379":{"pageid":7074956,"ns":120,"title":"Item:Q5045379","lastrevid":58405110,"modified":"2026-04-05T01:56:53Z","type":"item","id":"Q5045379","labels":{"en":{"language":"en","value":"Compositional Hoare-style reasoning about hybrid CSP in the duration calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7612565"}},"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":"Q5045379$B18FC916-6105-4B1B-8371-E5700908795E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2ee0f2501e28024f7f453c94001fbf10ea46ed3","datavalue":{"value":{"text":"Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5045379$518DB972-312C-4CAE-AF02-0667393E94DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92236f5bff8cddbbf57d03ffc2e6bb2d65d962d9","datavalue":{"value":"1498.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045379$AAD585E6-2456-477B-AFAD-0088DCABABC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d4c5036e8eea85dbc1af87a17e409618bcc3e57","datavalue":{"value":"10.1007/978-3-319-69483-2_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045379$4BB738F4-84FE-4EB2-975B-0A69C387EA94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca70b50666cd4b37b70c35978cbe57cd070a9ee9","datavalue":{"value":{"entity-type":"item","numeric-id":528194,"id":"Q528194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045379$CDE3CA3E-FDED-43E9-8A7E-F93418A2E09D","rank":"normal"},{"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":"Q5045379$D11B227B-1932-4BD6-B212-F5188AD5885D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db6dde18f260590a0af478668dc06a118a846e54","datavalue":{"value":{"entity-type":"item","numeric-id":591944,"id":"Q591944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045379$157E2902-8853-474D-8312-A3EFFB7C325B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02602812e8c677f46c4ba4febbc893f4aab8f2ae","datavalue":{"value":{"entity-type":"item","numeric-id":5045375,"id":"Q5045375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045379$1043E8AA-C4E7-42AA-8041-3EAD5A60FA60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96420cb12347695a963e770401ec584dde3a55d6","datavalue":{"value":{"time":"+2022-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5045379$0EE0786C-191D-45F5-846B-C967BBFC3876","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9133867115a0c15de2ca6b1084341bcb928d1ef6","datavalue":{"value":"https://arxiv.org/abs/1706.06246","type":"string"},"datatype":"url"},"type":"statement","id":"Q5045379$B22017B5-D17D-4C3C-BACB-3AB1F893CC50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045379$7D014E6E-10BA-4AF5-8DC7-0087507C64AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045379$C0338CD8-87DC-48FB-A0B2-4A79AA4D82B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"624f5aff8af423d7dd0646520837b065b6e38084","datavalue":{"value":"7612565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045379$0E7D78FD-2C4A-4634-8307-C491A3116859","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":"Q5045379$74EE83D9-5361-492F-8941-621B66CCBDD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b1607b273e08080d7fe908e771cc9639e51dc3f","datavalue":{"value":"W2964196829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045379$A973FC3A-4328-45ED-908A-F227D45B636B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5205af708aa0fa32a3dfc4c4c30ecc5bcd5102f0","datavalue":{"value":{"entity-type":"item","numeric-id":2898020,"id":"Q2898020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6bc7eb644bc60b6714201ffd3d892ae3e7dd13c","datavalue":{"value":{"amount":"+0.8358214497566223","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":"Q5045379$4A4817BD-F9B4-470F-BB08-AA3FEE699143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b8b012aeb60c5a87d330347f8fb589a2658a98","datavalue":{"value":{"entity-type":"item","numeric-id":5047167,"id":"Q5047167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09ffba073133650a0e4e10febfdd577136788b35","datavalue":{"value":{"amount":"+0.7457567453384399","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":"Q5045379$780F23B8-22E6-4C2C-BFDA-45A1B6955C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa1f4841de960501ed36ce114855cf0bd00d78f","datavalue":{"value":{"entity-type":"item","numeric-id":1040772,"id":"Q1040772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c657d9ef3f9c1c3fc16349c5e9da1410c1bb006","datavalue":{"value":{"amount":"+0.7426036596298218","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":"Q5045379$81006032-EE78-457B-B2C9-50C7174BF1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9540d01c94d6496f77cc2ed5a824f585a544af3","datavalue":{"value":{"entity-type":"item","numeric-id":5434526,"id":"Q5434526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e813c3f62e68dec7ab30fe07a8693bac0bcf478a","datavalue":{"value":{"amount":"+0.7368865013122559","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":"Q5045379$F05E20CA-D955-4BEA-9E13-AE720EDD7FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e44e1da535bc26c795efe8f1a0989c9e6b4148","datavalue":{"value":{"entity-type":"item","numeric-id":706508,"id":"Q706508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6bfe0f2f82b0180954f72a9eba3890884ffded3","datavalue":{"value":{"amount":"+0.7361761927604675","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":"Q5045379$0F0ECEE9-EAF5-430A-B0CF-4E85A9D15D83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5045379","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5045379"}}}}}