{"entities":{"Q1617824":{"pageid":1628564,"ns":120,"title":"Item:Q1617824","lastrevid":53270537,"modified":"2026-01-24T14:42:15Z","type":"item","id":"Q1617824","labels":{"en":{"language":"en","value":"Calculational verification of reactive programs with reactive relations and Kleene algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6975211"}},"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":"Q1617824$25006B1D-0476-4FAC-8DF5-645DC40D2980","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a8869f14188ac8e84da89d863a74c2a2c7efdba","datavalue":{"value":{"text":"Calculational verification of reactive programs with reactive relations and Kleene algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1617824$8F4F4A4C-BB43-4397-AEC0-477EB45F7B80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94b7a60fe48dc62b95cb5772513bef11ebd89e83","datavalue":{"value":"10.1007/978-3-030-02149-8_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1617824$D9E328A6-39E3-42BA-BD2F-7020203F2DF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f0d16d56334eda577a220b2d6e48a64c295fa2c","datavalue":{"value":{"entity-type":"item","numeric-id":1617822,"id":"Q1617822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1617824$DA434AE0-0E66-4FEA-81ED-4FDC50DD5028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f28c6f17189715ed832177cbcbb505f96e8d7c4f","datavalue":{"value":{"entity-type":"item","numeric-id":1617823,"id":"Q1617823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1617824$D7672F37-689D-43FC-8679-EB9C44F37CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f27d31a7277a70c7762a067d64f6707ee9b1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":315300,"id":"Q315300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1617824$A35E547D-FB2B-4921-8E86-DECE76C62649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1617824$C186CE1D-92FA-4341-A29B-6CEF9020B951","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d94f266e665f0d182ce6e3f9a96799908413b14","datavalue":{"value":{"time":"+2018-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1617824$7E324821-F63B-4D81-B3F0-3B1152DC9071","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfe571762dc5a54088a35d559325dd069dac6214","datavalue":{"value":"https://arxiv.org/abs/1806.02101","type":"string"},"datatype":"url"},"type":"statement","id":"Q1617824$A2A319F6-D233-49F7-BCD6-8B933DE9F12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"89ffdfe6366837ea78e36152ed4b17789b0f6c96","datavalue":{"value":"https://eprints.whiterose.ac.uk/134042/1/RAMICS2018.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1617824$E3AA3D22-17B5-4C2F-8E6F-E18DF17A1375","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1617824$D7068235-5FA7-4B6D-99BC-F504C1112C9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"230e2ebf4eda9b0b25679e286b114a85ebac3c3a","datavalue":{"value":"6975211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1617824$967826FE-8D38-44D0-B20B-5E9B2D05C362","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":"Q1617824$7EE7D779-E731-45E6-A294-A27F46401A90","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d17e24ba37e0d620973c725e44e9a1354019dc77","datavalue":{"value":"W2807209221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1617824$FFF24195-AFD5-45E7-BB67-DE5BAF55D1F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c055b0a6245b68f7c64016c00ebdbac0def3df","datavalue":{"value":{"entity-type":"item","numeric-id":2043817,"id":"Q2043817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7afeffe3a12667b5c36822e4e79f23e534041dbe","datavalue":{"value":{"amount":"+0.9073441624641418","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":"Q1617824$AEBCDA3E-AD8C-4F3F-BADA-59C4DC95FA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d4864234ea385815bb3c16df8db12dc98aff1cf","datavalue":{"value":{"entity-type":"item","numeric-id":1566912,"id":"Q1566912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81fbc57f0a34cb2c9a95dee99a4d31a413fd8fd2","datavalue":{"value":{"amount":"+0.7858898043632507","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":"Q1617824$0FEC9B8C-1322-4C63-B17E-C5DF178CBD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70364c00d1852bcb70b6271f0d9dfc5204d6905f","datavalue":{"value":{"entity-type":"item","numeric-id":1916361,"id":"Q1916361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81fbc57f0a34cb2c9a95dee99a4d31a413fd8fd2","datavalue":{"value":{"amount":"+0.7858898043632507","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":"Q1617824$C2BEBE69-8D07-4636-9FDD-0FC3EA36D0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4e01af7911d7707bd27d3e7d3c8388a5e637061","datavalue":{"value":{"entity-type":"item","numeric-id":736461,"id":"Q736461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52aa039af51fd67416ec5918422ac61d339ea014","datavalue":{"value":{"amount":"+0.7435581088066101","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":"Q1617824$9B8D46A1-26F5-436B-A1BB-4CA4FADBA917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309c1645d9418ad0e47ec780e6b4f4b7e5af74a1","datavalue":{"value":{"entity-type":"item","numeric-id":5327345,"id":"Q5327345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd824b28cf78f9f4947cf25898e2e890893c8ef1","datavalue":{"value":{"amount":"+0.7349662780761719","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":"Q1617824$4AB3B327-67B3-41DD-8A1D-D6F1AA4CDF77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1617824","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1617824"}}}}}