{"entities":{"Q40505":{"pageid":40561,"ns":120,"title":"Item:Q40505","lastrevid":105427886,"modified":"2026-10-09T10:08:38Z","type":"item","id":"Q40505","labels":{"en":{"language":"en","value":"Matrix Operations"}},"descriptions":{"en":{"language":"en","value":"AFP entry Matrix"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"e0784c4fd3507b99133f651291aab06de17e1f18","datavalue":{"value":"28791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40505$016083C2-1AEA-4710-9641-5324B97253AA","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":"Q40505$8D9F422C-AC32-4F4B-9540-BC0B4CE981DD","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"3ba23965d04cadbacd047530a74eed1f19da91c2","datavalue":{"value":"https://www.isa-afp.org/entries/Matrix.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40505$53353A3F-85CA-49EB-9CF6-40E3DA54F46F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5dd818343d7a5b259737eac61518c19de74ecd35","datavalue":{"value":"15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40505$397BEFA4-CBAD-4DFB-A837-FDB90336B283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"389057ea232b6d266cab69038163241bd07104b6","datavalue":{"value":"51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40505$14E2794D-9120-4D00-9443-8711A0A66750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40505$5E922533-2C65-47B9-9E0E-AEBCE4C0D800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3da49e22ab941785bcf8ed6f617d6a2bf876616","datavalue":{"value":"51.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40505$328D4075-8173-44B9-B40E-172535D2110F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40505$5019CB18-DB69-49BB-BD93-93CB9C4B6038","rank":"normal"}],"P1458":[{"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":"Q40505$025ABD62-49CB-44F0-BED7-F1EE11F12555","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":"Q40505$F06DB712-65FD-4E07-AC9E-D3B1DDF08308","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":"Q40505$3ED02206-B87B-4728-8AAE-CE528D877027","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":"Q40505$F74E6B32-C406-4036-B8C2-972F78E7D6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"61d0c0612cc30c9c51b93ddaf1f78ee1ae75f9fe","datavalue":{"value":{"entity-type":"item","numeric-id":18676,"id":"Q18676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40505$5D39FE4E-6CEC-47FE-A9E1-7C6A68091A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8dde418bf28e22fefe1976bd953eb7c8ec5b548d","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40505$46C05443-79CF-49E8-B335-691C297C6204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"958f5528bec947c303ae6ea2a08cdaac697721e0","datavalue":{"value":{"entity-type":"item","numeric-id":19232,"id":"Q19232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40505$C30FFFA5-1251-47A5-AF7B-829DD75F2C76","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":"Q40505$D4D624BB-27AB-438C-9B97-BAC36AE67266","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":"Q40505$21C0B905-4344-4AE0-A364-B63E3FBA4DDD","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":"Q40505$76294886-EE6A-4202-AE15-F94F589DCEF3","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":"Q40505$621068CE-075F-4F0B-B07A-15E5F8D26634","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":"Q40505$6AEEF3E2-E298-4178-80CA-A9826BB9E1F0","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":"Q40505$F4F705CD-33C7-4281-9858-1B393EA1AD33","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":"Q40505$76ACB61E-E8F0-4278-865C-89FEE107794D","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":"Q40505$DBDA59BA-97E8-47BA-A0CD-8AA975B43447","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73288c062fc61dd79130ca8c76e0a69ffc591f41","datavalue":{"value":"https://isa-afp.org/entries/Matrix.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40505$CC336FD7-9DDA-4A48-9EB3-D04983483936","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"7335db8cbac804a8435e80e80636b4dde04d73bd","datavalue":{"value":"Christian Sternagel","type":"string"},"datatype":"string"},"type":"statement","id":"Q40505$D884C7FE-D394-403A-A724-FDCE5F7E84A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"3e961f1f2b2e533bd88ffdbcd178bd2ef2813f73","datavalue":{"value":"Ren\u00e9 Thiemann","type":"string"},"datatype":"string"},"type":"statement","id":"Q40505$3136954A-2828-4B74-991D-5092F9D5B060","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5898893047a6b4c694eea6fb1a8d06911dc8381b","datavalue":{"value":"We provide the operations of matrix addition, multiplication, transposition, and matrix comparisons as executable functions over ordered semirings. Moreover, it is proven that strongly normalizing (monotone) orders can be lifted to strongly normalizing (monotone) orders over matrices. We further show that the standard semirings over the naturals, integers, and rationals, as well as the arctic semirings satisfy the axioms that are required by our matrix theory. Our formalization is part of the CeTA system which contains several termination techniques. The provided theories have been essential to formalize matrix-interpretations and arctic interpretations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40505$8311CFDF-4C3D-480F-A208-1BC8224E9DF7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ae2d2158e3c465c93233b4442630df5c29733e","datavalue":{"value":{"entity-type":"item","numeric-id":3522019,"id":"Q3522019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40505$A43BB46A-CAAE-42D1-8609-4F818A8884B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0aef60bd392ccfb5e82daa98f095917b33d1745","datavalue":{"value":{"entity-type":"item","numeric-id":3183545,"id":"Q3183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40505$AE6697C4-BEE4-44B2-9477-14F2284DC84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53d3fc5ef0eaf03448b2958c7b38baf170d7b9b","datavalue":{"value":{"entity-type":"item","numeric-id":928655,"id":"Q928655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40505$63C22695-7063-44E9-BAE5-337D5B275786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97132178938a086d46887cf71f3c6653c803319d","datavalue":{"value":{"entity-type":"item","numeric-id":3582701,"id":"Q3582701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40505$D42E91D5-7AF3-4C09-85C9-79F1F40536FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f3ce47aa4f0dc34b47bc79e3d35b38da1ee5e5f","datavalue":{"value":{"time":"+2010-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40505$42C321EF-1F8D-4C32-90BA-6D09877044A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"889e9d2a254e7b109587e02f524c6c63a679ddd6","datavalue":{"value":{"text":"Executable Matrix Operations on Matrices of Arbitrary Dimensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40505$BB42DF63-2ECA-425D-9196-65B1C5297CFA","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":"Q40505$7604527C-8522-48A4-BD38-AF68723B053D","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"bb0293970cb12cb0c0b06315232bb60667277b31","datavalue":{"value":{"entity-type":"item","numeric-id":7361362,"id":"Q7361362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40505$7D8C1541-848A-45B7-9EFB-6E972D475CF5","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"ef7bddd24a035fe32f48fd95ea6033928a9b8e67","datavalue":{"value":{"entity-type":"item","numeric-id":7360788,"id":"Q7360788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40505$A2E798E8-4BC5-40AC-96ED-8BB45CD0CB43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Matrix Operations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Matrix_Operations"}}}}}