{"entities":{"Q40278":{"pageid":40334,"ns":120,"title":"Item:Q40278","lastrevid":105428018,"modified":"2026-10-09T10:08:54Z","type":"item","id":"Q40278","labels":{"en":{"language":"en","value":"Gauss-Jordan"}},"descriptions":{"en":{"language":"en","value":"AFP entry Gauss_Jordan"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"d3f82d1dc2a71a75c7cd7924be5c2cf5f2a90a50","datavalue":{"value":"28564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40278$F95319C3-6848-4CE0-ADB7-995B614DCCB3","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":"Q40278$8D9F422C-AC32-4F4B-9540-BC0B4CE981DD","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"59f5f282e39558387e32e9615e28a3f75c62462a","datavalue":{"value":"https://www.isa-afp.org/entries/Gauss_Jordan.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40278$60929C5F-0AFF-4A39-9F9F-6CF1E7E0435B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40278$1C71484F-C7F6-4E1A-87F9-1307CAC40F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5dd818343d7a5b259737eac61518c19de74ecd35","datavalue":{"value":"15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40278$D31324DF-DFD3-4B85-ACFB-558CA3BABCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40278$D27F2657-A719-46B6-B410-E39E29F1D69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40278$BFF90D2F-8B29-4E5B-A231-E58D39E25573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d0cfa49f62a5e301328cd7af9d04a50119944fd5","datavalue":{"value":"92","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40278$EAE0F756-4CAD-47AF-9BDF-DCE185C9F733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40278$05CA8904-70B3-4F5A-B07A-262C758B9B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89107e9c93cd6c803fd02a890f7a831dced41c0b","datavalue":{"value":"15.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40278$764DA459-A962-4713-B01B-BDE18966840D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"467910eb92f3fefb5ab991704afbc9c141aad063","datavalue":{"value":"65.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40278$F2832208-CE6D-4B08-A065-23EF3B0A627D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40278$534CF07C-1A96-4BBA-A7AE-C11199B63623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfa9b7408d026ee7c8797115aff68fa8617418c","datavalue":{"value":"92.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40278$484C3759-494A-4C06-AE43-6DE94319A5F8","rank":"normal"}],"P1458":[{"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":"Q40278$6EF706BE-1DCF-4613-A55B-344832EA18F0","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":"Q40278$3C1186B4-B7D0-4CBC-812D-D01E4A22BB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4dfac822d106dc7f697754008c4906d0b5156921","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40278$5F02A122-DF53-4F49-ADA2-9DB55BEDB8CB","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":"Q40278$22147D6C-7659-4E5F-B03F-2B1ED0C42876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2cd157c0ce895ace042c647f41667d99482a6298","datavalue":{"value":{"entity-type":"item","numeric-id":23299,"id":"Q23299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40278$699695B8-7761-4A28-AB89-3A852B90419B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f1f3f217ad7d25648b72a532a22e5bf696c7db2e","datavalue":{"value":{"entity-type":"item","numeric-id":40272,"id":"Q40272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40278$20B99C71-753C-40CA-AD5E-C2DC28B7439B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0f821b4f03f658efb74f12105f23ec4062bfd98c","datavalue":{"value":{"entity-type":"item","numeric-id":40953,"id":"Q40953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40278$171ECF92-6731-468D-9195-769486F812B0","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":"Q40278$E145CE26-A982-423E-8E58-47E51D5F7AFF","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":"Q40278$7AB5446D-F50D-4510-9399-9A83C44E8E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7af76fef8d60c5ff6f83c3b8ce7926e6a38c015f","datavalue":{"value":{"entity-type":"item","numeric-id":40277,"id":"Q40277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40278$0AA25505-988F-4218-A876-68921428E5F4","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":"Q40278$03D7F78C-5E13-45C2-8375-4815FD40E351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4eea1e5549472c93f3282a38917960fdec6b61a1","datavalue":{"value":{"entity-type":"item","numeric-id":24733,"id":"Q24733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40278$A004D680-3FA5-45D0-96FA-3B7A7124CF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"144f0221487b5ba035abaca0f440960a9e47efeb","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40278$47306D34-FBC9-4A85-9D4E-F2D606BFC9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"27b35591f9a1d87570b3e9ffb19e51ff7cd09a28","datavalue":{"value":{"entity-type":"item","numeric-id":40544,"id":"Q40544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40278$2A84BA29-E1B7-4BC4-B8A8-210B413B0AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e2deb6bf1d4c2d4a91e6bd25d48cab95bae8848d","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40278$E9D4AFC1-E14C-42CB-A778-6BDDD4EED9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40278$FF2EEB30-1607-453A-A141-A5F5BEF6A54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ff80b41d03c65073c007c903a317be0a9c94293e","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40278$9C3AC841-7139-47A0-BBE8-9723F2A3D80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a54e24244723bf29b2db533f355d939551876363","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40278$69D8376C-2FE8-420D-9915-968BCFBC20C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e35607af390e3a347fc5cbd4b8045365c3202773","datavalue":{"value":{"entity-type":"item","numeric-id":40961,"id":"Q40961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40278$E23D440A-38A3-48AD-A5CC-6AD9FF27DFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40278$C5E08E2C-2BF8-46A4-86E5-4B1D1F93B33A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"948087fbca342a978b2e7d7cad0d39dabb3713aa","datavalue":{"value":"https://isa-afp.org/entries/Gauss_Jordan.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40278$C25ABC18-D9F4-462D-A162-615D43A8F0D1","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"3ac7196df7cfbb13ec1a00e4eadbe8c75213209e","datavalue":{"value":"Jose Divas\u00f3n","type":"string"},"datatype":"string"},"type":"statement","id":"Q40278$238066A0-7BC8-45A7-A5A9-035B2525FEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"f590724f98be0a407bcb6ce6e3ed61e0d0766c46","datavalue":{"value":"Jes\u00fas Aransay","type":"string"},"datatype":"string"},"type":"statement","id":"Q40278$11DBC2BB-72CB-4E07-905C-7746EB773136","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"24789924e2c5e5bbd87243d305240c5bf38be288","datavalue":{"value":"The Gauss-Jordan algorithm states that any matrix over a field can be transformed by means of elementary row operations to a matrix in reduced row echelon form. The formalization is based on the Rank Nullity Theorem entry of the AFP and on the HOL-Multivariate-Analysis session of Isabelle, where matrices are represented as functions over finite types. We have set up the code generator to make this representation executable. In order to improve the performance, a refinement to immutable arrays has been carried out. We have formalized some of the applications of the Gauss-Jordan algorithm. Thanks to this development, the following facts can be computed over matrices whose elements belong to a field: Ranks, Determinants, Inverses, Bases and dimensions and Solutions of systems of linear equations. Code can be exported to SML and Haskell.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40278$5D1AE5AD-8998-4AC0-886B-3CDCCB350A36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9124e22a925dc3c2ea1c24367b00eebdb1caa2fc","datavalue":{"value":{"time":"+2014-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40278$B8186665-7022-40AE-BE60-D46BD6F7B865","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5e17821b99d2f1c5f6289dac839bd9a929b0cd1","datavalue":{"value":{"text":"Gauss-Jordan Algorithm and Its Applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40278$2C1A3115-09A2-4542-AC3A-1010E5A9FBF8","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":"Q40278$E94C4A64-4093-409C-B678-EE3A9107779A","rank":"normal"}],"P585":[{"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":"Q40278$C00FB0F4-721D-47A4-B4DA-AFE599CA96AA","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":"Q40278$3760ACD6-9608-4E20-B0CF-1FF22759CF3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gauss-Jordan","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Gauss-Jordan"}}}}}