{"entities":{"Q1193593":{"pageid":1204342,"ns":120,"title":"Item:Q1193593","lastrevid":66455631,"modified":"2026-04-12T10:11:24Z","type":"item","id":"Q1193593","labels":{"en":{"language":"en","value":"A compositional protocol verification using relativized bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 64875"}},"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":"Q1193593$0DB8A075-7A57-4889-98AD-A13FD62C26E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53282772926b6e267d7f83fde9aeb3e0354e4f9f","datavalue":{"value":{"text":"A compositional protocol verification using relativized bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193593$167850B2-C1DD-4275-A4FD-3C460AD9ED48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4480c486a072f2ce62a44c0bee4cc5a0dcb09e4","datavalue":{"value":"0753.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193593$3933EE2A-EDF9-45C4-B065-87B68FFC3761","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af8a1b0d6fa6f1695c9762aa56278726d07f8f9e","datavalue":{"value":"10.1016/0890-5401(92)90025-B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193593$82556920-FDC0-49B4-8DB7-E5C603DAEEA2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193593$43BFE66D-BF6C-4652-9090-994F3F783CDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193593$BF018A3D-CCDD-4121-9E03-9CFBEABD8119","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193593$6FEC4B87-5CB2-4E7C-B803-BA71F3DC0CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193593$81EC56A5-5D76-4BB0-8758-E7E89DB4D0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193593$D2310AC6-7243-4154-9750-F05E57C1FBDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6683cbdc4b1d19a2c788d8449322c1cbb1e6ed55","datavalue":{"value":"64875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193593$598307A7-BF06-4814-9CBB-63B9615B5263","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1533885a6f24a657dadfdcd8850be8fba51836c","datavalue":{"value":"communicating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193593$86B1AAAB-B4E3-4732-96E7-1CA9F064D3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51ffd76f90c3bfce3b97e8be6ae38fd99e9ba67b","datavalue":{"value":"relative bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193593$A6D6A6CE-60A6-4AEB-8B2E-C74BE02382BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06dacf54f2b6d6a113f47a7b4aee1e9d715afb58","datavalue":{"value":"alternating bit protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193593$9FE3353A-2F16-4BC3-9F9C-5CD1A3396EC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193593$0A5BFE5F-9B68-4B1C-87C0-375C3C501A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08d0f7cb40ff2483df37c37d4baed93c13bb91e7","datavalue":{"value":{"entity-type":"item","numeric-id":1801221,"id":"Q1801221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193593$E6BB624B-E2F4-4119-979F-67B51128BD2C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193593$8708E087-D4F1-4541-859B-3748D93903B8","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":"Q1193593$A7215D22-F831-45D4-8B74-08BDB3EE4E00","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8636ac1d2a9f37f15d6d5d220d6ac5ccfb68c6c","datavalue":{"value":{"entity-type":"item","numeric-id":3727367,"id":"Q3727367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193593$440C246E-EAC3-4C78-952C-F862A0C6F7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193593$A996CB1F-6108-4920-B4BF-1A9C548B913D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193593$50195D54-F658-4348-BB9D-0B505B0C9CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b8607e5d44a7fd9a8711e75a7c39fc8fcd11d1a","datavalue":{"value":{"entity-type":"item","numeric-id":3725529,"id":"Q3725529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193593$65141BDF-1A61-4F3C-ACF4-D878E371B490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193593$6BED41FA-6F6B-4C44-9FC1-3B7A6CFF8301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193593$D8CB0FF9-2DD2-42D5-8F9F-4E5E843B6573","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":"Q1193593$6454B86E-792F-4BCE-8D82-900B3545F508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b1b225889f83bfada58658525bacbd896b00e3","datavalue":{"value":{"entity-type":"item","numeric-id":1088404,"id":"Q1088404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193593$EB9B8A6A-0030-4230-AF3A-3D3994F32DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2a6bbb40f25f4db3104def630456b503e1dceb","datavalue":{"value":{"entity-type":"item","numeric-id":3988057,"id":"Q3988057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193593$ADC91D59-46C2-4963-AB12-97F620328677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193593$E738170A-0DBB-48F2-8706-3AED4E47761B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5512372227b73d51e646f93b09237b2a8d0d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":3929062,"id":"Q3929062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193593$6FE1D18F-A0ED-4372-8639-346CACDD9C8F","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":"Q1193593$106CB641-48BE-4C23-8813-F3215E32BE5A","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":"Q1193593$53854D4F-89CD-4E7C-A3D6-6FA383DEEBA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193593$600F1DF6-B7D9-4A56-B9E8-766F2F4C2093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193593$A31886B8-5EE6-41CD-A456-EBF59443C5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f45f552829e448fdb1f5d0c5585c08bd5972555","datavalue":{"value":{"entity-type":"item","numeric-id":3694687,"id":"Q3694687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193593$F3C07B1C-2300-4A31-A1E8-CDD84E741B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d925545028cebbe906f88a63611519e302be1c5","datavalue":{"value":{"entity-type":"item","numeric-id":3709867,"id":"Q3709867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193593$65693530-A3E8-4AB3-AD06-43533136709E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8eee7edca234ca36248d6a23303f7902860118","datavalue":{"value":{"entity-type":"item","numeric-id":3727371,"id":"Q3727371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193593$DF779986-54F1-4A6B-B4FA-3D79D0A151DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69bd18b3f6bb5d8e8f72efa9f61b3d8c22c3376","datavalue":{"value":{"entity-type":"item","numeric-id":750163,"id":"Q750163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193593$7EE56885-CAF3-46BB-82F5-25EB4718585A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e00dc858ab259f4b9f7689eee37e9d71450cdd39","datavalue":{"value":"https://doi.org/10.1016/0890-5401(92)90025-b","type":"string"},"datatype":"url"},"type":"statement","id":"Q1193593$ABB73F54-0D09-4E7A-ABE9-72393BC5999D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce05c1244d2f7502923195991a4b1e45e40301d9","datavalue":{"value":"W2051332130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193593$BAF268AD-0010-40D2-BCE0-5A39675AD020","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbcc72e4868af0029b28e40370dc411ec15149fd","datavalue":{"value":{"entity-type":"item","numeric-id":3765231,"id":"Q3765231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9043957b4293afeb781c3b94567f17d95c5202e2","datavalue":{"value":{"amount":"+0.971301019191742","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":"Q1193593$F20E5078-20F2-4B55-9CBD-9173CE9BBE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74a4554d915abf3dc2af47a650d41ea7cdc430f","datavalue":{"value":{"entity-type":"item","numeric-id":3795197,"id":"Q3795197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69f4624c512b1062e6da35788ac833296afa79aa","datavalue":{"value":{"amount":"+0.7977821826934814","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":"Q1193593$3AFDA443-99F3-4456-8BF2-66901DC1543B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8f61c9aede3d60e9748bd045c50c99517650f47","datavalue":{"value":{"entity-type":"item","numeric-id":1177172,"id":"Q1177172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30a196bb41af5f740b2d35d03c51e88c3adf943f","datavalue":{"value":{"amount":"+0.7764014601707458","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":"Q1193593$2F8CC888-31C6-4B11-A194-2E93F35E7156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a9063ce4f8ee99742dba24e7a6d1df1ef75eacf","datavalue":{"value":{"entity-type":"item","numeric-id":3727367,"id":"Q3727367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a3647037574ae5142009140ee1e897bd0594c81","datavalue":{"value":{"amount":"+0.7731814384460449","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":"Q1193593$B121A146-C596-4F03-917C-F6B265B777AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56739a3ad00ae7f0f8dd4e7eb111fd5550a36262","datavalue":{"value":{"entity-type":"item","numeric-id":1349249,"id":"Q1349249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e33c7dc6e38bf6e0de6aaf3d11d04996ee48be7b","datavalue":{"value":{"amount":"+0.7499424815177917","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":"Q1193593$2C7E342F-83CD-4779-BB6C-3C0B1A21279F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A compositional protocol verification using relativized bisimulation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_compositional_protocol_verification_using_relativized_bisimulation"}}}}}