{"entities":{"Q7361749":{"pageid":31520786,"ns":120,"title":"Item:Q7361749","lastrevid":105423818,"modified":"2026-10-08T13:45:46Z","type":"item","id":"Q7361749","labels":{"en":{"language":"en","value":"Tensor Product of Matrices"}},"descriptions":{"en":{"language":"en","value":"AFP entry Matrix_Tensor"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c3cb73f33d0bbac7f71bba4fc5b0de20fbca48c","datavalue":{"value":"https://isa-afp.org/entries/Matrix_Tensor.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361749$08180AE2-7070-4AAE-BE34-9EE5A6D0EE10","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"07f035904ceaf670235b587fae0138ff00ffea72","datavalue":{"value":"T.V.H. Prathamesh","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361749$56A29C96-E202-422D-A566-226A5AA24000","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9307b82c298080969d8fe3b9657c1a52a3710c56","datavalue":{"value":"In this work, the Kronecker tensor product of matrices and the proofs of some of its properties are formalized. Properties which have been formalized include associativity of the tensor product and the mixed-product property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361749$3D372BA4-72DF-4AA6-83E5-E6B7589445C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"203c4da2341e10977644fb19034279a144be3428","datavalue":{"value":{"time":"+2016-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361749$DBC5D2AC-EE77-4B83-8464-94917A92B8F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f323a9f34d43fa1136f26a7fa78f904a5d49da60","datavalue":{"value":{"text":"Tensor Product of Matrices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361749$3F32A4E6-BD71-4BB8-A3C5-7838B3BC2F81","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":"Q7361749$008598EE-4B4F-4135-A718-9E7D85DF894A","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"911ce259dbcadd322bcb1b83dc5bfce4b6c36b1b","datavalue":{"value":{"entity-type":"item","numeric-id":7361212,"id":"Q7361212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361749$8AC24CF4-B13C-41B3-8ED3-ECDA6E0C25A5","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":"Q7361749$AAF423D9-FCAF-4D78-8767-B5FDB2638D5F","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":"Q7361749$F1F48523-FCE6-47D1-BAF2-F584036D2D27","rank":"normal"}],"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"2b9d2718d4f24297884ef4b4da08148ccf057d82","datavalue":{"value":"32228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361749$0142033C-A257-4805-94B7-7776626FF9B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361749$62F1867F-985E-45B3-9B1C-B928F67FFC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361749$2C9E13DB-EEB9-4D84-A09A-FBEC17783C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d686bfe0ad6b5389dbe234187d1c022fa609f87","datavalue":{"value":"81.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361749$DB61F2D9-6610-490A-9ECE-0AD7A422884C","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8d55daeff7c4288ce44d22059c68add0e43c0b42","datavalue":{"value":{"entity-type":"item","numeric-id":40280,"id":"Q40280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361749$61DC6146-77F2-4D79-834F-EB38A91F337C","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":"Q7361749$1F3CFB59-23F7-4A2E-AEFA-46893B503BEC","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":"Q7361749$E43A7282-DFBF-4DD8-B370-870F0905459E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"47f96c29829067516c9fd587e32502374da65084","datavalue":{"value":{"entity-type":"item","numeric-id":43910,"id":"Q43910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361749$21803D57-A12E-4063-83D6-FF184E975D10","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":"Q7361749$3A56D334-F67D-4FCE-80D5-B3D0B570DF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c2ac4e1b3ad95361592c0c270f5d8415957c4b5d","datavalue":{"value":{"entity-type":"item","numeric-id":40322,"id":"Q40322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361749$1E2B01C1-D05E-4AA3-942C-749C013FBA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f01c83a5a54fee889f3ec90409eea63e50d19053","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361749$2FBDE53A-9381-4534-89D7-60D8CEEC1D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9e81311cdb14c7070472842e51d5af84de1387ea","datavalue":{"value":{"entity-type":"item","numeric-id":43938,"id":"Q43938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361749$2B275315-DA5D-487E-8A70-EE83FF4FC07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7ddce7f60e5a9eba6b63bd9ac700107ef640a956","datavalue":{"value":{"entity-type":"item","numeric-id":43937,"id":"Q43937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361749$31A83386-7ADB-4397-B127-2EA303443328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"70b75326d8bd1b90cadb4857a0373726cf5a6a2a","datavalue":{"value":{"entity-type":"item","numeric-id":43936,"id":"Q43936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361749$4F696578-7342-47A0-85DD-A9932CCB8A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f5375f24574ef8a96b8521c09c1111611c438e4c","datavalue":{"value":{"entity-type":"item","numeric-id":43935,"id":"Q43935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361749$06AEC13D-E2F5-49CA-80DB-79C47905F249","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":"Q7361749$DC7D44D3-B803-45C8-B0B8-3ECE3369C592","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":"Q7361749$AC884109-ADD5-4EB8-981C-D684E74C94B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f756f019005243c78675258773d8af1c07719cf8","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361749$7AE06B81-5940-4103-9F46-A7E2807FEF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361749$1DDFBDD6-099C-4905-AC75-7FD392334AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3835edb366b99827fd38bd45a5150add1be2e6f5","datavalue":{"value":{"entity-type":"item","numeric-id":19383,"id":"Q19383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361749$5F6101D4-EC30-4B5B-915C-3388F20BA92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"331995fe532c23e24d72d01a1bd6245fafcd9671","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361749$CC8B903F-CB69-4755-A5B7-63EC6522390D","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":"Q7361749$792946DB-9D6C-4EE1-9180-A14205FDF7ED","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":"Q7361749$760346F1-8C69-47E8-A654-D48DA857911B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1ad6e65d83fff7ea708bae2e85cf167fa7c715e4","datavalue":{"value":{"entity-type":"item","numeric-id":32088,"id":"Q32088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361749$114C362F-7258-43C4-9E26-1D32C8825124","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tensor Product of Matrices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tensor_Product_of_Matrices"}}}}}