{"entities":{"Q2879249":{"pageid":2889969,"ns":120,"title":"Item:Q2879249","lastrevid":58039497,"modified":"2026-04-03T13:46:48Z","type":"item","id":"Q2879249","labels":{"en":{"language":"en","value":"Showing invariance compositionally for a process algebra for network protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341479"}},"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":"Q2879249$8A8E39C3-8B1F-4938-A3B0-BB755F9CA982","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35a2f764b7c20fc9018e37c29bcbbaec557cd641","datavalue":{"value":{"text":"Showing Invariance Compositionally for a Process Algebra for Network Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879249$22450608-F0AE-46F3-BD85-4A7C97174E55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b39705d1a85fe77fb86a3c6116b1f123080dad0e","datavalue":{"value":"1416.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879249$346F865D-3B87-40CD-A15D-2C2C47FEFE81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a29f911f6ec5936cc7a299e358acda7615fad1c1","datavalue":{"value":"10.1007/978-3-319-08970-6_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879249$EE541698-38F5-4426-9482-E80E7895B3DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1933122bc86d2597add2b8555d2985101b991054","datavalue":{"value":{"entity-type":"item","numeric-id":287370,"id":"Q287370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879249$912DD7DB-AC2D-471C-9B09-9558893E19F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5ff26ceda91726cd3bf91a0f416b57791b93992","datavalue":{"value":{"entity-type":"item","numeric-id":246439,"id":"Q246439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879249$55773B31-C1A3-4563-BAA0-1DAB220B097A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f107a74a1e1c64c94230a71c5504892f32efa126","datavalue":{"value":{"entity-type":"item","numeric-id":287371,"id":"Q287371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879249$5D228584-001A-4076-825D-8FF739EF29B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879249$6941E6B0-A099-4B33-BE03-8F4EF9757E08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2879249$55702AC8-C3D5-4A86-807D-C012D829D703","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"532c28627357a195bc455455a8676599c80573b8","datavalue":{"value":"https://arxiv.org/abs/1407.3519","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879249$CE24AC26-C363-44C5-878F-2E0E482F1974","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879249$F59BEA25-AE87-4347-9468-5E3395C82E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879249$12D2E950-4C55-42EE-8FF9-D69FF2ACAE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879249$8805D0DE-E28E-4998-9E16-ECBF516C7A64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1a9ab826b2da59dadd2b19d5fdcceb6d9cd1b8a","datavalue":{"value":"6341479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879249$229A8D0F-0384-434D-896D-6CE05BBEC5B1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879249$CCBB0939-DA10-49D9-A0DA-6F15BE0BE978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879249$CAE9EDAE-7BB6-4D36-B84E-F9ED16743AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879249$5A7A6EBC-D11E-4D27-8D35-6FE52E58F012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c63186d439795e9737ebdabaad682f3dc8b47ef","datavalue":{"value":{"entity-type":"item","numeric-id":27099,"id":"Q27099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879249$6B875D29-742B-4BEB-8299-B8DFE09F4531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f3dc49212bb1ac953b456b7ee6d37c17258b97b9","datavalue":{"value":{"entity-type":"item","numeric-id":18543,"id":"Q18543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879249$5EFCFF1F-EE49-4217-BEFE-DD2C5FEC9814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879249$83879342-5B80-482D-9810-31AACB9918B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc6aba0ad6f9f7036e9efb40c489c390b6fdcb30","datavalue":{"value":{"entity-type":"item","numeric-id":40947,"id":"Q40947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879249$DB08C06B-94B7-4A34-A316-00B6EE8A6008","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":"Q2879249$0B745DAC-371A-4724-B71D-CC3FCACA98C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"623bc126e25b6dfe3a729511ba6635185e4dd835","datavalue":{"value":"W85190413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879249$6AA6134A-6DD2-443D-8D96-7545CE5D415C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81119709760054a441255518534b353c7707268e","datavalue":{"value":{"entity-type":"item","numeric-id":287372,"id":"Q287372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2882b1b6619cf806750c697e825cf7abe297d64","datavalue":{"value":{"amount":"+0.9566339254379272","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":"Q2879249$30684A25-1568-481C-AFEA-E0214A7089C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60ba04c86a979b4becfcf7f73c8926814a6349e7","datavalue":{"value":{"entity-type":"item","numeric-id":2892733,"id":"Q2892733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7c85b7bc90545fd609831509cea224843f74df6","datavalue":{"value":{"amount":"+0.7420698404312134","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":"Q2879249$606A7825-D46E-4B22-B638-724415B42573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01f57b854aea5d8ecd364019527d4466271dd3bb","datavalue":{"value":{"entity-type":"item","numeric-id":1383156,"id":"Q1383156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9723fb1ec97d00e6c9bb374aac5218cd7b5cf34e","datavalue":{"value":{"amount":"+0.7269169688224792","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":"Q2879249$BA37D1DC-7731-4C80-8710-2D8349505609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"876f6995aee1337445bbc34a648175b32643c560","datavalue":{"value":{"entity-type":"item","numeric-id":4296305,"id":"Q4296305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f35788433827d392bb4347cd701db1a70976314f","datavalue":{"value":{"amount":"+0.7239009737968445","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":"Q2879249$C5970101-1B57-4B41-95A8-C5CE7A7F5982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9714d5b5114d26f0863642400a28340c74716a","datavalue":{"value":{"entity-type":"item","numeric-id":2495548,"id":"Q2495548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9ad55c6c85c8cb58f48365658c38307cd1f8a52","datavalue":{"value":{"amount":"+0.6989160180091858","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":"Q2879249$68BB7D6E-5B3B-47F4-BBED-579B5805A8DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2879249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2879249"}}}}}