{"entities":{"Q6640337":{"pageid":14251489,"ns":120,"title":"Item:Q6640337","lastrevid":42398261,"modified":"2025-06-14T21:34:04Z","type":"item","id":"Q6640337","labels":{"en":{"language":"en","value":"On the algebraic proof complexity of tensor isomorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7946345"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6640337$007408C4-AF12-4E8F-90FB-84ED51C0F2BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c14e1edb884c04395d8a07a9d96ca25d53ec955","datavalue":{"value":{"text":"On the algebraic proof complexity of tensor isomorphism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6640337$2900E1CA-4233-4407-8508-F3451E62AC7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07ade48b222c1aa576bf6b48db6256f2140052ff","datavalue":{"value":{"entity-type":"item","numeric-id":1405734,"id":"Q1405734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6640337$8819FABF-1054-4AFE-95D8-06DD41EF9E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"855e30996183ae5970f026fb05ae3c2a5bb0c9a7","datavalue":{"value":{"entity-type":"item","numeric-id":716332,"id":"Q716332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6640337$C55DFC85-3582-407D-A407-3D1D7B6507DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38b40ed6cb099fba5da493703b11839c0af89042","datavalue":{"value":{"entity-type":"item","numeric-id":202089,"id":"Q202089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6640337$AB088F78-0C98-4EAF-BC01-2D0C7CED07AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"696b1f7c129c9ef0334fd5f3e5eb337aa4b7ef8e","datavalue":{"value":{"entity-type":"item","numeric-id":2049438,"id":"Q2049438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6640337$3CF51166-DBD1-440C-8F05-861FE4495F48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51eae7dddb64e9526fdf435a881f345596fc8b93","datavalue":{"value":{"time":"+2024-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6640337$6B20914E-5BF5-4D77-BB6D-E5C9B84CCD4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6640337$721895FE-27AD-4D18-AC0D-59D7EEE0C611","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"812b942504988be3b8e5203c4c3833f6d63df835","datavalue":{"value":"7946345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6640337$44538B25-044A-4FCA-B81F-E97BD96940CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0b9c3eff4175c3bd3dd6a85b50834123767e57e","datavalue":{"value":"algebraic proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6640337$30ACC65A-07B4-473E-A250-5A3B10C4FAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54ad2253a62bf26bf387ebef8bb8d5dbda5a2abe","datavalue":{"value":"tensor isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6640337$E405549D-11C9-4E75-89AD-4AD4662DA922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf16bbd4a05fdbd1b003839acc80b324384294c1","datavalue":{"value":"graph isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6640337$30913F20-F404-454A-9D93-77A7C14B1DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"211f3c345d1c27387d231726f7e79d65298863cc","datavalue":{"value":"polynomial calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6640337$90B75A8C-EA35-4EC4-B589-B3FFCBF17A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580984e9a1c82d533985196479f3b9f7b85953a0","datavalue":{"value":"sum-of-squares","type":"string"},"datatype":"string"},"type":"statement","id":"Q6640337$BB123220-29F3-4D0F-81AA-7E4A535F6291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a78b648d77b9a51552964b940d3755d3dfabb55","datavalue":{"value":"reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6640337$AC66BBBC-90F0-4103-8F36-90726F649951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q6640337$DC2BF150-85D4-497C-BB3C-49B4859AF8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"850b04c1fed05e80b38abc1cb7ab28a5c0baefa4","datavalue":{"value":"proof complexity of linear algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6640337$BF04C788-7DD5-4255-B668-5396234850B6","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6640337$36F6BF9C-04A3-4B0B-82E3-C92CB12E786F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fbc0dc124e2e89de46242558c3a5d98de3f34362","datavalue":{"value":"10.4230/LIPICS.CCC.2023.4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6640337$5DF93466-FC79-430A-B512-D8D2233CCF4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6640337","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6640337"}}}}}