{"entities":{"Q3190113":{"pageid":3200821,"ns":120,"title":"Item:Q3190113","lastrevid":52089965,"modified":"2026-01-20T22:17:32Z","type":"item","id":"Q3190113","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 6344619"}},"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":"Q3190113$EDDD1CA5-5C81-48EC-8AEB-15863629FFA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1707a7a33ee2931d7c334ef54b97c9b02f35b12f","datavalue":{"value":{"text":"On the Completeness of Bounded Model Checking for Threshold-Based Distributed\u00a0Algorithms: Reachability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3190113$75C286C1-563B-49F9-94B0-E1EB024354FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99206981124bbbfb168dad73483b32f9a24f438a","datavalue":{"value":"1417.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190113$2F917FA6-0D9C-4415-8C8B-F3A93318424D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"894be4d835db097dcd0629266c3c5a3dc5827eff","datavalue":{"value":"10.1007/978-3-662-44584-6_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190113$B5A0F939-9E2A-445F-855B-FABC8E403E83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"86291768d824471544e7172134ed7e1910c45b89","datavalue":{"value":{"entity-type":"item","numeric-id":3190104,"id":"Q3190104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190113$9E754F7F-0388-4246-8DB8-875EE26B6875","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8555c1b8507b50ae47f31acfa7e2d2e9024da56b","datavalue":{"value":{"time":"+2014-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3190113$C44E477D-51DB-4060-9B2F-4F4F2FBC6EB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7bde1205490be42834d9817b7d6bccbada9a6d0","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.872.3003","type":"string"},"datatype":"url"},"type":"statement","id":"Q3190113$4F899540-5DFF-49FA-889D-6FB651847CCF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190113$1D85FEB2-65CF-4BCD-A237-2EA6780831A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190113$C3244EE8-1898-4147-80C6-FA465AE58801","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f8c63db1bbc3edb028e24e1abeecb149ee2577e","datavalue":{"value":"6344619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190113$92ABF36E-AE46-46FB-A4CB-C57F991221E9","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":"Q3190113$D18A69B3-A060-4FCA-8C09-68B6B1BB5CB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2fa5d4363a41edab827148488979f004cf90c4bc","datavalue":{"value":"W200623142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190113$B9B41A0C-6173-46B7-AE1F-5F8F851236A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec1791d8f0a595cf2509b0125de74e47cba6a8a0","datavalue":{"value":{"entity-type":"item","numeric-id":729813,"id":"Q729813"},"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":"Q3190113$1BE00B55-035F-4507-80ED-BE6FF89C2F67","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":"465d59d827db64bc9f640b342e689e465918d0dc","datavalue":{"value":{"amount":"+0.8533449172973633","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":"Q3190113$07B5339E-AAFE-404A-80D4-14EA6A67ED72","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":"2641eed0e218ec54e95bc7bc238396600ab5a3fb","datavalue":{"value":{"amount":"+0.8522895574569702","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":"Q3190113$EED67B38-D793-42AD-84FC-5B173C62AE58","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":"709e60222eef490318a159f725ae339a3f105ac0","datavalue":{"value":{"amount":"+0.8153082132339478","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":"Q3190113$DCCDCAC5-25FB-428F-902D-80EF39979BA3","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":"1299508e5185e95769b05b4eddc19352ff311145","datavalue":{"value":{"amount":"+0.7801532745361328","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":"Q3190113$9B6C0C0C-01E0-4C6D-B534-351540D35153","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3190113","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3190113"}}}}}