{"entities":{"Q1362771":{"pageid":1373510,"ns":120,"title":"Item:Q1362771","lastrevid":70240752,"modified":"2026-04-13T13:25:38Z","type":"item","id":"Q1362771","labels":{"en":{"language":"en","value":"Two implementation relations and the correctness of communicating replicated processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1045400"}},"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":"Q1362771$0D7D2D8D-66B4-4DD7-B614-A1C7091BEE83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce36aaa379887415fb2c70861a06e17793b09f71","datavalue":{"value":{"text":"Two implementation relations and the correctness of communicating replicated processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1362771$B4B46068-8E51-4D19-B385-6E288C32316F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"915720dfb69cfea8877fffa5edc79c415f6b32f4","datavalue":{"value":"0874.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362771$69519C9E-DCB2-44B6-B7A1-29E0B6E2445B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46bb790a30f5a3a9ed016ee45ff2f9e176bf4126","datavalue":{"value":"10.1007/BF01211616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362771$F8BE108A-2079-4BBF-AC82-14527A7EBB82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cde96b44d9cad9ac40bb3f7dd714b330c99ed5d","datavalue":{"value":{"entity-type":"item","numeric-id":218985,"id":"Q218985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362771$76484EEB-ECDB-487B-AD1D-A839BBB95544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08b70d3e6c2d94a1ac2ad49cada2b58a5bc73970","datavalue":{"value":{"entity-type":"item","numeric-id":1362770,"id":"Q1362770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362771$14B98D42-3C54-4688-A776-F44AA118DAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6f0c13665a42dd0400b90a07ff04f479f81ce17","datavalue":{"value":{"entity-type":"item","numeric-id":285405,"id":"Q285405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362771$8ED8C8A5-FE7E-40FA-AC64-30AD409E3527","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362771$19DC74A6-5601-4559-AAFF-A37C86BD0893","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ac8443813f2a05dafec6041e70cd505aec3d667","datavalue":{"value":{"time":"+1997-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1362771$BBD57F40-B777-4148-8E75-B2844E9E26C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362771$1DB05BC0-4A62-4F6E-973D-BA56CD6EF368","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d30dfc536bed0f4533481e0f07c4b5f93de0b294","datavalue":{"value":"1045400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362771$6EB7082F-672B-4E68-B6CD-1ABA256EE03B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362771$ADFDF9E3-A44F-49BF-BB40-D72F1911D25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f305ee117a26c5999dcbecc407762f4b786a0b82","datavalue":{"value":"replicated processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362771$68AE4117-F3E4-438E-B7B1-DCF7317A9213","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":"Q1362771$88FBCE2B-63F2-40F1-A2AE-E91416B2199B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362771$1D39C392-431F-4AD4-8AC3-6649E41B2305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362771$60EC886B-B809-48AB-8D21-D3334DBCC0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a92e978c8b48f108b205a3d54181e292f77f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3680258,"id":"Q3680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362771$B51DF3D3-875D-460A-B98D-AC89B49C0599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362771$DCA9335F-9EB6-484E-9E8C-7C7950653BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362771$B017119E-5A0E-45A9-89D9-EAB3516807B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1f030dead697569038cbcf88960b24e27f170f","datavalue":{"value":{"entity-type":"item","numeric-id":5903449,"id":"Q5903449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362771$5FC06D9F-8187-4949-A3FA-3137898EEBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37b37b1f6957dcc0c0836642e3b582b3774a697e","datavalue":{"value":{"entity-type":"item","numeric-id":3694675,"id":"Q3694675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362771$26E6B35F-3913-49B4-AF80-CB93999136C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a37e9c7e369f220903238ddadd6dceb0a269279","datavalue":{"value":{"entity-type":"item","numeric-id":1330425,"id":"Q1330425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362771$22D3E335-5513-4152-B831-91B7B0A03461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9b10461a4b1c31290683122ca9de274288aa8e1","datavalue":{"value":{"entity-type":"item","numeric-id":1095649,"id":"Q1095649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362771$EAAEC4A3-24A4-4CCC-B33D-22DB4D07EFEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e817f4e4d319cc5ab3776d47e47a9da35b4dba","datavalue":{"value":{"entity-type":"item","numeric-id":3811693,"id":"Q3811693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4881d4ede90abda5a418c63944f0252055f47f44","datavalue":{"value":{"amount":"+0.751427948474884","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":"Q1362771$3B6B2C04-DAC6-481C-AC29-E2B0D0360735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e992f2fb11f4d3466685610ff377f390d17a164","datavalue":{"value":{"entity-type":"item","numeric-id":4825685,"id":"Q4825685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba9c2b08a245a41fdff78419579fceb4fc39bd32","datavalue":{"value":{"amount":"+0.7486158609390259","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":"Q1362771$B9AAB5F5-8E81-45C1-9A87-EE119BEFC5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21917d65f95de13ffa1b55b21d4be85bf81e6a7f","datavalue":{"value":{"entity-type":"item","numeric-id":4329001,"id":"Q4329001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c7c26deb498b4f1a2efda4ee4ea776ef8e3154","datavalue":{"value":{"amount":"+0.7299384474754333","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":"Q1362771$4480B4A3-1CDE-4FEC-8DE3-499C55679022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cc0932cb6930c81624c9040717388eff59545ab","datavalue":{"value":{"entity-type":"item","numeric-id":3975137,"id":"Q3975137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b582fcd88a951740dcd98fdec889738ef9854c5","datavalue":{"value":{"amount":"+0.7279210090637207","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":"Q1362771$214CE727-5D48-46A5-9332-A36A667525F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two implementation relations and the correctness of communicating replicated processes","badges":[]}}}}}