{"entities":{"Q344799":{"pageid":346566,"ns":120,"title":"Item:Q344799","lastrevid":61125210,"modified":"2026-04-10T21:20:22Z","type":"item","id":"Q344799","labels":{"en":{"language":"en","value":"On deciding synchronizability for asynchronously communicating systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6655884"}},"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":"Q344799$58749A3D-607E-4A96-9832-08ACBE439AC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cfd32029304eb39dd39c3491ee0bd249bd3ab0c","datavalue":{"value":{"text":"On deciding synchronizability for asynchronously communicating systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q344799$D77D2F97-C906-4E27-856A-6C6C3E98BA74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"777cc2db0c8e7a9d54f508c23ca08d36fe9d2452","datavalue":{"value":"1353.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344799$B6D5467F-446F-42C8-9483-BDB7FDF35FCB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8865af5840312ac206515e5079126e325569bdf","datavalue":{"value":{"entity-type":"item","numeric-id":344797,"id":"Q344797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344799$9C84FC55-847A-4A73-AB7E-E99F46008A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"859f8ee7581350f1031dec21f694fc43324b283d","datavalue":{"value":{"entity-type":"item","numeric-id":344798,"id":"Q344798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344799$DE800DD4-CCC9-46B4-ADC6-4AE54BBF92CC","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":"Q344799$F22B607F-5FBD-412E-AABB-A2D003F499A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6459ccfdc17c418caf693d4fa3ff617fd06c807a","datavalue":{"value":{"time":"+2016-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q344799$A879D1E4-476E-4540-AF51-F7F8A95C3D65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344799$B4E01A12-A445-492B-9D31-9B455DBD40E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344799$C67563F3-E688-4F1A-BFAE-DEF3FD934E34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"997fb0e4cdb57b9362509469981ac087f70499da","datavalue":{"value":"6655884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344799$D4F7561F-7D44-4BF4-ABB1-506B8ED6770B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e1050664f45c7b1640e00827efd234ba9089a7c","datavalue":{"value":"asynchronous systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q344799$13FFF8C6-6437-4DF3-848C-DBE4E5E3F78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7babf4f7a62b699aed34cb04bb52d351807e18a3","datavalue":{"value":"message-passing systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q344799$8A72B4A5-A566-4879-8DD6-FD94C3962AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccf9bc148cc377aa54c8b949eb83c7a87c576bfb","datavalue":{"value":"synchronizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q344799$D8EA41BF-179E-4B68-83B6-7DED894562E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q344799$CCF0D280-5F75-4D42-BF73-C6C84FDE1201","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86c5760bd620e2915a66d9077b4ed2ef38f56dbf","datavalue":{"value":{"entity-type":"item","numeric-id":13766,"id":"Q13766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344799$4D95171D-A34F-4001-B179-67CAC838DB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344799$26156BC5-134D-4666-8D5D-A391C998E3DE","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":"Q344799$D8B0E1B4-8890-4051-AE7A-4D07A3C06EF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d7c36bce51f4836d9f85dbe3bd5f677e20b60aa","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2016.09.023","type":"string"},"datatype":"url"},"type":"statement","id":"Q344799$8542D776-D9B5-44B1-BB89-CD5B41BF374E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17c7413fb4461841e8476ae0d2324f3bd741fbcb","datavalue":{"value":"W2528284453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344799$1FD5285D-0DBC-4A33-A93D-51D962FB253D","rank":"normal"}],"P223":[{"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":"Q344799$5EFD9C53-E875-4B86-9673-86FC3B6D788B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cbb5fc0f424362cd91e219da1f268b5db43f7a4","datavalue":{"value":{"entity-type":"item","numeric-id":2573635,"id":"Q2573635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344799$EC914DC9-C80A-4012-8852-B8A82A8B5097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b3d28acd643d396b152fcaf01bfc8613dfbfd42","datavalue":{"value":{"entity-type":"item","numeric-id":5458334,"id":"Q5458334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344799$8F592344-A6B9-4401-9B1C-244E0E57B558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"846b21fee14541008b007022b34d1b4fb3731ee3","datavalue":{"value":{"entity-type":"item","numeric-id":2891401,"id":"Q2891401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344799$31D8478D-E65C-4EAF-84B3-3616C9FA963E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728b711acf697e7fcb19cd57ce837379d0860e6e","datavalue":{"value":{"entity-type":"item","numeric-id":5137015,"id":"Q5137015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344799$9B6B53DD-28E6-4B78-8C23-DEC44472C48B","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":"Q344799$606A6BAE-7AB3-4ADD-9421-B851AEA8B779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d51a7d8068271239355553a1d0908771fdd46aff","datavalue":{"value":{"entity-type":"item","numeric-id":4708602,"id":"Q4708602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344799$2051F924-8F09-45D7-B906-B2D452B5F0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22fa5ff9449009ec37fbd285a9e4b4117b92434f","datavalue":{"value":{"entity-type":"item","numeric-id":5711505,"id":"Q5711505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344799$FE51F6E0-BF3F-4C5D-9D1B-BFE4BB227BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c64760b3ff8e001c456c7036ce734ff8500bb6","datavalue":{"value":{"entity-type":"item","numeric-id":5900852,"id":"Q5900852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344799$56B46F53-EA89-43CE-A08A-CC681D530634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb775710df417de62fb5abc6605142162bfd946b","datavalue":{"value":{"entity-type":"item","numeric-id":3189846,"id":"Q3189846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344799$3B07B423-3B69-4D1D-A7A9-CA7CC9E5540E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7249997795b9d02768ef290f3b6e95e3bd93aadf","datavalue":{"value":{"entity-type":"item","numeric-id":2892728,"id":"Q2892728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344799$FDB9B20C-7226-4A9F-83A4-636FA4989A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2182b7779cb179b39a2d6903978c52b8f514522f","datavalue":{"value":{"entity-type":"item","numeric-id":1770427,"id":"Q1770427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344799$8087F8DF-98B7-4A62-8680-109899BDC528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"163fceefea075b43c7a97126b1282dd624b40c36","datavalue":{"value":{"entity-type":"item","numeric-id":2942872,"id":"Q2942872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344799$2BED3013-A5D9-4619-A773-17CC9AF9EE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24499c780248aaa57c9d095db729cc27a3dc498b","datavalue":{"value":{"entity-type":"item","numeric-id":5897500,"id":"Q5897500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344799$81572587-4D8A-4BBB-BB1A-8EB5540086BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3433e81f38bf4d36eab932542c2a15ccaad9561f","datavalue":{"value":{"entity-type":"item","numeric-id":3587426,"id":"Q3587426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344799$773299C4-8AB6-4214-969B-C17B28115FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59e56e2abeec4a2f4dad55d96af1b72e13cc9529","datavalue":{"value":{"entity-type":"item","numeric-id":2963915,"id":"Q2963915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344799$75C1BF2B-0390-475F-917A-13EABB86051A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7072691f1aedd9ca325adf235cdbc058542facd9","datavalue":{"value":{"entity-type":"item","numeric-id":2891372,"id":"Q2891372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344799$5F807671-D284-4C48-93F1-275944BEE26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f19928a98a606f4ddb192c8512cb9bac8049d706","datavalue":{"value":{"entity-type":"item","numeric-id":443740,"id":"Q443740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344799$6E2704FA-783A-44D1-9BA4-1A8D665D058E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d4aa3722d7a157fb95952c2b216f7ae9fb2cd2a","datavalue":{"value":{"entity-type":"item","numeric-id":5401557,"id":"Q5401557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344799$43FE2219-1EEE-47E8-A34D-BE28160B245C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75d398c9c40119b85035e7cc73ed61b96845da5d","datavalue":{"value":{"entity-type":"item","numeric-id":5507064,"id":"Q5507064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344799$12C10B37-902D-4703-84AC-2235AD47C824","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e1e18056a32d060a29008af850323b3c949af8","datavalue":{"value":"10.1016/J.TCS.2016.09.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344799$8DE257D0-8DF5-439E-AA59-E37EB1EB9FA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a01f5771d73134e53c2b0325ff9dceff2e363c5","datavalue":{"value":{"entity-type":"item","numeric-id":2891401,"id":"Q2891401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b27c8f802d1c0d32fa42b11113d7026aff3e979","datavalue":{"value":{"amount":"+0.8343704342842102","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":"Q344799$30A39C94-D33F-42A3-A0EA-FB96E4B9BA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3b9ca715796e6471a8ff844849cf8b432045041","datavalue":{"value":{"entity-type":"item","numeric-id":2814621,"id":"Q2814621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e07fdce2cbd7c6234a9fa808c2471b6dfc8895b2","datavalue":{"value":{"amount":"+0.7710468769073486","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":"Q344799$B23097AB-E8E6-4E8B-98FE-7E5BFE66ABD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79264fe77e26fac4dcc35a791fbbdac9750a9d6f","datavalue":{"value":{"entity-type":"item","numeric-id":4600773,"id":"Q4600773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63466ff9506e4e6e5ddf4189941aee693b1bb90b","datavalue":{"value":{"amount":"+0.7481288909912109","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":"Q344799$158EA67D-9562-4534-960B-52C27C6DD3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2722f0c887569c815683030daf9df74076f5ecf8","datavalue":{"value":{"entity-type":"item","numeric-id":1650866,"id":"Q1650866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7ba18cbd84745c433797f548d991d9e77772d38","datavalue":{"value":{"amount":"+0.744593620300293","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":"Q344799$35CAF8D8-3C0F-4ED7-8CD8-776BBB86277A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On deciding synchronizability for asynchronously communicating systems","badges":[]}}}}}