{"entities":{"Q5742818":{"pageid":7772369,"ns":120,"title":"Item:Q5742818","lastrevid":53418329,"modified":"2026-01-24T22:32:04Z","type":"item","id":"Q5742818","labels":{"en":{"language":"en","value":"Formal residue and computer-assisted proofs of combinatorial identities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7052129"}},"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":"Q5742818$2EFEE08C-29E0-4811-A413-9185911FE555","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b103d783b6e2ce99c223583d18266595bc7f0a0","datavalue":{"value":{"text":"Formal residue and computer-assisted proofs of combinatorial identities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5742818$4F813521-5241-4DF2-96CA-10825DDAB94A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"598aa78a2c94c54c8faa75debc34b26fa57f2fb3","datavalue":{"value":"1424.33040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5742818$0E1BEE68-1E58-4581-A8AB-FDE536694E01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14072a56b1e1a6294728a199c6c35eeb52c6a93c","datavalue":{"value":{"entity-type":"item","numeric-id":640467,"id":"Q640467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5742818$91F0FC59-B676-42DD-9600-2E1B86D195A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8721ec9cf8de43034be561afa7e535bafe3c2e57","datavalue":{"value":{"time":"+2019-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5742818$1FDAC2A4-5B0C-40D6-AF83-9F73B74450EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42de9321ec9bffe9bd1dcf8c8689a504914f3754","datavalue":{"value":"33F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5742818$5AEA711B-FDAE-4950-9FAA-333EB0A4F272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe20c11270a022ced6b6a582d87c0ca73a689567","datavalue":{"value":"05A19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5742818$513CAC22-B44C-46B4-85BE-DEEE8E6D3BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c7162d79408fb706cc35871b421509dba08bf67d","datavalue":{"value":"11B73","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5742818$56372B40-2657-4BE5-9B43-DB1B2EE1CCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5742818$0D0F9C39-815A-4A7B-A5A6-CF9D567D1B9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"799b609e78f57f75e62f5b3045653705185c202c","datavalue":{"value":"7052129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5742818$0DB7AE9F-094F-4C3F-B757-313242D8867B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3766d7e38b689d90fae4a8c42c71316717dfb452","datavalue":{"value":"formal residue","type":"string"},"datatype":"string"},"type":"statement","id":"Q5742818$D5401E95-2001-40A3-B8E0-A80B2FCFB257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2186d0ce75fee9f12caaddf8a0fcb70b89657333","datavalue":{"value":"extended Zeilberger algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5742818$74B243C7-1D9B-4F7C-AC6F-78006388FD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf2cc79e8881a603ab418356edb4f100f255631b","datavalue":{"value":"Stirling number","type":"string"},"datatype":"string"},"type":"statement","id":"Q5742818$CE66B848-989B-434A-B101-158A51B9192D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d10242d5451496717b12dd50064d81ad14f482","datavalue":{"value":{"entity-type":"item","numeric-id":26182,"id":"Q26182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5742818$61DCDCB4-A6C8-467D-8D05-A5324D3329D9","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":"Q5742818$7C4689CB-F83B-4306-BCF9-0EA0D3524FAA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc608a44c9fb532ac31e769b27d8485e1fd7ccb1","datavalue":{"value":"https://doi.org/10.3906/mat-1804-42","type":"string"},"datatype":"url"},"type":"statement","id":"Q5742818$4E3E4A0E-9EFE-4821-8897-FF4631CFC973","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a41fa79ad206bfcebb9ee03165a36b94139c565a","datavalue":{"value":"W2893772705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5742818$23D9B29A-7B9C-4302-829B-DB934D195D07","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3628b3635c6817488e7a05cfca36c9f772211a5a","datavalue":{"value":"Q113692764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5742818$F501FE9A-3931-46FE-824C-A8DA82E7284E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a1fed6185b3103963a35c0b0b14f92ff0d7d709","datavalue":{"value":{"entity-type":"item","numeric-id":413409,"id":"Q413409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5742818$2BA2D1DB-5EED-4994-B943-C9E63C62441E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5b26c10ef134c043039648e3becf135978ca111","datavalue":{"value":{"entity-type":"item","numeric-id":1026880,"id":"Q1026880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5742818$CF1DA84B-F7A7-4BE9-8012-18DD9CF07A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4bb4e997b765a665d210b85eab2f272bc1ba9b3","datavalue":{"value":{"entity-type":"item","numeric-id":1978177,"id":"Q1978177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5742818$DC23D4E8-D297-4642-AAC9-83765D83F3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"780bfc5f7950019719adcea394bb51ab227181c9","datavalue":{"value":{"entity-type":"item","numeric-id":2883807,"id":"Q2883807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5742818$2950D98A-4B66-4CBF-B608-226EFF4E675C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c8c694eaaafa91b83cc90a24ead7ce496bf600","datavalue":{"value":{"entity-type":"item","numeric-id":1264426,"id":"Q1264426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5742818$E58A475B-612B-4E6E-A147-74420B9479A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87c7c1e931e074c5a85a03b8b4ed22688e3c7262","datavalue":{"value":{"entity-type":"item","numeric-id":1134764,"id":"Q1134764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5742818$47419B37-4906-4490-87F2-480446CB1029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef82bd01268f76f39f0a8b9def8cd69783081f00","datavalue":{"value":{"entity-type":"item","numeric-id":3037442,"id":"Q3037442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5742818$8E4F9E7E-7DB8-4793-989F-13A30DBD7F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd78fd7539746ce39fface229dfdce943e7717ba","datavalue":{"value":{"entity-type":"item","numeric-id":4320535,"id":"Q4320535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5742818$B0F6BDBD-8F6D-45DB-A5C1-DC6F197C4D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd0d3e08cab086c91a9e9df36cd0e1e16c52d99c","datavalue":{"value":{"entity-type":"item","numeric-id":1924369,"id":"Q1924369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5742818$533CA7E5-CFF1-45B7-82AD-A2312E284BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69b3e7d23cd49f889b4d0ded1f1a67d6b119c155","datavalue":{"value":{"entity-type":"item","numeric-id":2469233,"id":"Q2469233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5742818$731AF54F-F552-494A-BF98-B62C72A929D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d69153beb94679b7497eae0a48a1f279a0d0a6","datavalue":{"value":{"entity-type":"item","numeric-id":1010707,"id":"Q1010707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5742818$2C313ECB-CACD-4554-96C0-C8DD7C6EC5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b656a2cffb4bde90dab02bdec0a8575c52cf7a31","datavalue":{"value":{"entity-type":"item","numeric-id":5176473,"id":"Q5176473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5742818$59FDB09D-345A-470F-941D-64DF77BDDA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"637af11e2f4ea16a2169bfa5d80425cf5782d501","datavalue":{"value":{"entity-type":"item","numeric-id":640425,"id":"Q640425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5742818$B561780E-7110-4096-B7F0-72F5AAFEBEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33f7c5cac6b40213525e801b63d82bf29529f242","datavalue":{"value":{"entity-type":"item","numeric-id":1415382,"id":"Q1415382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5742818$0E3AF471-292C-48CA-ABF4-5EB2D901EEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57c4ec75eb1df7410ececc1deecb107ec91c8a62","datavalue":{"value":{"entity-type":"item","numeric-id":4875364,"id":"Q4875364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5742818$0F064144-1B29-4012-BA93-C04755A2E012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55fdc980461806f83a373c5264a528237fe6476b","datavalue":{"value":{"entity-type":"item","numeric-id":5636888,"id":"Q5636888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5742818$1A612E75-C71E-49C3-A87E-FC698CEBE686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b90f86fe8d09763fca1421da1eabdf755d7afa2","datavalue":{"value":{"entity-type":"item","numeric-id":811594,"id":"Q811594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5742818$0E832352-8A4A-4F45-92A5-6A98D245DFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce15a5923a5f5ce099b52f8f5d9db30864cbbae2","datavalue":{"value":{"entity-type":"item","numeric-id":1176785,"id":"Q1176785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5742818$E36F5827-E77A-4CA5-8421-6A56FB872B62","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d60f93761675e098e8db776e661100a9d844eb9c","datavalue":{"value":"10.3906/MAT-1804-42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5742818$AAA7DCAB-4D73-418F-8965-BB267BCCD321","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8ecb427c6633cd0a67d2579c2413338dc5b99340","datavalue":{"value":{"entity-type":"item","numeric-id":3656900,"id":"Q3656900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5742818$A0A00A31-FC92-44AD-93ED-31C3C927DC2E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"533499d3f7390171aa4c798c4ccbbda7c9a47d8c","datavalue":{"value":{"entity-type":"item","numeric-id":2776432,"id":"Q2776432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b59ae307f174c2806990fcfadea9e4ebd6e4c63d","datavalue":{"value":{"amount":"+0.8259472250938416","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":"Q5742818$E0D66095-0357-4056-A701-1CCB8FD80D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76735e10a73a00214e86777382eea41b02a5cd6e","datavalue":{"value":{"entity-type":"item","numeric-id":5884404,"id":"Q5884404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b59ae307f174c2806990fcfadea9e4ebd6e4c63d","datavalue":{"value":{"amount":"+0.8259472250938416","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":"Q5742818$40782118-EE1F-490B-84D6-16005875C46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e56b71f54c093e43c7f95ce37c379f2127e585f6","datavalue":{"value":{"entity-type":"item","numeric-id":5009648,"id":"Q5009648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebfe9fc7367d9ed12b13a359bb78493470abe237","datavalue":{"value":{"amount":"+0.7615640759468079","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":"Q5742818$4093398E-796D-4AB1-A95E-36022871E52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba024505a3ed12d7adf867810758a0546ee7472","datavalue":{"value":{"entity-type":"item","numeric-id":3470469,"id":"Q3470469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8786f93cc2a9e57b08e220198358c25d8d6cbd4c","datavalue":{"value":{"amount":"+0.7577901482582092","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":"Q5742818$CB747C94-26D3-47D7-8FF6-C9BD0290CE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a92835a41a311cbab7856599eb26ee3723beac0","datavalue":{"value":{"entity-type":"item","numeric-id":1010707,"id":"Q1010707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29d41965daacbdd6d5fb6d9c208261c57920403b","datavalue":{"value":{"amount":"+0.7549004554748535","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":"Q5742818$83E95549-96E5-4857-9558-8EDF97BC8354","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5742818","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5742818"}}}}}