{"entities":{"Q7361580":{"pageid":31520279,"ns":120,"title":"Item:Q7361580","lastrevid":105367340,"modified":"2026-10-07T13:36:56Z","type":"item","id":"Q7361580","labels":{"en":{"language":"en","value":"QR Decomposition"}},"descriptions":{"en":{"language":"en","value":"AFP entry QR_Decomposition"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cfae64eedbc483521c3ab235de234014443b6614","datavalue":{"value":"https://isa-afp.org/entries/QR_Decomposition.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361580$1D5F54C0-2879-4461-B266-9545BA5F098E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cdc61d2e07322be8c646950f18fe6f092ac87075","datavalue":{"value":{"time":"+2015-02-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":"Q7361580$AA455DC3-68D9-4F68-95AF-26EB869473E5","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"3ac7196df7cfbb13ec1a00e4eadbe8c75213209e","datavalue":{"value":"Jose Divas\u00f3n","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361580$CCAEB6C1-071A-4CE9-A026-2DC0DC47E91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"f590724f98be0a407bcb6ce6e3ed61e0d0766c46","datavalue":{"value":"Jes\u00fas Aransay","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361580$1AD84B35-15AD-47AF-8330-5C555F8F29D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49d90ef16eb8ec3f2943890ddfdfa2255c133558","datavalue":{"value":{"text":"QR Decomposition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361580$C7430900-BF6A-41AE-9238-51D6DBD0356D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5a5974cec5d11c8646d9a91e734a75f1c7dc7c99","datavalue":{"value":"QR decomposition is an algorithm to decompose a real matrix A into the product of two other matrices Q and R, where Q is orthogonal and R is invertible and upper triangular. The algorithm is useful for the least squares problem; i.e., the computation of the best approximation of an unsolvable system of linear equations. As a side-product, the Gram-Schmidt process has also been formalized. A refinement using immutable arrays is presented as well. The development relies, among others, on the AFP entry \"Implementing field extensions of the form Q[sqrt(b)]\" by Ren\u00e9 Thiemann, which allows execution of the algorithm using symbolic computations. Verified code can be generated and executed using floats as well.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361580$B4704FCD-9D39-4F51-BD38-4890935D1BE6","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":"Q7361580$5863CA39-7A34-45E1-9B2F-C34D7E18D92D","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"c74fb85b93aed6b0154f37279158b02ac3d7c1fa","datavalue":{"value":{"entity-type":"item","numeric-id":7361519,"id":"Q7361519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361580$6CA981C7-F47B-4E0E-B50C-8263B990AF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"a742c7e8ff41cac7f1c8f7dde8bbcf881157576c","datavalue":{"value":{"entity-type":"item","numeric-id":7361930,"id":"Q7361930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361580$9C7C8A6B-D791-421A-9A32-4D1DC1019A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"e5240d8aa4d2c65b01870000d59292726eb3ca58","datavalue":{"value":{"entity-type":"item","numeric-id":7361312,"id":"Q7361312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361580$05687EBC-0124-454B-B9D1-9CE2F8281E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"1bd8a170e1a91182d9c95c33fb53b59631080f47","datavalue":{"value":{"entity-type":"item","numeric-id":7361185,"id":"Q7361185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361580$BE02F1E6-8775-477A-8C29-827044B61FBD","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"8b04062afcab9da0e2966e5a07727a614a9432ac","datavalue":{"value":{"entity-type":"item","numeric-id":7360778,"id":"Q7360778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361580$FD420B5C-4FD1-4CF8-BBD3-5C1E77BC8317","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":"Q7361580$C15F0958-747F-4DB3-BA48-636DBED0AAA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"QR Decomposition (AFP entry QR Decomposition)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/QR_Decomposition_(AFP_entry_QR_Decomposition)"}}}}}