{"entities":{"Q396941":{"pageid":398708,"ns":120,"title":"Item:Q396941","lastrevid":61524081,"modified":"2026-04-10T23:56:06Z","type":"item","id":"Q396941","labels":{"en":{"language":"en","value":"Proof of Sun's conjecture on the divisibility of certain binomial sums"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6330351"}},"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":"Q396941$706D80C8-86BA-4735-AF73-FC25E90F28E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b6061b2b89d5896b8d3e6f76d1b893681d09df5","datavalue":{"value":{"text":"Proof of Sun's conjecture on the divisibility of certain binomial sums","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q396941$3DEDA32C-612E-4D1E-A0D4-F34F6DC1C8B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7ce4d6d007cdc78124a5b7d6c3da881016fbf55","datavalue":{"value":"1295.11021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q396941$64CCD7C7-293B-4FE3-9AC7-852274742BFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b430946aaab7d497ba4dfdcce59edd8033ec9acd","datavalue":{"value":{"entity-type":"item","numeric-id":232261,"id":"Q232261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396941$D78A111E-1CE2-4D0B-B669-817713D8775E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ebc7441ecfd9ecfa38d48ddc4b2adb39ac7d7000","datavalue":{"value":{"entity-type":"item","numeric-id":161296,"id":"Q161296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396941$E4BC4532-5EEE-43A4-AC86-8235832A97BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"014386d1e7349618004d8e2aa9650d7520cb60bd","datavalue":{"value":{"time":"+2014-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q396941$29C8E44E-64B1-4D14-981B-36BB6FE1432C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2f109feaa3626490371bbdc4dac329d2fdc1205","datavalue":{"value":"https://arxiv.org/abs/1301.4877","type":"string"},"datatype":"url"},"type":"statement","id":"Q396941$5ED95A02-EA4E-4527-82F9-0DEEA5499621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"933888f0ad822c7b5cf94da5f893bb81e23e23cc","datavalue":{"value":"http://www.combinatorics.org/ojs/index.php/eljc/article/view/v20i4p20","type":"string"},"datatype":"url"},"type":"statement","id":"Q396941$3ADDF096-D630-4631-8685-6062A982CB11","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"95ac19c2cc476f63e584d344206bc657ddf92d7b","datavalue":{"value":"Summary: In this paper, we prove the following result conjectured by \\textit{Z.-W. Sun} [``Some new series for \\(1/pi \\) and related congruences'', preprint, \\url{arXiv:1104.3856}]: \\[ (2n-1){3n\\choose n}|<br />\\sum_{k=0}^{n}{6k\\choose 3k}{3k\\choose k}{6(n-k)\\choose 3(n-k)}{3(n-k)\\choose n-k} \\] by showing that the left-hand side divides each summand on the right-hand side.","type":"string"},"datatype":"string"},"type":"statement","id":"Q396941$AE876073-455D-4199-8AD8-6BF24BEBCF22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"34693e52bda3b7dbf741569b62f785c0e006d8ef","datavalue":{"value":"11B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q396941$0CA1255A-A224-4934-B056-DCC2409CC3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"880665e99fe5de07999ef2f74a810b36dd3dabed","datavalue":{"value":"05A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q396941$797E56DD-6F92-4EA9-955E-5F3A6469D7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6321ce6a9565f5f3e695a7afbb7a3eee2274d95d","datavalue":{"value":"11A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q396941$8FE235B8-4789-492C-81BF-30DB707A06EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b5b0703b63342da8fd6f2e8bbb50b5091d6f2c3","datavalue":{"value":"6330351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q396941$C1A383EC-25F3-4978-95C2-572286810484","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14cd685c98a4ba07bb03380be5fdb0df906771e","datavalue":{"value":"congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q396941$10E12678-43FB-4AB2-908B-B53492DE1200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47ccf779a32104cce9a210c450df4fecae281ec1","datavalue":{"value":"binomial coefficients","type":"string"},"datatype":"string"},"type":"statement","id":"Q396941$866721C8-52F2-44DB-BE0A-0DDB39BE6966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edb0f86dc61d333c38bcb399a9d83f7a7a2b005d","datavalue":{"value":"super Catalan numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q396941$EE5236BB-681C-425C-9F7C-28B506C5B325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e110b285b2fee50ce90570137f7a5739ac7b9f5","datavalue":{"value":"Stirling's formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q396941$6DBE8FB5-D234-4BB1-9193-E5E9E06C6C35","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":"Q396941$F372FADA-2631-4F06-9268-BBC4331269BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed61d1eb9d278c84684939cffca63e06f9af9f28","datavalue":{"value":{"entity-type":"item","numeric-id":3621293,"id":"Q3621293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396941$F0902449-ED05-45E4-8A52-62094A0ACEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e3d464b0106e2c39ab10e9be95e294b1754a75","datavalue":{"value":{"entity-type":"item","numeric-id":1199816,"id":"Q1199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396941$0C7065B1-03E0-48E4-B2A9-F9BDBED8B78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b8bd17c2d36588e5c9076bab4692a996a52ed2e","datavalue":{"value":{"entity-type":"item","numeric-id":4068631,"id":"Q4068631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396941$96C73885-85ED-48E4-99C8-1EDACEA1B322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdd09d1f3d6a5937ee57d6035889ec51feb8fb9e","datavalue":{"value":{"entity-type":"item","numeric-id":1953385,"id":"Q1953385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396941$5384695C-71BD-42C3-82DF-A842D9A6C068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e637e6dc5eefcf22d084888485ec7c38e0a3c362","datavalue":{"value":{"entity-type":"item","numeric-id":5298738,"id":"Q5298738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396941$265BB23A-3F8B-4F3A-9D5C-A2E2FF7596B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb68a5ce3397e22925a964644939c3a83393ae5c","datavalue":{"value":{"entity-type":"item","numeric-id":633251,"id":"Q633251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396941$C41B2668-2467-4ABA-8B49-2C93DF24FD75","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"9449973952be2f951a6f8649bd0b4cd89d4a6707","datavalue":{"value":"bafkreih3r3hx4o6jhjyoh6kxaj4wg2ajdrcvptk6rwekd7h3vzqizuswni","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q396941$57DDE72A-8F2A-48FA-983C-AB55351AA6E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"745a40a26c6ee6908119ae23d6d4032cb9074652","datavalue":{"value":{"entity-type":"item","numeric-id":472824,"id":"Q472824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17862cbd4847bbaaca74ea15abf40b9a26bce6b6","datavalue":{"value":{"amount":"+0.905243992805481","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":"Q396941$8E42BBDE-D2EF-42AF-A8FD-92CF36799344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6585233de2031630841d95354164a9e4f28cfd8a","datavalue":{"value":{"entity-type":"item","numeric-id":1676049,"id":"Q1676049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"712d2cd229c95ca27e9c8f70e18de29fe0c46d50","datavalue":{"value":{"amount":"+0.8755492568016052","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":"Q396941$7805D309-EF46-4C15-835B-B0C638D50B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"403678171afc96817090e5d6af3706bc348d35cd","datavalue":{"value":{"entity-type":"item","numeric-id":405269,"id":"Q405269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"880b54b611d8ccc5ad94fd8dd9505f044617b074","datavalue":{"value":{"amount":"+0.8634164333343506","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":"Q396941$4F0CE4CF-DE56-4D82-BED4-4B18543AF016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a08969fa57f8e6e59fc271a20479caf2f5a2144","datavalue":{"value":{"entity-type":"item","numeric-id":2116790,"id":"Q2116790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"206c10a3afa04eb20e340280dd47b408bdf92df7","datavalue":{"value":{"amount":"+0.8484912514686584","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":"Q396941$F03ACAE2-8D1A-4F30-BF60-377F470C65C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cae618e1ce5214cce2080b894bdcf1e9bbb5124","datavalue":{"value":{"entity-type":"item","numeric-id":2337341,"id":"Q2337341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"767d43cb5853f28ec80e91e3defd99f315f181c1","datavalue":{"value":{"amount":"+0.8290525078773499","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":"Q396941$4D544FA3-B188-4874-B9CD-5E83E11578A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof of Sun's conjecture on the divisibility of certain binomial sums","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_of_Sun%27s_conjecture_on_the_divisibility_of_certain_binomial_sums"}}}}}