{"entities":{"Q1617825":{"pageid":1628565,"ns":120,"title":"Item:Q1617825","lastrevid":71485449,"modified":"2026-04-13T22:34:37Z","type":"item","id":"Q1617825","labels":{"en":{"language":"en","value":"Verifying hybrid systems with modal Kleene algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6975212"}},"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":"Q1617825$1170EFB9-AEF6-43B9-A268-713BEE5003FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98ccb297d5ea1ffd86347e5fc596abb87ff82aaa","datavalue":{"value":{"text":"Verifying hybrid systems with modal Kleene algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1617825$8383B307-25EC-4AE4-8BDD-FCDF4F0433F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"316473bcea21a35b9468bf1e14726657b7ffc1b4","datavalue":{"value":"10.1007/978-3-030-02149-8_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1617825$B8E26D38-FF23-4360-876F-DBEAE6F6328E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fa50bb85a8ff3eebc859f9fb68dfa18c6b1e647","datavalue":{"value":{"entity-type":"item","numeric-id":832720,"id":"Q832720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1617825$146DF52D-5483-4D94-8EDF-5A16603883EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb27aad50a775f188aa99887f496d209cf025869","datavalue":{"value":{"entity-type":"item","numeric-id":299200,"id":"Q299200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1617825$FA626EA7-313E-440F-9A85-9AB0FAB755BB","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":"Q1617825$C667D285-A309-4DF4-BB12-033DE00D4281","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1617825$176DABD5-6729-43E7-B936-2578737E8F60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cac6b230868c35d75483dab0c48e1e5747857e7","datavalue":{"value":"6975212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1617825$AA52EC48-3FAA-47A8-A7B0-D30418E289E0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1617825$9C6200DF-4B47-4823-9337-435237CA8659","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":"Q1617825$D4BA7F9F-4189-48F2-BB74-BD00C56E473C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69b6192c7c4c4594a1863891b2a6d44e1e27527f","datavalue":{"value":"https://doi.org/10.1007/978-3-030-02149-8_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q1617825$3A14BA96-C214-419D-984F-BF1D3E7D7703","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb8893cedaeb3f717fce5ade4163589b379cf8bc","datavalue":{"value":"W2895754784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1617825$14C6D76E-1B9D-41BC-839E-824D5F1C487B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2618efea89b8ac42f420f233d84c1b7796adac0c","datavalue":{"value":{"entity-type":"item","numeric-id":2281640,"id":"Q2281640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9c21b52aa8c148d3e83ae70f7b620b0c64f91b7","datavalue":{"value":{"amount":"+0.815951943397522","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":"Q1617825$159A4537-0E2F-471A-860E-C24CE31A2D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d46295025e8e83ab0f72b20e1209f6e61a9cc457","datavalue":{"value":{"entity-type":"item","numeric-id":3498414,"id":"Q3498414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0d24f3c3c96b9dbe22a6d4f636460ba65399ee8","datavalue":{"value":{"amount":"+0.8129537105560303","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":"Q1617825$6669D6B3-FD07-49E2-A9A7-856A0EF50AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b59fbf9ad0cab5cf7b5857ef5d20ef0d3ec2a297","datavalue":{"value":{"entity-type":"item","numeric-id":3460629,"id":"Q3460629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fac89d0942513871118d419c56800bb2c4ac1f2","datavalue":{"value":{"amount":"+0.7816916108131409","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":"Q1617825$8A27E9AE-FB7D-4075-9737-9FA912C2966F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"190fde07ccf0cf3dd92981a789065a432485c664","datavalue":{"value":{"entity-type":"item","numeric-id":3104005,"id":"Q3104005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfea660c2da205685f2340c65e0395a4baa48462","datavalue":{"value":{"amount":"+0.7731688022613525","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":"Q1617825$783AE9F3-DD1D-44A5-AEFE-EAD81535E973","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":"4cd843dc8a20fa93afb6c0f9fe3aeb1600315078","datavalue":{"value":{"amount":"+0.7722736597061157","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":"Q1617825$0510F43E-6C36-43D5-BCA2-C39D4F6C86DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying hybrid systems with modal Kleene algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_hybrid_systems_with_modal_Kleene_algebra"}}}}}