{"entities":{"Q7361228":{"pageid":31519223,"ns":120,"title":"Item:Q7361228","lastrevid":105423467,"modified":"2026-10-08T13:45:16Z","type":"item","id":"Q7361228","labels":{"en":{"language":"en","value":"Linear Recurrences"}},"descriptions":{"en":{"language":"en","value":"AFP entry Linear_Recurrences"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48f0316ead0b62735050f2bf0c365b65c9d8490f","datavalue":{"value":"https://isa-afp.org/entries/Linear_Recurrences.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361228$319B3FC6-9F47-486E-9693-C2179D87C619","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"85859c7ab42dcb8b36208f2902b7ce0d86423a6f","datavalue":{"value":"Manuel Eberl","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361228$3A4AFF26-598A-42BF-890C-154EE2F9E0D0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"77db723b70bef10f518e44100f0ec22eda672c50","datavalue":{"value":"Linear recurrences with constant coefficients are an interesting class of recurrence equations that can be solved explicitly. The most famous example are certainly the Fibonacci numbers with the equation f ( n ) = f ( n -1) + f ( n - 2) and the quite non-obvious closed form ( \u03c6 n - (- \u03c6 ) - n ) / \u221a 5 where \u03c6 is the golden ratio. In this work, I build on existing tools in Isabelle \u2013 such as formal power series and polynomial factorisation algorithms \u2013 to develop a theory of these recurrences and derive a fully executable solver for them that can be exported to programming languages like Haskell.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361228$789DEF28-0187-44C7-9A08-60882E530C74","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"2594c168cd7f73433095d3ad9eaea472f82c3ee0","datavalue":{"value":{"entity-type":"item","numeric-id":7361619,"id":"Q7361619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361228$ABCAACA9-677B-451D-B9F4-959351CE5468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"58b378310c3c01d83cef379d83129d9bd06f9769","datavalue":{"value":{"entity-type":"item","numeric-id":7361750,"id":"Q7361750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361228$E143324B-BD0A-4991-A5A0-EE4B584D40D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"8a50fe5e61d78dd8019909ca3386d001bed542f6","datavalue":{"value":{"entity-type":"item","numeric-id":7361354,"id":"Q7361354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361228$A01F6BD1-7476-4EC6-BAD9-B2C0ECBE315C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"cae84e801e061aec7176e0448420881931a4580c","datavalue":{"value":{"entity-type":"item","numeric-id":7361482,"id":"Q7361482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361228$7B83F7B5-71AA-49D9-8185-10036521B03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"0c9c9f0c4eee9c4734b6223c2dd6a0c94c9a6581","datavalue":{"value":{"entity-type":"item","numeric-id":7361085,"id":"Q7361085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361228$9680F54E-4D5D-4390-ACD6-A3FE2BDAE8AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0381aec861f5a199f46f1776607b0e02f2cdf4","datavalue":{"value":{"time":"+2017-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361228$7CCD73A3-8064-4579-9701-9BA203530A04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e793c58e45155983f23520db288f3a60d625a2de","datavalue":{"value":{"text":"Linear Recurrences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361228$91A739DF-9D7C-4B3A-A82D-2CFAF13F98FB","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361228$06125025-9599-46AA-919E-D90C20371EDA","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"ef6655bf04dd34fee9f7dc3b2763244f951e30fe","datavalue":{"value":{"entity-type":"item","numeric-id":7360822,"id":"Q7360822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361228$0214F3D7-0670-4657-AC09-C17532E9FE56","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361228$84365E6F-103C-46D8-A2C2-ADF228B571FB","rank":"normal"}],"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"0fe73e7f18d2cde7351b82fef4462dda575a542d","datavalue":{"value":"32197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361228$C08DD9A0-64B3-4228-8727-F84EFAAC56BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3cd3c8cd085ac2048034c2279872658062342d","datavalue":{"value":"11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361228$EC3F7201-6D45-46DD-9975-6C1DBBD7934F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62b7e192ddad84e0999f497c95811da22d169570","datavalue":{"value":"13.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361228$93FE5185-6178-4373-A42B-95AC35DC3B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"225217d51551ed69c48e9d6d5010162fb9487892","datavalue":{"value":"14.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361228$C148E6E6-B75A-488E-B425-FC9D8BF9762D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361228$988CA6FF-0F46-49CE-AEA8-EB200A6A96F4","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7d1a8519018039436924ad678b461ed447b5bd71","datavalue":{"value":{"entity-type":"item","numeric-id":40310,"id":"Q40310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361228$30E179D3-5878-4601-8AC1-1E0B1F6C6093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f70e8f897325b539c702d8d7cb97dfafe554224c","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361228$403321D6-9A6F-45C2-AD12-96D5F9C1BA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9ad8338290e864661fc95f2a66261cf7e07a407c","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361228$9041E305-80F0-4D4D-99B8-BC3BAA7633B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361228$6930E1AF-CE80-4FC0-82C4-4E9D3503FB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"61d0c0612cc30c9c51b93ddaf1f78ee1ae75f9fe","datavalue":{"value":{"entity-type":"item","numeric-id":18676,"id":"Q18676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361228$8F275E40-FBDD-4D3E-949B-14DBB8D29D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361228$2C5590BD-055D-4442-BC73-28EEA19A5A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0ab42193b18fea9061cd802be326dc83479233b2","datavalue":{"value":{"entity-type":"item","numeric-id":43909,"id":"Q43909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361228$4D60737F-4023-4F17-98EB-41ADEA68EFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361228$8AF10740-1D7A-44BC-AC4D-CF584BF4CCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361228$462FD8E0-87E5-4D42-AEF1-0C46046D4268","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear Recurrences (AFP entry Linear Recurrences)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_Recurrences_(AFP_entry_Linear_Recurrences)"}}}}}