{"entities":{"Q2904070":{"pageid":2914795,"ns":120,"title":"Item:Q2904070","lastrevid":84991640,"modified":"2026-06-03T05:28:03Z","type":"item","id":"Q2904070","labels":{"en":{"language":"en","value":"A complete proof system for a dynamic epistemic logic based upon finite \\(\\pi\\)-calculus processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6063279"}},"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":"Q2904070$5A70D043-034D-4057-A08A-77E427BE66A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2320963ebf636286585cff5b89a3e578a21b8e40","datavalue":{"value":"1247.68193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904070$A601DB4A-D5B9-46B7-88D4-AA7F6ADE9456","rank":"normal"}],"P16":[{"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":"Q2904070$21B933FF-0C59-47CB-8475-E0298F5D233D","rank":"normal"},{"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":"Q2904070$DEA9C600-0B95-491D-BE76-806938B8AC40","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":"Q2904070$D41621BD-BD45-49C7-9D17-0D2953736C34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d93f02b005a91d75e1fb36333e97807bdd2c51d9","datavalue":{"value":{"time":"+2012-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2904070$26BE8F28-7BAF-4B20-8884-08DA47E91777","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904070$4A3DCDDE-4796-489A-930D-1B7CEB2AFE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904070$1BCF77C1-4BE0-47DE-B061-F6C14CE398F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904070$9A76C98A-8CC0-4737-BE38-2E262EF4F099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904070$EACB4D31-698D-4AC4-A700-88269AB47B67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8cc3ef2b2610c8f94d3bf2fb69ef73bdd880197b","datavalue":{"value":"6063279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904070$D3C21054-08F2-4498-AFCA-DA98F2902C45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904070$DBBD1B9F-7646-4C1D-A3FF-B731BCB03FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4919e95ef0c82333d052568f1fcd2d1a4f350c","datavalue":{"value":"dynamic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904070$0DC24021-455E-4E02-8A96-D6ADAA4C0287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904070$2EB6F25B-0E2E-4DB9-A9F1-9A60175D1469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935048a032ae5b21d4cf1c1db6622930af7f78d","datavalue":{"value":"action structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904070$D575EBAC-F145-4828-AFB3-042A68D96F1E","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":"Q2904070$E84AC252-72B8-4FBB-BFC4-9825C48AD9B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd5ed5c7e47efc49ec1e9d6493b3f960eac041f7","datavalue":{"value":{"entity-type":"item","numeric-id":3582736,"id":"Q3582736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77a6f3bb4965f2527f678a4046a2a2939faaa6d9","datavalue":{"value":{"amount":"+0.93644077","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904070$C72E607D-80ED-4EE9-97C5-C3314FADDD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db70b5060aa761976d9008920b56f48c4c82b451","datavalue":{"value":{"entity-type":"item","numeric-id":2957974,"id":"Q2957974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1c2b2d3959a16be9169ae298d009306c855ed61","datavalue":{"value":{"amount":"+0.8999502","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904070$259044E7-EC47-42DA-B38E-4318C2B3106B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f19e6e014291f8fe3438ec97e9e4949c888ddc","datavalue":{"value":{"entity-type":"item","numeric-id":4440827,"id":"Q4440827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaa7ec7978f32604787d5d3b30c563cf2767a45d","datavalue":{"value":{"amount":"+0.88778543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904070$D9C3198C-7F5B-4CD4-A713-A77944659027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67a751d25b2c090c0341e5df1f5799de8f9f7e71","datavalue":{"value":{"entity-type":"item","numeric-id":5140309,"id":"Q5140309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"969405ad3b86bd1cfab4ac9fe3a8216f7efca808","datavalue":{"value":{"amount":"+0.883123","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904070$A90535A6-CEF2-4B20-8FD3-0C2B900AAB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61affd34089e7e43a6b50b51c0dbab91de126c1e","datavalue":{"value":{"entity-type":"item","numeric-id":5283435,"id":"Q5283435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c0bd4e58f137cf8085ab6e3b831d821cef24141","datavalue":{"value":{"amount":"+0.8781822","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904070$EE2F0FBE-0955-4A9B-A46A-9CFF990DE3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf2a685107da4b8502f20fb5021c59c8109dce20","datavalue":{"value":{"entity-type":"item","numeric-id":5108028,"id":"Q5108028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c0bd4e58f137cf8085ab6e3b831d821cef24141","datavalue":{"value":{"amount":"+0.8781822","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904070$1390CEF9-EC01-4BBD-8991-1D923D71D430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d84de61760726a7a05299cdcae20514519c987e","datavalue":{"value":{"entity-type":"item","numeric-id":2973442,"id":"Q2973442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fafa958175903cf4cfc63ea836dfdbd4baabb54a","datavalue":{"value":{"amount":"+0.8781698","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904070$2C89D93A-C923-4882-A90D-59339191839D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24463c4dbd69864f6d479925e7c022e1711a267a","datavalue":{"value":{"entity-type":"item","numeric-id":2295601,"id":"Q2295601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c6cc0051367e4d9193c136ec7a7a13395a31ee","datavalue":{"value":{"amount":"+0.87411666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904070$6299E9A8-9194-487A-9491-215BF900F88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3e5926810297cba20bb3b9adb85d6ef71d8aa2b","datavalue":{"value":{"entity-type":"item","numeric-id":3602954,"id":"Q3602954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1547af5f6bdcf9fc2acaef8ff95e10e51b34a5eb","datavalue":{"value":{"amount":"+0.8717872","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904070$C41BAC1B-8B9D-4448-AEB6-24F7FA449EDE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4267be7f6ad6da73a7e9934bf8342a4b2e9ac96","datavalue":{"value":{"text":"A complete proof system for a dynamic epistemic logic based upon finite \\(\\pi\\)-calculus processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2904070$3D7DF29D-2B49-439B-919B-ABF664237BB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A complete proof system for a dynamic epistemic logic based upon finite \\(\\pi\\)-calculus processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_complete_proof_system_for_a_dynamic_epistemic_logic_based_upon_finite_%5C(%5Cpi%5C)-calculus_processes"}}}}}