{"entities":{"Q657976":{"pageid":659825,"ns":120,"title":"Item:Q657976","lastrevid":63382296,"modified":"2026-04-11T12:29:56Z","type":"item","id":"Q657976","labels":{"en":{"language":"en","value":"Gr\u00f6bner-Shirshov bases for Lie algebras over a commutative algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5996432"}},"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":"Q657976$7BE057CD-A4AB-45AF-A2C1-3E5174CD5B66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86052599f8ee4c39ff08d0c9328a6b8027a18d9d","datavalue":{"value":{"text":"Gr\u00f6bner-Shirshov bases for Lie algebras over a commutative algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q657976$B84E0A01-6DD9-4583-9752-290A850FA175","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55e0957babc72c193513876ee987cf9ed6dd5c72","datavalue":{"value":"1263.17003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657976$4FD80630-799C-47CF-ADB9-B39ADD2272B4","rank":"normal"}],"P16":[{"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":"Q657976$6F41FD6C-AE5F-4BF6-9472-C6A6E760834B","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":"Q657976$3D8A0902-D198-42DA-890E-0228AAEF2D3E","rank":"normal"},{"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":"Q657976$99F9B668-B64C-4F72-9D5C-6C34686B0158","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":"Q657976$F0FD7063-B572-4D67-B849-9CCCEE7FA739","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1317486f55173efc2e5fd098e48953bbc7093687","datavalue":{"value":{"time":"+2012-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q657976$239A1F55-6C65-4AFB-9565-0E29881DB944","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5cce632f8761a34a07b70ded9a364c33c2bb6029","datavalue":{"value":"https://arxiv.org/abs/1006.3217","type":"string"},"datatype":"url"},"type":"statement","id":"Q657976$A848AD5C-A71A-4698-A387-66D9617C69F3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4efc4aa3f6f32d8d7f6c9dd277b743cf2b598f99","datavalue":{"value":"Gr\u00f6bner bases and Gr\u00f6bner-Shirshov bases were invented independently by \\textit{A. I. Shirshov} [Sib. Mat. Zh. 3, 132--137 (1962; Zbl 0143.25602); Sib. Mat. Zh. 3, 292--296 (1962; Zbl 0104.26004)] for (commutative, anti-commutative) non-associative algebras, free Lie algebras and implicitly free associative algebras over a field, by \\textit{H. Hironaka} [ Ann. Math. (2) 79, 109--203, 205--326 (1964; Zbl 0122.38603)] for ideals of the power series algebras (both formal and convergent) and by \\textit{B. Buchberger} [Aequationes Math. 4, 374--383 (1970; Zbl 0212.06401), Thesis 1965, English translation in J. Symb. Comput. 41, No. 3-4, 475--511 (2006; Zbl 1158.01307)] for polynomial algebras over a field. Gr\u00f6bner bases and Gr\u00f6bner-Shirshov bases theories have been proved to be very useful in different branches of mathematics, including commutative algebra and combinatorial algebra.  Following P.M. Cohn, a Lie algebra \\(L\\) over a commutative algebra \\(K\\) is called special if \\(L\\) can be embedded into its universal enveloping associative algebra. Up to now, there were only two examples of non-special Lie algebra given by A. I. Shirshov (1953) and P. Cartier (1958). P. M. Cohn (1963) claimed that the Lie algebra \\(L_p=\\text{Lie}_{K}(x_1,x_2,x_3\\mid y_3x_3=y_2x_2+y_1x_1) \\), where \\(K={ k}[y_1,y_2,y_3\\mid y_i^p=0, 1\\leq i\\leq 3]\\) and \\(k\\) is a field of characteristic \\(p>0\\), is non-special, but he did not prove it.   In this paper authors establish Gr\u00f6bner-Shirshov bases theory for Lie algebras over polynomial algebras. It provides a Gr\u00f6bner-Shirshov bases theory for Lie algebras over a commutative algebra since each Lie algebra \\(L=\\text{Lie}_K(X|S)\\) over a commutative algebra \\(K\\), where \\(K=k[Y|R]\\), is isomorphic to \\(\\text{Lie}_{k[Y]}(X|S, Rx, x\\in X)\\) as \\(k[Y]\\)-algebras. The proofs of the main results in the paper are technical and interesting. As applications, they reprove that Shirshov's and Cartier's examples are non-special, prove that the Cohn's Lie algebra \\(L_p\\) is non-special when \\(p=2,3,5\\) and for any \\(p\\), an algorithm is given to check whether \\(L_p\\) is non-special, give some more examples of special Lie algebra, prove that the word problem of \\(\\text{Lie}_{K}(X|S)\\) is solvable for any commutative \\(k\\)-algebra \\(K\\) if \\(S\\) is a finite homogeneous subset of \\(\\text{Lie}_{k}(X)\\) and prove that every finitely or countably generated Lie \\(K\\)-algebra can be embedded into a two-generated Lie \\(K\\)-algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q657976$85DC5FE6-7EFC-45C0-B631-520333894FA4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"41d5080b110a72a40b3ec742f77ee8400a28de0a","datavalue":{"value":{"entity-type":"item","numeric-id":600363,"id":"Q600363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$BADA4429-AB71-4B2D-B243-8D0D15290561","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9d37d0ec6faeadeba5243ed8e8430225071da4b8","datavalue":{"value":"17B01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657976$57FAE523-B4AA-4EB9-9230-D256D00F4869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"175cccd39be2a6c182f279db94254cc4801f528d","datavalue":{"value":"16S30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657976$E1B3EE5A-2C93-48C6-8B7D-064E969C10E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdc86b12961d2cdd08e1c70489b829d401a5a704","datavalue":{"value":"16S15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657976$2B8872E2-710F-4D07-896B-364D7ADFDD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657976$CDD04A74-8CEA-42B5-84D7-867E9BCC7B9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05028ae1031beb95d4707561c70045b9dce3b7c1","datavalue":{"value":"5996432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657976$C19FB5DB-CD9F-4EAE-ADE6-2BD789E57C11","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"845ffe2018bbeccfa922881000ed58c72bcd9ee0","datavalue":{"value":"free Lie algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q657976$51073BEA-ABE9-4CB8-BCF5-3E62BE4903DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90375b071b5b097f1ea552fc00d79abbd9393834","datavalue":{"value":"Lyndon-Shirshov word","type":"string"},"datatype":"string"},"type":"statement","id":"Q657976$8F68154D-6C51-41FB-8AA8-12C4FD524D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97bfdb344d14d0291b1ac42ca53f21a72c05bedb","datavalue":{"value":"Gr\u00f6bner-Shirshov basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q657976$CB1AB2B4-63D0-405C-97BF-E27C62C436F7","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":"Q657976$5F4E5452-020B-4023-B7F6-9DFF44FDD5C8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"59240064923b2b16f6795744882c124b63247dc0","datavalue":{"value":"Q115351192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657976$0E462FFD-83CC-458B-8554-331E24338EE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10d58ae04d16c7c81259abcbd5e6b9ba8d3caedd","datavalue":{"value":"W2080098340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657976$F725A05E-627A-44B7-88A9-B96F1C63FC3D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de464f4aafb4e9508ba256e2980a33d9d5749fdf","datavalue":{"value":{"entity-type":"item","numeric-id":4305609,"id":"Q4305609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$43AF1914-90E0-4C0D-AC56-B032841577F6","rank":"normal"},{"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":"Q657976$861C7F2A-4318-476D-8C63-BBE9EFA9FF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ec1307822665e692082966ef73bc9ccff5aa816","datavalue":{"value":{"entity-type":"item","numeric-id":2645616,"id":"Q2645616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$F84FB21F-9AA1-4900-8B4B-235B8D8E7462","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":"Q657976$0DDC81BD-7315-45E3-A6C5-05E8B47F9E67","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":"Q657976$963A6EFB-75A6-4652-BF39-9F3FF9EC3135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70bf3ea8ee911c48fd664adc9b664297b5b9c18e","datavalue":{"value":{"entity-type":"item","numeric-id":935493,"id":"Q935493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$2FFF20E1-210C-44FC-9F66-598629C7E185","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":"Q657976$34188D89-461F-45CA-B65D-3FE80348ABEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"117ab04bb0116c189fc6fbdbcdbbaa6bf49b6479","datavalue":{"value":{"entity-type":"item","numeric-id":974391,"id":"Q974391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$A21E9586-3E68-4BF2-94A8-EB1CF5C0EE68","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":"Q657976$0053020E-CED4-4964-936D-EC4B65A2B535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"111203823dd9cfc548f7af0c49eac05578bcbc6a","datavalue":{"value":{"entity-type":"item","numeric-id":542177,"id":"Q542177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$0E1945F7-9CE0-4174-9EF2-017C36881E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4ed923915600b56d278286cf17d0cd79314572b","datavalue":{"value":{"entity-type":"item","numeric-id":2452665,"id":"Q2452665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$C3C7F287-2649-413D-89C4-8FC44C099219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5da40816fcf143b88ad5b0f230288e7897bd801","datavalue":{"value":{"entity-type":"item","numeric-id":3069779,"id":"Q3069779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$3A4E1D5B-D062-457F-80C4-337A1F666862","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":"Q657976$ACED9DC3-B1DC-4A4C-9AA3-976532AD231C","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":"Q657976$BE0E4EA8-F3D8-49E7-BA41-3151A939018C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22e01c7871bae1b7407c724675faa0974146a2a4","datavalue":{"value":{"entity-type":"item","numeric-id":4761797,"id":"Q4761797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$1368EBA6-DDFA-4E5D-B74F-3836AF376227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a4a7b7475fe592fe2d4ca2e3b3693ac6cf2d702","datavalue":{"value":{"entity-type":"item","numeric-id":1780416,"id":"Q1780416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$107084C9-8089-46A9-8A93-B31C3D79FFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b12cfe6514a67b2c85d31616bcdc449484b01051","datavalue":{"value":{"entity-type":"item","numeric-id":2462029,"id":"Q2462029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$C7B52B70-9258-4BBE-A0C9-9BDF975E7F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54b2639d6772def22d4272e7071568a0f39312a1","datavalue":{"value":{"entity-type":"item","numeric-id":4300256,"id":"Q4300256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$ED5FE6AC-8881-41AB-A6B5-8B208D6901BA","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":"Q657976$9476F661-F6A9-4A26-B74B-8C8B371AF757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1047ff1a1c14e5bbc9913a7a397ad9ddee337554","datavalue":{"value":{"entity-type":"item","numeric-id":3952057,"id":"Q3952057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$9B0D0B2E-5472-4195-82F6-6767E0FB1CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6638576146949e050869fbd017d1f5e9c8d5e17b","datavalue":{"value":{"entity-type":"item","numeric-id":4377762,"id":"Q4377762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$A2597EF9-AC6E-4D43-A614-5905B4A90924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4020e3cdbbf5372b319b83d5007967f9a8485f","datavalue":{"value":{"entity-type":"item","numeric-id":3249814,"id":"Q3249814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$3B67CDE2-CEEF-4318-8E02-FC29EF1C4A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b0dbb5b4b782cb58543c829657352a03e93901b","datavalue":{"value":{"entity-type":"item","numeric-id":5895760,"id":"Q5895760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$128D65F5-810E-4449-9A22-81FF10A7A666","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":"Q657976$5DD55C9C-D60A-4FB1-B9E2-B899440E245A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"109167be50e7517e289901540f3347be666e012f","datavalue":{"value":{"entity-type":"item","numeric-id":717290,"id":"Q717290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$914F1E08-95B9-4EEE-9120-E1AB132D94D8","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":"Q657976$3B2BEF2F-2A21-4BCF-814B-68B854666630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"381640c073f907e06906bf7066310030c578942b","datavalue":{"value":{"entity-type":"item","numeric-id":5294721,"id":"Q5294721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$9D2465B0-9E78-45EA-B682-A25AA204C5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"244147b1075e269779135e9a5ef50b24ebedf703","datavalue":{"value":{"entity-type":"item","numeric-id":3847444,"id":"Q3847444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$7579D8DD-2997-462A-BD17-DCCC01C1DB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f863f32c36afa2b13a43ef628834333147d69c7c","datavalue":{"value":{"entity-type":"item","numeric-id":4023642,"id":"Q4023642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$B82826E5-FB7B-4E05-A9C2-21674DA45DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4ee6ec554fb5440819f6e4b3b4a8d4cca5d12a","datavalue":{"value":{"entity-type":"item","numeric-id":4317713,"id":"Q4317713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$E74E28FE-B4FE-4DA6-96AA-5F89E1BFC2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc7f1bb006e47f7cd712088c1af8fa1d8366ea4f","datavalue":{"value":{"entity-type":"item","numeric-id":2571083,"id":"Q2571083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$134958CB-71AD-4380-BD58-4E9655EB23F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73434860213d1f66a046c275f235b56814289464","datavalue":{"value":{"entity-type":"item","numeric-id":2536656,"id":"Q2536656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$CAEEF0D2-3B00-4864-9377-F51659E56D7B","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":"Q657976$1E1B7025-2F43-4126-8AF9-A0B54E323EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06dd7a9e45c2734356ba449827e03a0d54d02b28","datavalue":{"value":{"entity-type":"item","numeric-id":1588383,"id":"Q1588383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$C594848A-FCA2-4469-8F73-4182F3DC8BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f217c6538c005b572c14a63967b75a8342642da","datavalue":{"value":{"entity-type":"item","numeric-id":5809234,"id":"Q5809234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$7BEB1D5D-D852-49A3-85CD-D3F7BD352545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4502c7b9886253b0f61169b970975cacd29a5f9f","datavalue":{"value":{"entity-type":"item","numeric-id":5850571,"id":"Q5850571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$6642185D-4481-4DC9-9405-E02655F8AC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9f68d91365993aaa2606a826b6e2ae3f7b55c3b","datavalue":{"value":{"entity-type":"item","numeric-id":5831360,"id":"Q5831360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$8E730CDE-B604-463C-A854-54376364662E","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":"Q657976$2457517E-2BFE-4757-868C-79FC1C921298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ade0935ed281bb51d62d41951e5f402df065574","datavalue":{"value":{"entity-type":"item","numeric-id":4027047,"id":"Q4027047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$298C6692-3873-446C-A3E5-DC5FC6D1FB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d4903bc98fb53cb76e96f883f8b5bc5cb1c4c7","datavalue":{"value":{"entity-type":"item","numeric-id":1126540,"id":"Q1126540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$9BFA7F1C-832C-485E-961A-C4EA22577450","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":"Q657976$D7E86A2A-F635-4C3C-8D5A-5B1B7B7384DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027cb497d2d2a269798db7b4f87af8e1adc034de","datavalue":{"value":{"entity-type":"item","numeric-id":5682928,"id":"Q5682928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$E5232880-9BAE-46EA-9CF2-972FA9FB4717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca9bfd9278fe94406b0eb6d8a19d3c3d83dd58f","datavalue":{"value":{"entity-type":"item","numeric-id":3134850,"id":"Q3134850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$E1CC7E6D-95EF-4480-9C35-87705D7639E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c04224dee9fc09fb08cd8c8a2b07a34106c0454","datavalue":{"value":{"entity-type":"item","numeric-id":1245278,"id":"Q1245278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$1116C975-D2B1-4A69-A1A9-1DB206736ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d2058c5164e10074f016879194a5c10d41f3107","datavalue":{"value":{"entity-type":"item","numeric-id":5821488,"id":"Q5821488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$B1E729FF-3028-4E59-A88D-A4A4E0BB50FF","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":"Q657976$68F5228D-7002-4C60-B153-C0549335621C","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":"Q657976$CDDD78BF-BC92-4D03-8D8B-189AF905ADC1","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":"Q657976$7014C707-2D50-4BE4-8D64-8FF646B895DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b742148900482b1b92a3d19352e4baabc645466e","datavalue":{"value":{"entity-type":"item","numeric-id":5522249,"id":"Q5522249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$36018F19-DA4E-4D6D-BA0E-9E3EF4CA7ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c75f838f15b1f593413041496a0692daa4dd1f5","datavalue":{"value":{"entity-type":"item","numeric-id":952893,"id":"Q952893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$B1997263-A5CD-42B4-9802-A43EF3944270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c78758589b9e138f155b9b13eeae184db8fa243a","datavalue":{"value":{"entity-type":"item","numeric-id":4853962,"id":"Q4853962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$83836C4A-0F9F-494F-943A-CE729E7C38B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3858289a6a5ccfa12fe3bfe8c28e37abd1e93d13","datavalue":{"value":{"entity-type":"item","numeric-id":1252929,"id":"Q1252929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657976$DA82DE7D-BA9F-4B35-B4CD-1B1B0F40FB4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc63e1dcd2e782773c091764387e1b7aac96fc3e","datavalue":{"value":"10.1016/J.JALGEBRA.2011.04.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657976$3CA44308-9C7C-4D2E-A457-CEA29D6D741E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf01ac9eb7792471b7dbd749b4afbd3bcb59701d","datavalue":{"value":{"entity-type":"item","numeric-id":4220120,"id":"Q4220120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a805e5a9445c08c21950c7d1f9ad2b94bed408d3","datavalue":{"value":{"amount":"+0.81584233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657976$7081214A-6212-4E2F-BC4E-95FD325C801A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90da1847bf3cd7bd14dedeb4f0b9dfe3819dd0fb","datavalue":{"value":{"entity-type":"item","numeric-id":1780416,"id":"Q1780416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e94a7fcc9351523bb1515cd794f36fada905bc9a","datavalue":{"value":{"amount":"+0.7836673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657976$147DA1F3-2CE1-4E0A-9BC8-9D8CCD5650F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f290c9f0310d961574669e7f97246d3ead448674","datavalue":{"value":{"entity-type":"item","numeric-id":1848510,"id":"Q1848510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4355a315b28144d87462b617c4b731a6e7dcab62","datavalue":{"value":{"amount":"+0.7822621","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657976$0FE09206-47DD-4849-961E-0D347A1D79C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4568045afed7908a42ce7389f3c12419ab602cd","datavalue":{"value":{"entity-type":"item","numeric-id":1305008,"id":"Q1305008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a10e62a654cdb2fe9c387a5e7f195c6f59c9730","datavalue":{"value":{"amount":"+0.77261645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657976$DF7257B3-72A8-4D3E-B29D-8756F64AE37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9cb15ae1d2cfa3f92a1f1b6b26ecf9c7f7af1d","datavalue":{"value":{"entity-type":"item","numeric-id":935493,"id":"Q935493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66b095156043071758f657e077b683ae1bb2df5f","datavalue":{"value":{"amount":"+0.7667987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657976$09198693-9580-4919-8CD2-1DEF50DE83F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82da9d2628f059e8334232c075161b29626c313a","datavalue":{"value":{"entity-type":"item","numeric-id":5137271,"id":"Q5137271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78367a071a2fea700bd2f7f0c48c50f0e3f3ae3c","datavalue":{"value":{"amount":"+0.7660931","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657976$97E637D5-731C-4EE9-9D0E-93CC5BE13C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e99397a4c1bf24c0d935812d469755b9575361d","datavalue":{"value":{"entity-type":"item","numeric-id":4611333,"id":"Q4611333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5305477f6eadd700f5be1b9a4d6bd50165755caa","datavalue":{"value":{"amount":"+0.7643656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657976$A2E305B4-238C-45F9-8D82-9A2DAE94FAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03e77a207b83507f0a4ceb492c70322bb8815b3e","datavalue":{"value":{"entity-type":"item","numeric-id":4625999,"id":"Q4625999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06843bfac7e76626f9739a047829f3c2e9d3de34","datavalue":{"value":{"amount":"+0.7631485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657976$EA5D1915-C341-4AF9-B098-02252008F37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01c0693357805c83cca331c4a75585964f1a69fc","datavalue":{"value":{"entity-type":"item","numeric-id":4495676,"id":"Q4495676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7499e2aad51ad450bbc3ccfc229713b224ad95af","datavalue":{"value":{"amount":"+0.7624086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657976$DDC81C7D-263B-4083-980F-C71359370596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6259feecca21b6e394edc07d6937f1106c195a85","datavalue":{"value":{"entity-type":"item","numeric-id":5172855,"id":"Q5172855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a48472d7ea208562d66705fa4d2ff2dfe6287509","datavalue":{"value":{"amount":"+0.75790447","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657976$64D971E5-751F-43B4-95C9-2ECC058B691F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gr\u00f6bner-Shirshov bases for Lie algebras over a commutative algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Gr%C3%B6bner-Shirshov_bases_for_Lie_algebras_over_a_commutative_algebra"}}}}}