{"entities":{"Q708233":{"pageid":710082,"ns":120,"title":"Item:Q708233","lastrevid":63696684,"modified":"2026-04-11T14:55:21Z","type":"item","id":"Q708233","labels":{"en":{"language":"en","value":"Strong order-preserving renaming in the synchronous message passing model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5798148"}},"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":"Q708233$7485694E-2E28-41B2-9028-5691081100AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffc37b4903021050664d5fe050869e8060cb5348","datavalue":{"value":{"text":"Strong order-preserving renaming in the synchronous message passing model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q708233$77B902BF-AE9D-498B-BF2F-950BFC5C15BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28fa4f1120980571b5d0804674e65d4ccbb2c3d2","datavalue":{"value":"1206.68355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708233$B3171122-727E-434E-8B84-078490D38FAA","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":"Q708233$BAE0CCFA-6D50-40F2-BD72-544538210AB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f64b28384ad68ec83e16fec2c0efbccc5663b19","datavalue":{"value":{"time":"+2010-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q708233$2B48185F-C52C-4120-B1B1-8597D0C91090","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708233$25C451E9-B86B-4A4E-8145-3A7F5AE29463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708233$308F7064-45E2-4480-A2A8-A2ED37CE0950","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd418b15ac1dee2fbc0aa296e9c667472c1b8b66","datavalue":{"value":"5798148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708233$5D0A7DE1-047D-4BAD-BDF8-7B82EF0600DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88ac52ba5fbfea503a5169a1bf75445d6498e920","datavalue":{"value":"renaming","type":"string"},"datatype":"string"},"type":"statement","id":"Q708233$A91161D3-9FE5-4EBC-9B2B-9835D125C2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d43887f36a3a9aad9bb0b1556cc9e9152865a02","datavalue":{"value":"approximate agreement","type":"string"},"datatype":"string"},"type":"statement","id":"Q708233$A80BF975-BA1C-43FB-A720-51DF834F9701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"116f4eb56c378eb6d86fcdda1b943c659853a6de","datavalue":{"value":"wait-free computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q708233$BC0BB4A0-E13D-48E2-8880-009A89BCE4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c52e810098c230b66b894cced1557b244d872c1","datavalue":{"value":"crash failures","type":"string"},"datatype":"string"},"type":"statement","id":"Q708233$7A356579-D6BB-4AF2-B42C-2CD4F7969494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79db4a3f492414cb1cce75f4783005c78fc886b6","datavalue":{"value":"message passing systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q708233$132A9D13-9152-4D89-A1EE-4DC123DACC25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb06ea05c45e71d2afe99a6274404e46f170293d","datavalue":{"value":{"entity-type":"item","numeric-id":936887,"id":"Q936887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708233$D16C6200-72FE-4307-8732-9E9DB3F754AC","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":"Q708233$56206F03-6FC4-449D-ACBB-851482BE5D5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eca7487b645dd10bfc08d40fb99e5425864d0ffa","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2010.06.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q708233$384CE9B9-580F-4D12-8D4F-0ECEF90156E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5561a2f38d9af1eaaa39cf4aed0675827dd4291e","datavalue":{"value":"W1964746194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708233$EF63D386-4F65-46B6-BCB4-6A5116FF17CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97356d6da4c020ed1c206a04dbdb411c6212c9","datavalue":{"value":{"entity-type":"item","numeric-id":5713668,"id":"Q5713668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708233$F98091B9-5734-4E2E-9B13-27839EE400F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dc130e60aed51c89205a9df57c6cb8c74befd93","datavalue":{"value":{"entity-type":"item","numeric-id":3477940,"id":"Q3477940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708233$2F016DE3-CA7A-4D30-AD69-3F35A7780745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14841167861bd10da26ab242c67e23a6ad2649ce","datavalue":{"value":{"entity-type":"item","numeric-id":5949496,"id":"Q5949496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708233$E9071F62-2943-4C75-8BCF-1EE5A394F699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57b201d1b577ee36078b45b2e239a41aa68111df","datavalue":{"value":{"entity-type":"item","numeric-id":2766870,"id":"Q2766870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708233$1B228290-6076-4FA1-9C44-DDD6C4A1BBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94748fd203c0a3c8a96666217c62ae5f115087ba","datavalue":{"value":{"entity-type":"item","numeric-id":2784474,"id":"Q2784474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708233$88680CB7-BD52-4DD5-9568-AEC49AB3EAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0bf3a80fdb21f79885f9c2d79abe3e0259e1947","datavalue":{"value":{"entity-type":"item","numeric-id":4398822,"id":"Q4398822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708233$0D7550A9-60DD-438F-92D6-43F110304578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aadc2408459c8e26df0cb0254edf5db03dbe91d","datavalue":{"value":{"entity-type":"item","numeric-id":4420944,"id":"Q4420944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708233$5B63F7EC-03FD-4847-A14B-C6E9C27D5ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f2a0d85321274ffdd52061adf5aa158e094964","datavalue":{"value":{"entity-type":"item","numeric-id":3417039,"id":"Q3417039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708233$1EFCB09D-BE40-41F3-B39F-130E0CC4AAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f421460758b6aca116dc818c332928dd2e1b9a","datavalue":{"value":{"entity-type":"item","numeric-id":4031320,"id":"Q4031320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708233$CFEB6E34-01F6-48D5-AD47-AA0CED5AAF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4245ea564cd3b6c0d0e92107206c02dccb350ad8","datavalue":{"value":{"entity-type":"item","numeric-id":5365157,"id":"Q5365157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708233$380E3C38-9FC7-4DBE-BF78-399E93B3F41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3938070b3452e91deeead3f7e10a93210ab14b0","datavalue":{"value":{"entity-type":"item","numeric-id":3524322,"id":"Q3524322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708233$8474D8B6-344F-4EE7-AF39-DEB331458796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe03b77d8ab9faced0131d8b79d37da5f09132e","datavalue":{"value":{"entity-type":"item","numeric-id":1292433,"id":"Q1292433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708233$145E76D8-1AAC-4F01-B66D-101CC51EF005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"032b6daad64feb4ee98b41c0204cb8b995163795","datavalue":{"value":{"entity-type":"item","numeric-id":3763582,"id":"Q3763582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708233$5FC022E4-3B22-486E-A8E2-7C0C2FFCE526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48cf54c1705d3878e7a23a9a1993a31f12d7eb5f","datavalue":{"value":{"entity-type":"item","numeric-id":1341756,"id":"Q1341756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708233$B69CC69F-34D7-4F8E-A73F-EA0F8B1DC34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aac5b92b703feebd231c70715add38cce141be3","datavalue":{"value":{"entity-type":"item","numeric-id":3768383,"id":"Q3768383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708233$815D1D45-D970-45FD-BF20-B5FF864B61A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53c2bf518f07c352a8e3930c7ca19270bad30af8","datavalue":{"value":{"entity-type":"item","numeric-id":3158560,"id":"Q3158560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708233$7E571E2C-1168-42B5-B01B-151BD18C1DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708233$9E0624DA-0CC8-4861-BACA-954FAF953131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94d90903f9a81ffad51c88cec10bdae4bb45c03d","datavalue":{"value":{"entity-type":"item","numeric-id":1904367,"id":"Q1904367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708233$7666B75B-C43B-4D27-8FA3-16DA7268175A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e80108510bd55cc438a14280c9cfd3d1231e8e71","datavalue":{"value":{"entity-type":"item","numeric-id":3524291,"id":"Q3524291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708233$AC9EBE7E-5254-458E-ADBC-DABD5FE9CB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050139b85778dcf1793d7181a1f52b1eeaaee177","datavalue":{"value":{"entity-type":"item","numeric-id":1954260,"id":"Q1954260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708233$56FC7267-4971-4075-B102-43795125DAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49b9b687198bae21db5c3038dd539eaae1e3773d","datavalue":{"value":{"entity-type":"item","numeric-id":1104072,"id":"Q1104072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708233$B5CA580D-6C92-4136-AEB1-C0FB88C99AC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"116aef3ef2eab8a147988fcd495551a6bba254dd","datavalue":{"value":"10.1016/J.TCS.2010.06.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708233$C6E89536-89C2-42AC-8B6F-CFCE2F127A0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df7ba1356d8a0329c57dda50100c9cdc7fc7825c","datavalue":{"value":{"entity-type":"item","numeric-id":5891983,"id":"Q5891983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18c04351ffcea88341d14cbe92946ce523038024","datavalue":{"value":{"amount":"+0.8646602630615234","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":"Q708233$E851DCCD-6A8E-4230-B993-31B4AB7510E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"710030b3f5ba4c404cce7230df4508808e883f89","datavalue":{"value":{"entity-type":"item","numeric-id":5176096,"id":"Q5176096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cbbe18776ba6b27e4449387249be60388356fb2","datavalue":{"value":{"amount":"+0.8071386814117432","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":"Q708233$34AC7673-8398-4E34-896F-4A7DA97656CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c12f1b31d6404c2d7367b69a46bd1a405e3b7435","datavalue":{"value":{"entity-type":"item","numeric-id":1954260,"id":"Q1954260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c82ce0514e3c6454c48a2e284a717a576ba5953c","datavalue":{"value":{"amount":"+0.804985761642456","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":"Q708233$C0410848-4469-499D-B619-4FECA78E950C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12a826dfb816537d4fdbb5224ab3d8be92234aec","datavalue":{"value":{"entity-type":"item","numeric-id":3477940,"id":"Q3477940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2898c8aaca141b2ddaa758630d1d794a7878bff6","datavalue":{"value":{"amount":"+0.7898908853530884","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":"Q708233$F70093CC-F139-45C6-96BE-C4D4B4ECE51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38ddee08615f99146ff00dc45b8c69ea5c818c99","datavalue":{"value":{"entity-type":"item","numeric-id":3524291,"id":"Q3524291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f6f8fb0d083513666ce21b7437a5ff102c453e","datavalue":{"value":{"amount":"+0.7623575925827026","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":"Q708233$0DFB7AAD-AB2A-4C32-A243-6A4136A07F11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong order-preserving renaming in the synchronous message passing model","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strong_order-preserving_renaming_in_the_synchronous_message_passing_model"}}}}}