{"entities":{"Q6043166":{"pageid":13177322,"ns":120,"title":"Item:Q6043166","lastrevid":58654002,"modified":"2026-04-06T04:55:33Z","type":"item","id":"Q6043166","labels":{"en":{"language":"en","value":"On the completeness of verifying message passing programs under bounded asynchrony"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7682388"}},"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":"Q6043166$EC8C8539-BBEB-4F03-83BC-5F0073701C15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"924677bc9195fe83bd4d0a249d1ed883fccf310a","datavalue":{"value":{"text":"On the completeness of verifying message passing programs under bounded asynchrony","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6043166$EEDB7AFE-0379-4A18-991C-D032CF9D3F70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"920903458427071a266877eb22ff9e10e7f4027c","datavalue":{"value":"1511.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6043166$0C1225C4-018B-475B-8AEE-949B0888A879","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fc316f1dee6dbadae7988eb22dd903c02b03a6c","datavalue":{"value":"10.1007/978-3-319-96142-2_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6043166$23381F96-93EE-4C01-A297-B6C034AE841E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043166$0D6FAF15-5672-42BD-874C-EBEF3056D31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f25f8c34e12a231b757d629502410dfe3c146a2a","datavalue":{"value":{"entity-type":"item","numeric-id":515661,"id":"Q515661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043166$A29D8A3B-8CFF-438E-8E6E-92B46F7F766E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8d8a94af8132629fb82e400d7364ab62a1388a4","datavalue":{"value":{"entity-type":"item","numeric-id":2164243,"id":"Q2164243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043166$12E807DA-9184-4300-8ABA-D2AB18D285FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e61e1c15131a00734d19fb57dbeb828f0f9aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":557793,"id":"Q557793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043166$830D2BED-3E1B-479B-85EA-F05D067E3D1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043166$1DBC0D78-528E-4943-ADC4-18DBA15A3777","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a9ffdd3d0278110160d03bdc1ac988576aaeda7","datavalue":{"value":{"time":"+2023-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6043166$88A5A62D-0F4E-4ECB-8CD8-2096BB71F897","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1bfcb6dd191eec8e689e89eaf588b8c05f31ce08","datavalue":{"value":"https://arxiv.org/abs/1804.06612","type":"string"},"datatype":"url"},"type":"statement","id":"Q6043166$1202250E-D647-49CB-8F72-4E4F377B71AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6043166$53484EE0-6471-4BD2-86F1-29079D53A20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6043166$443CD696-9A99-4A53-992F-A9F2BE3FF0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6043166$C9025E3C-F252-4A1A-A44F-0B68B8015513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6043166$53BC8CE9-FA37-4B03-A29F-DE1C9944772F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a37790f30800f121d857961c0a9084ad36a85fa","datavalue":{"value":"7682388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6043166$71A9B667-59A6-4524-8AC9-A99FF22E1736","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":"Q6043166$4C9C14FE-0E55-42D4-B2A3-10A64E4D8B3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb4bbae8b55250a11c66af0e5aa4ed44ddece7b9","datavalue":{"value":"W2797596189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6043166$CE3368BC-DB24-409A-880F-C23BC198D962","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a9ef27261970925cde52c3d5423c0de11a14718","datavalue":{"value":{"entity-type":"item","numeric-id":2894290,"id":"Q2894290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f899ac94eec812087d94dfa268e0a4e2af8fd155","datavalue":{"value":{"amount":"+0.7890567183494568","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":"Q6043166$13CD51AC-87B0-4C60-9E8A-DF085BDED572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07d82d897a1f9493d3070d886d37d0f5960a07ba","datavalue":{"value":{"entity-type":"item","numeric-id":5166693,"id":"Q5166693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acee121caa60f26246b8935a9b260ac8a4b05921","datavalue":{"value":{"amount":"+0.7802908420562744","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":"Q6043166$3C0E8772-099C-44A2-A8A5-0C5403583B1A","rank":"normal"},{"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":"264b287c95cc2f1529a4eda3c444b49e02d497d0","datavalue":{"value":{"amount":"+0.775105893611908","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":"Q6043166$91F39A4C-FBC0-4877-A60B-DCEA83F09BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e24b824d13a98096a8c5251249d35e1dceaa340","datavalue":{"value":{"entity-type":"item","numeric-id":3132071,"id":"Q3132071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a67b01ec2687288c0a85957935b110a2db672d2","datavalue":{"value":{"amount":"+0.743722677230835","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":"Q6043166$C5441F08-D52D-421C-945D-20C7A35EF837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e08bfa16e21c5982c5c915e20c9e30cf5be460","datavalue":{"value":{"entity-type":"item","numeric-id":344799,"id":"Q344799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bb0c68e593f5f36eec3c6df9ac3b53e7c1a1cf4","datavalue":{"value":{"amount":"+0.737964391708374","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":"Q6043166$88F805B8-D7C0-4A90-B443-4C54325AAC98","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043166$CB958124-CF5A-4D13-8BAF-3E78CE07AE06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6043166","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6043166"}}}}}