{"entities":{"Q974391":{"pageid":976239,"ns":120,"title":"Item:Q974391","lastrevid":65698602,"modified":"2026-04-12T04:33:25Z","type":"item","id":"Q974391","labels":{"en":{"language":"en","value":"Composition-diamond lemma for tensor product of free algebras."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5716399"}},"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":"Q974391$3FA7F067-7488-41DC-BA08-8F3C7E1704E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0633a550992e481586f60eb51aadfb0d45a7de33","datavalue":{"value":{"text":"Composition-diamond lemma for tensor product of free algebras.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q974391$A98BA406-707D-4980-AE94-35A08FC4F601","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7503f7a5e98e0b4afcbb9c014111367d5d2c9e2","datavalue":{"value":"1198.16022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974391$83054FD2-530D-4589-B334-AB6A9F3F1705","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c73dfb6eeb3815dbef9571e905f4eef1a9d4c04e","datavalue":{"value":{"entity-type":"item","numeric-id":172571,"id":"Q172571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$314A6496-C96F-4150-B2B3-C6EA0B4E8D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20c3e56eba8e19cd302514423309ff87e5c8ae3e","datavalue":{"value":{"entity-type":"item","numeric-id":657975,"id":"Q657975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$702DF5AB-228C-4C25-9A89-C28635B21E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e518eabfe49fae334aa490f5abf2bb613b59262","datavalue":{"value":{"entity-type":"item","numeric-id":987702,"id":"Q987702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$DABF8833-F418-40F8-94B9-547ACA1A13DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$15C50D22-41EE-46BB-8974-18AA4BE8CE0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d839b5eef1bcdf95ed84bc93ea6b8a9df9f4c28","datavalue":{"value":{"time":"+2010-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q974391$DEF75AF1-AACF-4B95-AB71-F7B17CCABDB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c4af83f150cb45592770e0fd1bc4d05dd0bc142","datavalue":{"value":"https://arxiv.org/abs/0804.2115","type":"string"},"datatype":"url"},"type":"statement","id":"Q974391$7011BF23-2722-4CE4-817F-43C26CBE5681","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f2d94481e88e93a707acea354f15a6faf2df5f96","datavalue":{"value":"A. I. Shirshov established the theory of one-relator Lie algebras. This theory is in full analogy by statements but not by method with Magnus's theory of one-relator groups. He provided the algorithmic decidality of the word problem for any one-relator Lie algebra.   In this paper, the authors establish a Composition-Diamond lemma for the tensor product of two free algebras over a field. Some applications are given in Section 4. As an application, they construct a Gr\u00f6bner-Shirshov basis in \\(k\\langle X\\rangle\\otimes k\\langle Y\\rangle\\) by lifting a given Gr\u00f6bner-Shirshov basis in the tensor product \\(k[X]\\otimes k\\langle Y\\rangle\\), in which \\(k[X]\\) is the polynomial algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q974391$73E327C6-187B-4E45-A9E8-101B565C3DC1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6495ace93e19d7d8e908f5bc9658b1a2b4911dba","datavalue":{"value":{"entity-type":"item","numeric-id":587859,"id":"Q587859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$93933B88-3581-4C03-B5E6-8C335EF337D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9869d6727426fa925115c8692e8e1b59eda63fae","datavalue":{"value":"16S10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974391$346FB37E-2892-4CD9-B96E-26A1A1C7A1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974391$0AB1C288-B97D-4BE8-8F85-E2AA1EFEC555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdc86b12961d2cdd08e1c70489b829d401a5a704","datavalue":{"value":"16S15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974391$BC331665-5630-4E73-B6E3-6C54E85CE752","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0dcb3dcf162ceca34d7e11a56ba3c801a4a7d314","datavalue":{"value":"5716399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974391$D8C68E47-29C9-4F6F-A48E-68439F90BBED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"661c4dff24c64863a7f35b892c3b1f6aa152dcc2","datavalue":{"value":"Gr\u00f6bner-Shirshov bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q974391$8F685BC3-C917-4097-9CB0-6AF499EF774E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q974391$1C44AD39-4787-419D-802D-43140D86B7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3574e4c5e05e36831a4e9f10562ec2417ebcaaa","datavalue":{"value":"tensor products","type":"string"},"datatype":"string"},"type":"statement","id":"Q974391$550CCC35-BC47-4D01-9673-4F2C91B556C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2157b73def31f37a018efe23ba33e9eaf88ddaca","datavalue":{"value":"algorithmic decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q974391$A9D8285F-7ED2-4F65-8CB7-9D2B2914F868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"128e71e7805f70abe993ee80953dc8d6727fd435","datavalue":{"value":"generators and relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q974391$82D58BF3-99D5-46BB-8244-77787A8E51A2","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":"Q974391$47F47765-0E99-4955-9DCA-4EE0502C2135","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f411ec05d3b6872c34530c71467ed7e16c901fe","datavalue":{"value":"W2017816393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974391$19765271-47A1-40CC-9722-0D8A0D8AB314","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0fff162e2daac991a46edd38e8cc2b9b2dc0956d","datavalue":{"value":"Q124816682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974391$F6AEF349-8F4A-4433-99A3-D6948C3E250D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"292875cc990f8e39d566b0d0a4c597a7d5513762","datavalue":{"value":{"entity-type":"item","numeric-id":1225669,"id":"Q1225669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$154C125C-76E6-4BAA-B91F-6F4ADB652733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c25b4b400e08196903f8ca8fcbc3c1429127a73","datavalue":{"value":{"entity-type":"item","numeric-id":5665187,"id":"Q5665187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$9D33BFCF-3DFC-4B59-9CE7-FFB737792CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95dd90369a4f7d2912537f29eba7fe2c0cc22674","datavalue":{"value":{"entity-type":"item","numeric-id":4119334,"id":"Q4119334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$4BF22629-7802-469E-B125-2D8558333730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3488db3e733831fff6c69d51632cdfd3204dda04","datavalue":{"value":{"entity-type":"item","numeric-id":3620743,"id":"Q3620743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$609F77F3-E94A-4112-B3DF-0ADBACC5BA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12af981129e9db4efbdbff1e274369debc42ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3578452,"id":"Q3578452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$6CDE8232-F6BF-4142-8518-19AFE0E69EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d96630e2c1533d5d1b7e8d76deaee7314a35da7","datavalue":{"value":{"entity-type":"item","numeric-id":1035672,"id":"Q1035672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$D62FA844-4AEB-42A8-B92A-71C06A18C520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7213bde07143b129779ad645db9a24bfa89f4068","datavalue":{"value":{"entity-type":"item","numeric-id":1427371,"id":"Q1427371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$EAEF76A6-7B4A-4FA7-8207-C1185326A6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01dae1bc76721ec1026ab176dcd724af05ba6abc","datavalue":{"value":{"entity-type":"item","numeric-id":3079226,"id":"Q3079226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$D5F16127-E134-4F40-B124-1F7244EB10EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0d60285ae04471993c98b6fd4f9789d850bb6c","datavalue":{"value":{"entity-type":"item","numeric-id":2902935,"id":"Q2902935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$94EE40E8-2667-4403-ADAE-34F7FE9CFAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d87900de754ad2a3f7d55a3f915d6adeffa7325","datavalue":{"value":{"entity-type":"item","numeric-id":2544438,"id":"Q2544438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$97210612-18CF-417C-82E1-6E19E169D15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19dd70519f78ba65ea6f06a30f31d8541f6d7d0","datavalue":{"value":{"entity-type":"item","numeric-id":3073449,"id":"Q3073449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$300991E9-DA1B-4BFD-9182-3308E1D0E89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7281bb9926dfb572e529dfe17c7d646afc774921","datavalue":{"value":{"entity-type":"item","numeric-id":2882973,"id":"Q2882973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$8E9EFF50-F075-4B91-BD0E-B205F5EE0867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"284c6ec54e850e1af06348b6938daee9f90a6826","datavalue":{"value":{"entity-type":"item","numeric-id":4383047,"id":"Q4383047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$8B1433BF-7528-4A0D-B7A6-4AC6F418B870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99dedf79f82c50748eba9c53a37efa84d9e7d96c","datavalue":{"value":{"entity-type":"item","numeric-id":4290180,"id":"Q4290180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$F19BC8AB-3D05-46F7-849F-C3E3F5462465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59aa42ac56aa45dec0439c53d55143b19a866924","datavalue":{"value":{"entity-type":"item","numeric-id":2626871,"id":"Q2626871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$6E2AB448-667D-4C28-8DA5-987EAC8FD87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81a955cdb076745440a8882048639cda278a8db6","datavalue":{"value":{"entity-type":"item","numeric-id":4955478,"id":"Q4955478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$6EC89E37-FDF8-4FBA-A9B6-EB073401BCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a30cafb50d3f65dfc7b44d9cb7e50a16d76fa62f","datavalue":{"value":{"entity-type":"item","numeric-id":2370291,"id":"Q2370291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$C7FE7A82-D3EB-43B2-BD7E-D6AADE631E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d3cbffed8a301b84b1253490d8c6b17bf2e322","datavalue":{"value":{"entity-type":"item","numeric-id":4145882,"id":"Q4145882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$CFD8AC78-4054-4F62-821F-AFDF37847FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b20cfc018ab6e5a56059403136b49d5687c82de8","datavalue":{"value":{"entity-type":"item","numeric-id":4135772,"id":"Q4135772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$7250E983-8BDB-4435-BC12-8E19B59EB80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7197ca73b2f33f327d7e3d3730235a33eaa46d73","datavalue":{"value":{"entity-type":"item","numeric-id":917666,"id":"Q917666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$3A8B685B-6511-416D-88DE-2CD427B2B13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fc8234d2fdcae18c6424f618531a9737dcd62ea","datavalue":{"value":{"entity-type":"item","numeric-id":4471571,"id":"Q4471571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$E62054C9-842B-43A8-992F-AFFE69526140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6179a2930df8edfa963bd4241ec4d0deebce724","datavalue":{"value":{"entity-type":"item","numeric-id":5930919,"id":"Q5930919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$D5815E89-0B69-4729-9B9F-B8744CBCEDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$D5EE2AEC-AFB4-4D5F-BD2A-C6A3BD7ECAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c400cdcc446cfd4a75ec0b2bed7326a40c80324","datavalue":{"value":{"entity-type":"item","numeric-id":3248045,"id":"Q3248045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$76C84BB4-AC08-4919-B57E-2BCC9D848AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"627e3f618e4831f377af2fa074bb38364d5d4c35","datavalue":{"value":{"entity-type":"item","numeric-id":5519136,"id":"Q5519136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$E177ED6E-42C7-4CA9-8E2D-1AC88A1E3B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e6f1635de1c50f7635edd367227424996a68218","datavalue":{"value":{"entity-type":"item","numeric-id":4810156,"id":"Q4810156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$7F6B9CBF-8E05-43E6-89FD-CEABBC53D185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d69724259473207576127708aac1d919f2b76a1","datavalue":{"value":{"entity-type":"item","numeric-id":915470,"id":"Q915470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$36E1D64E-7AFE-47E6-AB55-3F03CE4A5CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c324feea4d7b83834d421770e6f7684dd27fe68","datavalue":{"value":{"entity-type":"item","numeric-id":5797093,"id":"Q5797093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974391$D7AAD102-C947-4D4E-83BD-F1F9DC469F74","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a04eaffdd979ad089ea2f93f142ed9fc48d1b3f","datavalue":{"value":"10.1016/J.JALGEBRA.2010.02.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974391$73AC38D2-E7B1-4F83-9DD6-F6D88792881B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b75935dddfa30a2201769ef718aab132dff17673","datavalue":{"value":{"entity-type":"item","numeric-id":4621413,"id":"Q4621413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b7d181be09b3e06299f044d6e176fe190517067","datavalue":{"value":{"amount":"+0.8966436982154846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q974391$B2641798-5A0D-4A01-BFD9-126E5BA4F0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03392a37247b24bbb0de0e1c88fa861a350d4c3a","datavalue":{"value":{"entity-type":"item","numeric-id":4923201,"id":"Q4923201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4c057253d60b455cbd79e23ded93bd2f906441b","datavalue":{"value":{"amount":"+0.8225730061531067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q974391$D013FC22-5D79-4803-AE81-6B6DC9F7B696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c97220bc4f7fd7c963d907da73c941df12414cb5","datavalue":{"value":{"entity-type":"item","numeric-id":3073449,"id":"Q3073449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8be6f8f3c1fb968c4c9d46c8be90fdc5c635df40","datavalue":{"value":{"amount":"+0.8061560988426208","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q974391$101F106E-4237-4820-A694-DFCE0436E06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ad555784156770c4fb6fca7d3ccbc72553f4202","datavalue":{"value":{"entity-type":"item","numeric-id":3562515,"id":"Q3562515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb97b945cb68e7bbaa7f47a63f29585c692addae","datavalue":{"value":{"amount":"+0.7982012033462524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q974391$F82493DA-CEB6-4311-926E-D72CBB4DC78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de7bedcadb14f6626ada063e313a1595aef9f768","datavalue":{"value":{"entity-type":"item","numeric-id":3175966,"id":"Q3175966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d21460dbafb76007d7730a3af88bc0eac3173da","datavalue":{"value":{"amount":"+0.7900128364562988","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q974391$74891580-CE59-43E7-89BF-39B6EEECC2D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Composition-diamond lemma for tensor product of free algebras.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Composition-diamond_lemma_for_tensor_product_of_free_algebras."}}}}}