{"entities":{"Q6860005":{"pageid":20656663,"ns":120,"title":"Item:Q6860005","lastrevid":84252239,"modified":"2026-05-14T05:36:44Z","type":"item","id":"Q6860005","labels":{"en":{"language":"en","value":"Formalizing the Cholesky factorization theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8158266"}},"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":"Q6860005$83013267-9A63-4823-8508-852ED6D61E0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf06878a5a8429a942306ba845a7f23c56c7d6f2","datavalue":{"value":{"text":"Formalizing the Cholesky factorization theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6860005$474833BE-0643-470C-A385-68743A8B3C7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e55a4dbc3a8f87f7235c78398700a07c0fcdab1e","datavalue":{"value":"10.4230/LIPICS.ITP.2024.25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860005$944F4F73-3707-4556-BB2B-05BCC86CA79B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98f12a3b8b4da496c6fc0a4d2e10b39f39eea07c","datavalue":{"value":{"entity-type":"item","numeric-id":6591116,"id":"Q6591116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860005$FB9558F6-CE95-4E72-8BA2-BA39E80FB31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96647ae6e5aafd25db5f58222f42361fe304f1a8","datavalue":{"value":{"entity-type":"item","numeric-id":6860004,"id":"Q6860004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860005$6CF53C6B-4673-475C-9897-44EE821E8B4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6860005$A9641C57-9D4A-4E78-BADC-8FE60486081A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860005$CF5302F8-8866-4478-BA55-6A6B2D453950","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0f2eb3e8d9188caeb0a838dee259fff453018ef","datavalue":{"value":"8158266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860005$0A593684-BCA4-4BA0-B35B-E8AD56939DB9","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860005$4C0FEEAB-05B7-4030-9108-89D735307ED4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a5edb83420cdd22cfbdf2f76c043403b6f9a6ca","datavalue":{"value":"numerical linear algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860005$F9F498BF-D5A5-4E8B-93E5-5821FD6D88C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2df1bcb37ca25ef6a7078e21939e3d27da56e2f6","datavalue":{"value":"Cholesky factorization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860005$6062BCE7-F55C-4642-B23A-43CEB1447412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f9de5daa60229cab19240e84428712af1a198c7","datavalue":{"value":"matrix decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860005$E5AD0BB8-3BD3-4AD5-9852-1B294AA8EF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860005$CFB3C871-8EDC-4B2A-AA3C-A950D6E4D0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24dd5926fa2c4f0ee181b086899e10f05b3e9148","datavalue":{"value":"ACL2","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860005$7917A151-1108-494C-B615-551FAA04EFD2","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":"Q6860005$9A9FC256-199B-4547-A9E2-8870938ACCA5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f51123d4849920c0bd477136f67ae685bea6fb","datavalue":{"value":{"entity-type":"item","numeric-id":4821526,"id":"Q4821526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860005$06B88317-DDF2-4AE1-95FA-1A24E20D7F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaab286ce9532044a0bbcada18389d4ffcc9518d","datavalue":{"value":{"entity-type":"item","numeric-id":5956117,"id":"Q5956117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860005$6FC2D152-3C4F-4183-BD1E-F2489C64D151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f7472dbb0444194d9bba0a5b56162fd68bc06f8","datavalue":{"value":{"entity-type":"item","numeric-id":5461025,"id":"Q5461025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860005$9267088B-70A6-412D-A34A-9D1523612475","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":"Q6860005$9343181C-CDBA-4852-A9A7-FC50BD58C8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01bf28eb32d9b3d6ffa14e9fd69db6a93ff48052","datavalue":{"value":{"entity-type":"item","numeric-id":6591117,"id":"Q6591117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860005$18B1104B-FCBD-4D3D-95E1-9F99718D08DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9e441c5593f141986239f24d93e7e110ace69c","datavalue":{"value":{"entity-type":"item","numeric-id":6168985,"id":"Q6168985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860005$265FA3A4-C898-481B-84BD-9D7BF4927100","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing the Cholesky factorization theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalizing_the_Cholesky_factorization_theorem"}}}}}