{"entities":{"Q40280":{"pageid":40336,"ns":120,"title":"Item:Q40280","lastrevid":105426506,"modified":"2026-10-09T10:05:35Z","type":"item","id":"Q40280","labels":{"en":{"language":"en","value":"Jordan Normal Forms"}},"descriptions":{"en":{"language":"en","value":"AFP entry Jordan_Normal_Form"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"5355158009845552479dafdd55a9c863d6ae2c66","datavalue":{"value":"28566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40280$FD7AF4B5-C09C-493E-BF71-265A5DA88348","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":"Q40280$449A3E71-4039-4987-820B-98F7274EF69A","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"d3b6b0895c07d3e14822a7e8644ecb8a7381b9fb","datavalue":{"value":"https://www.isa-afp.org/entries/Jordan_Normal_Form.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40280$8ABA8BE8-88F7-4E47-ADDE-A9526F2E2610","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40280$C50F6E63-3785-4492-94B1-9934214203E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8befc1ffe367aef867e4dcd902eb59cbacd3a347","datavalue":{"value":"13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40280$9C0C7995-1885-400E-B7A3-B136E9E0712E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40280$7D9775B2-35A2-43F6-9055-6473DF7ECD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40280$61640F22-9C42-4B6F-B95D-4D5BF78FF58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4edc7e695c3667a3dc24594c0516548b87f81467","datavalue":{"value":"81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40280$A1BCC2CF-34AD-4ED0-94AC-EED9CE22815B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5dd818343d7a5b259737eac61518c19de74ecd35","datavalue":{"value":"15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40280$8231BF8A-653D-4B54-A24C-18CEEA45AFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40280$901FAB0A-60EF-49E6-990C-A914A8601A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62b7e192ddad84e0999f497c95811da22d169570","datavalue":{"value":"13.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40280$8B48396C-C89F-4329-A1E4-7195F04CA416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"467910eb92f3fefb5ab991704afbc9c141aad063","datavalue":{"value":"65.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40280$50277941-5E72-422D-B5FD-E6F7696DA05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40280$A2736775-CDD6-4B4D-9F73-09684C39058D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d686bfe0ad6b5389dbe234187d1c022fa609f87","datavalue":{"value":"81.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40280$0890E13E-67CD-4E3E-8348-9FEB22663B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89107e9c93cd6c803fd02a890f7a831dced41c0b","datavalue":{"value":"15.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40280$2F106527-9594-4DBA-995C-64782A3FCA43","rank":"normal"}],"P1458":[{"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":"Q40280$79192785-CE32-4DEE-B4BE-EC5C143B4937","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":"Q40280$1EFC5A62-44D5-493A-95C0-D132F6812725","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":"Q40280$9AAD68FB-BEAA-4193-B4F9-96BD68C79CF5","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":"Q40280$95DC354C-DD33-40FE-ADEA-3DF59316B67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9f7773444cba07bf64d0a42509b5f6e8b2964659","datavalue":{"value":{"entity-type":"item","numeric-id":43939,"id":"Q43939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40280$FE930314-2C98-4D64-B9B1-28B66C8B00CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7ddce7f60e5a9eba6b63bd9ac700107ef640a956","datavalue":{"value":{"entity-type":"item","numeric-id":43937,"id":"Q43937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40280$703FB800-DFE6-4456-A33B-E44AC0F7599B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"70b75326d8bd1b90cadb4857a0373726cf5a6a2a","datavalue":{"value":{"entity-type":"item","numeric-id":43936,"id":"Q43936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40280$0B6A22D1-C323-46BE-B929-1438A87838A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f5375f24574ef8a96b8521c09c1111611c438e4c","datavalue":{"value":{"entity-type":"item","numeric-id":43935,"id":"Q43935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40280$863B5E06-4195-4DA3-99F3-118AFE6BC60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2ded5a481ece08049848bd1edb3f9afa21f0df2f","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40280$C68A5155-9F2A-4A2D-907C-85BD57C1111C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1ad6e65d83fff7ea708bae2e85cf167fa7c715e4","datavalue":{"value":{"entity-type":"item","numeric-id":32088,"id":"Q32088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40280$562C2109-0ABC-4E11-A35B-45E01678FA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ed15eb8701a335444fde1bcc3327d1067ce64751","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40280$3D07464C-C095-4D4C-917A-CF0862A4FFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40280$3D9A1276-599D-4AA5-8D72-31320AD12597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9e81311cdb14c7070472842e51d5af84de1387ea","datavalue":{"value":{"entity-type":"item","numeric-id":43938,"id":"Q43938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40280$87F33364-7DFB-4DA9-8FFB-CE0ED8934A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8dde418bf28e22fefe1976bd953eb7c8ec5b548d","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40280$A25DC27F-A39E-4A06-8AE2-0E401527F6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40280$88C58143-B1B2-4377-8962-C49DA8B8822C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3835edb366b99827fd38bd45a5150add1be2e6f5","datavalue":{"value":{"entity-type":"item","numeric-id":19383,"id":"Q19383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40280$872C9BEE-B07B-48BA-B98A-08B0FEB8B28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3a073d1e3162db58b1a890386d8dbe9eebb4637c","datavalue":{"value":{"entity-type":"item","numeric-id":40373,"id":"Q40373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40280$F98AF88A-4F6B-4648-AB1D-587E3051B495","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4848f484bd9b1b52c121bfbccc39eca7944b30a6","datavalue":{"value":"https://isa-afp.org/entries/Jordan_Normal_Form.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40280$6668DED9-1627-4659-BFB5-1A43CE1843A1","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"3e961f1f2b2e533bd88ffdbcd178bd2ef2813f73","datavalue":{"value":"Ren\u00e9 Thiemann","type":"string"},"datatype":"string"},"type":"statement","id":"Q40280$483D6952-2CC6-41BB-A9A5-CA8998A5E3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"4e646f16cde9cfa1c19d0771a8f74ba7e8c772f6","datavalue":{"value":"Akihisa Yamada","type":"string"},"datatype":"string"},"type":"statement","id":"Q40280$CAA9FB40-2E91-4CE3-98E4-01A1FE6AF62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"82465ac3274d3d0397e8b9a376568cb6edebce12","datavalue":{"value":"Alexander Bentkamp","type":"string"},"datatype":"string"},"type":"statement","id":"Q40280$7539C868-B513-4BAC-87E6-EF58CDF5A100","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8d429faec54128dadaf82771bc2f0bf70497e923","datavalue":{"value":"Matrix interpretations are useful as measure functions in termination proving. In order to use these interpretations also for complexity analysis, the growth rate of matrix powers has to examined. Here, we formalized a central result of spectral radius theory, namely that the growth rate is polynomially bounded if and only if the spectral radius of a matrix is at most one. To formally prove this result we first studied the growth rates of matrices in Jordan normal form, and prove the result that every complex matrix has a Jordan normal form using a constructive prove via Schur decomposition. The whole development is based on a new abstract type for matrices, which is also executable by a suitable setup of the code generator. It completely subsumes our former AFP-entry on executable matrices, and its main advantage is its close connection to the HMA-representation which allowed us to easily adapt existing proofs on determinants. All the results have been applied to improve CeTA, our certifier to validate termination and complexity proof certificates.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40280$71C73F4D-2C0D-4C77-9675-CBC8ACCB746A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ae2d2158e3c465c93233b4442630df5c29733e","datavalue":{"value":{"entity-type":"item","numeric-id":3522019,"id":"Q3522019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40280$D32E78BE-595F-41CD-B0F1-DCED5FFFB4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0aef60bd392ccfb5e82daa98f095917b33d1745","datavalue":{"value":{"entity-type":"item","numeric-id":3183545,"id":"Q3183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40280$19C98656-1F37-4CFA-806F-39DCF62733BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8140e4105e9a133f88717f08d7a9ce19bb1f9cab","datavalue":{"value":{"entity-type":"item","numeric-id":5277869,"id":"Q5277869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40280$D1AFA183-B1A5-4AE1-8BF1-73A79BA4A7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53d3fc5ef0eaf03448b2958c7b38baf170d7b9b","datavalue":{"value":{"entity-type":"item","numeric-id":928655,"id":"Q928655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40280$D890181D-4772-4180-B679-126B88DCFD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73402f4152dc1b0c6384814fa1868f011d7bebc5","datavalue":{"value":{"entity-type":"item","numeric-id":3421016,"id":"Q3421016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40280$BBE73019-4FE6-4172-81D4-096D19B483DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97132178938a086d46887cf71f3c6653c803319d","datavalue":{"value":{"entity-type":"item","numeric-id":3582701,"id":"Q3582701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40280$29962AFE-6C4A-4D5F-A75B-70BCBD7F818E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e463a3f76b72914d69100f109f02e2f624263f82","datavalue":{"value":{"time":"+2015-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40280$8836F01F-15B7-4D4F-B0F5-87FAFFC7B7ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"123afbbc70d0a5f8538393609af6256fd1c4ad5a","datavalue":{"value":{"text":"Matrices, Jordan Normal Forms, and Spectral Radius Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40280$0EA410EB-BE1E-41E0-B33F-68575E0B0326","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":"Q40280$53DB5E6A-44B4-4341-8278-09FA35346165","rank":"normal"}],"P585":[{"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":"Q40280$52D56E20-2626-42A9-A932-192A2DBC4B67","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"65292b3c42fa1bd5c21e4c91fe94fdc3f630f232","datavalue":{"value":{"entity-type":"item","numeric-id":7360821,"id":"Q7360821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40280$39A02358-083A-40FE-B8B3-E96C6F968C5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Jordan Normal Forms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Jordan_Normal_Forms"}}}}}