{"entities":{"Q6894337":{"pageid":20862550,"ns":120,"title":"Item:Q6894337","lastrevid":84189713,"modified":"2026-05-13T09:34:19Z","type":"item","id":"Q6894337","labels":{"en":{"language":"en","value":"An elementary proof of Lucas's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8127511"}},"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":"Q6894337$0A8A7514-F0AD-481E-BE81-BE5AE42B2DFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09d2bedd0f3c98b9996bd82374d0efaf39c58197","datavalue":{"value":{"text":"An elementary proof of Lucas's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6894337$94303ABB-9D4B-4927-BBB0-C468AE725BEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82fe345598e6460899e4f5b82b9f63b8a9340045","datavalue":{"value":{"entity-type":"item","numeric-id":220755,"id":"Q220755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894337$7A997B31-223A-41E1-89B3-32D1EA58DE5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1bcee85900ef50ef5f0f2cfafa7cc685f2eae639","datavalue":{"value":{"entity-type":"item","numeric-id":6492428,"id":"Q6492428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894337$D5C22280-A0C4-4DD1-A470-FDCE971AC533","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed40ea515b48f533e3453a2e86e3ed576f48341c","datavalue":{"value":{"time":"+2025-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6894337$E087FFF6-3B25-4F2D-89A0-3B89DAED5CAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ecbf1e1f66348eb6271f3da53b032f59e34fb55","datavalue":{"value":"http://www.mathjournals.org/jrms/2025-040-004/2025-040-004-004.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q6894337$7112FA0E-FB89-4C89-820C-649AE0E9C3A0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e1ec1f2cff97c19c4f8b792e33549f768b1c48b6","datavalue":{"value":"Another proof of the 1878 Lucas's theorem is given here by way of a modified Vandermonde identity modulo a prime \\(p\\): \\N\\[ \\N\\binom{m}{k} \\equiv \\sum_{j=0}^d \\binom{d}{j} \\binom{m-dp^s}{k-jp^s} \\pmod p, \\N\\]\\Nvalid for any suitable values of \\(d\\), \\(s\\geq 1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6894337$017647F2-D8A8-4D3C-BBF3-5B3B424452CB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"afc4c68c787513e97a754f192e81e9b5c036da38","datavalue":{"value":{"entity-type":"item","numeric-id":465036,"id":"Q465036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894337$9045D6CA-FFEB-4949-AFD1-35270C820C5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6321ce6a9565f5f3e695a7afbb7a3eee2274d95d","datavalue":{"value":"11A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6894337$C0D4D62E-1DB0-42D3-A518-5E897CE08EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"880665e99fe5de07999ef2f74a810b36dd3dabed","datavalue":{"value":"05A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6894337$454FBDBB-17EE-4109-8252-6E21684BE665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e16b73d668e1481a22707de3aa06c6e25136661","datavalue":{"value":"11A41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6894337$21AE50C6-791B-473B-B459-C8977BF8D462","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04b5e63f4ef3ff5eec1078377163e6fb99706a9f","datavalue":{"value":"8127511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6894337$F33D1837-120C-421C-A579-BB1432BE8870","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5604b458fcc7a3bbda2ef7e777c4529f2d624da0","datavalue":{"value":"Lucas theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6894337$D030CDD8-4362-4A40-92CD-A661C015EFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c5e83f35f025ca1197fa257c8b92e13e309536f","datavalue":{"value":"Vandermonde identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6894337$56219763-06F1-4D8B-B93E-A57D9E3BD52F","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":"Q6894337$81160D1D-4FB9-4573-8E59-CAE878F51681","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97c62be4b87e2b22007d5888f15d332816779729","datavalue":{"value":{"entity-type":"item","numeric-id":5703717,"id":"Q5703717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894337$826F748D-E593-40F4-9B9B-39532AE3E326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41fc9d632d0fddd428874a3c6d86571b3e1f7412","datavalue":{"value":{"entity-type":"item","numeric-id":4052481,"id":"Q4052481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894337$AF4555EE-00D9-4564-97D8-606B0424B534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc9a241b47dc4dc75e757ceeb5524b6b16ec447d","datavalue":{"value":{"entity-type":"item","numeric-id":3428644,"id":"Q3428644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894337$68AD254E-4947-4AD4-9E9C-F55D9972D6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1133187e1625c43367ceb6961acd1a5a3b5e33bc","datavalue":{"value":{"entity-type":"item","numeric-id":5786066,"id":"Q5786066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894337$809413AC-933F-45AC-BA5E-A3D385FB9C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e91e1eff78047b36128c11903fade480eaca3c87","datavalue":{"value":{"entity-type":"item","numeric-id":4377092,"id":"Q4377092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894337$FCE92CFA-75CC-476C-874F-63F061134934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f920f7f2a9036df943bab0b00b312c81738e5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4748201,"id":"Q4748201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894337$68C35330-4B32-46ED-B637-604FF8A1C4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b0a540630b73e42b5f781bc401ecacd60571322","datavalue":{"value":{"entity-type":"item","numeric-id":1553120,"id":"Q1553120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894337$8E739D65-733B-4CB9-8D20-101376ECC52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d10f6ab9240644345db75a597de319edc0a41e","datavalue":{"value":{"entity-type":"item","numeric-id":4918671,"id":"Q4918671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894337$8229EFFA-E8A1-4B11-9819-AEE223AC9E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33b9e2f8e876b8521fae596ed296c91c2379184a","datavalue":{"value":{"entity-type":"item","numeric-id":3569513,"id":"Q3569513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894337$5F296736-2CA5-4B54-94AD-4A9DEBE7DD48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An elementary proof of Lucas's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_elementary_proof_of_Lucas%27s_theorem"}}}}}