{"entities":{"Q3224882":{"pageid":3235590,"ns":120,"title":"Item:Q3224882","lastrevid":51441752,"modified":"2026-01-18T06:23:29Z","type":"item","id":"Q3224882","labels":{"en":{"language":"en","value":"Propositional dynamic logic for reasoning about first-class agent interaction protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6020884"}},"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":"Q3224882$2DC29654-843D-4B05-9CC9-A1CA4B4F90DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"307f1cd4786eec4f84eaca74b4e3f1cfcc8e43cb","datavalue":{"value":{"text":"PROPOSITIONAL DYNAMIC LOGIC FOR REASONING ABOUT FIRST-CLASS AGENT INTERACTION PROTOCOLS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3224882$B5CFAA32-4E41-4B86-A49F-04746E0E3500","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"673fbf14b14d78a5b59c4a8bb38f8319844ee045","datavalue":{"value":"1235.68241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224882$00D970FE-E886-4B4B-8757-2D219FF4EC70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcf1431d98855ccce4f66f332b573c4e3072f3d9","datavalue":{"value":{"entity-type":"item","numeric-id":1920344,"id":"Q1920344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224882$C37DA22B-19DB-48DA-A749-07E9B2D4B97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dae6883a34805940279baa1b64fd263920a6f281","datavalue":{"value":{"entity-type":"item","numeric-id":543609,"id":"Q543609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224882$185FACEA-EE12-472C-8DB1-5CFEC3D6813E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94be93b9facdac85dce11a37551add1a5c70e29b","datavalue":{"value":{"entity-type":"item","numeric-id":2857281,"id":"Q2857281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224882$157ABF44-819B-4731-8B93-ADFB90ED677D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a20009f475df93c72840e2e5b3a3e90a55f1389","datavalue":{"value":{"time":"+2012-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3224882$106B5B39-40BA-4ED7-8F89-92D8FF211544","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224882$5EF44094-EEC8-401E-A4AA-75488E6B906E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224882$7C68B393-CF6B-43CB-BD5B-62E5CB3174D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2265048617fa94a58ce70732b9e12542a9a777d","datavalue":{"value":"6020884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224882$56C419B9-0B44-4F53-8256-271CC0CFB0DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad58a226eff21a70be845cd71cac40ef99497fa1","datavalue":{"value":"multiagent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224882$FD2E3EC1-94AC-4ED1-9C8D-3572F5925C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9018423f311ed10889cfe11f455796d5fb31ec4f","datavalue":{"value":"agent interaction protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224882$7B23A0D9-970E-474C-B369-9E6232928823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224882$649BF32C-05B7-4366-916D-048565584F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c360df0ac1adc1b25614bd5e383bfe8a8d5fa873","datavalue":{"value":"first-class protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224882$A4414E0F-DEDE-40DF-A22A-C6664AC8A629","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"043f286811bd7e3b25c26d8138a3f84c5097b5d8","datavalue":{"value":{"entity-type":"item","numeric-id":14703,"id":"Q14703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224882$40994AD7-9429-47D2-A594-5A3E114E4AB3","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":"Q3224882$C1BA1746-CE8E-44C6-92AB-19FE9F96F602","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a1a131f617bea0838fca30048f5684daff86f8c","datavalue":{"value":"https://doi.org/10.1111/j.1467-8640.2011.00387.x","type":"string"},"datatype":"url"},"type":"statement","id":"Q3224882$05CA7028-2FBA-4A6A-A56F-38F9B29EE8FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7c37dbf293cff16d06e178dedb98a9557727141","datavalue":{"value":"W1971280139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224882$16DE79D4-A6D2-4B50-87A1-D8A1573E8F97","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"17e42bf6ecc39e10975d4cd67b50ab8ceecd60f1","datavalue":{"value":{"entity-type":"item","numeric-id":3339250,"id":"Q3339250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224882$6A17E050-CD7C-4CA4-A56E-7E8C55609894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26940b33a32a632fa41623e3c75171fa4b215f53","datavalue":{"value":{"entity-type":"item","numeric-id":4144163,"id":"Q4144163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224882$003995FC-167E-47DB-9523-26EC15CED321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224882$596E4729-CBBF-4D57-99B9-6D82D8EA59E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d3e030c3d056854a240d950fe21d962adecf418","datavalue":{"value":{"entity-type":"item","numeric-id":4130958,"id":"Q4130958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224882$8075A4F0-C773-48E7-9E13-DD028E0B10AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51636baa00b00ee9af6bbcde64f417bff981286","datavalue":{"value":{"entity-type":"item","numeric-id":792083,"id":"Q792083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224882$CE0C19F3-C85A-447D-B0B7-6A16C6A8B0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224882$044B4828-8FBC-43F8-BE24-E657BF194A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18c6843c5febd090e042836f9b70a3a8e904ad12","datavalue":{"value":{"entity-type":"item","numeric-id":514239,"id":"Q514239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224882$61125C0F-F8D1-4D11-999B-426E7D8F988F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68631bc9e3d5ab5e18474448eb1e567fa70fa50","datavalue":{"value":{"entity-type":"item","numeric-id":4352529,"id":"Q4352529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224882$3BF90282-9E99-4C95-B380-376B3E956588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224882$F4372810-D7AE-4C03-B060-ABD3E241D189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224882$E9750083-0BCB-43A1-9A54-9F1E0D70BF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373b09c1ad3afc09fbc8a8a75ccfb9ce5433773d","datavalue":{"value":{"entity-type":"item","numeric-id":4779807,"id":"Q4779807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224882$7F01CEAE-35B4-4DDD-9221-7E934883F44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224882$BF1E3DDD-62F2-435A-A026-4D047C3BB9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d036e5c22d0346ebd8afe2f0065acf9457584fcb","datavalue":{"value":{"entity-type":"item","numeric-id":1566861,"id":"Q1566861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224882$6E435C01-98FC-4712-B3EF-1969A0585571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a450ec2dd353151117924341a98f75ee9e341ab0","datavalue":{"value":{"entity-type":"item","numeric-id":3430950,"id":"Q3430950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224882$5ED7468D-869E-4508-B135-2803A096CB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a3bd2013d74854e1405f052db8f422c20c3d4a5","datavalue":{"value":{"entity-type":"item","numeric-id":702111,"id":"Q702111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224882$20B1A111-0819-4686-91B6-619AE6E607D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"111c0173cad38aa185bf16e35d4d29b96e0dae87","datavalue":{"value":"10.1111/J.1467-8640.2011.00387.X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224882$F59BD4EB-5496-4B6B-B171-5B28DAC9D4CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be112ffbdfce0b040d8253d19cf475927fb332f7","datavalue":{"value":{"entity-type":"item","numeric-id":5897332,"id":"Q5897332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"419acde8cd6de16ceaa39d094334a88b4dfe4ca6","datavalue":{"value":{"amount":"+0.745514988899231","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":"Q3224882$6B8309C7-3782-4BF1-8C7E-F25F97E7565A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebb7bd5c49dcf19b8af22eae4f739567173bd45","datavalue":{"value":{"entity-type":"item","numeric-id":5897363,"id":"Q5897363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f2571e1cfb5ed487f147d0571138af1a9be439f","datavalue":{"value":{"amount":"+0.7329617142677307","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":"Q3224882$341EC81F-B32D-4B81-9FC5-03E4616719F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a6c3bdfbff07634a225e94b029eae0cdf737fb6","datavalue":{"value":{"entity-type":"item","numeric-id":702111,"id":"Q702111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78669bf7075f25fc8c527058701d0de57f2c1f89","datavalue":{"value":{"amount":"+0.7262199521064758","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":"Q3224882$A3784B0E-0B3C-4239-9DAE-1440F4900919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95ede2d91b2fe5458abd07dd292609f12e6de40","datavalue":{"value":{"entity-type":"item","numeric-id":3096821,"id":"Q3096821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3c475430dc4dc709f0e74a54608a640cfe60fc8","datavalue":{"value":{"amount":"+0.7194318175315857","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":"Q3224882$DB3CDD2F-2AF0-4FE6-A51F-52DF8979ED90","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":"dffded5699b65f654f9c4e28b317adde66fff725","datavalue":{"value":{"amount":"+0.7165060043334961","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":"Q3224882$E6208DD8-C86B-4341-AA66-1DA766872BC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3224882","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3224882"}}}}}