{"entities":{"Q1010707":{"pageid":1012555,"ns":120,"title":"Item:Q1010707","lastrevid":69413835,"modified":"2026-04-13T06:50:21Z","type":"item","id":"Q1010707","labels":{"en":{"language":"en","value":"Automated proofs for some Stirling number identities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5540907"}},"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":"Q1010707$CBE43172-D738-4071-9A1F-1B4B52319029","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8a48f99c63e18c343925a839e76ecf05e7b59f1","datavalue":{"value":{"text":"Automated proofs for some Stirling number identities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1010707$A01A6F30-9211-4FBF-B191-C17094090BA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50ee8bd71873aa21d536d08f5c502deac94fb73a","datavalue":{"value":"1183.68754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1010707$C018E21A-20F1-4324-B654-8DC27C7A4C2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e34375b1d44004fc65a252d19b9e51bf0f0a020","datavalue":{"value":{"entity-type":"item","numeric-id":392146,"id":"Q392146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1010707$692B8A9B-5854-4C51-94EF-5E632D8A9DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9358371eb481c5669d7e6cbbb165b81613fb2ecd","datavalue":{"value":{"entity-type":"item","numeric-id":432755,"id":"Q432755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1010707$1932556E-A450-448A-A194-C56B6DF7CC5B","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":"Q1010707$F69E95C2-0255-46FA-AC1E-0347B1E9A36E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f584a175cfc2fafdfc362244f176e06010bbf381","datavalue":{"value":{"time":"+2009-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1010707$CD2C5B8E-009C-4645-81A7-CC2B33B34BC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cda6062e0b947e1bf3b0e938fd869ae9f82bceab","datavalue":{"value":"https://eudml.org/doc/117206","type":"string"},"datatype":"url"},"type":"statement","id":"Q1010707$232DE967-09F0-4392-B1C6-459FF4C7A9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"faa466c50506d66b890610d20b1063eb46a8ea4d","datavalue":{"value":"http://www.emis.de/journals/EJC/Volume_15/Abstracts/v15i1r2.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q1010707$F71EF79A-BB8F-41BA-9143-2DC907EACC2E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0991920f488945dca75dd680bc0ebeb841faab42","datavalue":{"value":"Summary: We present computer-generated proofs for some summation identities for (\\(q\\)-)Stirling and (\\(q\\)-)Eulerian numbers that were obtained by combining a recent summation algorithm for Stirling number identities with a recurrence solver for difference fields.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1010707$0C788022-8BB9-48F0-B939-F75519290579","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1010707$1A87F106-477F-44AD-9FD5-141B4F1BB22F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cea71e21b74ad35e0aa2ddf45e984432cd9dd8b","datavalue":{"value":"5540907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1010707$00657150-012E-41C1-91ED-C5915AEB8EC1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"99bab8cc7e3d0482fe74192a712cfb8a04059eff","datavalue":{"value":{"entity-type":"item","numeric-id":18971,"id":"Q18971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1010707$3221D49A-F0B4-4B3B-AF9D-2E13E7B228F5","rank":"normal"},{"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":"Q1010707$6CE934FC-9675-4CD2-9D44-9FB5968EAFA4","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":"Q1010707$DAAE9CA7-7DFB-4B66-89E1-7AD1D6FFB343","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"d9f23c0117494f3583c447989f8eab7b0f523f38","datavalue":{"value":"bafkreic3v7u3akn4w7xglxm737s73kbxbq3jc3s23mxbv5cmnywlaihxde","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1010707$2EADE2A2-68CF-4A86-950E-C3C99DF4B9AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7115b54b7aba20d2a5c2d777d004586a9e3096b5","datavalue":{"value":{"entity-type":"item","numeric-id":2469233,"id":"Q2469233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba2e750a43b11ba8ac3ec81e2111835011367f66","datavalue":{"value":{"amount":"+0.8165667653083801","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":"Q1010707$9B8CDD35-B3EA-4776-A2CE-BD1F5925A096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f4de6e7f968a6bd5206b18d8c6a05baeced69a","datavalue":{"value":{"entity-type":"item","numeric-id":1415382,"id":"Q1415382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76dc84bd4619e29106cf31892769894033da229f","datavalue":{"value":{"amount":"+0.8062613606452942","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":"Q1010707$395F4B3C-6476-496B-9B9D-7C241FFCCB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93825b52552e4db3b3ad74a893115d1bcae7e1c7","datavalue":{"value":{"entity-type":"item","numeric-id":2973214,"id":"Q2973214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e20ec8f02c956e32dac25a23de2cf5eb0f6d2c4","datavalue":{"value":{"amount":"+0.7766154408454895","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":"Q1010707$DDA29264-6EAC-45BA-B64E-4E3C4F493FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0555c6481463393e417fd1c9910cc5cc60dc4446","datavalue":{"value":{"entity-type":"item","numeric-id":5852767,"id":"Q5852767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf90ee18eb46c103ee15983effbaef50c3098776","datavalue":{"value":{"amount":"+0.7707025408744812","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":"Q1010707$D858DB91-0785-48AA-8369-2987DFA353C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0c7a20dfd7a0767a145fccf61a9a453c80074f3","datavalue":{"value":{"entity-type":"item","numeric-id":1700805,"id":"Q1700805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd3a102657adfaeb59771df2330f540fbb8d14b2","datavalue":{"value":{"amount":"+0.766875147819519","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":"Q1010707$0612290D-B133-43FA-9BC0-F07AEF370976","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated proofs for some Stirling number identities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_proofs_for_some_Stirling_number_identities"}}}}}