{"entities":{"Q40272":{"pageid":40328,"ns":120,"title":"Item:Q40272","lastrevid":105427937,"modified":"2026-10-09T10:08:44Z","type":"item","id":"Q40272","labels":{"en":{"language":"en","value":"Echelon Form"}},"descriptions":{"en":{"language":"en","value":"AFP entry Echelon_Form"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"80b4be71ce8098fa80d6b04ac32f0c7077fd970b","datavalue":{"value":"28558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40272$78FD5CCC-BA3C-4BD7-90A7-DAD4EFACECD4","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"c0c36cd146912209a7445932d09b9a28dd956791","datavalue":{"value":{"entity-type":"item","numeric-id":333325,"id":"Q333325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40272$F3AB416E-2935-4389-BC85-814B37939EAC","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":"Q40272$C470D6F3-29D8-4191-ABFD-987D0D561120","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"caaae891da035d7547e58ec390af26130995b084","datavalue":{"value":"https://www.isa-afp.org/entries/Echelon_Form.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40272$B3A61E59-B777-471B-9AFF-49FAFC909A9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3cd3c8cd085ac2048034c2279872658062342d","datavalue":{"value":"11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40272$51261829-AF91-471D-A537-4A02CC29D366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8befc1ffe367aef867e4dcd902eb59cbacd3a347","datavalue":{"value":"13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40272$359B99D8-A90C-4BFE-9775-1148BCEA7D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5dd818343d7a5b259737eac61518c19de74ecd35","datavalue":{"value":"15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40272$ECCC0E34-361B-4E52-B00F-475E97BFB26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40272$12976005-BE0A-4061-8883-6CCED8435FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9cdce3acd819f327427a4823ff1d65533e6f5515","datavalue":{"value":"70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40272$CBD8BA71-3494-4738-9A59-020E0D032D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40272$6947A08A-F742-4CC6-B1BD-622F4C25380C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be8e231fdb33dcfe6258f2f5ff03e1ecfad18bd7","datavalue":{"value":"49","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40272$C4BE39F5-0E73-4A1C-9649-B385330106D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62b7e192ddad84e0999f497c95811da22d169570","datavalue":{"value":"13.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40272$8AAB832C-689D-4237-B8AD-A46BC283F6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89107e9c93cd6c803fd02a890f7a831dced41c0b","datavalue":{"value":"15.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40272$9C1485A1-32DC-4B4D-BB08-6767154E0700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40272$F600A139-0C1F-48D1-8DBB-CC14A5711767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e462972086ee801d37e44225e894a31546ff81e","datavalue":{"value":"70.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40272$1770D586-52EC-460C-BA36-3E486FFACBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a2ce8697776c478fad5facac57bc163b9158c961","datavalue":{"value":"3.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40272$48E62849-1CEF-497D-A431-E89D7141CB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"274fa190f9822cfc53f34a138fb5426d7025150d","datavalue":{"value":"49.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40272$00846643-914D-4826-9A49-0E4E7F066DA7","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":"Q40272$6637881F-52E1-4FC1-A9F0-AED192B8323F","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":"Q40272$3C666ED2-CD68-4186-9163-409C15B81D3A","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":"Q40272$A0EAD42E-CD3D-437C-9B30-6490D7818252","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":"Q40272$9A1E2721-D84D-4EDA-9A4A-F1BC40F6F5B9","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":"Q40272$A4FD6D13-097F-411E-BAEC-B5724533F477","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":"Q40272$3199BF7D-F4AC-4DA5-B4D8-EE023F3B4DC7","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":"Q40272$2F6968C3-20A9-440F-9A31-DC6E4E4ECFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cea2a7e9bb130921d12e1d361b3d4585036772c9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40272$437DFC4D-2C3A-44EB-9779-0208A1C28C66","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":"Q40272$65543F58-E28C-4BC8-A771-F8B1A2AAE778","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":"Q40272$9D7CDFDC-E031-460B-8B79-A6D5A6C8DF16","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":"Q40272$70240C8C-9FA3-4E37-99E7-42982F8C27B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"139c69b2a23f419923a7989e28183ef8179b6836","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40272$BD089FC8-4757-4D85-97A7-C4589C89AC5A","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":"Q40272$BAF1C169-D872-480E-9711-2F26A2EDA53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"40f795ade24d8de138c5cb590edabeeb2cff87e5","datavalue":{"value":{"entity-type":"item","numeric-id":40278,"id":"Q40278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40272$10317F77-931B-4A43-A9FC-D0A9B0CB2F7F","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":"Q40272$52E3BB9A-24F3-4A64-801C-4FBCE4892AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"206148fb4091bc526b4985eb7106f34e5f9739ba","datavalue":{"value":{"entity-type":"item","numeric-id":52541,"id":"Q52541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40272$F49653B2-0538-4008-98DC-55911A66A302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1b914a45373f0c19fc30345c2d7f6de4803f7357","datavalue":{"value":{"entity-type":"item","numeric-id":53738,"id":"Q53738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40272$23E15F8B-BAE2-4798-BDE0-F78AFC06805A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7434bcf5c727d2c07e931aea1694436d0b39cd53","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40272$57753409-6E6E-47E1-B7F1-FB57A2687410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9e7a1624ebcfc86cb11ccad80d0985ed6ed992b9","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40272$D631E9F6-8A36-453B-A00B-A93163047E73","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":"Q40272$C64E9E27-34A1-4172-BDC4-12E00302FB89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b0646bb0ce3d258ddbfaec833f56fd316bdcc0c","datavalue":{"value":"https://isa-afp.org/entries/Echelon_Form.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40272$744CE3DB-CD09-40DE-8DAD-51B3726186A6","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"3ac7196df7cfbb13ec1a00e4eadbe8c75213209e","datavalue":{"value":"Jose Divas\u00f3n","type":"string"},"datatype":"string"},"type":"statement","id":"Q40272$A7CF1B8B-247C-47B8-8710-1D3E115BCDB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"f590724f98be0a407bcb6ce6e3ed61e0d0766c46","datavalue":{"value":"Jes\u00fas Aransay","type":"string"},"datatype":"string"},"type":"statement","id":"Q40272$9C381D64-2083-4119-B4DE-BA29039B60B2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"91867bb3bf848d3b3e57a1cd07a57d14b92d112a","datavalue":{"value":"We formalize an algorithm to compute the Echelon Form of a matrix. We have proved its existence over B\u00e9zout domains and made it executable over Euclidean domains, such as the integer ring and the univariate polynomials over a field. This allows us to compute determinants, inverses and characteristic polynomials of matrices. The work is based on the HOL-Multivariate Analysis library, and on both the Gauss-Jordan and Cayley-Hamilton AFP entries. As a by-product, some algebraic structures have been implemented (principal ideal domains, B\u00e9zout domains...). The algorithm has been refined to immutable arrays and code can be generated to functional languages as well.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40272$B2409916-B4DF-4BE3-ACAE-CD4A24C47829","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"6e6269c49ced5046170cb19155d6b7e70422c5ca","datavalue":{"value":{"entity-type":"item","numeric-id":7361885,"id":"Q7361885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40272$76426AEF-D5BC-47FF-80B7-71D37C25805C","rank":"normal"},{"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":"Q40272$CB09D5DB-8925-424B-B321-29D9B8918109","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":"Q40272$E65D637C-B90D-4D08-AF80-EE64E6AF6F17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e00a3dba284380de126c78cd8b069abf9af0e040","datavalue":{"value":{"text":"Echelon Form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40272$A4EB1E5B-2C47-4F8D-B8D3-651E99E8197F","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":"Q40272$C303656D-D9AA-4C91-BDCD-EF6F1E9CC546","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":"Q40272$51C96656-F9F4-43FE-9074-B96A7259B4E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Echelon Form","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Echelon_Form"}}}}}