{"entities":{"Q1663216":{"pageid":1673957,"ns":120,"title":"Item:Q1663216","lastrevid":68222310,"modified":"2026-04-12T22:14:51Z","type":"item","id":"Q1663216","labels":{"en":{"language":"en","value":"Distant decimals of \\(\\pi \\): formal proofs of some algorithms computing them and guarantees of exact computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6921412"}},"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":"Q1663216$4B38650B-18A3-4B78-AAAB-2CA633B01177","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1333331108db992a8ed31c3b9a2379ecfe7fb291","datavalue":{"value":{"text":"Distant decimals of \\(\\pi \\): formal proofs of some algorithms computing them and guarantees of exact computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1663216$FC1B6D97-1AAB-4420-B301-A1062BA1A8CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a6d1a59d346b1d9b1af9426214a890891693242","datavalue":{"value":"1448.68455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663216$B3887E47-17A2-4A75-BA43-6B3375F44BA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7dd0a058a70d0c79c3596424a2206799a87b313","datavalue":{"value":{"entity-type":"item","numeric-id":703857,"id":"Q703857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663216$94EE4418-57A0-4599-B7CE-EF1C9C8CFFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14de6399ed68b8e9b6c4461a695ee55ff6b12be4","datavalue":{"value":{"entity-type":"item","numeric-id":928669,"id":"Q928669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663216$E2808093-F072-4834-A417-1D04ACC23BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5fa5da603477bed196262dce34c616a0a67c991","datavalue":{"value":{"entity-type":"item","numeric-id":742366,"id":"Q742366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663216$D18069E0-699F-421B-966B-510660BDFB13","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663216$954CC396-8533-4E41-94D3-87407BF0A617","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1dea8b353f71cbbb3b5cacc724847e34eb1031d7","datavalue":{"value":{"time":"+2018-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1663216$D56FD8F3-686D-4AEF-8309-ACAB23A3FE66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663216$72459B4E-F862-43D6-BAB3-EAF9677F6557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed97446a199d35c45522afd58ec082ba813de86d","datavalue":{"value":"11Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663216$525CE119-66F6-433E-B7A4-B8E9AB3EDAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea8d7fd647e9503babc529061be6b6d7b00c9e13","datavalue":{"value":"65D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663216$231AF71B-F80B-4747-AE22-0B172781BA19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db581ffea7138bdcaba104f3c2f1f664973a180a","datavalue":{"value":"6921412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663216$450A8A2C-D242-4F9E-83CD-3D2B7EE0CBE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"484bad3b0de7fee454831aa943978ff183109b7e","datavalue":{"value":"formal proofs in real analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663216$DA8F6DA5-D4FF-4E6F-A5CE-B76DACE167EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98456cd4cdf0db037b678749018452921ff9260b","datavalue":{"value":"Coq proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663216$44FAA7C0-BA4E-4057-99A0-BCDFBC5DFCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2746192a25db4cd6f1216cc16d3d90ff444ba25a","datavalue":{"value":"arithmetic geometric means","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663216$6E24418C-9696-4F83-B819-362749AD579D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cff3bfc0ad20d25268983bdb94bc3a3075f839ee","datavalue":{"value":"Bailey-Borwein-Plouffe formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663216$29968178-F538-4773-A8F4-9E7582ECB2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4a900c98036fe8c012fc856b2f459e2cfa962ec","datavalue":{"value":"BBP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663216$C8369276-9B44-425D-BE0B-54586FE7F738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91505727495696eac522fd6f0e01266abb831ef7","datavalue":{"value":"PI","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663216$0610DC85-E4CD-40F6-87D6-EA5EA12EFBCF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663216$5F6D0C96-2D41-4C39-8CB6-1680B12AEE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c0b499821f3ec8e09ffa8d9ca0d3af779a5b4920","datavalue":{"value":{"entity-type":"item","numeric-id":15844,"id":"Q15844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663216$562423EC-E7FD-458B-9465-A5DA21ACD584","rank":"normal"},{"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":"Q1663216$B507C7E3-33F2-43C8-92F9-4B2FD5BAE0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31f1ce98b178abd797205654762ca461950434bc","datavalue":{"value":{"entity-type":"item","numeric-id":21688,"id":"Q21688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663216$0EECB3E3-674D-4757-8592-AE05A1FFD664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31d2ddeef485fccfd3a5fe32ea329d2b65b4f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663216$98A922BF-AE26-441D-A0F5-F4B1B2682951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"84eefd31cc35b0f322abc9d88353a26c9605ee67","datavalue":{"value":{"entity-type":"item","numeric-id":23492,"id":"Q23492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663216$37F98553-22A0-4143-9385-AD4A50421FE9","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":"Q1663216$8E7B8DB1-F1C9-4601-8391-DFF6CB5DCABA","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":"Q1663216$447005FE-FB62-4E8C-946A-131A6865A625","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":"Q1663216$7CE5D928-6C28-4E6E-9E8B-98F74A31530A","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":"Q1663216$859A31B3-D0D1-4265-A02C-EF525CF38048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663216$A75F2B98-1E41-42FA-A47B-6C69824B13FE","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":"Q1663216$810C7F92-C1D3-4216-BEB3-C68A9F14E0F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d6b69437ef15b40bade2aac0397098539389432","datavalue":{"value":"https://doi.org/10.1007/s10817-017-9444-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1663216$E1A06379-B34B-4E00-9FFB-3948C4485E39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9eb843215d6cfbb6c4623a1313fdcedf114fde4","datavalue":{"value":"W2780997459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663216$E81B9A96-04C6-43DC-8BED-1603665D5E67","rank":"normal"}],"P223":[{"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":"Q1663216$B3F91896-647C-4391-92A5-CFD398C2192B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b3ba44b2488a8587a0e725ce52126f9128ba2a","datavalue":{"value":{"entity-type":"item","numeric-id":3127345,"id":"Q3127345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663216$E416BB7A-ED98-44D4-ADDF-5ED2EC43DBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ae67ee1db36020cc132a828d4e42c8375f0bd4","datavalue":{"value":{"entity-type":"item","numeric-id":5195256,"id":"Q5195256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663216$6799F446-9D08-479C-89DB-7CE908FE8325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc8d159e33e0b9cec2c132fd576f1962fb82116","datavalue":{"value":{"entity-type":"item","numeric-id":1868507,"id":"Q1868507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663216$6A19A979-E688-4A9C-B584-4CF184DAF37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69ffc6715b2894941dc22919655f9ffb1efc2828","datavalue":{"value":{"entity-type":"item","numeric-id":4113885,"id":"Q4113885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663216$037D29C7-AD5F-44CE-83F9-8075B73E7BBE","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":"Q1663216$1C98844A-D015-4CE0-8883-98ED2F8146E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7b80111de9bab56ff28e1100701384da844fd72","datavalue":{"value":{"entity-type":"item","numeric-id":2018661,"id":"Q2018661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663216$95E4841E-3B2D-4CEF-9B59-4800C67C2762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ea0f6a310f800c8d4d433b516ad91d5c4bdad4","datavalue":{"value":{"entity-type":"item","numeric-id":3751634,"id":"Q3751634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663216$9C743AAC-2DE3-4A58-B26C-F1B9D49AF5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08f2c1a513d5213e7f3e62eea3994ea50b22f722","datavalue":{"value":{"entity-type":"item","numeric-id":4088201,"id":"Q4088201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663216$4C3FE197-1590-4CC5-B97C-C9F76B981306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f41449a4ec7451f64a128da49483496b397b48a1","datavalue":{"value":{"entity-type":"item","numeric-id":2938045,"id":"Q2938045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663216$C4E53BC2-1A81-4678-A26E-8761C937E043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d449c1e2d22c4797dab726112eca47edb2457b","datavalue":{"value":{"entity-type":"item","numeric-id":2914734,"id":"Q2914734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663216$63C48D5B-9EBC-4C72-A4EC-43049B153316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6d658032331dfb0270d5e1966446426f3c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5326280,"id":"Q5326280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663216$858890C5-5CFF-4A7E-A8E1-FE02F38210DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20cc166be703e3232a5043f2b94d3d8da0133903","datavalue":{"value":{"entity-type":"item","numeric-id":3549209,"id":"Q3549209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663216$692F29B6-FFC3-4EEB-8333-BFAE489848F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6f7860107870a9dd8ca3afddc064363fcd28a79","datavalue":{"value":{"entity-type":"item","numeric-id":3613425,"id":"Q3613425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663216$4EF1D3FD-61DC-4270-B255-CD6C95C0BA87","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":"Q1663216$7CD7C21B-F95F-4F5D-A9A0-92074DE9CF41","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":"Q1663216$52884BB5-F17A-471A-B7CB-B3EC5B07DE92","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":"Q1663216$E88AA402-29CA-4BA2-A7CF-0D3BBA4413A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5e921e331154ac4053c6ddf9609e27a78717d8","datavalue":{"value":{"entity-type":"item","numeric-id":331615,"id":"Q331615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663216$4B575310-7DA1-4A58-BCF9-CEF8FB2F51AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663216$81B8AA65-E835-4EFC-851C-F77B6C554DB0","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":"Q1663216$120FBB74-78EB-4812-90F8-F728D8E64756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d864ecf0887e3285d5a657ecba76076407dae52","datavalue":{"value":{"entity-type":"item","numeric-id":2548172,"id":"Q2548172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663216$4F94A894-A80B-434C-85AF-42C66E3AEA10","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9bdf4210d4bbe0a244c1c624833d5c92b8389642","datavalue":{"value":"Q113901245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663216$5A4912F9-DB58-4EA1-A1CB-BC5C6FAEC35F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5186615b1e0fffa8bb82a78fda3fec1de0216afd","datavalue":{"value":"10.1007/S10817-017-9444-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663216$53BD9580-3354-4AFA-AF1B-1E6BE0790E17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40bb57a3025bb4fe062a2cfab1de0a8a6ab64ba3","datavalue":{"value":{"entity-type":"item","numeric-id":5195256,"id":"Q5195256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3545d7f5806bbf034670016a9910c59158853d97","datavalue":{"value":{"amount":"+0.8028883337974548","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":"Q1663216$5BC95EEF-C72B-43F5-9F1B-C441238BFBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0f3434c51b3a357e226d4d1125f500e318874c","datavalue":{"value":{"entity-type":"item","numeric-id":3639933,"id":"Q3639933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d108d9f49b4cd6d99e776fcee373da8fc7d81b7e","datavalue":{"value":{"amount":"+0.7732564806938171","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":"Q1663216$C7BB34C7-201C-4156-8C6C-CDA9EEB34985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf6d163377de0359893d6d4af000c3112cb2c5b","datavalue":{"value":{"entity-type":"item","numeric-id":4703794,"id":"Q4703794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9cc38ba1fec312bd4b37a956219366b59a756d3","datavalue":{"value":{"amount":"+0.7639809250831604","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":"Q1663216$745E1095-CF0D-46C7-8080-D31DB582FC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6490f352d5bf97d510f7822255ccb712fa5b46f0","datavalue":{"value":{"entity-type":"item","numeric-id":1361163,"id":"Q1361163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe62f6e2c3e6f63113dffce8f981a41d5f92266","datavalue":{"value":{"amount":"+0.7554266452789307","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":"Q1663216$7181CD83-CAAE-4416-8CB7-95EE01A2EAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a2bf962787ed08cc0130ad4463746cf82c58da8","datavalue":{"value":{"entity-type":"item","numeric-id":5479783,"id":"Q5479783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe62f6e2c3e6f63113dffce8f981a41d5f92266","datavalue":{"value":{"amount":"+0.7554266452789307","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":"Q1663216$EB339441-85FA-47A3-9C94-E4353E1C5726","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distant decimals of \\(\\pi \\): formal proofs of some algorithms computing them and guarantees of exact computation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Distant_decimals_of_%5C(%5Cpi_%5C):_formal_proofs_of_some_algorithms_computing_them_and_guarantees_of_exact_computation"}}}}}