{"entities":{"Q2867948":{"pageid":2878668,"ns":120,"title":"Item:Q2867948","lastrevid":51895022,"modified":"2026-01-20T12:05:25Z","type":"item","id":"Q2867948","labels":{"en":{"language":"en","value":"Towards a hybrid dynamic logic for hybrid dynamic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6241769"}},"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":"Q2867948$0CF060BB-4C6D-48AB-BA3B-18E46AB7829E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecd72c9ef42d716d96d4df269b749e36c1a07863","datavalue":{"value":"1278.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867948$3AB3B253-9C9B-465D-B1C1-82CDFB008851","rank":"normal"}],"P16":[{"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":"Q2867948$3D103BA8-2D9D-47A0-8E9A-A94DBE7D0AA2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867948$95A3564E-89C2-4AB8-93FE-EA4D07EDF71A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"910ae69968b0b824ffb07e2bd5cc35370f9e2a13","datavalue":{"value":{"time":"+2013-12-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":"Q2867948$AB4F62D3-6412-4A31-8F98-C60320A45886","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867948$0453A50E-53B1-4A38-8212-0C17694F0594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867948$CAD2AED7-6205-493A-8E1C-D6CCD20807F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b1e79689ee2a07fbb55397d55696e0931bc9d1f","datavalue":{"value":"6241769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867948$CD68A31E-2613-423D-9B88-AB27ADB663BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867948$5ACE23AB-3BFD-49F7-894B-AC36335B21CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867948$1B5CD0DC-FC05-4172-A0E4-8F8387BBB72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867948$68DB5B58-31BD-48BA-9008-5301F308160C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdad6c7f5be84f5ed04215b5cce5a2a5c8dc0aec","datavalue":{"value":"compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867948$AFF539A5-0025-43EA-9F56-176D3633571F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bfa78fa3acc496d43a2425f438eb9cd479516a7","datavalue":{"value":"real-time hybrid dynamic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867948$CBB0D898-FFE0-4256-BED0-C3E9EF4082B6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867948$52662BBA-0DF8-48DC-B203-DB9167E130A8","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":"Q2867948$9C3AE988-185E-40ED-A8AF-E41C02F6DB4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b7a400fcadf93c44e53ee75a1d38dacd4b2aaaf","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.11.026","type":"string"},"datatype":"url"},"type":"statement","id":"Q2867948$27CAE084-9BD6-45A4-AA4C-B8B036936314","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"360c4e857e954e9eb78313db21089878c8bde2de","datavalue":{"value":"W2070013285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867948$08471397-66FD-4A4D-961B-822F5C8B73D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cdc7283fe176cc7266c2ab2cb14158c061aab4a","datavalue":{"value":{"entity-type":"item","numeric-id":3613414,"id":"Q3613414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867948$28ABAB62-F122-4E4E-B6CC-502782D83627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a3fbe5dc19781d8cc61fa707bddca7c6943cc26","datavalue":{"value":{"entity-type":"item","numeric-id":4952029,"id":"Q4952029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867948$42F60BF9-28CC-4BC8-968E-27CA21C28FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52cc5e622126ec3d570da92e5e13cb53e0d0ea06","datavalue":{"value":{"entity-type":"item","numeric-id":4412850,"id":"Q4412850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867948$B422AB68-22ED-4D99-BB5A-3936FD994A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372a95fa85b54853eb1f9c694aaffe0cdae4c732","datavalue":{"value":{"entity-type":"item","numeric-id":4215593,"id":"Q4215593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867948$072390FB-A2AC-40E1-85AB-6C7F84D558D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17818e0f4bd44c6e6b9f5f3b3fc9f2ec9fe811ff","datavalue":{"value":{"entity-type":"item","numeric-id":3442637,"id":"Q3442637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867948$6B9E8A2F-3DEC-47EC-8768-437C4ABD9E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e4059e3e3788a873388fc3b6237dcbc3b49d09","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867948$3FCDE00B-0455-4D3D-B5D3-E34F5FC6AA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867948$717A3D58-1B0B-40CC-879E-23FCD3BC7A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867948$6BF5EED6-653D-42CF-9E10-D96D6AB54451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a388ffd503a2561c64bae2f63ad0b8c1881469e","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867948$501746EB-D8B9-4CF7-A8DF-9781894A9FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ef8fa59cd5d1da98c2f800c01383734c4999e6","datavalue":{"value":{"entity-type":"item","numeric-id":4249569,"id":"Q4249569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867948$1A5C6059-75C5-43E1-9A5A-4C1544173F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e3e9a97e365d38979e4f1fc8440770be07509db","datavalue":{"value":{"entity-type":"item","numeric-id":3525159,"id":"Q3525159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867948$1F745220-055B-4F77-8D5E-1E70048D6ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e14cfc361f0a1b92d8539c762fe0b3ad4c1609","datavalue":{"value":{"entity-type":"item","numeric-id":809068,"id":"Q809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867948$10F6D390-6CE3-4AC5-A9FE-63B7AE83DA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bafa3751b8b8e8fbaca5651ac637d6bbc7888d1","datavalue":{"value":{"entity-type":"item","numeric-id":5716569,"id":"Q5716569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867948$1700C39D-3E77-4322-B5F2-235EAAAFE6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3818aac61b795ea2d401cd89a992d6841ffd8b","datavalue":{"value":{"entity-type":"item","numeric-id":1853618,"id":"Q1853618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867948$278DA895-C4A4-4E16-AD5B-F9A8133BDAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87660c9c5fdc45e0d7335aa6496613f4289eb45a","datavalue":{"value":{"entity-type":"item","numeric-id":4391214,"id":"Q4391214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867948$2279A6B0-6296-4199-96C0-4DE01D6B7D6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c5d80989ef074019e7c9499a84320d2bc649c8d","datavalue":{"value":"10.1016/J.ENTCS.2006.11.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867948$C37070B1-0118-4806-87C3-D413B3D4FF21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02d36be4708b8161398276660e7b1c45cc1cf087","datavalue":{"value":{"text":"Towards a hybrid dynamic logic for hybrid dynamic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2867948$F3D743B3-A9FF-4FE0-A079-1D63BFEBE5A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8bf7ec0f3a410a417075a3d76c794495c1ec5d3","datavalue":{"value":{"entity-type":"item","numeric-id":3613026,"id":"Q3613026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0f79ffa1d2e8b95241a3cd5078d8a06d56c151a","datavalue":{"value":{"amount":"+0.8538719415664673","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":"Q2867948$7AC76B86-E1B4-4DD9-8EA8-810AB4A4A7D6","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":"057728f1360bde89fce1a3d6cccba400f5d412a9","datavalue":{"value":{"amount":"+0.8456002473831177","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":"Q2867948$2EF113B9-EB7C-48CD-AA48-A7FFFFFD18DE","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":"42fd6df3a830207303e65098537ba6b43f4033d7","datavalue":{"value":{"amount":"+0.8231623768806458","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":"Q2867948$1C4B8D21-E366-438C-B2F1-B7CF57030CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"794f2d1560af73aed56f5569f6efa53bde83026c","datavalue":{"value":{"entity-type":"item","numeric-id":2986778,"id":"Q2986778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec3d81c17883f4bb6a203ee35b5f4efe7e833ad8","datavalue":{"value":{"amount":"+0.8014788031578064","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":"Q2867948$450B4FBE-0025-4D7B-AEF0-9A7EC695EB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5faa39e0172eec0207285ef6d54cc711be7d090","datavalue":{"value":{"entity-type":"item","numeric-id":4246811,"id":"Q4246811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08d01f4d47489ced9802874467a049af5a787db3","datavalue":{"value":{"amount":"+0.7975837588310242","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":"Q2867948$1EEF1EB5-FFFF-41D8-8A1A-9AAE19482BFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2867948","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2867948"}}}}}