{"entities":{"Q5145283":{"pageid":7174854,"ns":120,"title":"Item:Q5145283","lastrevid":53911553,"modified":"2026-01-25T22:23:23Z","type":"item","id":"Q5145283","labels":{"en":{"language":"en","value":"A hybrid, dynamic logic for hybrid-dynamic information flow"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298736"}},"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":"Q5145283$43B83509-195E-4CD9-B072-FE2ED959A29F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"657f8327ba4d17c9a5f3f1de9df28ddc651a2bcf","datavalue":{"value":{"text":"A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145283$D098B6C5-0476-4082-A1E8-41544FD27C9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53b876a193a10fd423d6a07264c26928aab3d6af","datavalue":{"value":"1497.68289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145283$48AE87F4-C6C9-4BBD-AA7A-C153B2522742","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb7933c5ec13f82b173fc84f51a2087538f3f398","datavalue":{"value":"10.1145/3209108.3209151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145283$F9D16594-E462-40AF-8034-EB31818B1AFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afd3f33c073e895da00bd09118921c9765c7f7e2","datavalue":{"value":{"entity-type":"item","numeric-id":1629960,"id":"Q1629960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145283$092B1830-D652-4277-A2E3-42A4B463E3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc654f17b8a10219c5683cabcebc6a770c6278e4","datavalue":{"value":{"entity-type":"item","numeric-id":681339,"id":"Q681339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145283$7F6ACF31-6920-4112-9E9C-1EBB2BDAE2F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145283$184DE914-06CB-412E-A71B-89AF8770245A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145283$352038DD-B5EB-4778-BE2B-9E7DFD74D8C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145283$3D6A8029-AFC0-44B7-B3E0-6AE9CF970049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145283$49B657EB-790F-4C31-B709-1B81E7D79082","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba0b224ceed8db9cd198d33919027c71387e9873","datavalue":{"value":"7298736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145283$7F2BFD60-ACD2-4232-8D1F-431E4FCDE20C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"653148492e5cb9c0affad402eab1136a7618becd","datavalue":{"value":"cyber-physical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145283$3D1EB51B-68A2-4967-961A-D5FD59FE2576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145283$A515600A-D049-4C0D-9F58-0BF4CDCF6C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145283$2A4976AE-F8C9-4AA7-A8AE-453EBBD1C6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145283$CDC8C568-F0F0-4A9C-A4C5-986E000464B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145283$2F84434C-6DBA-4904-9E50-4D055A35C34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f443739aaf47befb8de516f78c7b4d8d4b14ff9","datavalue":{"value":"information flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145283$A9C15AFC-BF18-46B0-A1D7-3B20CD67AF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4d1ee963852383cf92e94ee8a110a0bd3d11a36","datavalue":{"value":"smart grid","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145283$29ACA7C8-3BED-4FBD-8E7B-914A1D95A096","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":"Q5145283$86ADF47D-E3F1-41DB-BBE4-6CA412C6A13D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56764f569ffe4692ba4479b05d3702ff487b9b7f","datavalue":{"value":"https://doi.org/10.1145/3209108.3209151","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145283$3DBDD241-3307-49EF-91A5-D226E20A712A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea7842b129693c5a6cbc7853db1516c648ec90ab","datavalue":{"value":"W2798427558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145283$4014E335-2662-4481-BBB4-DFAB5EA3B710","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ce69de5b7938900d6d3ef1ec87357ea301b106d9","datavalue":{"value":"Q130838801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145283$58188F05-6E95-42D8-B29C-2DF97D79F5B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"504f01a016f42781de442f4546179f38a8d3945b","datavalue":{"value":{"entity-type":"item","numeric-id":2324192,"id":"Q2324192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd930688856bb375452745e69d3ffaaec42ed9f3","datavalue":{"value":{"amount":"+0.7323693037033081","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":"Q5145283$4107DB7B-8160-452D-B525-83ACF4D0D349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a302481d34e78b330c746f9e246bd66f5cdb76a","datavalue":{"value":{"entity-type":"item","numeric-id":5217294,"id":"Q5217294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e818117a943557beab8463e2b3063ceed51a7ef","datavalue":{"value":{"amount":"+0.7252267003059387","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":"Q5145283$4D39D410-A7B3-49C0-B41A-7A7340D8F7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc80f8a80ccb8e524f66799a13bb0f2f6c2df3d","datavalue":{"value":{"entity-type":"item","numeric-id":3296345,"id":"Q3296345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28f8e9d4af95cbf9bb6d82aa4359a24bd6d634a0","datavalue":{"value":{"amount":"+0.7150329351425171","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":"Q5145283$5DFD8A4F-492D-442E-A83E-F4CB87534E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a957d2cf599028b27c7efd7665694dce77cbd3cd","datavalue":{"value":{"entity-type":"item","numeric-id":2891409,"id":"Q2891409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21f88f052b2dcb533502b9974e4f7f5b5d4d5b95","datavalue":{"value":{"amount":"+0.713947057723999","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":"Q5145283$A8DE6442-6274-462F-A558-6681DD86D958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58b563816bcdcc7c52e041e2ca46260c02b5a35b","datavalue":{"value":{"entity-type":"item","numeric-id":2763665,"id":"Q2763665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87d9fd200494b1dc80a8241a609dacccc61d722c","datavalue":{"value":{"amount":"+0.7138864994049072","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":"Q5145283$5E512179-A0FC-49D0-95BA-17933DFF7C7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145283","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145283"}}}}}