{"entities":{"Q432134":{"pageid":433901,"ns":120,"title":"Item:Q432134","lastrevid":61872324,"modified":"2026-04-11T02:14:01Z","type":"item","id":"Q432134","labels":{"en":{"language":"en","value":"Verification of distributed systems with local-global predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6052548"}},"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":"Q432134$81E9BE3F-9683-4F81-99DB-B95427ED1077","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0415096a35559fe6c82c80bab6291af5df8f289a","datavalue":{"value":{"text":"Verification of distributed systems with local-global predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q432134$6471F51C-22C5-4383-856F-B4190A79EC1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd1241393642f86108633179f374ef526f916748","datavalue":{"value":"1242.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432134$84211134-FA82-493F-913F-FC29D7E32076","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"613df68fa62667b65d3e5e1997bd8d1766de280b","datavalue":{"value":{"entity-type":"item","numeric-id":239148,"id":"Q239148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$3040C6B8-C59F-4955-A984-E8D954743F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c1fa0bdef52870f28f38f746e2f0cfa5967372a","datavalue":{"value":{"entity-type":"item","numeric-id":432130,"id":"Q432130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$AA7FED2D-05A9-4D18-87C0-A3B24FF34C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90393429fed72c1283fc5e6b05722ab07dfbec00","datavalue":{"value":{"entity-type":"item","numeric-id":432131,"id":"Q432131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$9006AF7A-703D-4DD9-A35B-29FCC5F2F8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b0c9b51e977683c1b6f660450f1d22eb56df7cc","datavalue":{"value":{"entity-type":"item","numeric-id":432132,"id":"Q432132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$4ABD3B62-8E99-490C-94A7-D6E70FA9F082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66c8ec8d2326e7d0d1fe590f8bf2aee8d4e9d8ee","datavalue":{"value":{"entity-type":"item","numeric-id":432133,"id":"Q432133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$28749F35-F9F4-43FE-BC51-700C8F9C8551","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$C5099FA8-F888-4297-BF20-297282AC0D53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2ba0036895bc96d003b4a03286285e72e8ca4bd","datavalue":{"value":{"time":"+2012-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q432134$FC4F38D5-78E6-4FED-BFCB-180BB1599650","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432134$C71AECF9-A323-4F78-A8BE-DE112D3975AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432134$11D2688C-67EF-4D79-99C9-38DFAC4FAC24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c537097b5d00aeba1b759c7ddd0453f13e34bcd3","datavalue":{"value":"6052548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432134$9E6B69A3-FDFF-452B-A903-54743EEDB4D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q432134$4F583390-900D-4DA9-BA38-27237637F111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03ee0109af41ad406ecd743518061baaa9e5e3ff","datavalue":{"value":"convergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q432134$38AE169C-EFD8-4A89-ABB3-926088356099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fb94ebadffe72d11658a3cd3bde76eff9f29acf","datavalue":{"value":"local-global","type":"string"},"datatype":"string"},"type":"statement","id":"Q432134$8833B827-053E-4ADD-90DE-3A53AFBAE9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34b44e7b40021effdee26093512bde7058814281","datavalue":{"value":"stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q432134$91BA6D80-91E6-4366-ABF7-81A863D2A52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q432134$583AE2F1-48D0-4DDB-A8DE-0DFB437951ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q432134$B9665724-60C7-46B4-8727-B91124E467DA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c0a58ddfbbfdd8326ccd4a0592111f822aea832a","datavalue":{"value":{"entity-type":"item","numeric-id":40417,"id":"Q40417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$1104A7E7-FE08-4030-A3C9-2B9FAC2F74EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$4239D244-1089-4F7E-B00F-24F4CC1F7D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$4E1E811E-F0BC-4870-9293-CC0669F87D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"567cb10954e5dad0e1b9423309f6bcee73d39bbd","datavalue":{"value":{"entity-type":"item","numeric-id":20966,"id":"Q20966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$FAD5E7A8-DF16-49A1-93C0-C1312609B8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$8A6AA884-F39D-4295-B982-B16B12B6977A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a0f9a97f12aafd7c258bb9b7eba4ff6246a62e7","datavalue":{"value":{"entity-type":"item","numeric-id":40362,"id":"Q40362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$729722BC-1A36-46D2-98AC-F300E05BD75B","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":"Q432134$23AB732A-7A64-4D1A-9FC0-A2C56B9568A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48e9f8efe7b5d745d1b85fdf06ed1bf87347728d","datavalue":{"value":"https://doi.org/10.1007/s00165-010-0150-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q432134$4396D63E-D554-4828-9351-77C73258C266","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c87448cf4e0c74c2c6bcc138154d05ab661b6688","datavalue":{"value":"W1971574289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432134$22F64C11-AE7D-4444-AF9D-A80769542719","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$52A6CD6C-9B49-4FAE-B018-9D7ECFAB49D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1156947ca88b15a049b09ba5169e3fb8bdc20b31","datavalue":{"value":{"entity-type":"item","numeric-id":1601865,"id":"Q1601865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$255764C6-CFF6-4237-BC48-4C01EBFA41E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0bf3a80fdb21f79885f9c2d79abe3e0259e1947","datavalue":{"value":{"entity-type":"item","numeric-id":4398822,"id":"Q4398822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$4F14F38F-7C2F-4B35-BE51-E904F9C32E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7aea7368304c81d99f05a85147c94cac452455e","datavalue":{"value":{"entity-type":"item","numeric-id":3523164,"id":"Q3523164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$AE36A853-CA28-4C2E-81AE-A965776B3F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b2ad74d59ba7f7f79caac5dc6c1697e36f2ed64","datavalue":{"value":{"entity-type":"item","numeric-id":1918935,"id":"Q1918935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$9FCB50A2-57B1-4CA8-B97E-9279A3B9151F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d17dddb60825ec177bb4645008ce2ad96a474e","datavalue":{"value":{"entity-type":"item","numeric-id":2548843,"id":"Q2548843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$EE10527C-C912-4FF4-BF11-2EF47914E8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$DFF36196-6F23-4455-A69B-1E5AB4F82138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3799fc4124631b1079280767a553adf4de021b81","datavalue":{"value":{"entity-type":"item","numeric-id":4162250,"id":"Q4162250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$1559C535-C7B4-4B86-8D51-F7D1C1444DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f815bf2ad909de0fa6e89988501157b6f777d2","datavalue":{"value":{"entity-type":"item","numeric-id":5554728,"id":"Q5554728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$8A4846F9-E3A3-40CA-8F59-2D3795A8269E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cc8138ff9cf4f086020f1c6e3c073e71bcc9542","datavalue":{"value":{"entity-type":"item","numeric-id":2754044,"id":"Q2754044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$6B78C5B4-2E2B-428E-9253-2759D8C2157B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6496304f13783e82d12a275120aa4626825ea47b","datavalue":{"value":{"entity-type":"item","numeric-id":4231030,"id":"Q4231030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$7AC725A8-4D98-4EAB-B05F-F1B295BDB25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6159d1cd56e934910700974ed2e0ab518f843d01","datavalue":{"value":{"entity-type":"item","numeric-id":4473721,"id":"Q4473721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$3DCCAFF2-A5CF-4AE6-B9DB-C2840ABAC401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d88e2b8098a1202f63a19086ed70e7bc46cb33b4","datavalue":{"value":{"entity-type":"item","numeric-id":5266820,"id":"Q5266820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$B38B75BF-3EF3-4929-81AA-BB873928F429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c090fe1b38ffcd772b08ec2baa6aeb6b3f749693","datavalue":{"value":{"entity-type":"item","numeric-id":1407764,"id":"Q1407764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$DABFC0F9-EC51-4371-9E50-1B24BF48835E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"059862282b169105d35655f1c95f3293f38527ce","datavalue":{"value":{"entity-type":"item","numeric-id":5897951,"id":"Q5897951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$227D2B79-5302-4F0B-B8E7-E61628F3A786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$00461D20-2E37-43C5-A832-48EEC58277BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"319c626152eab9d0dc5466f5777732f2a902756e","datavalue":{"value":{"entity-type":"item","numeric-id":2528702,"id":"Q2528702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$BCA4B559-90B2-42CA-ADA2-7E212E75BC5B","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":"Q432134$E29CBAF4-4B00-479C-813A-724250588628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b46b970d8ad468e53da493354fcb3e5cd79f65","datavalue":{"value":{"entity-type":"item","numeric-id":3543661,"id":"Q3543661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$06A5AEC9-8BF6-4BE5-A712-668D498597D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db45f234f354c516e6967660fb11814401792350","datavalue":{"value":{"entity-type":"item","numeric-id":578892,"id":"Q578892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$FE2E6627-18EC-4D22-89F3-A61C66BB934A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d6dff975986919c14cb1dd99440a9369373c6b0","datavalue":{"value":{"entity-type":"item","numeric-id":4599262,"id":"Q4599262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$E4BF390B-03F8-4847-87A9-6E8EE9403A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e50b8273c77544961c965b67d3a96180fc0685b","datavalue":{"value":{"entity-type":"item","numeric-id":3777342,"id":"Q3777342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$56B57B3E-B8E0-4CAE-8EE2-8761653CC1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b7dee6e7d17cf76652241ef534151263d94379","datavalue":{"value":{"entity-type":"item","numeric-id":5617313,"id":"Q5617313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432134$CDD6B089-B8A4-4593-96BA-6B6ADC7D1A5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d2f849d11727c163080d2fd60b63c5087949ba2","datavalue":{"value":"10.1007/S00165-010-0150-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432134$A65A60AB-0AAD-469C-8F88-3A6F270F9945","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c231767e805dc68277b675ed1ccd29e9e10d1d98","datavalue":{"value":{"entity-type":"item","numeric-id":4733386,"id":"Q4733386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a7d7d3f21e6f4678af6a2f9aa252b9bc532d3d0","datavalue":{"value":{"amount":"+0.7569323182106018","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":"Q432134$D9A65EB0-39DA-4022-9E56-50B111C3216F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2976377a66c5997a5d9f768c20aed296c77ce056","datavalue":{"value":{"entity-type":"item","numeric-id":2915172,"id":"Q2915172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df698467e36abfe7d7142c6fa6b400080da354b7","datavalue":{"value":{"amount":"+0.743604838848114","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":"Q432134$3DC93F58-C872-436D-A221-5C5303F93F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3594adff24bd4f14111145fd0b84eda64b7c4ebd","datavalue":{"value":{"entity-type":"item","numeric-id":3543300,"id":"Q3543300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73c747c649b7f3c4bd09704df666b2736a9e26eb","datavalue":{"value":{"amount":"+0.7305121421813965","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":"Q432134$E45B86FF-E6C7-45F3-A853-DB40DFB810FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0dab15aebde0a981bf588cf769f7ffff92a844","datavalue":{"value":{"entity-type":"item","numeric-id":5137900,"id":"Q5137900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"474008d09b917d9056dcc91aca17e23a821804a1","datavalue":{"value":{"amount":"+0.7302533984184265","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":"Q432134$2590159A-396E-40E3-B684-8B1DB798480F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f9a604add372c3b4660f24bf6b78063ccfe4c54","datavalue":{"value":{"entity-type":"item","numeric-id":1039842,"id":"Q1039842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56d413e9dadbe78c8b6a1f8916df43d8559f858a","datavalue":{"value":{"amount":"+0.729756236076355","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":"Q432134$87C1ED85-A341-4353-97DC-FDAF5A8FB56F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of distributed systems with local-global predicates","badges":[]}}}}}