{"entities":{"Q5972811":{"pageid":12560455,"ns":120,"title":"Item:Q5972811","lastrevid":105428915,"modified":"2026-10-09T10:10:53Z","type":"item","id":"Q5972811","labels":{"en":{"language":"en","value":"Hermite"}},"descriptions":{"en":{"language":"en","value":"AFP entry Hermite"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"ba06d6a0315d2fc831b438dc9ad1bf00e63f7734","datavalue":{"value":"45056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5972811$EE64841D-8A25-46C6-9764-5FF36975E51F","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":"Q5972811$408800B6-D325-4DF2-822D-66A695CFE696","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"16dea942e45e2d339f9e44a0f76ad5c801b724d7","datavalue":{"value":"https://www.isa-afp.org/entries/Hermite.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5972811$C5CE13A6-82E7-475B-8001-2C70CD1A578E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8befc1ffe367aef867e4dcd902eb59cbacd3a347","datavalue":{"value":"13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5972811$8F1BF84E-EC4C-4481-93C6-1AB2400AA8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5dd818343d7a5b259737eac61518c19de74ecd35","datavalue":{"value":"15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5972811$F2E63411-EBAD-412C-9BC0-0840351DF63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5972811$213F929A-73DF-488B-BBF6-6791BD610CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89107e9c93cd6c803fd02a890f7a831dced41c0b","datavalue":{"value":"15.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5972811$88818A5D-03C1-49A1-AFC9-5A8D771793E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5972811$DD305763-06BE-4D2E-9AEE-C81C08CEA16D","rank":"normal"}],"P1458":[{"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":"Q5972811$3FEBFC88-9B69-4047-B6AD-657ABC45DE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7d1a8519018039436924ad678b461ed447b5bd71","datavalue":{"value":{"entity-type":"item","numeric-id":40310,"id":"Q40310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972811$0AF22FBE-3FD8-4BE5-90EC-58B6CCB77E06","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":"Q5972811$DD15C2C9-DE57-463E-92AC-65346C65DE6B","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":"Q5972811$5BF9F1D7-D873-4708-9601-AA7E6E5A4149","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":"Q5972811$BD6CD3FB-4810-43B6-88C2-C6334E13F3B8","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":"Q5972811$9449A373-BB58-4BF7-A43D-5E45C0B9F4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d16fe220c723aa7cdd0cb65cbe3c4f25405f0668","datavalue":{"value":{"entity-type":"item","numeric-id":17016,"id":"Q17016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972811$CE36DD6E-8C54-4587-B3A0-67F576737637","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":"Q5972811$1C0BA304-BC18-4936-ACC2-EA05289C4F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"60c3e92cef9647ede91bb4f6e4b4ff38f40460ac","datavalue":{"value":{"entity-type":"item","numeric-id":35496,"id":"Q35496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972811$275C01A7-9529-401A-8580-6BF35899DA73","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":"Q5972811$51F7D17F-1762-4000-A306-2147C917D5C6","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":"Q5972811$12612A91-C2D3-4697-8E4C-CD42BA794E77","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":"Q5972811$3FC7FA62-A1DE-40D5-BB36-32E1E7061DC3","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":"Q5972811$2CFF5BC3-0CC1-4CCA-A2F2-E63FAB368C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3d6bbdf972f98d8ad7ee0f8e03926967202151aa","datavalue":{"value":{"entity-type":"item","numeric-id":5974073,"id":"Q5974073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972811$28CFDE17-BAEB-42B0-AFD2-A6F16352F67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3be6df7c77a3193fbc55e1308aa41ded5bec30c5","datavalue":{"value":{"entity-type":"item","numeric-id":5972313,"id":"Q5972313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972811$E1734D2C-F991-44C8-9186-E1B76AD950B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"780ea80cf1bbbaef17670bc4dedbaa7e1a9ebb13","datavalue":{"value":{"entity-type":"item","numeric-id":5974233,"id":"Q5974233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972811$843AF71A-9C71-4854-8FE0-96AB36932EE7","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":"Q5972811$EAD7031E-17B7-4AF4-B385-EFA3F91F948E","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":"Q5972811$98D76881-9B8D-43B1-9511-E63DEB057783","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":"Q5972811$7FA8867B-D1C1-4894-AC26-93A2E46AC06D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27d6083b37eef566b426e72e3e8a6c9f90980502","datavalue":{"value":"https://isa-afp.org/entries/Hermite.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5972811$47006A87-1348-4938-B0ED-B5042CC31FEC","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"3ac7196df7cfbb13ec1a00e4eadbe8c75213209e","datavalue":{"value":"Jose Divas\u00f3n","type":"string"},"datatype":"string"},"type":"statement","id":"Q5972811$8647E1F6-1C1E-463B-A766-39A141C8BA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"f590724f98be0a407bcb6ce6e3ed61e0d0766c46","datavalue":{"value":"Jes\u00fas Aransay","type":"string"},"datatype":"string"},"type":"statement","id":"Q5972811$C96B785D-7163-462C-9475-1D9E27BF5D36","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d8cdc6c38a5357837374b6783113bd6d6bf60cbf","datavalue":{"value":"Hermite Normal Form is a canonical matrix analogue of Reduced Echelon Form, but involving matrices over more general rings. In this work we formalise an algorithm to compute the Hermite Normal Form of a matrix by means of elementary row operations, taking advantage of the Echelon Form AFP entry. We have proven the correctness of such an algorithm and refined it to immutable arrays. Furthermore, we have also formalised the uniqueness of the Hermite Normal Form of a matrix. Code can be exported and some examples of execution involving integer matrices and polynomial matrices are presented as well.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5972811$89D70D56-1D2D-4819-BC14-834363397D49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"975750fa34c52053d5e9b96bb5af1d650182238c","datavalue":{"value":{"time":"+2015-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5972811$E13187CD-9BBD-4BFE-8FC3-6AFD02131DDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"787290ce01589f9d6c831373f8b788864a3367c8","datavalue":{"value":{"text":"Hermite Normal Form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5972811$3FEE6C7E-D37B-4E82-96B0-EEA1A6CA082D","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":"Q5972811$C53A6487-365C-44E0-80FC-D1F7C5025E2F","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"549d65a2530d26e11aef26cf5c975d1ec8b882e0","datavalue":{"value":{"entity-type":"item","numeric-id":7361726,"id":"Q7361726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972811$CFB54149-E946-470D-9538-B43048AB9DF4","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":"Q5972811$35AE532F-74FA-4F4D-9882-172DBF5797C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hermite (AFP entry Hermite)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hermite_(AFP_entry_Hermite)"}}}}}