{"entities":{"Q964487":{"pageid":966335,"ns":120,"title":"Item:Q964487","lastrevid":65683161,"modified":"2026-04-12T04:18:33Z","type":"item","id":"Q964487","labels":{"en":{"language":"en","value":"An operational semantics for a calculus for wireless systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5697022"}},"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":"Q964487$62A0F850-C48C-460A-8138-7B6D6218EF9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4db2a3aa556a2f2f75e43fdd2cfb093cadd98c9","datavalue":{"value":{"text":"An operational semantics for a calculus for wireless systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q964487$ECF7A2C7-D86E-4BD6-A866-B489C7508B94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3554680b50280ba78f8e3781421f703c1617b709","datavalue":{"value":"1200.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964487$642B30F3-FA8B-4A5C-9F3F-B5849B1C0185","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"519b3a73881d25edb8159f51f3863169460a8f2e","datavalue":{"value":{"entity-type":"item","numeric-id":264993,"id":"Q264993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964487$2F41D248-F568-41E4-A047-C0B063C942AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a523e92a90e1412b878e9cc1a8f84e3e5e6b92b5","datavalue":{"value":{"entity-type":"item","numeric-id":342733,"id":"Q342733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964487$4E4B0B7E-114F-4052-8537-18A8A732918E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964487$152841A4-5478-49BC-A11F-25733B9D982C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f02be9883d625fd3319136e8ae50da56a98c787","datavalue":{"value":{"time":"+2010-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q964487$2FE3629E-6E0D-4345-857F-1081659CA66D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964487$4614CDB5-51EC-4AB0-803F-362DC2A4C1C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11822b93a2b6cf5b16f9d834c8b3668eade75391","datavalue":{"value":"5697022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964487$3BDFDCFE-FC14-4B3F-A612-B6CC47D4BE5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b66fa019d5681715325609ddd52e92a30a7745f9","datavalue":{"value":"wireless systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q964487$836C5951-2133-4C13-BD16-2BDCD51B1ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94b9b01014e0a505d4c4daaf4da08005e737fa2e","datavalue":{"value":"broadcast","type":"string"},"datatype":"string"},"type":"statement","id":"Q964487$0F0A1795-1DD6-4321-A9F1-491A94BA3243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d4b32c3545e15184907a7757d0ac00169973cf5","datavalue":{"value":"reduction semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q964487$C58FFD6F-CAB1-4764-BD15-4D8499EAAE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58a91412f1234542ea989fb0d8cbcbd7155bf853","datavalue":{"value":"labelled transition semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q964487$3590C066-D965-410A-8F1A-37A2432C9891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf2cfbc6e4ef9d6558d9f0ed6d4633eea496912","datavalue":{"value":"interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q964487$5C7691BA-4F5E-42F2-8D7B-7806C5CE56AD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964487$DC449C96-5550-4F76-8D18-5DC127A84C30","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":"Q964487$13E6165C-C03D-4555-B773-4BDD535D2879","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"023420e90be0b62f7e4f579c0af00fc12ce63ef8","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2010.01.023","type":"string"},"datatype":"url"},"type":"statement","id":"Q964487$023E3843-8998-4BBF-B3AA-F43791EAADDA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f355d91461dc25fa45040b2201726e1c44537f2a","datavalue":{"value":"W2013747113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964487$BA221B6C-5364-461A-8FCF-8E6156FE19B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f19151d005fd311e34f00ed4e8e1c914d916818","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964487$EB77D650-1EC8-42A4-A63B-56154CF1F6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a71df8b92ba7125a0c7197e8e9200d4d9ef576c","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964487$233DA9A9-FDDC-4FD0-B760-A793E5FD80F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c789506413b059d9380f6038adfe568ac77dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1575154,"id":"Q1575154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964487$EDE58278-97AB-4ED1-9976-D3696D608CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfb3b246f171d64dd343afae5b27fc203d245679","datavalue":{"value":{"entity-type":"item","numeric-id":4934334,"id":"Q4934334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964487$AAAF90C6-7EB1-40CB-B23A-DC728CFA9130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d901782a5abbe36ac8a405a32d3d3554a95b77","datavalue":{"value":{"entity-type":"item","numeric-id":3634642,"id":"Q3634642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964487$FD78EC6A-0556-4EE0-BC6E-B82C089BC4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964487$072D9121-548B-47A4-AD1E-5832ADD48A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a74aea9af9d73a04776cebee16d856a631f59f4f","datavalue":{"value":{"entity-type":"item","numeric-id":5262943,"id":"Q5262943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964487$E4D8AA46-24C7-4D55-9677-792EBCED22FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca7eb92469bed9865109c4666b7dead2d673110d","datavalue":{"value":{"entity-type":"item","numeric-id":2851331,"id":"Q2851331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964487$041C5FCF-7791-4C10-A0B8-7C32A2A78FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964487$7938D223-80B8-4EFE-928D-F122150492A7","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":"Q964487$432CC683-3754-4C64-AC41-78F1183B3CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ba43d90b6a6edc70e508b348ecb8505634a0cbb","datavalue":{"value":{"entity-type":"item","numeric-id":860908,"id":"Q860908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964487$FC98171F-F293-4F44-A391-ED754058C719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96fe50999aa1ea6d0ba69c259cf4acc267bb8a21","datavalue":{"value":{"entity-type":"item","numeric-id":5897975,"id":"Q5897975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964487$09AEDDF6-FF33-4930-8CC7-2FBC917D5F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b8e3cbd065126d6780fdff1a09b2493fe85a7b","datavalue":{"value":{"entity-type":"item","numeric-id":5262975,"id":"Q5262975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964487$6EE9B4A7-4ADA-4456-B3D5-88BE2AB94E5F","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":"Q964487$42F3F497-311D-4DBF-BD9A-E46916815858","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"157d898a99deb0d29af89e40e04a060fe5b3bb27","datavalue":{"value":"10.1016/J.TCS.2010.01.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964487$88790F21-7E47-4DC3-892B-73A98E6C36B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06fa48e8c298158b8667c560032e6aeba9e3af8b","datavalue":{"value":{"entity-type":"item","numeric-id":2851331,"id":"Q2851331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"049a25d8cd5fb85779c560001f8c1cb404485600","datavalue":{"value":{"amount":"+0.9433043003082277","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":"Q964487$11D71117-6805-477E-B31C-3E572D9AB8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"334a35597b9c911ba3af9ad18e13eebfba0d78a3","datavalue":{"value":{"entity-type":"item","numeric-id":2814617,"id":"Q2814617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b2abc1b2b2e457e17b0690d16f5081d43e9ff12","datavalue":{"value":{"amount":"+0.8046883940696716","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":"Q964487$511EB858-721B-4B3C-A81A-751B1A3E0508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8a2b2d41490dea3dae4aa56ec00b601a8bde718","datavalue":{"value":{"entity-type":"item","numeric-id":3400923,"id":"Q3400923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b9ac98d0dce2d22d9277f72685751b87ceab6a0","datavalue":{"value":{"amount":"+0.7863161563873291","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":"Q964487$42F778C5-9A3D-4018-8747-8AD933070324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47c4784a145d7781b837ba1c1b7116a9b50d6b55","datavalue":{"value":{"entity-type":"item","numeric-id":650891,"id":"Q650891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d57c3fe19b6c0cc50b689850df66d0702714d504","datavalue":{"value":{"amount":"+0.7789079546928406","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":"Q964487$B924D5CA-CA26-4A38-8EF4-346B0295ADAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"374bca7270fd20f3ff2d3c09b1c2d5ab39753e97","datavalue":{"value":{"entity-type":"item","numeric-id":5246724,"id":"Q5246724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01ee5ccd9879f5809d2356209cf276910a675040","datavalue":{"value":{"amount":"+0.7677401304244995","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":"Q964487$6D133C56-AE44-4C07-97CD-4C0D558EE774","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An operational semantics for a calculus for wireless systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_operational_semantics_for_a_calculus_for_wireless_systems"}}}}}