{"entities":{"Q3543662":{"pageid":5573566,"ns":120,"title":"Item:Q3543662","lastrevid":58205496,"modified":"2026-04-04T05:44:47Z","type":"item","id":"Q3543662","labels":{"en":{"language":"en","value":"Certified Exact Transcendental Real Number Computation in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5378185"}},"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":"Q3543662$4AC22004-ED9E-47B7-8EA5-2DACB7C1CDDE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99950a3861c9ec1806455ec2b2d07a02832d7942","datavalue":{"value":{"text":"Certified Exact Transcendental Real Number Computation in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3543662$5A46EC52-E1DD-4ACC-9D17-FB99BA94B892","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8612a60b1f10eed83ec139bbfa1dada4589116e6","datavalue":{"value":"1165.68466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543662$1A2229BE-5D85-4063-ADDD-CBB683EEEF7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3880782d9934d975af00b45712c26d42829f5bb4","datavalue":{"value":"10.1007/978-3-540-71067-7_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543662$AC69FF70-3681-442B-8659-CB2FA48B2531","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99dd4c0b38abbab194ed1a57124787a9f57034d9","datavalue":{"value":{"entity-type":"item","numeric-id":987983,"id":"Q987983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543662$EC59DA23-104D-4DAB-8BB7-3174CE24FFAB","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":"Q3543662$9F0DAEB3-3354-49F2-91FB-FA2039FD3B8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9390341f6bd0adb4a80933997da5182af87828a8","datavalue":{"value":{"time":"+2008-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3543662$D97048E0-5BFF-4650-98F6-9866DC102E7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edb24c1d17ccafd6cb8384024e4b1f8a4cd7b067","datavalue":{"value":"https://arxiv.org/abs/0805.2438","type":"string"},"datatype":"url"},"type":"statement","id":"Q3543662$14E0D704-E0D5-4350-BB59-C40B9FBA122E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543662$FC7D40F2-33C2-4575-B8C5-6592C625CA86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c06e9c773e2a521a0fcb17f34c210128c5079ee0","datavalue":{"value":"5378185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543662$B36697DC-588B-4ADA-9EA8-228F51F3B305","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":"Q3543662$B05069CD-352F-4448-8950-036B4733B100","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":"Q3543662$2E43F08A-C95D-49FA-877A-EFA1275F24D2","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":"Q3543662$513F2BE5-582B-4EBB-8EB1-2D03B71B04D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3949072423b431d14778227c25eb4e8048fe8560","datavalue":{"value":"W3099251155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543662$E4C8F9AD-6160-4022-87CD-FF28A14EA086","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543662$410B9A17-A74D-4655-AD3B-78B2B0B3C5A0","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":"Q3543662$627F0FB0-215C-4224-A759-0705D796D1AD","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":"Q3543662$0E4EE853-BC95-40EF-A609-8765181AA022","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":"Q3543662$4B6066A7-19E2-4BD8-BB88-6E0B1C2B6E1F","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":"Q3543662$15BC8FBA-81E7-4F33-A671-FA77F50321E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99250cb6f312ca82796c27de10e01b44d76f0cd5","datavalue":{"value":{"entity-type":"item","numeric-id":4549245,"id":"Q4549245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543662$BFBFCE56-F7A3-49C1-8395-F9CC555FE293","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":"Q3543662$24FDA2A4-8645-4D5B-9AE2-9CF2F3648C02","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":"Q3543662$E2952914-D4C2-4EE5-BDCB-D3EECFEB41E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"552c0fd0688cc1cd0d242c6ea1573c9e5fd80831","datavalue":{"value":{"entity-type":"item","numeric-id":5477656,"id":"Q5477656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543662$92D629D2-F06D-442F-A49A-F74B015F2DEC","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":"Q3543662$81E4D7E4-E0CE-4856-A182-B77622020720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3102c7923896ba57b3a85a18cf0e874ad2f61beb","datavalue":{"value":{"entity-type":"item","numeric-id":3333133,"id":"Q3333133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543662$74ADCB15-9079-45C6-BCCB-4B5E657A8A23","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":"Q3543662$B9DEF40D-3682-410B-857E-DAC8756D2144","rank":"normal"}],"P1643":[{"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":"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":"Q3543662$8A3FBD85-2CB1-46F5-95F9-0D4C2229A31C","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":"3e36c3cb36a54a4d6c494b28ffec8c499c05666d","datavalue":{"value":{"amount":"+0.92024434","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":"Q3543662$E7A0CAE0-3E54-437A-B639-46BFD5FA36AB","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":"dba9dd2895e2088d6270d9fc2c9830ddbaf3ea01","datavalue":{"value":{"amount":"+0.9166728","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":"Q3543662$9A5BA161-F1D6-4FB5-BA66-9FF007A8A64D","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":"f045225a1a8b5fbf50a74df980281092ea94b3c2","datavalue":{"value":{"amount":"+0.91189694","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":"Q3543662$851E98F8-D20F-424C-92FD-22F8689D10D0","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":"27444217b2ebdc07066befd0e1b236882af7a73b","datavalue":{"value":{"amount":"+0.9025577","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":"Q3543662$5BA2D2D3-254C-49C2-B17C-716F59A51B48","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":"c5832d7de43af93e51b1f93d3ce5511487b6c2b0","datavalue":{"value":{"amount":"+0.8922112","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":"Q3543662$20D0EDE2-8638-4148-8D39-694F6F21095C","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":"b6a329b2a70cac388f3fd9ace125874fcfa7cebf","datavalue":{"value":{"amount":"+0.8857316","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":"Q3543662$02DD4DFA-A4E4-4D8F-98E3-9255EA3C7A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0345b8d111ccf35f17db68bc0571366fd7b5303d","datavalue":{"value":{"entity-type":"item","numeric-id":2914733,"id":"Q2914733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8cb2cdaf0bc5b229d9bf57243ed707147028db0","datavalue":{"value":{"amount":"+0.88395435","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":"Q3543662$CCC06FDB-F08D-4909-8834-84DA4839A24F","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":"af0d24b6dbc032ede8f9d2d9036f90db7780f81d","datavalue":{"value":{"amount":"+0.88178694","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":"Q3543662$F7F0E016-7618-439B-B99F-7A2F00F315FD","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":"78838abcb0fcb3e557e1c75948ec798581ff4f31","datavalue":{"value":{"amount":"+0.88128304","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":"Q3543662$56B8D9BA-6429-4DE1-A284-57D580387297","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3543662","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3543662"}}}}}