{"entities":{"Q1894680":{"pageid":1905422,"ns":120,"title":"Item:Q1894680","lastrevid":69071655,"modified":"2026-04-13T04:25:51Z","type":"item","id":"Q1894680","labels":{"en":{"language":"en","value":"A modal logic for message passing processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 778293"}},"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":"Q1894680$1651DC94-3392-495C-B7E3-D0F112D3A4D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e984a297f4c210da38781de0b23e0fe8b48a79e9","datavalue":{"value":{"text":"A modal logic for message passing processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1894680$B93862E9-1913-430F-B1E8-DF111CB54073","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b099fb89d9a757bafe82490b6cfebdd23cb06d68","datavalue":{"value":"0827.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894680$D1259619-0CDB-43F7-949B-BCE2D6945594","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4eddff250abc3af0f0bbb1be34b2ec0caed011a5","datavalue":{"value":"10.1007/BF01178384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894680$1CC596C4-E905-4AD4-A600-D1534F87D320","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a0be023ae0e9e5a0ddfbb1f86d4e9f4133d772a","datavalue":{"value":{"entity-type":"item","numeric-id":1894679,"id":"Q1894679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894680$C2E288EA-E783-44C4-A91B-7E0B8323DA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894680$BFD042D1-DDC6-4B6B-BEFE-DA71B017CC23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894680$7CD0A34F-2B80-4FBF-A0FF-5489E079FC34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"561fef158dda690e7f8fb24066d086b7abc285a0","datavalue":{"value":{"time":"+1995-07-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":"Q1894680$E63E2FD5-8297-4308-AD96-D42077F1119F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894680$0AE67CE9-6D0D-4F55-A698-634A75B21FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894680$16F86EB5-57CA-4B90-ACEA-83EE178D3465","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c66a0f2b2fddf9fcc925a18ef69227408404471b","datavalue":{"value":"778293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894680$E68ACF37-3788-4481-BD88-35EE9576FDD0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229d67327ec2ac43eb2a02649c93ff9dfd05a4db","datavalue":{"value":"first-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894680$A44CE5AF-72EF-443D-BB21-E2943E7708CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90abef478fc05862dfc2539ef3d82aaa764c8362","datavalue":{"value":"symbolic operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894680$55B0DB64-4849-48AF-B979-11244409A09D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9bb97caa1b11dd3b37486ee5da77a7d7674ba6d","datavalue":{"value":{"entity-type":"item","numeric-id":15497,"id":"Q15497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894680$4E62E33A-4E0F-4BA1-90A2-9D3C4A317613","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":"Q1894680$396467BC-67B1-4F50-BAD4-963CE53E4A4D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51860e3e6e78c9debcd7832f7e0ecb4acb6bba8","datavalue":{"value":{"entity-type":"item","numeric-id":1179808,"id":"Q1179808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894680$650DE39B-C02C-4B98-9C59-BCD707C374C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e4c3801010a4bee6d03ee81a6a1a5d94252213","datavalue":{"value":{"entity-type":"item","numeric-id":3792217,"id":"Q3792217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894680$7A08C2FE-6B48-41AC-B205-3E73A18E417A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894680$56CE7CDF-0248-4DDE-BCA3-9B4FECDC7A37","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":"Q1894680$0104D90F-0708-4EC3-9486-4900CF4764EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a50bedffce465f6dca8b90f3cc27a20109b172b","datavalue":{"value":{"entity-type":"item","numeric-id":578896,"id":"Q578896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894680$038E5E83-B9F4-4474-BCE4-50D390220DB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c73277665f0dcd28c6744fd7afb8023e0749830","datavalue":{"value":"https://doi.org/10.1007/bf01178384","type":"string"},"datatype":"url"},"type":"statement","id":"Q1894680$5C529AA5-208E-41B1-8047-63E042FB45D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4329c705726163ac62e8ea0a694deac9f690615c","datavalue":{"value":"W4234959115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894680$B16B38CD-4326-4C2A-AAD3-24288631D889","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db11469f5184274a9f6b9ec4cfa18d79f1bd9b35","datavalue":{"value":{"entity-type":"item","numeric-id":4222879,"id":"Q4222879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4c642d61ffd23308af9132768a574b5ee904cba","datavalue":{"value":{"amount":"+0.8358948826789856","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":"Q1894680$72662DE4-C64C-485A-9781-2FAC8F3E5ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b58461ceef09df5bfbc9b79d50823d69a521379","datavalue":{"value":{"entity-type":"item","numeric-id":4494236,"id":"Q4494236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae98454aba5d5d48fe60f5ad77bf0377ad4397f7","datavalue":{"value":{"amount":"+0.8294570446014404","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":"Q1894680$0FD9CAFE-648E-45E3-BA08-F19FCFE79AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc8c9ddad284771363a4f6a9e2c9204d401d3caa","datavalue":{"value":{"entity-type":"item","numeric-id":4222877,"id":"Q4222877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae98454aba5d5d48fe60f5ad77bf0377ad4397f7","datavalue":{"value":{"amount":"+0.8294570446014404","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":"Q1894680$5E730A3C-06B0-412D-98F9-FC9A24FDBF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32fb670341eec387190db86572e6609f071e0654","datavalue":{"value":{"entity-type":"item","numeric-id":1815341,"id":"Q1815341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f98e16869d778a2c0b108c38e0f4a3daf9540e28","datavalue":{"value":{"amount":"+0.7953581809997559","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":"Q1894680$A713911B-BFFE-44E0-BF53-460E264B671C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"532da0e7d0f996a9c558e3a78df28a96b8510f4e","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db6ba3f127f179ee6314dae84275ccb9de03fe18","datavalue":{"value":{"amount":"+0.7845525145530701","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":"Q1894680$13FAAD45-E946-4042-B827-7D5091EADECA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A modal logic for message passing processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_modal_logic_for_message_passing_processes"}}}}}