{"entities":{"Q547809":{"pageid":549576,"ns":120,"title":"Item:Q547809","lastrevid":62659827,"modified":"2026-04-11T07:35:30Z","type":"item","id":"Q547809","labels":{"en":{"language":"en","value":"Combinatorial and automated proofs of certain identities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5913198"}},"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":"Q547809$4BC64D56-E8C4-4BF7-844B-552CE7781943","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81a2b00ea4ff0ee33d2b2f72da9cf8f1458c23fd","datavalue":{"value":{"text":"Combinatorial and automated proofs of certain identities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q547809$EECA7C3A-140C-4AC7-BA01-CE799DF52311","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c946639ea7f5e00160ec1ee4a18ba72c6190602c","datavalue":{"value":"1229.05036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q547809$7BE52CBF-E618-49F3-AF46-1EE50E65DCAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"593ca19a391ae9a5eeef38f1a277e5af83e5c1d9","datavalue":{"value":{"entity-type":"item","numeric-id":547804,"id":"Q547804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q547809$5928DC63-4311-4176-8370-2450CC89083F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72cae413d8ffb43a2b9b29034a820a9a50bd3e01","datavalue":{"value":{"entity-type":"item","numeric-id":547805,"id":"Q547805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q547809$24FE4278-24EC-4945-A89A-F8C7EBE4A2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"294c61dd3342184d857a0c4aafc68fd3a7e14953","datavalue":{"value":{"entity-type":"item","numeric-id":547806,"id":"Q547806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q547809$208229B1-BF81-4949-9DEF-90EA43BEC1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aff333c2a1012e948bdb935fbddca4590fe5e53a","datavalue":{"value":{"entity-type":"item","numeric-id":547807,"id":"Q547807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q547809$A6B84F2D-69FB-4D3B-ACC8-48536387C66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"005b0a3ae2fc2ea06d2ef3a9a9b10c2ef98f320f","datavalue":{"value":{"entity-type":"item","numeric-id":547808,"id":"Q547808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q547809$1CA2F148-333F-4B3B-B2B7-5884372F41DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50e5c376841945db4d064ef1bd031d145231349c","datavalue":{"value":{"entity-type":"item","numeric-id":175171,"id":"Q175171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q547809$E31E103E-2DCD-435E-B7EF-A87DC30DF591","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":"Q547809$7FF8F5CF-F1D1-43E7-A612-027D91B1B87F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f112f61a1bf8951421a1669c4dcd263b162b3092","datavalue":{"value":{"time":"+2011-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q547809$6659245C-416C-4D2F-9351-BB229403A9B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efb755006906cd40e3455cd1709d9a91634af4f3","datavalue":{"value":"https://eudml.org/doc/230649","type":"string"},"datatype":"url"},"type":"statement","id":"Q547809$4A021BAB-3710-4FBA-A507-19E4543BB5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"b794791a8564b3a3d03b3411e4d898bf98b250fb","datavalue":{"value":"http://www.emis.de/journals/EJC/Volume_18/Abstracts/v18i2p14.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q547809$6F0DD426-80EA-4FED-AE9B-09D6FC7D925C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9c7828ceffed415ff8abcf9e35a72a3bf24f039e","datavalue":{"value":"Summary: This paper focuses on two binomial identities. The proofs illustrate the power and elegance in enumerative/algebraic combinatorial arguments, modern machineassisted techniques of Wilf-Zeilberger and the classical tools of generatingfunctionology.","type":"string"},"datatype":"string"},"type":"statement","id":"Q547809$55AA971F-9E92-4E2E-AE9E-64C3911F4729","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe20c11270a022ced6b6a582d87c0ca73a689567","datavalue":{"value":"05A19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q547809$D86E7528-B83F-45A1-A5A7-2010BD2E2B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"880665e99fe5de07999ef2f74a810b36dd3dabed","datavalue":{"value":"05A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q547809$241D448B-7C08-4283-83B6-684085F7898A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8846d47e48f79fd5e8c914df2e065d019441ccdc","datavalue":{"value":"5913198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q547809$36BE48DD-B835-4A6A-804D-2BE3E91F3EFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab3ff55a6d80cdfe759100a39ea538f07060c244","datavalue":{"value":"recurrence equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q547809$C4D30BD5-A7AF-43E2-AFE2-9D1BA76EC98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa054cada7c144063166b34492f4d946ff8af5c0","datavalue":{"value":"combinatorial identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q547809$7DB4EC44-14C2-4FE4-9EAF-802C3369EFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"360938fac8c8f88172ba832a9bd51413e23755d7","datavalue":{"value":"Zeilberger algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q547809$CFBF37F2-4C73-4A74-A1F1-A8D745AE4985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3949ed3545e2ccfbbae935451cf2dc684e7f60cd","datavalue":{"value":"WZ","type":"string"},"datatype":"string"},"type":"statement","id":"Q547809$136BB3CA-9E2F-4B5C-A37A-DBABA3AC1ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32e1e2bcc58cd8d5eac5c9ad778ae90c8885f043","datavalue":{"value":"generatingfunctionology","type":"string"},"datatype":"string"},"type":"statement","id":"Q547809$A153BA01-D119-40A5-B981-DCFDED726C74","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67a15cf49eee6a04fd0d093b653c49a45b6143f4","datavalue":{"value":{"entity-type":"item","numeric-id":23280,"id":"Q23280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q547809$19D8A45E-784F-4BD3-88E4-A0152B5D0DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1fe89970fe8cbeb81bc4728b03adb5e70157e177","datavalue":{"value":{"entity-type":"item","numeric-id":31080,"id":"Q31080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q547809$6074A5DC-097D-4B33-87A2-42F22A620CBC","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":"Q547809$23B6CD9F-D675-4B29-A597-F04FE0248B8F","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"5646cc733330e797a8f102d4a5e4853eedc32dc5","datavalue":{"value":"bafkreif6iieg7nlfbhxpeunhe3jr7s2fjh5rs2wpxdc4j44kufgjtjnrlq","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q547809$99C5B9BD-4CA6-4DA8-9B9B-E1015D55665E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combinatorial and automated proofs of certain identities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combinatorial_and_automated_proofs_of_certain_identities"}}}}}