{"entities":{"Q3582736":{"pageid":5612640,"ns":120,"title":"Item:Q3582736","lastrevid":51062624,"modified":"2026-01-16T11:17:59Z","type":"item","id":"Q3582736","labels":{"en":{"language":"en","value":"Formal semantics of a dynamic epistemic logic for describing knowledge properties of \\(\\pi \\)-calculus processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5774537"}},"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":"Q3582736$A4D36D37-4129-4C56-AA6D-AEFB59C91F60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3d90b1963f064549f51b54de919dad4ce52e46f","datavalue":{"value":{"text":"Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of \u03c0-Calculus Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3582736$886D0F85-7664-4C26-BFEC-06F7B85D19CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f49525d652b8abd841f98b23309cc53f5b37919c","datavalue":{"value":"1286.68414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582736$2727BA47-701D-4D71-AEC6-CCA773EBEDA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9da879a5f0569fca27a5da485cb267e747eef3b","datavalue":{"value":"10.1007/978-3-642-14977-1_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582736$2195E3A9-DF3C-427B-AFBD-26F342112D93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09fcab3ff711ee3e5cdf5ba077f8bfb2d91b5645","datavalue":{"value":{"entity-type":"item","numeric-id":747537,"id":"Q747537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582736$6169C92B-391B-461B-923C-1AB2B3D56290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d49d0bf4273945a59f5a63ff898fc44952919303","datavalue":{"value":{"entity-type":"item","numeric-id":998309,"id":"Q998309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582736$184CF64C-87EF-477B-BCF4-8448A2182B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"accb1f0221ea6b057b90fd9423bbb12b2a94d5d8","datavalue":{"value":{"entity-type":"item","numeric-id":2011629,"id":"Q2011629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582736$420F2052-1603-4239-AE60-E60AB0B2B01C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582736$6C8167CA-E9F8-4160-A6DE-6ED2034A5775","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d01ea8a4f82b63cae0dd5c2ac5f8977df7e5fa52","datavalue":{"value":{"time":"+2010-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3582736$807D6955-9AC5-45B7-9D5C-D857CA068313","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582736$C489D134-0F2B-4703-8919-B7939B8BE8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582736$B4FDF497-4097-4716-BD1F-0D693F1663BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582736$BA762208-D68D-4FAA-A3BB-FDC875D43CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582736$21465AB5-DFFD-43BB-B7F5-1EFC7D725F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582736$F5DD301C-844E-47C1-80FA-496E17163C9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c96522fe2b9b2b8075f426dd104f479a405b0bb3","datavalue":{"value":"5774537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582736$FE5F34DE-056B-4D29-9502-1539D17A86C9","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":"Q3582736$CA3BF16B-EA22-4DAE-AB8D-774C140EAC23","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c474d0227bd085499dc64120ae3070a23424cff8","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14977-1_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3582736$A17065E2-98DF-4BA1-9518-35D7F214B8E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9d299981fa2d3a65cbe95910341b37a1636d1fc","datavalue":{"value":"W1557902250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582736$1AC4A0F7-0F53-4340-9552-79AE6C7D9D25","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b6a9ea45ca3a49789d1a37c0a2631d2309a08d","datavalue":{"value":{"entity-type":"item","numeric-id":2971701,"id":"Q2971701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582736$8939FE5D-5C5C-4F95-B47E-BA4AED3478E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05348a557d2dd187a82890860a29298cc18e12f9","datavalue":{"value":{"entity-type":"item","numeric-id":1109008,"id":"Q1109008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582736$AD006577-C1C4-40A1-98E2-4601873C767A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ac8a2244a946057ab21d23d8cd260bd66c6968","datavalue":{"value":{"entity-type":"item","numeric-id":3608740,"id":"Q3608740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582736$600A805E-2997-4356-952B-B64F7A55889D","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":"Q3582736$FE5634FC-9A04-44D7-A04D-891C2C82478B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e926a9ec8c912a75926030aed9a339b3989f0fa","datavalue":{"value":{"entity-type":"item","numeric-id":3612502,"id":"Q3612502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582736$E63B7178-FF6D-4295-9F84-94DE9AA77098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44acb8889c19255991fa67e5cb6664da062b8d17","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582736$3BC87FDE-6480-4618-8794-6ABC666F9FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582736$4893F3AE-09FB-4FF7-8F87-2C54A6155CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eb7613311597032ba23f97834243aa499fb2ac7","datavalue":{"value":{"entity-type":"item","numeric-id":2904070,"id":"Q2904070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582736$7B704F5D-3C6D-4974-B3C7-98704ABF109F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5323be5ec0ea7ed7d279c26a250277ff544aed73","datavalue":{"value":{"entity-type":"item","numeric-id":1037376,"id":"Q1037376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582736$0719ABB2-FE7A-4392-B4C6-20E6FB693722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed9a3df0fe6e59184c7ec28a20fc3c19007e4d6","datavalue":{"value":{"entity-type":"item","numeric-id":859825,"id":"Q859825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582736$EBC5E9B2-B8C0-40F1-AF8E-1DC4D4342905","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9f59aefea00fe975e1ef6e53d2770a6b2ead43c","datavalue":{"value":{"entity-type":"item","numeric-id":2904070,"id":"Q2904070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c865d649d0df82d1b043072e5c6788eea3846f90","datavalue":{"value":{"amount":"+0.8728484511375427","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":"Q3582736$8563D10A-61F4-407F-9491-C4ED8D88A3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1696c4ca228238e4beb09001c17ecb040f1e3e7e","datavalue":{"value":{"entity-type":"item","numeric-id":3185762,"id":"Q3185762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcfee32583a5668309ad1e05d531587b110bacd5","datavalue":{"value":{"amount":"+0.7807613015174866","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":"Q3582736$39D00CAA-9F73-4A1A-8D23-BDC929E5B3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f27b777637454b6a88af468fab3445bea139d0c4","datavalue":{"value":{"entity-type":"item","numeric-id":3612502,"id":"Q3612502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9633e56a9fd01839ba706e32cef5d73dc9806d99","datavalue":{"value":{"amount":"+0.763795793056488","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":"Q3582736$88DF778C-328B-4D5C-B21E-1A369A0D3CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c0d14767c13aaed87e857e0cd058806d33b201b","datavalue":{"value":{"entity-type":"item","numeric-id":2333668,"id":"Q2333668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11989b1393d1db80e4a725d15c7f7540ba32970f","datavalue":{"value":{"amount":"+0.7569047212600708","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":"Q3582736$E0E94544-94A4-427F-A6D2-515D51E2BEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b7f2a5b8283e576a7d039c2c342c1b8480137d9","datavalue":{"value":{"entity-type":"item","numeric-id":2914378,"id":"Q2914378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d50e0e89bd34e9358c8f350972f3d0f3f17f3341","datavalue":{"value":{"amount":"+0.7547608017921448","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":"Q3582736$B6F8A091-A51F-427F-9097-C14D1217C944","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3582736","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3582736"}}}}}