{"entities":{"Q6492733":{"pageid":14071506,"ns":120,"title":"Item:Q6492733","lastrevid":99629165,"modified":"2026-06-05T20:24:24Z","type":"item","id":"Q6492733","labels":{"en":{"language":"en","value":"Uniform Substitution for\u00a0Dynamic Logic with\u00a0Communicating Hybrid Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7838482"}},"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":"Q6492733$48BF48CB-7925-4CE4-A08E-CEA212E899AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a0c090b9ade9b29f802603645bd7baac46e0e0e","datavalue":{"value":{"text":"Uniform Substitution for\u00a0Dynamic Logic with\u00a0Communicating Hybrid Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6492733$1672C5DD-0503-4E8F-B31B-D3AA4CCC1560","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"764f05874a8b6597009d50327882388f826279ce","datavalue":{"value":"10.1007/978-3-031-38499-8_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6492733$8F215175-0C39-4C3A-983A-66F326999432","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ec430f4cb91f205b979fc100c91f1d588ee8c1f","datavalue":{"value":{"entity-type":"item","numeric-id":6492732,"id":"Q6492732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$88B2251C-050E-4FA5-8F3B-9BCBFA73D464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b16426e16334f11344c5d2b57762ae4aeb39220a","datavalue":{"value":{"entity-type":"item","numeric-id":681464,"id":"Q681464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$BFC21B12-E0CB-46FE-86ED-499671679203","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":"Q6492733$166D2449-A15D-4155-B8B4-3883227FC51D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"227dbe0710d596965d91e536c510070ed1b54f65","datavalue":{"value":{"time":"+2024-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6492733$EA021128-6224-45EC-AF84-7F37C3825AE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6492733$53062089-E2A0-47E8-A0F6-0AAF209EEA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6492733$4A6A1EB1-9F83-474F-9AAD-98F991F163B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93b86504ef74c923586ebb30eac418afeb53f8f6","datavalue":{"value":"7838482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6492733$97119243-1C31-4B46-87AF-44EF4A880431","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":"Q6492733$8B084173-8C00-4848-B814-EE28B9D92A02","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"989ffcc992d1ac31e39a63758614d7ce6f35323e","datavalue":{"value":{"entity-type":"item","numeric-id":837527,"id":"Q837527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$C8F4B0E9-E99B-4969-8457-F9B45FC2C5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec3996c14b206674e33c3ff3678191b3d324529","datavalue":{"value":{"entity-type":"item","numeric-id":3922144,"id":"Q3922144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$5B29607A-93FE-4EFB-AE00-A1938AFA4B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac2998162356bcb00ff290fb3ad8035006d4a28d","datavalue":{"value":{"entity-type":"item","numeric-id":5410477,"id":"Q5410477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$2739C6C4-1C7A-446A-9CD9-91F43F3C2B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$2A6E09D2-11F9-4FD7-BC8F-F8FD9BB91B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89325b91413c3f79263a65cf9e0fd24d71fc02af","datavalue":{"value":{"entity-type":"item","numeric-id":3454120,"id":"Q3454120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$B7AC58ED-911B-4C81-8AB4-8EDD00BC37F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3cf1cedd6927db9ac791d4260e61eec660e0495","datavalue":{"value":{"entity-type":"item","numeric-id":5498738,"id":"Q5498738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$519F2750-7DC6-47A0-B585-5DB4D577B466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"453daacb777f232e97fa5ed35987fc03ad4920c8","datavalue":{"value":{"entity-type":"item","numeric-id":5045379,"id":"Q5045379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$EDA5EA36-CB28-4062-86E4-5D659DEC28C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$64832481-5BAA-4AF3-9AAE-125F8765B3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$03464642-BE94-4417-856C-5F2C9B4033D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0817097b6d61530cc9a7e9ec3f78c24eda4ab674","datavalue":{"value":{"entity-type":"item","numeric-id":1153686,"id":"Q1153686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$AC90B773-4D7E-4973-BAB6-2567BF9261BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$4C8F1164-76CF-40D2-91CB-27D7AC810DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$F4CADE86-80E2-4230-9376-A4BA64C9C03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c347c60e13d160aa53a2f40cfef7b79c62c55cc6","datavalue":{"value":{"entity-type":"item","numeric-id":1040772,"id":"Q1040772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$AA4961CD-5098-402E-BD82-D580ECB0B42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d369a00a912276bbb6f1d71c301f7df62056f0c","datavalue":{"value":{"entity-type":"item","numeric-id":5277902,"id":"Q5277902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$1CFD9F82-4A6F-4DCE-81A2-E2FE8B6131DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb61c5c1ea145b3c800d5c014b2c4590b1c48513","datavalue":{"value":{"entity-type":"item","numeric-id":1707599,"id":"Q1707599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$17465FB3-B0A8-4310-A071-CCF8BD859897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a01d623cdb30dd4d047f4e0d4b381cc0d2f01397","datavalue":{"value":{"entity-type":"item","numeric-id":1799081,"id":"Q1799081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$489B143E-2F93-4108-9E59-24D6349B0B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9010deb8721d3089768234610be326b6fe8b0b13","datavalue":{"value":{"entity-type":"item","numeric-id":2305431,"id":"Q2305431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$44141573-3093-44E8-968F-0AAD9842E957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"218c53391ae9fb7c615487eb7a2c2b34850987d4","datavalue":{"value":{"entity-type":"item","numeric-id":5133962,"id":"Q5133962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$9F0D6A8B-F56F-4E3B-8398-52AF41E66375","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":"Q6492733$9FC7D120-BBA6-408D-B7B7-56A3DB707DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc7bb688e36a446efbb878eae04a63fae25e6d9","datavalue":{"value":{"entity-type":"item","numeric-id":6174532,"id":"Q6174532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$DEC67A0C-8D2F-421E-B540-890AD01D4729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a70cac0e778201280fbfe95c4bd2ac325b900d3","datavalue":{"value":{"entity-type":"item","numeric-id":1798665,"id":"Q1798665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$EE66AD58-54D3-4643-B4DC-433CBFAF0E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1772dc0287baf243f58df4ca4621f57f683d30a0","datavalue":{"value":{"entity-type":"item","numeric-id":2863862,"id":"Q2863862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$66B8CA3F-5043-4A92-8B19-D416BE84DDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$702BEF33-755E-4A1E-8271-C4B97CBEF200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c0b2fb975ce9c6f288d691488970d4bbb46e604","datavalue":{"value":{"entity-type":"item","numeric-id":2898020,"id":"Q2898020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$F92AB85A-FC83-4599-B32F-DCB9339A9B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f0aec9564fb7995589d0245e0798f01f99c46ad","datavalue":{"value":{"entity-type":"item","numeric-id":1362776,"id":"Q1362776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$254AABBC-C9A6-4109-97D0-561550BDCBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff62140eeb5f2eafea10c7a766748f18578c29e2","datavalue":{"value":{"entity-type":"item","numeric-id":3347278,"id":"Q3347278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$A1175910-318C-4E7F-AB6F-3CD0232C4CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a98806b17c2bbcd29d4513072d41db9b6317d23","datavalue":{"value":{"entity-type":"item","numeric-id":3681905,"id":"Q3681905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$9B465E87-856B-4E0E-8320-B07A2B43F0BE","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492733$BFE48185-B214-4757-9966-4EEF4A5C60E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Uniform_Substitution_for_Dynamic_Logic_with_Communicating_Hybrid_Programs"}}}}}