{"entities":{"Q43935":{"pageid":43991,"ns":120,"title":"Item:Q43935","lastrevid":105429440,"modified":"2026-10-09T10:12:02Z","type":"item","id":"Q43935","labels":{"en":{"language":"en","value":"Groebner_Bases"}},"descriptions":{"en":{"language":"en","value":"AFP entry Groebner_Bases"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"48f3fee789de1af7e78214637ed2ed6d05ccb867","datavalue":{"value":"32224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43935$A7BD7F34-E8D8-4107-9F3F-62A7BCC44337","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":"Q43935$E342EB4C-591C-4282-B61C-EB9AA8FA3691","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"d22c31fe06611cd9ef427fafd72b46ed298a28f5","datavalue":{"value":"https://www.isa-afp.org/entries/Groebner_Bases.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43935$2AC65D20-B7C0-4192-BAFC-55D8A9B81C09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8befc1ffe367aef867e4dcd902eb59cbacd3a347","datavalue":{"value":"13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43935$20358A67-530A-4C47-BB39-E12ABBA4CF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43935$2835236A-D55C-49B8-A056-DBE8D132AFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43935$9440DE1C-BAA5-42EE-BFEF-FBEB2B5B87E1","rank":"normal"}],"P1458":[{"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":"Q43935$5CA82DED-1325-4337-B338-C8E95A86A09D","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":"Q43935$70BA9589-9CDC-4954-9F51-20950797A3CF","rank":"normal"},{"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":"Q43935$91B3565B-EDD0-43EA-98D8-1D96AAA4603F","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":"Q43935$1514FA40-573F-458B-A59A-D4F19B1E34D7","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":"Q43935$951ED4BA-B63C-4D61-BF33-1CEFFD122A16","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":"Q43935$1C81C6B5-4E4A-43F8-B519-E74618AAA45B","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":"Q43935$3F810045-BF08-4C53-8194-7BDA75DD54B3","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":"Q43935$34F4F77D-EEFF-4164-86BE-3C56B4EBA675","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":"Q43935$296802C9-1609-4978-A249-1A90E9662A33","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":"Q43935$8ACABE65-E9ED-4631-923F-E40A1D319321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"18e15e946a9b8db60c88d8c0a9a054a3d76ac633","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43935$6541CC98-3E4B-4AC0-8E1C-F4D7B9196B5D","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":"Q43935$CB380F28-3D46-4DDA-83C6-8BC3EA68E2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9f7773444cba07bf64d0a42509b5f6e8b2964659","datavalue":{"value":{"entity-type":"item","numeric-id":43939,"id":"Q43939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43935$3604DED8-A0AA-46E9-BD51-FFD20DF6B7B6","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":"Q43935$564DB89D-C390-4ED6-9985-5945AC067D9A","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":"Q43935$8F1A5683-5A3C-4AA4-8101-A52FEEF374BC","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":"Q43935$2A646B42-6D48-447E-93F3-88D1016BBFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2ded5a481ece08049848bd1edb3f9afa21f0df2f","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43935$8B3934DE-0027-4F87-A672-32145105A9FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f583fe9e4a742c79afb8422871ea055c1ec6f43","datavalue":{"value":"https://isa-afp.org/entries/Groebner_Bases.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43935$4C611D90-C6D4-4D55-999C-84A868316379","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"283f1bfcca6dad06181e4c5e3bf9d823639da8ad","datavalue":{"value":"Fabian Immler","type":"string"},"datatype":"string"},"type":"statement","id":"Q43935$F371841E-BDC4-49A5-9228-F86F5508D005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"93707b5709cca58e36d24916d591b3bc18446350","datavalue":{"value":"Alexander Maletzky","type":"string"},"datatype":"string"},"type":"statement","id":"Q43935$45DC3B4A-D066-44FD-A011-32335E28459F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7863b17134c72cf0d066ceda903db361421b4187","datavalue":{"value":"This formalization is concerned with the theory of Gr\u00f6bner bases in (commutative) multivariate polynomial rings over fields, originally developed by Buchberger in his 1965 PhD thesis. Apart from the statement and proof of the main theorem of the theory, the formalization also implements Buchberger's algorithm for actually computing Gr\u00f6bner bases as a tail-recursive function, thus allowing to effectively decide ideal membership in finitely generated polynomial ideals. Furthermore, all functions can be executed on a concrete representation of multivariate polynomials as association lists.","type":"string"},"datatype":"string"},"type":"statement","id":"Q43935$BCCF5531-DCE6-45D3-8186-EBFC206DBAAA","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":"Q43935$06F2DF79-B8A6-47B0-B3BC-CD8C2B4E84EC","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":"Q43935$14569752-3E65-410D-9197-924AABC3EF57","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":"Q43935$4C13487F-BEF4-46AE-A2D1-E5F8B92359EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7a76e3d93219f8f35922f7e651242be822568a","datavalue":{"value":{"entity-type":"item","numeric-id":3208084,"id":"Q3208084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43935$2F79F578-B5D0-4EB8-88DB-EA385EA5C6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4dda45e85bf031f029d03615e2dc4c2506ef8d","datavalue":{"value":{"entity-type":"item","numeric-id":4394946,"id":"Q4394946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43935$B06FB31C-5A4B-4855-86C1-D0FF85BC50AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54eee2313932f532ca016c516cb047dfc95351e0","datavalue":{"value":{"entity-type":"item","numeric-id":5428257,"id":"Q5428257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43935$0D26C2B8-51E6-4F14-AD0D-A0B77EC873EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"477fad7e9eb44ad8a11dffc84ce40c6dfab6c50e","datavalue":{"value":{"entity-type":"item","numeric-id":1295781,"id":"Q1295781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43935$87FE1603-9366-4BBE-BCAC-F66F78B793CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4582c5ecaa6154cdd34ec4458b7d628349fce71","datavalue":{"value":{"entity-type":"item","numeric-id":1012152,"id":"Q1012152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43935$E3D15B44-DD5B-43D1-B6CB-0D79FE4D0F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eeaa7dfd1d5aa46fe4ef30cb5d8e2f1a04648ae","datavalue":{"value":{"entity-type":"item","numeric-id":4507801,"id":"Q4507801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43935$BA0322F0-94E5-4DDB-9FDC-D4849D04392D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"879ff0fb88210b640562cf6d40b040cd31a37674","datavalue":{"value":{"entity-type":"item","numeric-id":2817288,"id":"Q2817288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43935$0224AA91-70E5-485C-B2FA-00E53CB5C4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0054f1bae41ce0c9465e89ccb545c5e6c23a5655","datavalue":{"value":{"entity-type":"item","numeric-id":1034553,"id":"Q1034553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43935$93570EA8-D960-4132-BD06-2D4A47842B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8b3b3f02a231ad62f03bd6202a3de0a5b762f86","datavalue":{"value":{"entity-type":"item","numeric-id":1341746,"id":"Q1341746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43935$0BEE838A-D011-4B5B-B2A6-A770EB64D728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04aaaa6c54da135216e6a5062ac0663af21a8a80","datavalue":{"value":{"entity-type":"item","numeric-id":5898527,"id":"Q5898527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43935$DB6DF01A-45BB-4C14-B9A4-811758004A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b04f8e06bc6d45cea746bdfc009dd75dad2987","datavalue":{"value":{"entity-type":"item","numeric-id":1595926,"id":"Q1595926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43935$42DEC6F7-C2A0-4612-B6A6-16B40C128888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e2d761ccb0b052ed932a9e25e1934d9433dace","datavalue":{"value":{"entity-type":"item","numeric-id":3745825,"id":"Q3745825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43935$154ED8D5-478C-4AFD-8F32-8DC010BA8A59","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"edaae9fe0e5779978f85e3c7bb7897012bfd4b62","datavalue":{"value":{"entity-type":"item","numeric-id":7361610,"id":"Q7361610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43935$CCB91A0D-C67D-41C8-A233-B77BC8089ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"67e8a5ea879a7dc06c8ce830c1b61b9bb35cc48f","datavalue":{"value":{"entity-type":"item","numeric-id":7361432,"id":"Q7361432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43935$354D0B16-4B6C-466A-8AA2-E9FC7F0D94A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"3083b28cc1bd9860f5bb551df5db6c97e7a4c0c4","datavalue":{"value":{"entity-type":"item","numeric-id":7361593,"id":"Q7361593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43935$357A86DF-AA83-4B29-8816-7282167B0D9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e456fdb4844415eea923a6e1b531b0c6eec91b1","datavalue":{"value":{"time":"+2016-05-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":"Q43935$4613554F-A2C8-480D-91DC-AD6FC1B20A00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7110fdddd6f8be297a565a67362a39566e2f9770","datavalue":{"value":{"text":"Gr\u00f6bner Bases Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q43935$0EF5B9D9-D0C6-48DA-9DE9-A94ACAA5BC4B","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":"Q43935$E870F322-A4EC-4F5A-8E95-B7E16AB14188","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"65292b3c42fa1bd5c21e4c91fe94fdc3f630f232","datavalue":{"value":{"entity-type":"item","numeric-id":7360821,"id":"Q7360821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43935$FA20A97B-3C7D-4FE4-9C8A-D38E8BB3C72D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Groebner Bases","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Groebner_Bases"}}}}}