{"entities":{"Q2573634":{"pageid":2584377,"ns":120,"title":"Item:Q2573634","lastrevid":79093238,"modified":"2026-05-06T13:07:51Z","type":"item","id":"Q2573634","labels":{"en":{"language":"en","value":"Verification of probabilistic systems with faulty communication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2231411"}},"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":"Q2573634$A6D203FF-F24C-48CD-91D9-64FFDECB3FFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b29b0261b1ae92a7286a394e04f1eb858751e52","datavalue":{"value":{"text":"Verification of probabilistic systems with faulty communication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2573634$B54114F0-C55F-4C90-9E8B-B0603ED45612","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed38cf7febe4fb53daf9e4ba8aad1b9818763d95","datavalue":{"value":"1105.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573634$6F25AE2E-3B5A-4957-BA36-DB3CA651D8F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573634$9CBA420E-8A9C-40B2-A85D-F8086280FA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c924f782f247b037ef49227efcc476dfcb2e57d","datavalue":{"value":{"entity-type":"item","numeric-id":1045895,"id":"Q1045895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573634$1FAFBD2A-B414-449F-AE31-C572570E918B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a6d5b55b11b7c5072badc33d9b23eaf1c7a459","datavalue":{"value":{"entity-type":"item","numeric-id":259067,"id":"Q259067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573634$CD371735-4EB2-4093-B31A-DAC277B3B5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a4493e58bf4fbc540cfb048ba7a90aea2a6a229","datavalue":{"value":{"entity-type":"item","numeric-id":1045896,"id":"Q1045896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573634$642BCF6B-4E63-4639-B8F0-845A53F63B29","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":"Q2573634$4D4B8DE2-118C-4A40-A825-D5C666D589F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bdc0ef30ef09ae596e5098dc0403362d54aa573","datavalue":{"value":{"time":"+2005-11-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":"Q2573634$49BCF49E-531F-4772-A55A-C1A29ECB1141","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573634$BCDF56C4-00BD-4738-81BF-1FCE8402F643","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a79a05661ac7314c90e963834905317857985f3","datavalue":{"value":"2231411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573634$BD0A2B71-2597-4BD8-A623-42C34B9E7C7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86f0478f33ab4d395bc21e53f2de2ad666e2e0b6","datavalue":{"value":"lossy channel systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2573634$579705DF-0A33-4C7C-8675-54A69B3870C3","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":"Q2573634$FD72945E-C990-436F-A98B-D3828B75C982","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a660b5c1cee84ffdc5ad80407baa3e8215bbfdb","datavalue":{"value":"https://doi.org/10.1016/j.ic.2005.05.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2573634$C708AC2E-4F40-4627-92FA-43A52D7561CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e9d4dd4478516e5ea7420188f76c26f1a0101fe","datavalue":{"value":"W2096610849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573634$604EF564-E10F-408B-BA2C-1A96F1259C86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b55f6a4bb701d509cfb1adecc9a47f001f6842d3","datavalue":{"value":{"entity-type":"item","numeric-id":4417850,"id":"Q4417850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573634$5156661B-BE9E-4768-A32F-5291D2C8AF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca640f3efd730e5f875de06c5db75843c006cff","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573634$087E1DF3-BEF1-4571-90F1-4D2AE380D8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2fc0a63389634a9e98983124e81872cbd40ee63","datavalue":{"value":{"entity-type":"item","numeric-id":675223,"id":"Q675223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573634$9382F2E4-C78A-4100-86D8-704D78EA0B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6568417d4238fec38579b935f14f3e0bdb38f7b4","datavalue":{"value":{"entity-type":"item","numeric-id":1776399,"id":"Q1776399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573634$54B9B249-A802-4C67-9455-333AEA6856C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ad57541cb7f85cae96ca1c63ec6026770ab626d","datavalue":{"value":{"entity-type":"item","numeric-id":4417855,"id":"Q4417855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573634$93993DA3-FFA4-4B98-943A-72D08E76866B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573634$FBAF6F69-2F68-40BC-B2B9-DF1AB036EE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e1cd4c2e45e61ad45ad2f7a29f6c1dd31ffaa91","datavalue":{"value":{"entity-type":"item","numeric-id":1908353,"id":"Q1908353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573634$FB199FDF-9F05-4C23-83FB-1BA9AE3ADACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ee253892b177799592f03938a61eb6c7732cc","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573634$09EB3369-8897-4257-BBAD-1832AA3D2389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6930e49ca203e4c5be273ceae28c8fea75c5054","datavalue":{"value":{"entity-type":"item","numeric-id":3408150,"id":"Q3408150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573634$AB2C0776-56CD-4C8D-BF13-5D21AA7E58B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9d1825e985bd9d3ac22966e44befbddbae3977","datavalue":{"value":{"entity-type":"item","numeric-id":5310649,"id":"Q5310649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573634$BD1E79C9-116C-4468-83C3-41518CBA03E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573634$FF4D644E-7DCE-4C85-91D5-4B3375A2742A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"614c6e62be4436a6012854ed27b0876322223f5b","datavalue":{"value":{"entity-type":"item","numeric-id":5528211,"id":"Q5528211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573634$74FDE464-A3D9-48F1-9111-4330683DE280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daf2b52c4069167e72bdaaa26e64cf951d683c6","datavalue":{"value":{"entity-type":"item","numeric-id":1589655,"id":"Q1589655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573634$3ECBC59D-9A1E-480D-BCE2-71BD50F4CF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857799d8f0c80d23f1693fb90d554f48eb5bb5a0","datavalue":{"value":{"entity-type":"item","numeric-id":290250,"id":"Q290250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573634$613A05FD-C4EE-4509-AE5F-FA4D67D568DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e29b714919e99e3dba0945d70c713ae84aea8bc","datavalue":{"value":{"entity-type":"item","numeric-id":4449237,"id":"Q4449237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573634$5E577096-0338-4444-9810-0A7FECEB505F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03614393cfd083a0ec1d904cd9ce50b0636d0e52","datavalue":{"value":{"entity-type":"item","numeric-id":1853078,"id":"Q1853078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573634$68DEE28D-395C-4987-8A68-C2ABE25AFCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573634$E863E5B8-A689-46B3-AD17-8FC02686D471","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"505ebf7e7a654d92c22760ebb6ac2b8c04879d01","datavalue":{"value":"10.1016/J.IC.2005.05.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573634$761805ED-8BE2-4D2E-8150-53BCAB7AEDC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b6902b274976c6d6a70806a30b31dec7571c52e","datavalue":{"value":{"entity-type":"item","numeric-id":4417850,"id":"Q4417850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f142ab8f99d24333e1d8ab330bf4c8f72c86a97","datavalue":{"value":{"amount":"+0.9967045783996582","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":"Q2573634$CF6024AA-3155-43A8-B83F-C6F415E11A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7c4fa9333dcbe48cd8211e977948d7f8bb9d0b1","datavalue":{"value":{"entity-type":"item","numeric-id":4449237,"id":"Q4449237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc622574a754ab68e58f6445b1c292e8b2968b1d","datavalue":{"value":{"amount":"+0.9221810698509216","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":"Q2573634$F2562339-FBAA-4C15-9137-0E1FA34FC50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82e3f2fff35fbe9d00a2bc6d37e978b0b48a61d7","datavalue":{"value":{"entity-type":"item","numeric-id":2495651,"id":"Q2495651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e25fdcb0efd680b5a757016ca11b3081c570381d","datavalue":{"value":{"amount":"+0.91753751039505","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":"Q2573634$7DC12422-E90F-4DF3-B45B-74C651371697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c9391fd43a9c5158e3d155577d34818bafc6ea9","datavalue":{"value":{"entity-type":"item","numeric-id":5325845,"id":"Q5325845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c70e4a99760a675438b76942819bd8575c9e6b4","datavalue":{"value":{"amount":"+0.8911151885986328","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":"Q2573634$8785BF6C-72F6-4F65-8952-9E1DD86B6339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f251bfd13912a6e3980eb0c1f8366951da194aca","datavalue":{"value":{"entity-type":"item","numeric-id":4417855,"id":"Q4417855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1da9a942ce79a906125073458b054f565b3d7f18","datavalue":{"value":{"amount":"+0.8691250085830688","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":"Q2573634$79DB9B9D-E1F4-4228-8AB8-742B49E30AF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of probabilistic systems with faulty communication","badges":[]}}}}}