{"entities":{"Q5018776":{"pageid":7048353,"ns":120,"title":"Item:Q5018776","lastrevid":54188972,"modified":"2026-01-26T10:37:01Z","type":"item","id":"Q5018776","labels":{"en":{"language":"en","value":"Protocol combinators for modeling, testing, and execution of distributed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7450476"}},"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":"Q5018776$DB9A299D-2B7F-4F8C-9419-45BFE7B98E3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8047a73b600ff1598be3868816d564cb9a2029a","datavalue":{"value":{"text":"Protocol combinators for modeling, testing, and execution of distributed systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5018776$1E6E73C2-5A14-4B03-802A-EEEF8DA7C8B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68841712177ecd1876e3c45a4fda3f1fb581f930","datavalue":{"value":"10.1017/S095679682000026X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5018776$41E9D943-2032-4633-869A-BD480400B675","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"787b8500872a0b596b71195b914f26b5a09de291","datavalue":{"value":{"entity-type":"item","numeric-id":2988650,"id":"Q2988650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018776$19FB0D28-ED17-4FCC-8CFC-8B1E0B56A0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e7aa46ac3d887e424dd5cc7f00c3746db134d5","datavalue":{"value":{"entity-type":"item","numeric-id":763479,"id":"Q763479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018776$A17A1EA0-6E0E-46FB-87C2-74E258B979D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018776$55598F15-7D97-4441-B7CD-F16584C72A60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef7e614aee6bc6b48c017c8ec2cbbdd223213048","datavalue":{"value":{"time":"+2021-12-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":"Q5018776$E018950E-266A-454D-90F3-DAFA8FD3525D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5018776$55DC4097-00EE-4206-B724-F664604BF707","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b587a6cd06b49f276d6b3e8ea799f3b5ef0f41c","datavalue":{"value":"7450476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5018776$1FE51F92-AE8D-453B-84C2-80F5C3EFA29C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"819ddda2e7b125b327dd1cd285f895e0bd6f622c","datavalue":{"value":{"entity-type":"item","numeric-id":5972521,"id":"Q5972521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018776$FA4839A7-F7F3-453B-A998-63FD0B6708D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076a464c1921419707dd93b3abda344ace31f00b","datavalue":{"value":{"entity-type":"item","numeric-id":29309,"id":"Q29309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018776$F9FC78D0-185A-41FB-8140-28B321604E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018776$A830EE4E-694E-4C87-B66E-AA683ADD64F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a5699a860dd7dc9c732976be3ba437fb61ff7dd","datavalue":{"value":{"entity-type":"item","numeric-id":19322,"id":"Q19322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018776$54BCB7F6-4F1E-45D6-8BA0-0F14B33A4F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018776$123B0FBF-DF40-4866-A99E-4A950D446488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4ff63f91a3c2659163aaead04885df5b890e9f5a","datavalue":{"value":{"entity-type":"item","numeric-id":33502,"id":"Q33502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018776$D11561FA-763F-4889-AF3F-286B392AF8B8","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":"Q5018776$5E803E69-F316-4274-9165-53C536421762","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2381769c91e0f4f7d63da7922489d9a6c998071a","datavalue":{"value":{"entity-type":"item","numeric-id":2828285,"id":"Q2828285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018776$7955FAD9-0203-4F60-8C6F-C6F9352BEAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8b20214f4c047144aa0c807c908e134787a9081","datavalue":{"value":{"entity-type":"item","numeric-id":2949191,"id":"Q2949191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018776$F7270750-8CEC-452A-B925-35B157661AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5637aa265a5569bdf99fb74ae8adf6ba3a0fdf33","datavalue":{"value":{"entity-type":"item","numeric-id":2324015,"id":"Q2324015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018776$02851352-84A2-4FC6-858D-BD1987D22AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8ead62c573d45ef64e44c106273e4f693a53e05","datavalue":{"value":{"entity-type":"item","numeric-id":5919613,"id":"Q5919613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018776$C7D16338-2462-4F79-9324-44CD2FF36364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018776$5ABB37E1-5D5E-4332-ABE1-FEAD1D66B57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea4be62d3063bbb063f1d1d87b824b9b2346df8c","datavalue":{"value":{"entity-type":"item","numeric-id":5041100,"id":"Q5041100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018776$8D85439E-3BAB-40E3-B0F5-C46CEBEA3875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"410a00c120f4176ca09bb8a9e9cfd116c0ec92b2","datavalue":{"value":{"entity-type":"item","numeric-id":5133679,"id":"Q5133679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018776$47DF5952-4D13-4049-8DE5-A67A5AFF89F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b518794232dd0a5121abdd4917f346fc1a37e986","datavalue":{"value":{"entity-type":"item","numeric-id":1954195,"id":"Q1954195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018776$AB43A815-77F0-480F-A7AB-C1A0F724B95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed979430371862e5f53ebd0e96b9fcfc6b9c286f","datavalue":{"value":{"entity-type":"item","numeric-id":2914373,"id":"Q2914373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018776$02A081F5-8C26-42C6-BB89-D520EA235A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f96080269f1ac57df102d277e6fe30615563ee72","datavalue":{"value":{"entity-type":"item","numeric-id":5178765,"id":"Q5178765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018776$47FAD30F-B53C-43B5-8AB3-EEB51E2A94F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018776$57D4C597-BEE7-4BE4-95C2-29B18AC04083","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7627fde89f3b786c54ee25fb245e6764c5507b38","datavalue":{"value":"https://doi.org/10.1017/s095679682000026x","type":"string"},"datatype":"url"},"type":"statement","id":"Q5018776$75F496EF-1217-438C-9CFC-5131F2CD31C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a3dcdcbf7719db7704f8729599f5bcee29ff6e5","datavalue":{"value":"W3129453453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5018776$AA3A8640-4C78-4983-9436-B85D4E65D484","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dba2615fc55a3c5bcf8aca6d0dea9348f1cad88","datavalue":{"value":{"entity-type":"item","numeric-id":3601068,"id":"Q3601068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85c51e7e786624bb063471b5d5483f67808fb4dc","datavalue":{"value":{"amount":"+0.7198764085769653","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":"Q5018776$131A6C92-ED1C-4B2C-A22F-EFAA702AD903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"453ec62d65393c0cfab33d78b16821e83eea0e70","datavalue":{"value":{"entity-type":"item","numeric-id":2900541,"id":"Q2900541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7ccdfe550dc4f8c2bb876edad9133a2ce34dc15","datavalue":{"value":{"amount":"+0.6928268671035767","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":"Q5018776$03AD5F6E-60DB-40AA-9EED-D589A20D08F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"facfb391b37b0c2d59677ab220d021147e52d1a8","datavalue":{"value":{"entity-type":"item","numeric-id":2011199,"id":"Q2011199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"263dac881f753fc8d08e258b011bc6f99d9e8a5e","datavalue":{"value":{"amount":"+0.6847520470619202","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":"Q5018776$9B50A605-B7C0-4C07-91A7-9AFB421E4349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"058191dc2c9d3bf412333ced6fa3ff5c09a51638","datavalue":{"value":{"entity-type":"item","numeric-id":5458335,"id":"Q5458335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c23861454611e2b67c11b1548140fd69388c041b","datavalue":{"value":{"amount":"+0.6837835907936096","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":"Q5018776$BC5FA120-5263-4EC1-9E93-9892A0A2519D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1149cbb746588994d37f6f49909b12dd38f72fb","datavalue":{"value":{"entity-type":"item","numeric-id":2827463,"id":"Q2827463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"706468851ae5e36d4b6f0d7245ca3e6c9b4262d5","datavalue":{"value":{"amount":"+0.6814558506011963","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":"Q5018776$7B60616A-F311-4550-8DE5-F9015FB850BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5018776","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5018776"}}}}}