{"entities":{"Q5200110":{"pageid":7229681,"ns":120,"title":"Item:Q5200110","lastrevid":94428518,"modified":"2026-06-05T06:47:27Z","type":"item","id":"Q5200110","labels":{"en":{"language":"en","value":"Computer Certified Efficient Exact Reals in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5934441"}},"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":"Q5200110$3A8D49B9-532F-4B2D-B498-D43282822CA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a07e8854c2da4fa77171fdaaa9b85d89a8d31dd0","datavalue":{"value":{"text":"Computer Certified Efficient Exact Reals in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5200110$02EF8C8E-67D0-4877-87E9-123988180D1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7b697f6e724a62729c289ed8e97adbaef69f0d8","datavalue":{"value":"1260.68377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200110$F29A956E-3449-4AFB-95E4-81D608F31AEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a7392117e604d1be0c7687ea84fa0cb2fef93ee","datavalue":{"value":"10.1007/978-3-642-22673-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200110$305E235E-5CE0-4D9F-8178-FAC27CB4125C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d784fe6cc5179886bfe36c86ddc8bdd92ade5a26","datavalue":{"value":{"entity-type":"item","numeric-id":549190,"id":"Q549190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$BB3923C3-687A-49E4-B1CC-91215F59BF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"603d1427f1b21e289d7f29d1759e5e0b15783239","datavalue":{"value":{"entity-type":"item","numeric-id":185814,"id":"Q185814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$3FB64C54-9A9C-4763-9425-9798A8548394","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":"Q5200110$BC472A62-902F-4D3A-9A94-9496137192EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00523700407e21ae71debe0fbbbb012ba59e567","datavalue":{"value":{"time":"+2011-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5200110$BEF0E158-C7D8-4C52-960E-671063107B5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ae57fc6f578fb9464d1bc63c4cd71792fae6edf","datavalue":{"value":"https://arxiv.org/abs/1105.2751","type":"string"},"datatype":"url"},"type":"statement","id":"Q5200110$67D5FE10-5095-4585-A8E8-F5FE95402E6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200110$7441E175-6509-4C65-B4A3-1BDA60D60AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"235c6ea5e302e28be6b7d95307dac1a9f1d2b5b4","datavalue":{"value":"65G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200110$120DF78E-A13E-45AC-9B79-0D15DD5E2B00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"988bc690e35e8e630cbd3fd481ac3ca812b6bec7","datavalue":{"value":"5934441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200110$AC2F3073-C7ED-4BE0-B75E-F77D0F08EB59","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":"Q5200110$25A0BC2D-3B85-4F2F-AF29-C5423B80AFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa786b5c8269f6cf517ad0f032932817c0bb268f","datavalue":{"value":{"entity-type":"item","numeric-id":18875,"id":"Q18875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$B5D8203D-6226-47B8-9294-EC86D753FABF","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":"Q5200110$8C25DB5B-A456-4A00-B19C-9906F3BC65CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4fe753d7d64623272325a9daf03034090aa29b3","datavalue":{"value":"W3100072065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200110$75D657EF-377A-4508-B7AE-71854B6CE0B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$DF9368C3-8D3F-47B1-AC8F-7C1C07C46BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390367f7aaf1bf5f1955bd4bab78a8eb5df8953e","datavalue":{"value":{"entity-type":"item","numeric-id":3431547,"id":"Q3431547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$CA19F43B-9D66-49F4-86BF-BB3AB388A469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15f025b82e462b08b6da310a0699c520bda9047","datavalue":{"value":{"entity-type":"item","numeric-id":3543662,"id":"Q3543662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$432251A7-F97A-4E04-88F8-2C2834ED9567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60b8958c11cf12e9828f35bf950395907ec01462","datavalue":{"value":{"entity-type":"item","numeric-id":987984,"id":"Q987984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$2B1148F3-C3C3-4E35-86AD-35CA6311355E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$7E3FB5A6-B723-4810-8FC9-B0DFA72FDD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bc36e9357802534d1e52134710ec758d76fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$B99A41B1-1C1A-4288-B7CF-4B105ED59027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$B96659A4-1E8D-4DA8-BF9A-6C2BEBCB57D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d91a6fc5a255cbadfa617ce94146193166c4f9ed","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$F7AF7D3A-EC6D-4454-9D43-CC64227E6441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20a8d1807727f460772d228e59e0090da8175877","datavalue":{"value":{"entity-type":"item","numeric-id":3507450,"id":"Q3507450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$3824443E-4B4E-4053-A87C-FF3555DDD685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a0a3e87dbfe98220068bf03769e2c5ebc2390bd","datavalue":{"value":{"entity-type":"item","numeric-id":3559767,"id":"Q3559767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$5C1A29D2-B54A-49CC-80AD-BD0EB06D1D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14caf64abec8078238dd92f041d3edf7f96f3183","datavalue":{"value":{"entity-type":"item","numeric-id":2852042,"id":"Q2852042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$C5ABC428-662A-4335-920F-674154F21816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc734969332adab85b3154962e23089626b98e0","datavalue":{"value":{"entity-type":"item","numeric-id":3075239,"id":"Q3075239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$D9638707-3599-4C38-BA5F-C03251EA6A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff7181965704e473c064c7d95f9f7f0b397f93f","datavalue":{"value":{"entity-type":"item","numeric-id":3543665,"id":"Q3543665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$E91A469B-AED5-4E60-B402-D6AD49AE8555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26a98ca8ad947d93065e67feb1362da03cdb7848","datavalue":{"value":{"entity-type":"item","numeric-id":3094177,"id":"Q3094177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$90709D74-D2F5-4DE0-836C-D06C2EE30C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901ba45472e1a0a3be8b2e40215973355027ef09","datavalue":{"value":{"entity-type":"item","numeric-id":2949209,"id":"Q2949209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$F7B2BA70-B875-4640-B8A0-5952E57DF6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f788536331bb87ba4e75963340b885a6c5e47c5c","datavalue":{"value":{"entity-type":"item","numeric-id":5747643,"id":"Q5747643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$98BCFA25-4BA1-4437-8D75-90B9047CD54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f824039571070482ad925721332f78ceba87d283","datavalue":{"value":{"entity-type":"item","numeric-id":5448620,"id":"Q5448620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$0C974A26-A1A6-41F2-B2DE-F50DB43892F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$C69C8A5D-67A6-4876-AC9A-29AB65D3FF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b78cda30b8bf7bbc1e02364c4dd5fa066a61862","datavalue":{"value":{"entity-type":"item","numeric-id":4279255,"id":"Q4279255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$E03B12E6-9399-4D35-A78F-C07D414343A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c6dee845aa2fb3e3b96fd0f5f996675d409056","datavalue":{"value":{"entity-type":"item","numeric-id":3183538,"id":"Q3183538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$B98B43A0-152C-4C17-92F7-D6340BABD90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aaab03f359925120b880b846d867f97ef7abeae","datavalue":{"value":{"entity-type":"item","numeric-id":1023289,"id":"Q1023289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$5ACAB5DF-CC8E-474C-8114-BDE8F98383D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405436cc00976353a4262985c44bef1a92c618ac","datavalue":{"value":{"entity-type":"item","numeric-id":3150942,"id":"Q3150942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$BAF2338E-379A-40BA-8F17-871273D13B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f45e40f028c5051cb72e103b5cc02af7f7932624","datavalue":{"value":{"entity-type":"item","numeric-id":5176973,"id":"Q5176973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$2527005B-C3B0-475A-85E7-0D11C490F493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5f64d57050206512889a218305d67a8f65e3f09","datavalue":{"value":{"entity-type":"item","numeric-id":3183522,"id":"Q3183522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$1F8F6529-12D0-49A9-BA41-3B1CAEF7120F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"183692fe3586fab8b07ad5f237ce1d7ef7f248d2","datavalue":{"value":{"entity-type":"item","numeric-id":3183542,"id":"Q3183542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$63EA963C-C5B0-4246-91F2-8DF05DD361F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7775af0dfcf78f0eb01b93b06a122479305aedfd","datavalue":{"value":{"entity-type":"item","numeric-id":3431543,"id":"Q3431543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$88A0AA93-F765-42F6-9538-2308FDA65E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5c4c6269cfab8e5917ddd21b6126adfe8f1934","datavalue":{"value":{"entity-type":"item","numeric-id":5458427,"id":"Q5458427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$AFB0C5E8-B7DA-4A98-AF12-60A3CA25B82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ff636533b987e234adc4fd4061c37871085914","datavalue":{"value":{"entity-type":"item","numeric-id":3644745,"id":"Q3644745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200110$6EA511B8-2F1E-46DB-9F97-2786DA941400","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f35972ae61dc081a3614608bd04d82ea882ee1fb","datavalue":{"value":{"entity-type":"item","numeric-id":3543662,"id":"Q3543662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed9d350b9030fd298c90ad8cc1ba6bb2be3f4710","datavalue":{"value":{"amount":"+0.9452535","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":"Q5200110$D2A27DD2-E656-4F94-A7BA-99CC752C65B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b89723d43e84f901a0e433fd787870ba91d4c299","datavalue":{"value":{"entity-type":"item","numeric-id":2148797,"id":"Q2148797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a83b6d6b2cd55b925219e739b15b827570df2450","datavalue":{"value":{"amount":"+0.911034","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":"Q5200110$561C2DB1-43FA-4BAF-87C7-4E4876CFEF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d93184323b25f8cf549364d04d765260ce21bec4","datavalue":{"value":{"entity-type":"item","numeric-id":817858,"id":"Q817858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5234284aab2f7397c38f2a237c0a5e82fe9b7bd","datavalue":{"value":{"amount":"+0.89879775","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":"Q5200110$70B72F06-3648-40EE-BD81-BD76FD731BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a4f2860390bc544328555552fa26063e1c68a10","datavalue":{"value":{"entity-type":"item","numeric-id":4913763,"id":"Q4913763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"846c7bd174b5ffb0de56e2092c94196ac88ba15a","datavalue":{"value":{"amount":"+0.8963648","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":"Q5200110$9B089C77-94D0-478E-9369-239B2FDE4551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0141b06b756e6120b1cab3d217636fe8b682d289","datavalue":{"value":{"entity-type":"item","numeric-id":5458427,"id":"Q5458427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f26f40ae242e071a57eecb411523b175e41f38a5","datavalue":{"value":{"amount":"+0.8901913","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":"Q5200110$33DA2915-A34E-4BB3-A05C-5D728B692C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a15a471f7738a1b9392baf200b6dd58995712b84","datavalue":{"value":{"entity-type":"item","numeric-id":1015372,"id":"Q1015372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15e4f6a666536367c469f56a033b914088a2a8bd","datavalue":{"value":{"amount":"+0.8840966","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":"Q5200110$65E0746E-0F6B-4D3D-A1B4-BD8664B2F969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da600c5ef73eb49cd1aca2d33312234c648c8ed","datavalue":{"value":{"entity-type":"item","numeric-id":5425455,"id":"Q5425455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9515ab107b2c866afa855555647e733a086914b9","datavalue":{"value":{"amount":"+0.875653","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":"Q5200110$87A7C734-9D43-4697-9F23-9AD10D20882B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da37791c9e2e732ecd85d3ecc7996e5b3bfc227e","datavalue":{"value":{"entity-type":"item","numeric-id":3003309,"id":"Q3003309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94758b7abf99907d4dacd1a286fd9e4210229817","datavalue":{"value":{"amount":"+0.87364805","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":"Q5200110$EF145ED8-D389-4389-89E2-4900AAB7A5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15228657d37a97a642337cdf95beff22b06dcd3b","datavalue":{"value":{"entity-type":"item","numeric-id":3535611,"id":"Q3535611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32e8f783f24055c7e7bc93eb676b6dd31147fad6","datavalue":{"value":{"amount":"+0.8722441","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":"Q5200110$33788942-B983-4D40-AFF0-3D1909D3C1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97cb94e392302237f2f3a394c50c071b2af711c","datavalue":{"value":{"entity-type":"item","numeric-id":3644745,"id":"Q3644745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79a5d63600dfddc52b7be2c5fec6e15e8314c42f","datavalue":{"value":{"amount":"+0.87144613","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":"Q5200110$80122628-6F64-415D-95F7-5E97CCE7D8C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer Certified Efficient Exact Reals in Coq","badges":[]}}}}}