{"entities":{"Q729813":{"pageid":731662,"ns":120,"title":"Item:Q729813","lastrevid":63894369,"modified":"2026-04-11T16:16:20Z","type":"item","id":"Q729813","labels":{"en":{"language":"en","value":"On the completeness of bounded model checking for threshold-based distributed algorithms: reachability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6668158"}},"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":"Q729813$EB46B22C-0D8E-40DA-8C5C-64FB10D85608","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2f1fda3bd2dcf7b44bae92fd1cd1a46470e3c94","datavalue":{"value":{"text":"On the completeness of bounded model checking for threshold-based distributed algorithms: reachability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q729813$75F36130-2419-4E8D-83A5-720FDEBB6597","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59c6e7cc2157d4652f7ccc62e4ac5f8618074d14","datavalue":{"value":"1355.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729813$55A09164-8363-45F7-A7DD-01A8A2946AAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"547a70f32038f5698afdc474eeef7f9e925fba61","datavalue":{"value":{"entity-type":"item","numeric-id":699184,"id":"Q699184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729813$7A045AEC-3664-4F2A-9271-73CEB6914881","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":"Q729813$A43DE7CA-C214-433B-AC06-A402A32640D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22cfb65c3a705144ee5104515a956f003c155b5f","datavalue":{"value":{"time":"+2016-12-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":"Q729813$479E8A33-7A1F-411C-AFB8-081943BE547A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729813$65CA72C0-8B19-4793-B4FF-7A8A909AA897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729813$DB1375ED-02C0-40A2-8B67-47EA0BD2DA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729813$4E8988BB-72D1-44D7-96CE-261BC4AC71F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4353421aafdb51a768785197dc09c3ccf618ca09","datavalue":{"value":"6668158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729813$83117834-57C7-4A01-B8D4-BA1AB82B83F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q729813$8C991A20-08A7-42F1-A1C2-45D20E98F9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fb51b3bac83b115501e684a369b2c4e89c144ae","datavalue":{"value":"fault-tolerant distributed algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q729813$AC416C28-17A5-45C4-8293-6EA0C6357592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c97425824167c8b2224120176ebd89b5e60b9db","datavalue":{"value":"Byzantine faults","type":"string"},"datatype":"string"},"type":"statement","id":"Q729813$28B0B638-E9BA-4744-954A-3001C7810616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fb06950b4b035ba153d2d29c868e5ffe67e8dee","datavalue":{"value":"computational models","type":"string"},"datatype":"string"},"type":"statement","id":"Q729813$EF59F3D3-4E76-47FE-BAF1-5B552641C794","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce91c9303e62db122d4c0c98d17eb9dbb9274541","datavalue":{"value":{"entity-type":"item","numeric-id":33078,"id":"Q33078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729813$F149C20F-C30C-491D-9274-87E59170BB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0ef7aed5e557965de3f0d4aab5d60887968bacb","datavalue":{"value":{"entity-type":"item","numeric-id":19149,"id":"Q19149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729813$6D59D4AE-E906-468A-966D-B1EF10C3A7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c035ec76607a05dd704ef71fa48c741fc21da69","datavalue":{"value":{"entity-type":"item","numeric-id":33501,"id":"Q33501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729813$D0229002-2D04-4CB3-A4E3-3FE94684287F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbe2b9a97ce0ea3098b4e4971345da27fad3d33e","datavalue":{"value":{"entity-type":"item","numeric-id":39735,"id":"Q39735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729813$B70D7177-352C-4361-93FD-39CF8DE8B24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729813$5CD88B32-E5FF-497D-968B-C702C40352C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3810c7bf221b43532b3d15bc5d7a1106ebd12ec7","datavalue":{"value":{"entity-type":"item","numeric-id":25229,"id":"Q25229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729813$616C83C2-3B6D-4428-AF5D-24169CB53F0B","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":"Q729813$A6A6406F-3317-4015-AB58-D1E48A04FEAB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e405131d7492fba34866281edfbad52c00d7630","datavalue":{"value":"https://doi.org/10.1016/j.ic.2016.03.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q729813$AC983D68-F9E1-48BD-BC3B-89F3BBE60F2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a72bf0aa2dd5834fca6e0819f920f192dfdddf61","datavalue":{"value":"W2292447407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729813$13B79DF5-DC34-425E-981E-5F02F3D813CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"260bb1ff4954a6e9d3d53bf618e90c86debbadaa","datavalue":{"value":{"entity-type":"item","numeric-id":3636854,"id":"Q3636854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729813$AE905317-26D4-4863-9D23-2E8E5C1805F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2426859933ded65ecede93f0dda338fe32c6c26e","datavalue":{"value":{"entity-type":"item","numeric-id":4568312,"id":"Q4568312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729813$747BE2C3-9C6D-4995-8CF3-289CF6123B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d61839b051136c366b71cc548f1614f7b0dc9a3a","datavalue":{"value":{"entity-type":"item","numeric-id":3765232,"id":"Q3765232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729813$641C65F0-A249-4BE9-AA0B-4EE1ED8FFF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f014eae90340d070dc667ce0b01474bbb78615","datavalue":{"value":{"entity-type":"item","numeric-id":4371670,"id":"Q4371670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729813$4D955FF9-BBD1-4716-94EB-3BBBCE831F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729813$4D0DA97D-2316-4AB8-8FB1-3702DCCD6366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61774d9849f10e1dd86ae551842bcf10d090eb09","datavalue":{"value":{"entity-type":"item","numeric-id":5901905,"id":"Q5901905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729813$A709FDD0-D317-4751-88F7-BC41F23FF044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1505d9b33c312794d5990cceccb798d2ac92bb","datavalue":{"value":{"entity-type":"item","numeric-id":4037382,"id":"Q4037382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729813$79BCA594-945B-493E-B1DA-C690226A5E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff4c3b8f6a7b25d6a54721439d9d3c8a0c98a84","datavalue":{"value":{"entity-type":"item","numeric-id":1702911,"id":"Q1702911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729813$28BB16F8-EEF8-4A12-AC7F-25337BC20A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea922bc3cd3ddaaa42fe2bfaa5b81fa3391d5959","datavalue":{"value":{"entity-type":"item","numeric-id":3088266,"id":"Q3088266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729813$D8FFF2E4-75E6-4D53-B1EC-2223940B2A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87957d20676b341fc2d415efa4c896e75ab57ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4414397,"id":"Q4414397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729813$311EC78D-4AA5-4811-BA2E-E8203EFAFEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729813$62A74CCC-1BE3-4C77-ACB5-7340F7C1872E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a29614989836674f45bb886f19d75545ab86967","datavalue":{"value":{"entity-type":"item","numeric-id":5491889,"id":"Q5491889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729813$F2AFCE27-4631-4594-A402-297D20B5F983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05656618a7fbd87833428b51ffbb73b7b47e20fc","datavalue":{"value":{"entity-type":"item","numeric-id":4077431,"id":"Q4077431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729813$08D4BC8F-BB63-45E8-B0C4-61905C8F3285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd6e75a49a48b2f10120476e040f3acec29fefee","datavalue":{"value":{"entity-type":"item","numeric-id":1056221,"id":"Q1056221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729813$DCB2CAF1-7831-4632-A87A-2F05B99EB2F6","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":"Q729813$1079C3B4-B75E-461F-A031-7A220929F551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9155b2a89151bd7c3b2b0d60a86b5cb673950cd","datavalue":{"value":{"entity-type":"item","numeric-id":3873545,"id":"Q3873545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729813$0C30A268-ADB8-466F-ACBC-CDB09BC36E94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9bc40727b675273795d6b7535df15129a96c83b9","datavalue":{"value":"10.1016/J.IC.2016.03.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729813$D290F5E9-B71B-4A27-9E1E-9008281183CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10c3e3cb438e80e830a90b1d7919d738a25e9604","datavalue":{"value":{"entity-type":"item","numeric-id":3190113,"id":"Q3190113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7fa1e3ce9e83a0acf1f429f6ef69a08b9d04020","datavalue":{"value":{"amount":"+0.9971596598625184","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":"Q729813$46C66547-77EC-475C-A28E-D63DCB8F4618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa41eeafaa4d7fbec3f727a469bea4c6d2a6784d","datavalue":{"value":{"entity-type":"item","numeric-id":1702911,"id":"Q1702911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a46ca6b1b678a323bc0ff2f0524a7b94465ffdda","datavalue":{"value":{"amount":"+0.8562304377555847","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":"Q729813$CCC9ABAB-DDF7-416D-9D3C-233544409233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdcbe6cee20edf99c98994801e15bf646092cd21","datavalue":{"value":{"entity-type":"item","numeric-id":1696580,"id":"Q1696580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef30242256edbfc4f10b96537d84613788047d30","datavalue":{"value":{"amount":"+0.8520016074180603","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":"Q729813$284BBCB2-23A8-4829-BAE6-AEB28F014586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79dbad2afe8066cdaffb349ee518d21a59f4b0e3","datavalue":{"value":{"entity-type":"item","numeric-id":5009433,"id":"Q5009433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79371da3b2f697f39113e00fcb883044f3511c6c","datavalue":{"value":{"amount":"+0.8109524250030518","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":"Q729813$9DCF0CE6-F1FA-4834-B8A7-D92897643CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c91f584730ca8dd18e34c388b00eb956ec2e5a","datavalue":{"value":{"entity-type":"item","numeric-id":5370906,"id":"Q5370906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42e8e5c951524535fa6051a42d25ce7133386b84","datavalue":{"value":{"amount":"+0.7817646861076355","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":"Q729813$61E69B0F-A6BF-4177-944E-05E225CFF8B7","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":"Q729813$5113CF1D-0914-41C8-9649-EA3AF3F9FF0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the completeness of bounded model checking for threshold-based distributed algorithms: reachability","badges":[]}}}}}