{"entities":{"Q2816619":{"pageid":2827357,"ns":120,"title":"Item:Q2816619","lastrevid":58022979,"modified":"2026-04-03T12:03:50Z","type":"item","id":"Q2816619","labels":{"en":{"language":"en","value":"Automated discovery and proof of congruence theorems for partial sums of combinatorial sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6619202"}},"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":"Q2816619$AF6657F7-DA82-42C9-92E1-5FE55ED83935","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86df9cb8cb8730efcb029e3287b6ca914dfdd031","datavalue":{"value":{"text":"Automated discovery and proof of congruence theorems for partial sums of combinatorial sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2816619$B6DC1712-9BB6-42E9-B307-793A1AF5CF29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a16fc2f2806ba7a7b1cf2506e5a469b2d0f2af1","datavalue":{"value":"1368.11020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2816619$7D8183C0-1618-4DBD-A30D-D18BAF4C9B64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47dd074a5f2798a1eb99ec69d35a102dffd6f6ce","datavalue":{"value":"10.1080/10236198.2016.1142541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2816619$39B46D58-A573-4F39-BCB1-FDAA144716CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12a582541685dbe73700c677a5353d7c40edc58c","datavalue":{"value":{"entity-type":"item","numeric-id":214543,"id":"Q214543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2816619$7DF52F00-F72E-43C9-A910-CB60DF1C01DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa39011b1152aaf980a7c0c863712fb3118f2786","datavalue":{"value":{"entity-type":"item","numeric-id":282989,"id":"Q282989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2816619$1DBB9B8E-5ACB-4B0F-B5D6-E18FBFC2DC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87977d4bcf2d87beed5972db55fdd06d071a21d4","datavalue":{"value":{"entity-type":"item","numeric-id":180279,"id":"Q180279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2816619$F191F3B0-9EE5-489E-836E-5504BD6F8397","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a1626700e15228b9d634aea4fbfcf2bca11528da","datavalue":{"value":{"entity-type":"item","numeric-id":2707854,"id":"Q2707854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2816619$D252FC95-9538-4632-A16D-9FF2A2D5F6A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8af084f0236bf1fd6f9e877bbefb4d404e80b6a4","datavalue":{"value":{"time":"+2016-08-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":"Q2816619$815A9DBA-1B0E-4296-A845-37E27E8BF3BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11f22aca8b4d63bd3ac05b216411ea46b00301fe","datavalue":{"value":"https://arxiv.org/abs/1509.09070","type":"string"},"datatype":"url"},"type":"statement","id":"Q2816619$029402EF-D7DD-4055-ABAD-31AFBDE88668","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4bceb4852f142c7ae840ef027a3d11ea672a1bc4","datavalue":{"value":"11B75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2816619$ADE013B6-A477-4122-AB64-58B07C3BA7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe20c11270a022ced6b6a582d87c0ca73a689567","datavalue":{"value":"05A19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2816619$71FE7BC8-96B7-4FFF-A4E2-62FDAF466D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2816619$F1062159-B435-43B5-92C4-D127E041A761","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ff99020ca3f48131dafc3cec1ef7d926542bfaa","datavalue":{"value":"6619202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2816619$9A7C6E5C-0821-43A1-AB40-AA6D2D0724EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7a609ae2c21271342f267522dda74375687f014","datavalue":{"value":"polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q2816619$EC814AD6-217B-41FD-AC47-1FA12C369123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42fe13086f63ecae03ca72aa8ec6ce570ab84a8a","datavalue":{"value":"combinatorial sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2816619$FEE33AA0-5A9A-4C33-99F0-9A4A06785B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2761bdc40553125e7de6ae63b64d38a792ebd166","datavalue":{"value":"Legendre symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q2816619$5026B3F8-D0B8-44D3-B5B4-2F959B31F0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c627a44f76dc3c22de0b46183578622cc2198c68","datavalue":{"value":"Laurent series","type":"string"},"datatype":"string"},"type":"statement","id":"Q2816619$A7E5142A-E7CE-451B-830B-3E85C607659B","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":"Q2816619$9E91710A-B282-455A-BD8C-1D9CEABE8AA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53e3208c4fd32512af01ffd8b06d844ca49b35e1","datavalue":{"value":"W2173952281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2816619$E5FD25A9-97D5-46C1-A039-584BD1B1AD5E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"74ac4b1c359b8343227534d0a59b8b71519737d1","datavalue":{"value":{"entity-type":"item","numeric-id":1820190,"id":"Q1820190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2816619$D9D544AF-D574-478B-A715-4156747C9434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2496d76f7d7fec9d96f39f6e3a59ed93c78d8e95","datavalue":{"value":{"entity-type":"item","numeric-id":1165896,"id":"Q1165896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2816619$BC4B54B5-B547-4C19-A078-B2329CBB5773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"788df84bae2906962534d443eb584270ce4bda27","datavalue":{"value":{"entity-type":"item","numeric-id":2501564,"id":"Q2501564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2816619$3835F0C1-E836-4B74-A9AF-37920663B02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18311d9c2a7c7debfc141ff2ce01f247be155e7","datavalue":{"value":{"entity-type":"item","numeric-id":5168653,"id":"Q5168653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2816619$65BAE5E1-E2A8-492C-B847-205C32A9D8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d96eec46c00a9a41f883179d4390cdcc8281bd3","datavalue":{"value":{"entity-type":"item","numeric-id":477109,"id":"Q477109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2816619$E5101175-AC0B-41AA-AD20-523F0C79E78B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"869eb42bd6de86fa0e04a3a0a25d4dc39973f203","datavalue":{"value":{"entity-type":"item","numeric-id":4575401,"id":"Q4575401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7c738f7798272e53904d7a608df73763a5bc34b","datavalue":{"value":{"amount":"+0.7956727743148804","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":"Q2816619$AF3D8337-9C0D-41CE-AC0E-7C23254EB9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af891094aa7c034538dc9ff08e3f22746a2263b8","datavalue":{"value":{"entity-type":"item","numeric-id":259509,"id":"Q259509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"807f182877d8c8e89833c289debd86d7ecdadbd9","datavalue":{"value":{"amount":"+0.7717118263244629","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":"Q2816619$DF812C97-6399-4152-846E-3F9C5A0BA031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8a1c3ffd9b1abcf0c46b8db5879b8bc300f64d7","datavalue":{"value":{"entity-type":"item","numeric-id":5156094,"id":"Q5156094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d01c709820d44a0588b7dca2295e3821aef6a92","datavalue":{"value":{"amount":"+0.7443350553512573","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":"Q2816619$5ECA9F06-3725-4889-A204-B671DDBC797C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d4c160a0fd533158293521116402dca4b3759f2","datavalue":{"value":{"entity-type":"item","numeric-id":3177702,"id":"Q3177702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"158cfbe0aa37ff4e96677fda94a9699fc3004fa5","datavalue":{"value":{"amount":"+0.7402316927909851","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":"Q2816619$D4576B4C-24BE-40BB-9BA3-2562FC097964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b39195b09169162b56df80a8fd17f1a6e0771d53","datavalue":{"value":{"entity-type":"item","numeric-id":2153900,"id":"Q2153900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"467b9f895174a9d6d57b3e36164d5db1ebf53cbe","datavalue":{"value":{"amount":"+0.73982173204422","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":"Q2816619$39C55C83-286E-41EF-AD78-1FFAF204936B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2816619","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2816619"}}}}}