{"entities":{"Q1733315":{"pageid":1744056,"ns":120,"title":"Item:Q1733315","lastrevid":43298002,"modified":"2025-07-24T11:31:48Z","type":"item","id":"Q1733315","labels":{"en":{"language":"en","value":"Semi-automated proof of supercongruences on partial sums of hypergeometric series"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7040043"}},"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":"Q1733315$72C417F7-1344-4F76-B6BF-4E4ECAD06BC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78803d79cd5bb6de981dc823c2f4633e132b2f33","datavalue":{"value":{"text":"Semi-automated proof of supercongruences on partial sums of hypergeometric series","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1733315$07E397E1-BD85-4A88-809F-9524042DCDCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbff3c5736e29841bcb841e359403f6f6db45508","datavalue":{"value":"1418.68248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1733315$4AEA1116-966B-4BE1-B51D-B2494891EEB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a62d79672bf4c4abf0b3d4fa5aaaf0da3b10122","datavalue":{"value":{"entity-type":"item","numeric-id":301418,"id":"Q301418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1733315$DAEBE823-5CB5-4DB1-B3A7-A4411D89AE4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1733315$30B79207-FB4C-4C8A-8949-8F209C87F797","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d0bfb78353205537b90346e8569ab44f4493089","datavalue":{"value":{"time":"+2019-03-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":"Q1733315$C8CD6E28-6DD6-4B89-92A7-B164E2942C05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1733315$677D3CDF-BD9B-4660-B552-5768B16C342B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd716104cf156585f3bce22202c836b7465d3133","datavalue":{"value":"11Y16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1733315$93AB9498-F688-4B82-838F-F23DE00E4B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"66c5e126e77da3f40558cf621d2ab9aa4679bb8b","datavalue":{"value":"33C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1733315$A4E24E82-8FBB-4642-BC9E-E90F4CD2C448","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f217dad5c0086a12135069913cf9664e0295bd3","datavalue":{"value":"7040043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1733315$A28A8A7A-BEC4-48E7-A316-51183CE91304","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa054cada7c144063166b34492f4d946ff8af5c0","datavalue":{"value":"combinatorial identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1733315$3A39A324-5217-49E5-BB34-4281F3FEAFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6933904f2da74e6d0560cde2be3588f167798f0e","datavalue":{"value":"supercongruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1733315$7A420E95-79B9-415A-AE69-3532B86FD4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40f2a312188d631c5bb8d00724fcd8bc4c2f1ecc","datavalue":{"value":"Euler numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1733315$C3B4C103-E028-4AB2-9F3D-AD624F7B1980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76966a8b26388a57cd14fff322c45ff1698b3c75","datavalue":{"value":"harmonic numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1733315$AC7B93D2-17AC-4879-B1E6-140F7C07C551","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"99bab8cc7e3d0482fe74192a712cfb8a04059eff","datavalue":{"value":{"entity-type":"item","numeric-id":18971,"id":"Q18971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1733315$42D584AB-26D8-43A4-803E-5B32766A85B5","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":"Q1733315$F228DE27-38B5-47DB-A7C2-7B480AE2E6A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2624fbf9826b367ea3e164dc4ade4c5d3f21e065","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2018.06.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q1733315$515DCF5B-BE93-4A9F-B6C3-242F02AB958C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a9c8b40174f3815b205089fb8d42ceb82cd06da","datavalue":{"value":"W2808728538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1733315$153AED97-270B-4F37-AE1A-4F40B1A48B48","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6f0160d0e2890e15146b3e649362dcbadd9ccb5","datavalue":{"value":{"entity-type":"item","numeric-id":5213014,"id":"Q5213014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1733315$C1C4770B-DE44-486B-A1B2-661957C9E57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36ef5860aee2ba011fea188b7d0a29c7ae241e13","datavalue":{"value":{"entity-type":"item","numeric-id":4600148,"id":"Q4600148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1733315$5C018322-F814-47D1-9A51-36E90ADAF895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc3b4749d6780ae2178efe7b99a66966fadf10e","datavalue":{"value":{"entity-type":"item","numeric-id":627404,"id":"Q627404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1733315$A940AB23-7244-43D5-A29C-45978DF4D213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f3cbef1abe4910b29012d49a4a1e5f2193e0908","datavalue":{"value":{"entity-type":"item","numeric-id":3542051,"id":"Q3542051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1733315$524F9A6C-C39E-463D-BF78-ADB03019CD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e037c1e7d862f7a1636e0933442d554e296dfb8a","datavalue":{"value":{"entity-type":"item","numeric-id":3055094,"id":"Q3055094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1733315$22807239-B3D6-470A-B997-4165968AA67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f515454bb1e63239657166fc6a2b9bae052166fb","datavalue":{"value":{"entity-type":"item","numeric-id":2654601,"id":"Q2654601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1733315$EC767C37-2993-41FD-BBEF-A2064378651C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2583c6fe02ef78f1d1f6644025b80883a6a3b586","datavalue":{"value":{"entity-type":"item","numeric-id":1934544,"id":"Q1934544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1733315$A866D5A6-DB90-46D7-8BD1-F228216D2599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e014255e966ceedcfdb1c1265a4aebf4c856f75","datavalue":{"value":{"entity-type":"item","numeric-id":2441071,"id":"Q2441071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1733315$1148FB95-02D8-495C-809B-28577D161053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ae9710e7342a294f3b54d4c4e1c25c6734feb60","datavalue":{"value":{"entity-type":"item","numeric-id":4357441,"id":"Q4357441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1733315$73A77E81-187C-4AD3-9994-E748D5EAFED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c5cbc0464330faba8fa1045d019dbab11cc0883","datavalue":{"value":{"entity-type":"item","numeric-id":1025891,"id":"Q1025891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1733315$FC4FC4C4-4F17-4059-9E0C-272C244BF3E7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"943e6cddd952b84444f953b63194632cf0c5bdb4","datavalue":{"value":"Q129626067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1733315$88825487-C1AC-4F3A-99D5-92A368A4ADF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62c9f43b811e985d7bd8fb6b537ce66710c079f8","datavalue":{"value":"10.1016/J.JSC.2018.06.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1733315$BE5A1DA5-BB82-4590-B996-7AECE454F93F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d122e5577980deeccf99feadeff6fe57ced59586","datavalue":{"value":{"entity-type":"item","numeric-id":6042194,"id":"Q6042194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"399f1884c48e77fef42ff40cb33b14daeed1841a","datavalue":{"value":{"amount":"+0.9138129","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":"Q1733315$78D26DCA-D24C-42D9-BD14-F45044AB9262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c663211370d8988ab94f401e88d94a958ed2b2f","datavalue":{"value":{"entity-type":"item","numeric-id":2241679,"id":"Q2241679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab4e632bf80d67a44315238fc4cc7e6bd4f63635","datavalue":{"value":{"amount":"+0.8886095","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":"Q1733315$D0B6E5E9-6F25-41D5-9613-7BFF113B955B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a32560dc1d3d0d4f01319132a012d0a220301a1c","datavalue":{"value":{"entity-type":"item","numeric-id":6053605,"id":"Q6053605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a04c026e32670b3acbf9751e68d957ae36c6a6d4","datavalue":{"value":{"amount":"+0.8853621","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":"Q1733315$FB69C67B-4DE7-45ED-ACD2-81C5D400EF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"354a804ee672224ea40799593ce8e98cb64d3ef4","datavalue":{"value":{"entity-type":"item","numeric-id":4644439,"id":"Q4644439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9daf08fc88d4725b3a0b5a08470050ea0f1e8c6f","datavalue":{"value":{"amount":"+0.88411176","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":"Q1733315$3D606A26-F4F7-4C16-BD3C-9479DD34F9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66f3908fec8312de666a2d9379bffd8cd48c039e","datavalue":{"value":{"entity-type":"item","numeric-id":5220110,"id":"Q5220110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f67a96717630b3e814dcd557a7c1522d9cefbe22","datavalue":{"value":{"amount":"+0.8829891","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":"Q1733315$48C60951-1B0A-458D-B436-EA932F4E30C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c373d3a28b518ad5f27ea472a044b947daf296b","datavalue":{"value":{"entity-type":"item","numeric-id":829697,"id":"Q829697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9714224ccfaa7359f2015022d805e8fabee70b5b","datavalue":{"value":{"amount":"+0.8823123","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":"Q1733315$EEC4AA22-7547-4278-ABB5-E2C59FC20228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a32ab0472d6e324459b9f2bb439514f10c7f5215","datavalue":{"value":{"entity-type":"item","numeric-id":2235910,"id":"Q2235910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5d21885a77790e5dd3bb43453b8507f1fc31f80","datavalue":{"value":{"amount":"+0.88141286","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":"Q1733315$FAAADD6E-C6EC-438F-A46F-CE45FF5B38BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7a95d75b15055aeaa0a29601c60f930e3fd5448","datavalue":{"value":{"entity-type":"item","numeric-id":730073,"id":"Q730073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98f0d9fb39d72b7a40bf0c2ce3bb2d3c7637097f","datavalue":{"value":{"amount":"+0.880829","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":"Q1733315$0348E4AC-80BB-4978-BD46-05B4D14CD542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c42e0d0ba304484814556e827fd5889b253dc49b","datavalue":{"value":{"entity-type":"item","numeric-id":5298176,"id":"Q5298176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47c0a84f22c02857eff852face38d15a2f372247","datavalue":{"value":{"amount":"+0.88078535","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":"Q1733315$9CC8D273-2CCF-41A1-9F31-5FD2CCDB01A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"566e2a04faac8be474321492e0f16eb5f5649b4d","datavalue":{"value":{"entity-type":"item","numeric-id":2070925,"id":"Q2070925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd2fd7de28e5a3f9ec4a7feba418040daab37770","datavalue":{"value":{"amount":"+0.8807832","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":"Q1733315$7936B101-59A6-4EFA-9E95-AD9FC713C55C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1733315","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1733315"}}}}}