{"entities":{"Q43908":{"pageid":43964,"ns":120,"title":"Item:Q43908","lastrevid":105426602,"modified":"2026-10-09T10:05:47Z","type":"item","id":"Q43908","labels":{"en":{"language":"en","value":"Linear Recurrences"}},"descriptions":{"en":{"language":"en","value":"AFP entry Linear_Recurrences"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"0fe73e7f18d2cde7351b82fef4462dda575a542d","datavalue":{"value":"32197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43908$62DC18AE-D7C2-41AD-8CF3-E67C7B527614","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":"Q43908$01EFC4C4-C4CD-4332-90FB-75D3B29D47E8","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"6391270813c083e510353d150bfae5258377770f","datavalue":{"value":"https://www.isa-afp.org/entries/Linear_Recurrences.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43908$BFD66553-832C-40F4-82FA-516257533F0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3cd3c8cd085ac2048034c2279872658062342d","datavalue":{"value":"11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43908$A2F1BD8C-1230-4126-8CB0-9AC4728CF47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8befc1ffe367aef867e4dcd902eb59cbacd3a347","datavalue":{"value":"13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43908$5A8FFE6B-0AD1-4C26-8811-A109CB98908C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd4f0694ac7a00e4fadde328cdb4437f6c066de7","datavalue":{"value":"14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43908$9058EB5C-5E32-4067-884D-0DD31616A49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43908$54C8FA06-9654-4FB4-94AE-2E392B951C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62b7e192ddad84e0999f497c95811da22d169570","datavalue":{"value":"13.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43908$85871FB4-1E23-4680-ABDA-4F8DD9052454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"225217d51551ed69c48e9d6d5010162fb9487892","datavalue":{"value":"14.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43908$E375677C-6D32-4E17-916C-E4EB86BA812D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43908$6DF765D4-6CED-4DAA-AF99-22F9AAC9BCDA","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":"Q43908$F226BD6F-5A59-47BA-B791-D82C0A6DD62E","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":"Q43908$784EBD68-BD2D-4153-ADE1-F5BB5E5A37D0","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":"Q43908$E13F6451-EA8D-49BB-AE66-8081605C5F2A","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":"Q43908$FE545122-746E-49E1-AC29-713419DCD6C5","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":"Q43908$9064A6FB-5568-4618-AD44-66E492F76BF9","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":"Q43908$5AE82745-E0C4-48DC-8009-BC33561E18B3","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":"Q43908$67DA3FB6-8FCE-4209-8872-A57189FE2905","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":"Q43908$D581367F-1E07-4C3D-AE7C-C2903A1E29F8","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":"Q43908$741C73F6-0084-41D8-AE33-B4EB467E29F0","rank":"normal"}],"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":"Q43908$6B22C4F1-C2CE-412D-AB46-E3F067939280","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"85859c7ab42dcb8b36208f2902b7ce0d86423a6f","datavalue":{"value":"Manuel Eberl","type":"string"},"datatype":"string"},"type":"statement","id":"Q43908$45846855-BD41-41FF-9E4E-3E5DF85CA7C9","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":"Q43908$8D9C4663-D073-41AE-A618-A369D2CF756D","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":"Q43908$C730BDC0-A24E-4B23-BBC1-1D757FF54E40","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":"Q43908$43A5260F-1641-4248-BEC8-8ADEF8D4A25E","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":"Q43908$B5733C19-4B88-488C-BFDD-4C78EBA92B42","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":"Q43908$D77F3CC6-266C-4AAA-9F5D-882CBD672A45","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":"Q43908$21A03618-DC0F-439F-8101-5EB12DA404EC","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":"Q43908$D0EE15AD-63D0-4A0C-A63E-77A93A4A79F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e793c58e45155983f23520db288f3a60d625a2de","datavalue":{"value":{"text":"Linear Recurrences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q43908$246E1001-3ECC-455D-ACFE-39A284DBFB12","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":"Q43908$9EBD28C1-2F66-470B-9AC6-781D964A6EFD","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":"Q43908$C447EBF7-8E47-4BF6-85CA-DA6B89960F1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear Recurrences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_Recurrences"}}}}}