{"entities":{"Q2362109":{"pageid":2372852,"ns":120,"title":"Item:Q2362109","lastrevid":73998795,"modified":"2026-04-14T18:00:14Z","type":"item","id":"Q2362109","labels":{"en":{"language":"en","value":"A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6740211"}},"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":"Q2362109$72025EDB-7DFD-4C79-BAF1-7C4302119988","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77cd24f26745c7746f0f7d94d478baad4b28c24c","datavalue":{"value":{"text":"A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2362109$824D5D82-2DF9-44D5-8FAA-E61DED87168A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d820f82183d6d768ba4d670f66ee488e5c3838e6","datavalue":{"value":"1409.68249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362109$37551B6B-FCD6-427E-B592-DF59A6B8F4AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08a868b8b07517613341343fb03ccc65ea8bae45","datavalue":{"value":{"entity-type":"item","numeric-id":333323,"id":"Q333323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$B0041D26-B22B-47EB-A52D-5F818FD9C11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c58fd1b197288e42d9e813642b301f704e52bc06","datavalue":{"value":{"entity-type":"item","numeric-id":333324,"id":"Q333324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$94FB793A-AD21-431F-84A1-0DE969E30A39","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$D789896A-A127-4D5A-BA2A-57A252D70872","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a7c9d02f6a4a594410711d22dd1a021deb4336e","datavalue":{"value":{"time":"+2017-07-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":"Q2362109$E7A1C337-3DAF-4D62-AE06-9A6E6CA05D5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362109$3A2702CA-F2B9-4AF3-86DE-6B4E98B2DADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362109$A6212333-339C-4EE3-A467-7730AA7ABAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b06ff2ef9e04b42ff2c5c43e297cd9d734a55887","datavalue":{"value":"15A24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362109$1648EFBC-AE25-4B77-8C51-CA67E9374E5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c5fe758d5873f728efcaadf9aae50eb92c676d2","datavalue":{"value":"6740211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362109$3FF65AA9-9815-44CC-8163-FA7CE208F2AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31a3543805c7404d2765646c1103fbe3c6bd57dd","datavalue":{"value":"least squares problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362109$FC6721CF-E2A3-4C78-A696-C0BACE24E4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ec602f33672a278b949171478a919db752df47","datavalue":{"value":"\\( QR \\) decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362109$06641028-A31E-41FD-9BB6-D7D3F39E389A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362109$254FA6AB-1B10-4B35-8A0E-222D2B54E1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17ef7db62ea690b4e5062dfc499cec745f9bc958","datavalue":{"value":"linear algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362109$6B6B5C47-3DD0-4943-9636-A08D55E36940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6bc6768f771e8ae47ba1683cf1d33a808061abb","datavalue":{"value":"code generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362109$55A3D4BC-91D9-4F6E-9CB4-0195F6C5320D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e36fd2915ee69146bd208b73e1714d6ba9054ec","datavalue":{"value":"symbolic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362109$7F473E33-6C3D-44B3-A3A6-FB6F475DCB44","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31d2ddeef485fccfd3a5fe32ea329d2b65b4f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$197FD591-1154-4D17-A4AC-7D490028548F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7a6e3741d905cda1d9eb678be777e89f8119e763","datavalue":{"value":{"entity-type":"item","numeric-id":22855,"id":"Q22855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$40C9A62F-0808-4172-86A3-C0F0E7D11FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$C228F92C-FCCD-45C9-9EB0-4A924AF069A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f427ab6dbbd025b0c0b66dd047be36c332e9e80","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$D7252003-7629-4338-9B56-EC3790A69DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e9fd7dbff509abaee9c64d21afb19f85055bad01","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$C9109B5C-8851-4CE3-9D8C-CD83F23A941F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b153447e3a31b69275337e92c74f23984bde6d8d","datavalue":{"value":{"entity-type":"item","numeric-id":40953,"id":"Q40953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$E8EBAAF1-4FE0-4A6A-98B8-11F0FD33EBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e2b483f2a6f70ef96c6056db6b878fe41c8a6564","datavalue":{"value":{"entity-type":"item","numeric-id":40961,"id":"Q40961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$BDB7251A-7E32-47B6-84B0-8F373F9FB129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$0D34EECD-FEFA-414C-A2D8-4E52669CEF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$DF93ED6A-0C58-4DCF-8FA5-08D78AC9AB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$61961D4E-43CB-45A8-974F-9B6CF6261DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed664df4807a1c1480dbcce90c73c0ac4e6b59b6","datavalue":{"value":{"entity-type":"item","numeric-id":24733,"id":"Q24733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$CE1A3C80-3AE1-4489-8014-62E9450810A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$31ABEB3C-FAB3-4EB5-81B9-31E7FD598B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$59789B80-69CD-431E-851E-1A2BDEA387C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$7633FB17-3552-4E48-81FC-D6A0BA1CE491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$F73B041B-5D7E-4432-818D-0A4FC4077719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4cfe9db1b86f9a8e7ed81b232181f3e92b8411e9","datavalue":{"value":{"entity-type":"item","numeric-id":40277,"id":"Q40277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$C8379D43-BEE9-4DFD-8DE3-7AE50904AC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"872fd15c13425cde672f9d01c85cc24654e9455d","datavalue":{"value":{"entity-type":"item","numeric-id":40272,"id":"Q40272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$6E48E0C4-494F-4045-AD11-FA988AC275B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"230614cc0c9a4510f4c52a1f5ab47b7f017dd272","datavalue":{"value":{"entity-type":"item","numeric-id":40278,"id":"Q40278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$79F27DF6-7B4E-4341-8E9E-4FCC4EA9AEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$C73FE630-2809-45B8-BD82-0D40AB864A7A","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":"Q2362109$2D5CE3FA-3FB5-4473-9C67-E58BD81F10C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42b18cc42b6bad49127890832394cba0ae0cd015","datavalue":{"value":"https://doi.org/10.1007/s10817-016-9379-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2362109$A85CF65B-9619-4343-B58F-D832649D00AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90cf2977801ceb0e70987e73880e8b1fee4b0604","datavalue":{"value":"W2420264810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362109$2EA99CA5-6E4D-4CCE-BFD1-B666FD870C2D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8d478b40abeddb5f13df780126cfed014a56211","datavalue":{"value":{"entity-type":"item","numeric-id":2913943,"id":"Q2913943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$C15669A0-44D8-45A4-A1EE-04DA51EFFB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb55f45398a18b9441e30c4ee1821b8ab473c70e","datavalue":{"value":{"entity-type":"item","numeric-id":5495918,"id":"Q5495918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$957FE7DD-620E-41FD-AE6F-1CD1D425CCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff56ad271be0143ed70be6e0e6dd3643e98b7af","datavalue":{"value":{"entity-type":"item","numeric-id":3453644,"id":"Q3453644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$32F463F9-E86E-4818-9037-8D98DC5733B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b498ee6e6da5028f261924fcf793055d69f3ad","datavalue":{"value":{"entity-type":"item","numeric-id":333325,"id":"Q333325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$792F9639-9B79-4C30-B516-84CF86ED5BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ff1f326ef03dfc9074d3bd24856009886355fa","datavalue":{"value":{"entity-type":"item","numeric-id":4868585,"id":"Q4868585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$9145D102-CEEB-49ED-8C34-2F0C2BEC5781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73bc73e3351b113a1680b6365fb1851ae1d25213","datavalue":{"value":{"entity-type":"item","numeric-id":3453102,"id":"Q3453102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$0989520E-F9E9-4852-BBE9-FAE8E78F8ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6088134b435dad2c73dd6160b51b58bfb3122a79","datavalue":{"value":{"entity-type":"item","numeric-id":2352505,"id":"Q2352505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$4BFF6292-993C-4724-8FB8-5C4C180CB8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc90f519741959885c97856c7164fc497d5566b1","datavalue":{"value":{"entity-type":"item","numeric-id":2973239,"id":"Q2973239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$F7F4DAC7-C508-4BB9-9D08-479B56000DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff77ab8eae0071823dfece1650dbbf475b9f173","datavalue":{"value":{"entity-type":"item","numeric-id":3497626,"id":"Q3497626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$B8151C44-21B5-4DD7-B443-C806D1A0A78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f41449a4ec7451f64a128da49483496b397b48a1","datavalue":{"value":{"entity-type":"item","numeric-id":2938045,"id":"Q2938045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$027998BF-9389-49C5-8465-8854B52E1080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e94d71740bd6f874bb42ccba5d4e9dafb2f44014","datavalue":{"value":{"entity-type":"item","numeric-id":3500381,"id":"Q3500381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$B5BB28F7-1A16-4821-8310-D64A18DA37DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd51f0a26cf7ffc6f871ea5d6f0668421e06bb04","datavalue":{"value":{"entity-type":"item","numeric-id":4975017,"id":"Q4975017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$8F28659E-C728-4333-AABB-5C5E2B54E3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d449c1e2d22c4797dab726112eca47edb2457b","datavalue":{"value":{"entity-type":"item","numeric-id":2914734,"id":"Q2914734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$B7F78D0E-200B-47BE-B3E5-13767BDB0B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3112adcc62aa812a0a83fd36abcbed42f7fc7cea","datavalue":{"value":{"entity-type":"item","numeric-id":2362109,"id":"Q2362109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$62DD98F4-B52B-4C0C-B1AE-2E26ECB99943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ebe35d8551bd4f329e5516ea3a401404ec5ebf6","datavalue":{"value":{"entity-type":"item","numeric-id":6108811,"id":"Q6108811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$DD41A0FA-6466-49F7-B7F6-32930EB502C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f97e95be859e33663b52106e626b60cd96dc530","datavalue":{"value":{"entity-type":"item","numeric-id":3088000,"id":"Q3088000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$89EEAC96-F603-4172-8E79-9971ACC93086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac16af6cf1adb18d0516e2c8db27f45fc424e6","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$60356EE2-FA75-41CE-8B5D-B08C26E73915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0d795517e293a55fbffeee6d84c637293c8bf8","datavalue":{"value":{"entity-type":"item","numeric-id":5327339,"id":"Q5327339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$50F10150-DD17-4436-81BC-1F3951F6EAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931c42c28f22f89fe1b66164f9ececc2021ac1a2","datavalue":{"value":{"entity-type":"item","numeric-id":3558332,"id":"Q3558332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$E4E4B933-02FF-4C53-BEC5-99F919C97858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14533123e0b9e73c06f9737a070ee002c25f5f1b","datavalue":{"value":{"entity-type":"item","numeric-id":3612442,"id":"Q3612442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$15952AEE-3CC1-46CB-9B10-35FE579699D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4857d0d243b746647a153e1690cd4acc84f69e","datavalue":{"value":{"entity-type":"item","numeric-id":5280247,"id":"Q5280247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$C65DC753-4C87-4D17-8F72-C44EB45946B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a5e182d22cd63374751049cb1ad374f0b5175f7","datavalue":{"value":{"entity-type":"item","numeric-id":5477650,"id":"Q5477650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$14C1A20A-E4E5-4096-AC99-E348008BDEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0ef84619234e2e46e8c4513d6d1ef3cba6f5b65","datavalue":{"value":{"entity-type":"item","numeric-id":1945903,"id":"Q1945903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$8F2AE171-5317-4B26-8E64-20DE463CC2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d360f4c10b4163627f57faa3db163275ea6a011","datavalue":{"value":{"entity-type":"item","numeric-id":5327350,"id":"Q5327350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$8B7CFFD4-9D14-49F8-ABA7-B4FE58B16994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8e0ff8a7d0c4fc199c213531e4694eacc1d9f6","datavalue":{"value":{"entity-type":"item","numeric-id":2938044,"id":"Q2938044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$C00ACE85-E3D7-4C5A-B28D-5AC979A5F215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50b0bfaa5604fbbf1607bb7e54efdd2fee887b49","datavalue":{"value":{"entity-type":"item","numeric-id":5327338,"id":"Q5327338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$3B2B6CE9-B979-4FB5-8D71-E847D94E48A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6482d85146713dfc3b737ad22ab1c49805887da0","datavalue":{"value":{"entity-type":"item","numeric-id":3543660,"id":"Q3543660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$0490878D-D391-48D8-8A7C-C963B6B2680B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5e921e331154ac4053c6ddf9609e27a78717d8","datavalue":{"value":{"entity-type":"item","numeric-id":331615,"id":"Q331615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$32B40B67-0B62-437E-BE81-AF6E037DA209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$28AE7887-AB94-4515-A8E6-48F826C46408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfc7d5ee1b035b8d37b2573bd54cb7b24ba6f2d","datavalue":{"value":{"entity-type":"item","numeric-id":2379683,"id":"Q2379683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$A3BDB18C-8F6A-4973-854D-CF0E01D8DFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cabd0b49f3a3d39d9834ec638bc13c03b12df487","datavalue":{"value":{"entity-type":"item","numeric-id":5200112,"id":"Q5200112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$0C9CCC0C-73B7-49BD-850C-50BC894313EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e34eccc7b5a419aaf75ee75c90b5b4ef4bd8b7c4","datavalue":{"value":{"entity-type":"item","numeric-id":4293806,"id":"Q4293806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$281A9B49-8598-4BB4-8DB3-6D010A908626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef68c6f963725d270a55c3050531a908e13af95","datavalue":{"value":{"entity-type":"item","numeric-id":4799718,"id":"Q4799718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$9BFE3C8F-FF1C-48C7-99E1-7161598F9430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cf5b8b6309e08f287b00bc67c13466715db841d","datavalue":{"value":{"entity-type":"item","numeric-id":2829274,"id":"Q2829274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362109$7EDF14E7-FB5B-4F8C-974C-2E40F0A615D0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"22af937331c2920cd4392b4a68a275f3295ba065","datavalue":{"value":"Q57721904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362109$FB0401DE-E106-4D64-9673-22EC8EDD7559","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed0a37ea27061580b3efcb7dd75f2800e048e6a4","datavalue":{"value":"10.1007/S10817-016-9379-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362109$49C586B6-9572-438E-B2C7-A79D0065E9C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dad83d404f8040da7343ff93885d0689691cc608","datavalue":{"value":{"entity-type":"item","numeric-id":3453644,"id":"Q3453644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e72ad0ebcb4c99248c8700bd68bb44ff19671ff5","datavalue":{"value":{"amount":"+0.8013474941253662","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":"Q2362109$EE2C6EC0-996B-4993-92D5-5605F3818B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a0309e7e688c4604b7e5d11f12c3d299d8b508a","datavalue":{"value":{"entity-type":"item","numeric-id":5371950,"id":"Q5371950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4deaefb9970af55992d16084fdbd5157ee30dbbb","datavalue":{"value":{"amount":"+0.7075674533843994","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":"Q2362109$F9BEE823-4315-410D-9E6C-3D9025CB47F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"895f01dbe4514afaf4e58308193c557e5a7e265f","datavalue":{"value":{"entity-type":"item","numeric-id":2375439,"id":"Q2375439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f6efc24e5872cf17cdebc11b38d1eb52be5d92d","datavalue":{"value":{"amount":"+0.7048351764678955","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":"Q2362109$14933E17-0545-449A-97DE-EA553288398B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1fdd9520e602dfc771c2278c107adc0bccaec9","datavalue":{"value":{"entity-type":"item","numeric-id":333325,"id":"Q333325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72643b43c746e42be5dc15f2fb930d5285957c73","datavalue":{"value":{"amount":"+0.6774766445159912","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":"Q2362109$E8213AB3-255B-4643-A142-3D0EA4A9E650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5917cef10283768771f78eab4f40635731cd570e","datavalue":{"value":{"entity-type":"item","numeric-id":1945903,"id":"Q1945903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d52b55eb55d0ab6321f44c1a5ad34c8619a0da0","datavalue":{"value":{"amount":"+0.6747173070907593","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":"Q2362109$29CDECA5-CD08-45C3-BB45-014D9C449DB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formalisation_in_HOL_of_the_fundamental_theorem_of_linear_algebra_and_its_application_to_the_solution_of_the_least_squares_problem"}}}}}