{"entities":{"Q1948707":{"pageid":1959449,"ns":120,"title":"Item:Q1948707","lastrevid":78036407,"modified":"2026-05-06T10:38:05Z","type":"item","id":"Q1948707","labels":{"en":{"language":"en","value":"Formal proofs of degree 5 binary BBP-type formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6157207"}},"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":"Q1948707$1D6CF005-3C72-4A6E-9E91-E1ABBF01DEE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fab6a2816e1b56ef2141a8c9924a1a1210075850","datavalue":{"value":{"text":"Formal proofs of degree 5 binary BBP-type formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1948707$28A814F6-C310-439A-AD7E-1BFC4C888F35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d6dec823a970b228d8393acd56f30f479f75222","datavalue":{"value":"1268.11163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948707$D4FB07B0-125A-4E63-94EA-957B58BCC4CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d3d4b662b14a01f969e4e56beed14f871a03638e","datavalue":{"value":{"entity-type":"item","numeric-id":180505,"id":"Q180505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948707$369C81EF-9B3F-4C8A-8853-245DE5247690","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e216c612d07f9116b5513eaa13cb6534e6ca9d3e","datavalue":{"value":{"time":"+2013-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1948707$456BCFB3-65B9-4023-BAEF-47C056B7B6C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe33ad21f6942ed0c7744d2e33a741d3cdb65ea6","datavalue":{"value":"https://projecteuclid.org/euclid.facm/1364222826","type":"string"},"datatype":"url"},"type":"statement","id":"Q1948707$13D7947E-5F8D-4703-8D31-ADFA9AED6FCE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed97446a199d35c45522afd58ec082ba813de86d","datavalue":{"value":"11Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948707$07297980-4531-46DB-9931-9507A6C53AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e840e979351f221ec22f6596521c1e78c9e12ea1","datavalue":{"value":"11A63","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948707$7A299D5E-9E87-46A9-9995-C2BCA540FD26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad66b6e145c9999c9580bb63cac88eee2853eefe","datavalue":{"value":"6157207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948707$E3A6B325-71FB-4001-A4F5-7C7AFC12FEAD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a4efc22090de70b7d1c5fb18cdfefd915f5cfbd","datavalue":{"value":"Bailey-Borwein-Plouffe type formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1948707$DE76A26F-AA20-4304-A2CB-6FA2EA795A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c086c85788b72d09a03ed8a1f155dd847c0314e7","datavalue":{"value":"digit extraction formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1948707$8CB04BAA-DCED-4A84-974D-581BDF085CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"932cf88ab5c6a3545bb1395a9fa719868b9b7ff3","datavalue":{"value":"polylogarithm constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1948707$4D257089-6B03-4A8C-BF3D-583BD268FA26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cdf06263caf09fbc85eecfb44663f8637c94030","datavalue":{"value":{"entity-type":"item","numeric-id":366764,"id":"Q366764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948707$6653B10B-CB7E-40F3-8621-4FB963134079","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":"Q1948707$3547F336-459D-4292-9BE7-632716B43390","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"176de17398c656f142dec6192219db607456ddc9","datavalue":{"value":"W1981245701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948707$56AD5ED5-4FA4-4EDB-AB5B-395B295C7430","rank":"normal"}],"P223":[{"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":"Q1948707$E51AFE89-9F8B-4725-93AE-10702F7D46DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d737611b0170e41882d747dd21f2893fba668d55","datavalue":{"value":{"entity-type":"item","numeric-id":4736648,"id":"Q4736648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948707$B943C48E-D0B4-4FF9-B3E8-6443BC434B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e84bef2c993df545a970a2388c1144d45858ce9e","datavalue":{"value":{"entity-type":"item","numeric-id":4664112,"id":"Q4664112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948707$8BE80790-5971-4B60-A3C2-921DA5ECCCC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec3250b43eeeb0aed9a69b3f5416cd11e1adc3f0","datavalue":{"value":{"entity-type":"item","numeric-id":4434207,"id":"Q4434207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948707$F31897C5-027C-48B4-A7AE-5AF4E5BBF498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2912fe3032d4ab1b408a9f503f1b72301bb0ec71","datavalue":{"value":{"entity-type":"item","numeric-id":4221985,"id":"Q4221985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948707$1B2572AC-5A1E-4483-86FE-0DA8DF3F0F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d897e2094938099feab80eebcfdf35763d6467f6","datavalue":{"value":{"entity-type":"item","numeric-id":4929365,"id":"Q4929365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948707$0F813954-8563-4D49-8097-806EE6F7C940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12b64eadab203872dbc08ba578a903b98ae371e7","datavalue":{"value":{"entity-type":"item","numeric-id":3114290,"id":"Q3114290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948707$098EE697-29E4-4F35-B473-0660F3D805DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71e29454a7f1590dea93cf2003d7caaf57dec273","datavalue":{"value":{"entity-type":"item","numeric-id":3172769,"id":"Q3172769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948707$C972D282-863D-4A67-AE79-18B805310FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3d706763314d65cb3efdc5e1588ebe011ebaff2","datavalue":{"value":{"entity-type":"item","numeric-id":634442,"id":"Q634442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948707$FEC23F96-8514-4EC3-BDD3-EA96AE5CA31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fb82bd5ee7cb7f8413fc2b9037f6faf8e46a433","datavalue":{"value":{"entity-type":"item","numeric-id":2898390,"id":"Q2898390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1948707$74354F0F-6E56-400E-8B11-9556D98B7EF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35a08a3fae0f92135a9bcaed4ec6fa418dee5298","datavalue":{"value":"10.7169/FACM/2013.48.1.2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948707$BA85295D-D12E-47A2-909D-652567431055","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feeb2eb9a0142778c7a8752df821c3644c80af3e","datavalue":{"value":{"entity-type":"item","numeric-id":2906767,"id":"Q2906767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83900a5fb3a284ff3b1ffa6c43ced5213cb54fc6","datavalue":{"value":{"amount":"+0.8031727075576782","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":"Q1948707$FF266A83-462E-4D4E-9488-31EA0D933088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0ebef6c20679785a3a3255cd1b0b271678f4e3","datavalue":{"value":{"entity-type":"item","numeric-id":2898390,"id":"Q2898390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e125648467fdcb4be5880d255d14580d058cf16","datavalue":{"value":{"amount":"+0.7943077683448792","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":"Q1948707$5ADBE9BE-0ABF-445D-827E-57EA4693D3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8217c260ee17dcb03f2ed62b41e97ff6d877819","datavalue":{"value":{"entity-type":"item","numeric-id":5179115,"id":"Q5179115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30f8f9ffb6cb459b6b69bf0ba34456d57b20ffdb","datavalue":{"value":{"amount":"+0.787663996219635","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":"Q1948707$711202E6-E308-4474-92EE-ADC00999BC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2881ea722e1bc54983d56c0d8a6299f3142acd3","datavalue":{"value":{"entity-type":"item","numeric-id":4929365,"id":"Q4929365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"398cceccedbcb3d13f0d18b37b28aaa6a601167f","datavalue":{"value":{"amount":"+0.782471239566803","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":"Q1948707$CFBFF3B7-AED5-44AB-9848-5B158B4D3D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea8d87fb178ca300e2f55286d4105b6dd9e842e0","datavalue":{"value":{"entity-type":"item","numeric-id":2112783,"id":"Q2112783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb83a17637eccb4fde078af410860979910e8ce6","datavalue":{"value":{"amount":"+0.7769227027893066","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":"Q1948707$6BD23AFD-990F-4A3F-843F-C3C02E1117D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal proofs of degree 5 binary BBP-type formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_proofs_of_degree_5_binary_BBP-type_formulas"}}}}}