{"entities":{"Q2018661":{"pageid":2029403,"ns":120,"title":"Item:Q2018661","lastrevid":82379648,"modified":"2026-05-06T20:46:00Z","type":"item","id":"Q2018661","labels":{"en":{"language":"en","value":"Coquelicot: a user-friendly library of real analysis for Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6419297"}},"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":"Q2018661$670BAE94-6D68-447D-B8F8-8FB810D8AC2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4c3f95b4091f28791a10960075a2bcf2615a3d2","datavalue":{"value":{"text":"Coquelicot: a user-friendly library of real analysis for Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2018661$79155CB3-2411-44F8-B29F-F0196AA723B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"792c74c0b896b11f3dd8dfb7932ecb1fa8bffd7f","datavalue":{"value":"1322.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018661$1BA67A5E-6443-4F0B-812C-6C4FD2893FC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55cfbbbb889685c16294bfa3437f02f1746fc983","datavalue":{"value":{"entity-type":"item","numeric-id":352947,"id":"Q352947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$9FB8F399-75F8-41D6-AD04-81FADF773E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ad8ccccb23328bcd4bc5d77fdcb24566eaf7e22","datavalue":{"value":{"entity-type":"item","numeric-id":2018660,"id":"Q2018660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$745D68D8-DB94-4615-8757-08B6C532C85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cbf89c19e1c3435f0c553619d3746d84ce08e7f","datavalue":{"value":{"entity-type":"item","numeric-id":331614,"id":"Q331614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$7DACF38B-0D9D-4C3F-A827-0630E84B7FC5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5cf57799e8c41ecba181c21bc95047b71cb3443","datavalue":{"value":{"entity-type":"item","numeric-id":294368,"id":"Q294368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$8752000E-9EF9-4236-B568-120E66161740","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b77c42bc66f346d9aff545852c0924441ebde207","datavalue":{"value":{"time":"+2015-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2018661$A76FF789-2454-41F9-9243-C779FCE69AE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018661$728AA267-6F35-4FA2-8079-D1260402ED88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c23dec48a3293f0be30fba7ca1732a18d4263499","datavalue":{"value":"26-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018661$E150AEEC-1494-4C24-94A6-E9A62D094DDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7779873a41638ed0510302f4b8ce5109dcf83820","datavalue":{"value":"6419297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018661$4BB8B0D5-8FBA-4E40-B169-12C86817D931","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99b0cb265d37380ff7ee283866bb6f6b543f1f7a","datavalue":{"value":"standard real analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018661$05C9B689-2B30-4BDE-A0E0-1F1F5402C613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98456cd4cdf0db037b678749018452921ff9260b","datavalue":{"value":"Coq proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018661$854B6BF6-39ED-46C8-AC8A-1DC518F3D52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6016ad883850e2e6c70a8f9f9a8770e19db6b9f","datavalue":{"value":"library","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018661$5C9D728A-34A1-4610-8E87-F7CA3E21CD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f9b76328371760d6c2e94680d452441135da84b","datavalue":{"value":"generalized limits","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018661$8067DA68-CA7E-422B-8A81-CAF37DC2A33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea5120d13f9ba0c1c8e8de8d18b997803e12620d","datavalue":{"value":"differentiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018661$5C3013F9-F617-4A22-B759-2EE8693A6A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da55f5ef3022de4f47985b32c9b0651bf3719426","datavalue":{"value":"parametric integrals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018661$632A12AA-162D-455C-9460-82886F96D4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2052d77a35f238c6075b97c46e41a1853dde7f39","datavalue":{"value":"power series","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018661$71A89C83-6E87-4676-96D8-D6A93D17ACA2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$C243B3CB-ADBF-4725-84CE-56224370E69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$A49C0ECF-C254-42D0-8E4D-D540560BA354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7bb1c7eafdbb853d5fe04051d89b8463fa8b943a","datavalue":{"value":{"entity-type":"item","numeric-id":18827,"id":"Q18827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$4CD8C284-AC1C-483A-A8E7-A84DA2E152A6","rank":"normal"},{"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":"Q2018661$469F63D1-6BE7-427C-BD21-6C3692527FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$976EA524-4ED2-43DD-B093-4DBA81BB81C3","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":"Q2018661$8103FA38-05DC-48B9-96B8-EE3A40AC75AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$B6664A38-0128-4056-ABBA-E93CB33BB193","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":"Q2018661$BC741174-DC63-485B-8287-DC230A788D98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59637de17b941c0ac38be1801d861730b585b485","datavalue":{"value":"https://doi.org/10.1007/s11786-014-0181-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2018661$DFADD02C-A1CB-4626-9B56-6F2B943AD6AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebd05752947ee0701bd2ca0c284f999455a28bd8","datavalue":{"value":"W1975906542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018661$F70534AC-4EBB-406C-9817-C742045C5EA9","rank":"normal"}],"P223":[{"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":"Q2018661$2FCF1A49-EB77-4D0D-9F7C-3E2712405D2A","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":"Q2018661$A0580F26-188B-49D3-9632-AACE7D48DAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20e8225b7fde56abf09e51400675a474f11c4844","datavalue":{"value":{"entity-type":"item","numeric-id":3612435,"id":"Q3612435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$77C0BD24-91D9-4364-BAA9-AC448A44CA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6ecc4a9847b1757b816a66a2c8d99f5449bc756","datavalue":{"value":{"entity-type":"item","numeric-id":352952,"id":"Q352952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$514BB297-7395-4FF6-BD65-820A22361C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cec4389bb8228dfd4a53d2a8cb72dac5e820913","datavalue":{"value":{"entity-type":"item","numeric-id":4916067,"id":"Q4916067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$5B87545C-07AC-4FCF-9D18-19F85DCE3206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc90f519741959885c97856c7164fc497d5566b1","datavalue":{"value":{"entity-type":"item","numeric-id":2973239,"id":"Q2973239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$95D589BF-9CDB-40EF-835F-2B878E199DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7df3906eae3c2b887cc910e28b2339b9830fc52","datavalue":{"value":{"entity-type":"item","numeric-id":5313080,"id":"Q5313080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$6C0D8273-B90C-4C6E-ABA8-9F9D986ACC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ea36077204fd0b9eb7644f2911bca89da088d8","datavalue":{"value":{"entity-type":"item","numeric-id":4435465,"id":"Q4435465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$6C8D72A6-0E3A-466C-AF2E-1874DA4B8252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd51f0a26cf7ffc6f871ea5d6f0668421e06bb04","datavalue":{"value":{"entity-type":"item","numeric-id":4975017,"id":"Q4975017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$63BCA9D3-3B3F-4268-AF20-2859BF46FEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3738b03704797326830c6e1694271832e90c3c5","datavalue":{"value":{"entity-type":"item","numeric-id":2754041,"id":"Q2754041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$2D5BEBE2-13D8-4420-A733-379BEAE2B87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaab286ce9532044a0bbcada18389d4ffcc9518d","datavalue":{"value":{"entity-type":"item","numeric-id":5956117,"id":"Q5956117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$7FCA9594-24A4-4F7E-9228-E6E785FAF72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bceb4b852e855ddfca8f6ff6c992758c8fcf1113","datavalue":{"value":{"entity-type":"item","numeric-id":4736391,"id":"Q4736391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$999184FF-D5F7-417B-BFE5-A516BB3B8616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027661121afc8ca039752afc0a4269a02976c160","datavalue":{"value":{"entity-type":"item","numeric-id":1334896,"id":"Q1334896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$1B2CC39A-215A-4035-AAF7-966EBBC5F80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a69741364102658aa60a87b94db8d7506ce725","datavalue":{"value":{"entity-type":"item","numeric-id":3183517,"id":"Q3183517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$CC6629B9-2734-4E28-B71E-8BD26D4AA024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0ef84619234e2e46e8c4513d6d1ef3cba6f5b65","datavalue":{"value":{"entity-type":"item","numeric-id":1945903,"id":"Q1945903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$CF4B669D-F3D0-499F-8275-0317DA1F3E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d360f4c10b4163627f57faa3db163275ea6a011","datavalue":{"value":{"entity-type":"item","numeric-id":5327350,"id":"Q5327350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$0DFFF9FF-205F-406C-8A0A-04E2692DFF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a5219c5c4de5fbceda2701fd0f6949df6a84a12","datavalue":{"value":{"entity-type":"item","numeric-id":3184782,"id":"Q3184782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$5796B559-1C70-449B-8767-B8D1DEFC3000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba12c016d8a18c6b6dced4ac6d9d4fc5138be1b","datavalue":{"value":{"entity-type":"item","numeric-id":4913763,"id":"Q4913763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$99DB023A-9028-438C-86F7-79C7E05A3171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43a848f856e7add83e6907744bb466bc863e38a","datavalue":{"value":{"entity-type":"item","numeric-id":5394621,"id":"Q5394621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$6C2D8A54-A99C-4D9E-AAD1-BE633B70C465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a61099a476f9a57129d822e2de0c2a34fbb0d06","datavalue":{"value":{"entity-type":"item","numeric-id":3541683,"id":"Q3541683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$6DBBB639-1517-44A9-82C6-98E0A2C88F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4811f9d3d7db5db1fad3cb6ae2d4fac4173d257f","datavalue":{"value":{"entity-type":"item","numeric-id":2351165,"id":"Q2351165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$A19E3471-AA21-4C65-A365-74BC2EA46C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c852981cf03ba0205dbadf36200c00bb56793d8c","datavalue":{"value":{"entity-type":"item","numeric-id":3183518,"id":"Q3183518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018661$B4681D52-6BAE-421B-8B52-58BE96708BD9","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":"Q2018661$B0533A8D-1A80-42FB-B064-C74DBF36C90C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e735cf677927136837f769b972a67019f2f90e6a","datavalue":{"value":"10.1007/S11786-014-0181-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018661$9CADD0E7-C53A-4A3C-ACBC-A967A8941031","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd7be6caaaa2c317c345966210e02cb9b65737f9","datavalue":{"value":{"entity-type":"item","numeric-id":2973239,"id":"Q2973239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc7fabb240e6527b6f1d1d662de54b90935ae5ab","datavalue":{"value":{"amount":"+0.8238165974617004","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":"Q2018661$9E16A659-1729-457C-A261-9E506BA8278D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd8570b53c061bb8e760410299465c633b887606","datavalue":{"value":{"entity-type":"item","numeric-id":5200110,"id":"Q5200110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1befb34f09119b445cc70d14680a3b9d15899c81","datavalue":{"value":{"amount":"+0.766771674156189","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":"Q2018661$76BFC1B0-7060-4B5C-84E1-C3348A1CF50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4f05aee4b3664e67f1ee18f25367507e60b89a0","datavalue":{"value":{"entity-type":"item","numeric-id":5313080,"id":"Q5313080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d2757bd142cc380864b840fec2d1002b8f0846f","datavalue":{"value":{"amount":"+0.7651848196983337","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":"Q2018661$21674EC3-5B0A-4BBF-AD8E-74F31CC27C74","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":"f89a7aabe52d832e50a54636f247188429eea49a","datavalue":{"value":{"amount":"+0.7597323656082153","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":"Q2018661$B1E575DB-9B3B-4BF5-8F61-1A6DB2AC8430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0947cdd1e9cab6142d6909fba989979ef7af7d0","datavalue":{"value":{"entity-type":"item","numeric-id":3184782,"id":"Q3184782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"245086a80bf30e70d160eeffdf65b6524b4011d1","datavalue":{"value":{"amount":"+0.7535890340805054","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":"Q2018661$99025B50-BAF0-4EDB-8563-232BCEA6BA1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coquelicot: a user-friendly library of real analysis for Coq","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coquelicot:_a_user-friendly_library_of_real_analysis_for_Coq"}}}}}