{"entities":{"Q3612931":{"pageid":5642837,"ns":120,"title":"Item:Q3612931","lastrevid":50602259,"modified":"2026-01-14T13:03:54Z","type":"item","id":"Q3612931","labels":{"en":{"language":"en","value":"A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527711"}},"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":"Q3612931$7B74371D-6A52-4E4B-8BFD-80461F4FBEA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9e93bf7b39a804e133fcb4176a9cb9a025e219a","datavalue":{"value":{"text":"A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612931$70CF7686-242C-40D1-985E-35CB4B35727D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d93b3f246f2044733675ff075976350d8580259e","datavalue":{"value":"1226.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612931$EB8F5FEE-B8CA-4A80-83A3-92BB115261D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ac5794385e541f80fa808187cf83694918ae302","datavalue":{"value":"10.1007/978-3-540-73094-1_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612931$65ECAE78-11F1-4EBE-A2CE-19CC171987ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7d75fc48f6b8e8b32aa789020deb8f0f1fdfa11","datavalue":{"value":{"entity-type":"item","numeric-id":3612930,"id":"Q3612930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612931$CCDAD2D7-578B-43F0-B658-21872AA2DD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d473ca5432f461253d8e2d2e2b48dc9a67b6751","datavalue":{"value":{"entity-type":"item","numeric-id":708893,"id":"Q708893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612931$181082E2-BA41-4359-80AD-CC36D82200AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69038687c349e741a9d4e03c7c7e84366a00c83c","datavalue":{"value":{"entity-type":"item","numeric-id":297757,"id":"Q297757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612931$542E8900-05E3-4F06-94D9-B79FD3E84765","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17b985b5307bae856705b80764fa68b931305ecb","datavalue":{"value":{"entity-type":"item","numeric-id":3612924,"id":"Q3612924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612931$017B43F3-E4E3-4CDB-AFB9-70ECA8973D64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a864b5d6abdacf3ccff048e2a2e153fd9fb65d1f","datavalue":{"value":{"time":"+2009-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612931$F105E43F-3418-4D66-B7A1-6BDFAF7740E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612931$F72883EF-B43D-4B5A-9B10-75015BD53E5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c45877151be6a85130e33b18527e26201436006a","datavalue":{"value":"5527711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612931$5EA80683-4A4B-484A-9556-F9BACD3A8BFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11bc4f170a67c27c5835b927ae075421217f6350","datavalue":{"value":"asynchronous communication mechanisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612931$31DF2D3A-2FD5-4FB8-B0B4-067FD3ECC1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612931$A9D6E01B-8EB2-453F-8A6D-227E2E8A943E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612931$0B675E88-09FC-4E98-8DE2-CE7FFF4A21AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612931$411C6695-1232-4183-A486-6532EF1E09CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612931$79AFE063-0D3D-4433-A8A8-8BA87FA23D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfb18ae1e54169b32c6e8d0048d73f69a1d0c3fd","datavalue":{"value":"protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612931$1BCEF0E8-6E40-4096-B762-518435BDBDC4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"049e68e3cd0a6e1888a7d2752d8a066e953a4c91","datavalue":{"value":"Q56893238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612931$AF4619F7-9048-44C7-9A11-F3C1C048DE26","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":"Q3612931$0E30A4E6-A287-41D2-AD9E-7767B59E8B7E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b0be5f3f9e26b5818995122ab49827f34cc5315","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73094-1_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612931$3A1D7788-91F8-42BB-A7AC-C2D90A694AAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"360c4df74cd01f958818e621fe9827cad39dd341","datavalue":{"value":"W1597683009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612931$2767C7F0-4A35-476E-9F97-A153DDF14B4A","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"fad5302006c78c56b9458202c880f08dcecd3279","datavalue":{"value":"conf/apn/GorgonioCX07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612931$7FE8CC3B-D96F-4694-BD5F-76595C753091","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1b5b0db37da0f33ffc1c7d729b7fe2c6c46fcd7","datavalue":{"value":{"entity-type":"item","numeric-id":5295512,"id":"Q5295512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a913379c877bc0030ae6c836da6eb6fdab296ec6","datavalue":{"value":{"amount":"+0.9050941467285156","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":"Q3612931$499715F1-83B0-4CC8-9234-4B9381890F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0cef3208afe5b481f54957b71664001ecc6f719","datavalue":{"value":{"entity-type":"item","numeric-id":3152832,"id":"Q3152832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0522159a5b77e0b54aad17ddc2578bf265c28c5","datavalue":{"value":{"amount":"+0.8223142623901367","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":"Q3612931$B870BDE8-7D74-436B-B6F8-C87E59AE962D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c668ba3c8eb56edefe30666c9e5aafc40e07bb28","datavalue":{"value":{"entity-type":"item","numeric-id":4547955,"id":"Q4547955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6750db15792c1bcec0945b9ec86cd019d536dcd","datavalue":{"value":{"amount":"+0.809565007686615","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":"Q3612931$BE63D6A0-139B-4AA5-A0AF-267AD7B727AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27c72d405acba30739ab7b3ccbf4dcda2b658716","datavalue":{"value":{"entity-type":"item","numeric-id":5480172,"id":"Q5480172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"214fa3c876d9a8861a39f2dfa48f0784729c5148","datavalue":{"value":{"amount":"+0.7620247006416321","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":"Q3612931$BA58A192-EAFF-434A-8938-DD8F419880D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24baa67ecda617c7ee4717a88ac2034f0c959c02","datavalue":{"value":{"entity-type":"item","numeric-id":1776590,"id":"Q1776590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"141e855fc1ef777fe5f07df9e22776215ec6b678","datavalue":{"value":{"amount":"+0.7425556182861328","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":"Q3612931$49331AF4-1FE0-434A-AD2B-7C4989F8EA08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612931","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612931"}}}}}