{"entities":{"Q5145958":{"pageid":7175529,"ns":120,"title":"Item:Q5145958","lastrevid":38768031,"modified":"2024-12-16T09:44:34Z","type":"item","id":"Q5145958","labels":{"en":{"language":"en","value":"Compatible rewriting of noncommutative polynomials for proving operator identities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7300057"}},"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":"Q5145958$126360F4-94D4-40B3-ACCD-ED61C288D0DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dded658e7ed246a9fbc9644b52cf15808db7cb1d","datavalue":{"value":{"text":"Compatible rewriting of noncommutative polynomials for proving operator identities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145958$D890747E-6148-49C1-A23B-1D65B7BA54E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e9cccd3a1c8fab8a6439d4445a95398c0cf08d8","datavalue":{"value":"10.1145/3373207.3404047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145958$0EFBAD21-DC14-40E5-873A-6B85C98EBC3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0799189a0b3cf80571b234b07c4a918c26180cac","datavalue":{"value":{"entity-type":"item","numeric-id":295905,"id":"Q295905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145958$5AD3FD59-B60F-4614-8D62-11402A5B0301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6967f98f19dec55995777fa5d94d36443cf7a608","datavalue":{"value":{"entity-type":"item","numeric-id":2133927,"id":"Q2133927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145958$23EC9F7B-CF05-4A1F-BC55-6B7736F088B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"838f0bffe5edcc0163bfa2ea0f32f7e1732a31fa","datavalue":{"value":{"entity-type":"item","numeric-id":432758,"id":"Q432758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145958$C8988BFF-92FF-40E0-88C8-4061B09F6326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aebaf485d21d0daa2aee049d81471e99fc05c8b","datavalue":{"value":{"entity-type":"item","numeric-id":246421,"id":"Q246421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145958$DF4D89D8-C7A7-42DA-98F7-11AF12DB1C1E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5c2fd61b631b217ce1b421e47f06970ac5b6a883","datavalue":{"value":{"entity-type":"item","numeric-id":5145943,"id":"Q5145943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145958$C555BEB8-13EB-43ED-B65B-9E8004B4489B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e53f0ceda72590e448029088434c5467f2bd48af","datavalue":{"value":{"time":"+2021-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145958$FB6BFB16-88A8-4AB3-B80F-08A08F40016C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d1012af4ad3607b92c28f64de833b1d4809dfc3","datavalue":{"value":"https://arxiv.org/abs/2002.03626","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145958$68F73681-75E0-4576-A6EC-23CDA0619E47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145958$DD422A12-667A-4275-A0DE-5B5A73C4CBBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf8b7e50f4d87b312738167ad8b0528637380d4b","datavalue":{"value":"7300057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145958$AC56B1A6-33F3-43CD-877A-97ABEAE815C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d49243ad863b975751454c540af103e07a4318b","datavalue":{"value":"automated proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145958$0DC7B477-DFF0-4F25-9A9B-8ADA3C2A67B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145958$D6970D3D-912E-4A78-93BF-4B3C79223849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a80d7da4dd4fee663f753b1d5ca399f2f575ecd","datavalue":{"value":"noncommutative polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145958$5E5E0792-E1B1-4F90-AA36-33B7A1DF5D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a68d49a74554a913125637adc518ca2d662ccf67","datavalue":{"value":"quiver representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145958$F432AF9D-1FBD-4E22-912E-115DAB24229C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145958$F0D8DB23-DD3D-4977-A550-B5D8EAAC85A2","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":"Q5145958$3F38C96A-5DAE-47C0-BCD7-3E69385BB888","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96849d0e6a6d54d7a1257d22d355d7484936bdb3","datavalue":{"value":"W4287869403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145958$C417BDD2-7A94-4CFF-8E70-24516EACD239","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c31817114bb4d31567bbae011e2767cd82a95a40","datavalue":{"value":"Q131130169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145958$E46AB0D3-0C42-48F1-9F09-993C18F90FEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145958","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145958"}}}}}