{"entities":{"Q3618814":{"pageid":5648720,"ns":120,"title":"Item:Q3618814","lastrevid":90420314,"modified":"2026-06-04T20:08:20Z","type":"item","id":"Q3618814","labels":{"en":{"language":"en","value":"Proofs of Randomized Algorithms in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5539326"}},"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":"Q3618814$3DD7642A-6FF1-48D0-A047-EAA7F4196CBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81a90ae3117b1ba01c705e167368796eda7dd62c","datavalue":{"value":{"text":"Proofs of Randomized Algorithms in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3618814$6CE80AB0-11A8-48EA-88DC-416E2A6DD3B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de3824b5b47bd7dbea2c1495f3a696969505bdb1","datavalue":{"value":"1235.68325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618814$500EF4BB-A2D8-41E5-94B9-2B87829FCD7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"503f7d92b5b638ea78ad8190234cea319aafa455","datavalue":{"value":"10.1007/11783596_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618814$A7323698-01CC-4D7D-8657-CC48EA0FE592","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"501244badbcc9fc13951192486442595ef743c8b","datavalue":{"value":{"entity-type":"item","numeric-id":923884,"id":"Q923884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3618814$5F83B6AF-7E7D-4249-A86A-4810173EAE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bba7ec8861a8ed927cac8194bcfd558f8fc7d3b","datavalue":{"value":{"entity-type":"item","numeric-id":923885,"id":"Q923885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3618814$79BC14BD-FC10-445A-B2A3-B4C2FB1C956F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3618814$28A92C2C-3001-4FC9-B970-A4C20206830F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d42f886a65a82f1ab69b7a851b32028cf5a4bbbc","datavalue":{"value":{"time":"+2009-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3618814$E9BFB757-C9B1-4725-8A41-F856C1B9F982","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618814$A1769319-4ED7-49B9-B6E3-DDD17BA65A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618814$5DD3B25A-40D9-47C2-A797-B03DF4E083EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618814$CC16BAD4-BF7D-427F-A4D3-084A524339D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d9b6cc83ef38fd7d3f90038bde92db837ae6df8","datavalue":{"value":"5539326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618814$8C33D169-D0E8-4315-B615-6662FE865E19","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3618814$B3F9699C-85D0-4B41-B52D-BF92D8231777","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":"Q3618814$3FB45840-DD68-4BDF-B006-AA4F28547A02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c18e4c6b5cf12f08c38f6ab0faa8ce93df6a396","datavalue":{"value":"https://doi.org/10.1007/11783596_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3618814$C7437C1C-60CB-4B03-A7BC-72F091DD55F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9361b8739c0d5702297f6d2b7e32359d02b6a3b8","datavalue":{"value":"W2174515752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618814$24C958F8-B878-42A8-AD26-0CD84B8757C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48f1bb9f0fd80cb34c125d16f6965ee044d9af12","datavalue":{"value":{"entity-type":"item","numeric-id":923886,"id":"Q923886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3618814$EE98FE8D-C261-42B5-91EA-CEEAB6683F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cfcb1356a4bc60a7302413a88eb90ecc58199ff","datavalue":{"value":{"entity-type":"item","numeric-id":3179391,"id":"Q3179391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a71c436510a687d703619914bec62e95fb37278","datavalue":{"value":{"amount":"+0.8994768","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3618814$5DA9EB30-89D9-4A1A-98C2-DDD4B1713DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"078429cf737924a793c3195d5381422d571f0b2f","datavalue":{"value":{"entity-type":"item","numeric-id":2976378,"id":"Q2976378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03f2f67d8c4b012ff8e8f8e34c724d2f25c3c067","datavalue":{"value":{"amount":"+0.88927674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3618814$66B687DA-E10C-42B1-A3DF-B0591B02B7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d85c0471de07f083d681e27ef6a887d0a74360","datavalue":{"value":{"entity-type":"item","numeric-id":5915547,"id":"Q5915547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3ce5ce08caa75289a09369a69d2c6c95faf5f39","datavalue":{"value":{"amount":"+0.88367534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3618814$DE9DA962-D196-4084-9E03-A2207CE189F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d4cf21c453beb25acbb224af049f1733eedf56d","datavalue":{"value":{"entity-type":"item","numeric-id":5925546,"id":"Q5925546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3ce5ce08caa75289a09369a69d2c6c95faf5f39","datavalue":{"value":{"amount":"+0.88367534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3618814$BC5EFFD8-C5F9-48FE-A42C-BDE97400B77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abae34d62d25540e51a46ff5cb39b676f0e94245","datavalue":{"value":{"entity-type":"item","numeric-id":1807460,"id":"Q1807460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"810e3d67e317da27172295b85cfb1f2b5e36d8d0","datavalue":{"value":{"amount":"+0.8802012","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3618814$23B93195-4524-4412-B06D-3BFF03E2556F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40db5b4a9e000020e15333074f1df230a9c4dbc7","datavalue":{"value":{"entity-type":"item","numeric-id":5716539,"id":"Q5716539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1ce431fe06c54436b8408602b65dd8e15e6c5e2","datavalue":{"value":{"amount":"+0.87800956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3618814$38C69E22-4800-4627-9FEF-831CEA01BA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1813dee6ade6ce3af2af73d2234b94398df48393","datavalue":{"value":{"entity-type":"item","numeric-id":5958299,"id":"Q5958299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0499ec914960858a74cce729e067f206dbcb0fc1","datavalue":{"value":{"amount":"+0.8726071","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3618814$BF08F627-8AB6-4888-BF97-8E707DC2501F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a1ea13f2a3f0cfb8cab0079f201857881dc2dc4","datavalue":{"value":{"entity-type":"item","numeric-id":2754056,"id":"Q2754056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e7e5680e9ad5652b80739640e833553c01f8231","datavalue":{"value":{"amount":"+0.87182355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3618814$DC3426DF-58D6-4113-A909-C3CF2CD19A1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proofs of Randomized Algorithms in Coq","badges":[]}}}}}