{"entities":{"Q2170788":{"pageid":2181531,"ns":120,"title":"Item:Q2170788","lastrevid":56684292,"modified":"2026-03-18T19:30:00Z","type":"item","id":"Q2170788","labels":{"en":{"language":"en","value":"Congruence properties of combinatorial sequences via walnut and the Rowland-Yassawi-Zeilberger automaton"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7582306"}},"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":"Q2170788$B70CD424-1CD6-4904-AC65-81FE79C5B052","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3520e301d79c64e3c3c1aa9850b4ab085ed978c","datavalue":{"value":{"text":"Congruence properties of combinatorial sequences via walnut and the Rowland-Yassawi-Zeilberger automaton","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2170788$D00475C6-F754-412F-92A0-39662907E49A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e39ed5d37002ec3ef8618871f1cac640a032f67","datavalue":{"value":"10.37236/10799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2170788$5C4F46D3-1BCB-42FB-9AFA-55649BCE9FC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb8579d08d02888dcfc6c4a0d1e7ad3780689962","datavalue":{"value":{"entity-type":"item","numeric-id":284844,"id":"Q284844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170788$D425D1A8-D1C0-4F40-9EFD-A94AAE4F7ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"acbe3fcdaa2e72f3bce067779bfee150bff0b503","datavalue":{"value":{"entity-type":"item","numeric-id":405317,"id":"Q405317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170788$5028B173-3AEC-4F13-8606-28E29D71E65C","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":"Q2170788$33730AF7-90F0-427D-BC18-E4ADA071E32F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d45ab13f00c41afc7e846671f21ae242814ed07d","datavalue":{"value":{"time":"+2022-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2170788$12669448-32C2-4ECD-AE04-26E770D7B026","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba3b1b9181645e835a1eab3e2d2df348a4e9d55f","datavalue":{"value":"https://arxiv.org/abs/2110.06244","type":"string"},"datatype":"url"},"type":"statement","id":"Q2170788$C062DCAB-0ABE-4E86-97C6-5E0A22523A3B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"235290a951380887bc5157fd30de63e0431e253b","datavalue":{"value":"Summary: Certain famous combinatorial sequences, such as the Catalan numbers and the Motzkin numbers, when taken modulo a prime power, can be computed by finite automata. Many theorems about such sequences can therefore be proved using Walnut, which is an implementation of a decision procedure for proving various properties of automatic sequences. In this paper we explore some results (old and new) that can be proved using this method.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2170788$F533444D-5096-4E3E-99B0-959255777E54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2170788$461E6874-30C5-4CCF-842E-904E24A9E665","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdcca5516852a87fe5b1d65c89a1991222700d92","datavalue":{"value":"7582306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2170788$EE66EE96-DEE2-436B-9F42-FAFFEC39836A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"650e761a5f418c574655712b35b1fe882f756011","datavalue":{"value":{"entity-type":"item","numeric-id":19297,"id":"Q19297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170788$D6CFEACD-7ADD-4CBB-B6B8-8D9E3E263D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"41206dcbcbeae462e666a06f6cff03ec3cba83dc","datavalue":{"value":{"entity-type":"item","numeric-id":41836,"id":"Q41836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170788$028CF8DD-639E-4A8A-A972-206A37539C62","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":"Q2170788$2BB624AB-DB2C-41D6-B8B9-7A5AA0008689","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed0878474802e281cb3acb3879bcb555d5592ea4","datavalue":{"value":"W3206558031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2170788$9F0DDE25-3BA4-477E-BC8E-A7DFD87F418C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"950f3bf0951443eb1e5bcbf62abe86752f7308ef","datavalue":{"value":{"entity-type":"item","numeric-id":4431260,"id":"Q4431260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170788$F21AF98F-E908-46B2-B694-45BA5077465C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066824940940bf5b23713fee66e873cd679d1fb1","datavalue":{"value":{"entity-type":"item","numeric-id":2264794,"id":"Q2264794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170788$A11C2DB7-1E4B-48F7-87CD-D520C474BFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9004d48d247fe0f921a26f64834fbb90f01b5cfa","datavalue":{"value":{"entity-type":"item","numeric-id":2490154,"id":"Q2490154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170788$E9CB0E43-A51A-43A2-8274-C5C3EFBF48A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ebdf8bdff4d69d1c22af4e4fe97c251d3800904","datavalue":{"value":{"entity-type":"item","numeric-id":932826,"id":"Q932826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170788$FF139EEF-FBEE-4DCE-9363-F14061C2A26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fce455a4cee414072f0ba5b4de725769a3af98b","datavalue":{"value":{"entity-type":"item","numeric-id":1663803,"id":"Q1663803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170788$C134275C-CE2C-4A20-A354-B7BAB2255804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1423b12e972ae71a026c2b0dd35bfa09a8d25a70","datavalue":{"value":{"entity-type":"item","numeric-id":5395443,"id":"Q5395443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170788$BEE06BB8-2C71-4A01-B660-C142F2D37B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a154f2f9822ecb84cbec9dd399478d7796e14d1a","datavalue":{"value":{"entity-type":"item","numeric-id":259509,"id":"Q259509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170788$6465B8B3-F98B-48E1-A4C5-98D79EDED1E5","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":"Q2170788$6E0678B5-861C-4900-BC0A-89B4FFEDB4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfe8b3db045c3af5bd936077fb2e74b1125b562","datavalue":{"value":{"entity-type":"item","numeric-id":4443440,"id":"Q4443440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170788$EA08BA79-2EE8-4313-AA11-2AB8546FE095","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"fc114dbc4f7263c97d6efacd8c2d34fd09731d3f","datavalue":{"value":"bafkreifkkovhhzdfvapmdo2csip7pauvxwbdzn5mquyedfdz24u3cm7eny","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2170788$C56FCAE2-F160-470E-AAB1-CF5139F567FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2efda5f50a43f012575d052e03cbaabc2cc233ab","datavalue":{"value":{"entity-type":"item","numeric-id":6118839,"id":"Q6118839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a65c2ac92b6befa73dd2e5c64d665a7812e159d","datavalue":{"value":{"amount":"+0.7609967589378357","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":"Q2170788$066082C8-F943-4A89-BDE9-997DA7A86627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38cdd16b3f89828c6d807e00275289ebc6dc71ec","datavalue":{"value":{"entity-type":"item","numeric-id":6150673,"id":"Q6150673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f3417de0986b9353b1d95f598fd2c35e5b68b10","datavalue":{"value":{"amount":"+0.7602044343948364","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":"Q2170788$D8487C80-D1CF-4F29-AC10-089CE799B319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c32c467e6b8ff7a69b66c6c57b57a5c773f3af9b","datavalue":{"value":{"entity-type":"item","numeric-id":2816619,"id":"Q2816619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e2e123d153a99943f289e81a2638b26549dfb23","datavalue":{"value":{"amount":"+0.7424699664115906","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":"Q2170788$624A4E1E-05D0-40AF-92A0-34C7483B2A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a75242461e66803c31876aaaaeab7c6fa657d07","datavalue":{"value":{"entity-type":"item","numeric-id":2490154,"id":"Q2490154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f732e3b3b1dd637ff38ed50ed487660c0c9d2cb4","datavalue":{"value":{"amount":"+0.7402531504631042","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":"Q2170788$BEC1B95A-F122-4D41-BFF4-6175385E41AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df9590d515e08c8f1a1a88ddd783807ba1e2498c","datavalue":{"value":{"entity-type":"item","numeric-id":6093105,"id":"Q6093105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b8938594bf1cd12d6a646b30bd7a83c79b244f5","datavalue":{"value":{"amount":"+0.7309659123420715","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":"Q2170788$E6AD1688-8CD9-4764-B21C-097178134FCA","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170788$AF0D9637-20AE-4E70-A5AE-74B16EB28C03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2170788","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2170788"}}}}}