{"entities":{"Q2470056":{"pageid":2480799,"ns":120,"title":"Item:Q2470056","lastrevid":73464258,"modified":"2026-04-14T16:05:50Z","type":"item","id":"Q2470056","labels":{"en":{"language":"en","value":"Are Buchberger's criteria necessary for the chain condition?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5234735"}},"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":"Q2470056$DE7ECE09-50C2-4114-A539-3D763371BED4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ad3408444b20135efb2e3f4a59dbe0137155479","datavalue":{"value":{"text":"Are Buchberger's criteria necessary for the chain condition?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2470056$19CB27B9-BDCB-473A-AD0C-9859F946DCBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cece83272de33b9556ee6d0fe9583efbb911eff","datavalue":{"value":"1134.13023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2470056$A1945267-A28D-4CD0-8E6F-E09BEE5E98F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8940a924cc70434cc44db4ccfd35fe33b3c08aaf","datavalue":{"value":{"entity-type":"item","numeric-id":171462,"id":"Q171462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470056$412C76B7-2629-4A0C-AAEE-2B9C0EB9C690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9fbaa56e9ce073a4821e17410c169b1159c6ec8","datavalue":{"value":{"entity-type":"item","numeric-id":512376,"id":"Q512376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470056$B537F7CD-B224-4C4D-A5C1-A75772CC247D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470056$F6FBB8B5-FD75-400B-8253-4B27EB08A6A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf852432f5714adc69a421a63db1515995b6e335","datavalue":{"value":{"time":"+2008-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2470056$39731747-F1B5-4824-952C-DCDE5F94A83B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cf3aa19cdb6c9c1fdd5d82e52c83e2b3d6eee1d9","datavalue":{"value":"Buchberger's algorithm for Gr\u00f6bner basis is an fundamental tool in symbolic computation. It essentially carries out several S-polynomial reductions. Buchberger himself showed that, in some instances, one can skip the S-polynomial reductions. Skipping S-polynomial reductions is possible when the leading coefficient of the polynomial satisfy certain conditions, called Buchberger's criteria.  In this paper, the authors study the converse of this result. More precisely, after rephrasing the condition skipping S-polynomial reduction is terms of a chain condition, the result of Buchberger may stated as: Buchberger's criteria imply the chain condition. They show that if there are least four polynomials, then Buchberger's criteria and the chain condition are equivalent. If there are exactly three polynomials, they show that the chain condition is not necessary.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2470056$DFE4995F-A42A-478E-A9A1-295C64D411B7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2fbaabd45ced54cadc0390bc9cd343b83bec0729","datavalue":{"value":{"entity-type":"item","numeric-id":307804,"id":"Q307804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470056$B6C06F8B-E96B-4A91-9E06-38A641F64572","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2470056$ED65684B-B348-4858-AB0D-CC000BE737D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2470056$67CCA588-0FAB-4966-B278-A858A31BBC7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7cd631482095d3ef3d8733f09d547e8b7463155","datavalue":{"value":"5234735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2470056$6E2881B9-9F56-4E04-B4EF-9F7581D76E48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2470056$39B91734-BCD2-44C6-AD2A-53DD1D3D4114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c8b9f55cd66ee29e35a3542a015edb14e59ef0d","datavalue":{"value":"S-polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q2470056$41F7A89B-9A79-4EB0-A29F-3A9CFCFE21EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f74af6ec2ffe5c3168718d06609e5066b23cc0c","datavalue":{"value":"Buchberger's criteria","type":"string"},"datatype":"string"},"type":"statement","id":"Q2470056$E27993DB-4599-4A7F-93F8-D2220913D5D1","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":"Q2470056$6834E7EC-A065-44E8-BA48-B5C2CCB4BA3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ddf9f53670297092bd53ad6cd45d678b6c177a3","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2007.02.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2470056$F899DED2-E9C7-4DC3-BB72-910BE9B4305A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7c65037ccf36b0645a2e575e30c568f0c1b753b","datavalue":{"value":"W2137064811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2470056$A0FCE318-0330-4C4B-9356-EB52950F224A","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":"Q2470056$7876FC5A-45AE-4BD4-A2E8-1C14689253E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb52b96c4c974f9d9523f367ef64dded6d05761","datavalue":{"value":{"entity-type":"item","numeric-id":4693774,"id":"Q4693774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470056$9AECF617-D4ED-4FBE-B0D3-CBD6E3792D2D","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":"Q2470056$D23C2B06-15F9-4B16-B569-21E244C5CD1D","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":"Q2470056$114A325D-037B-4B96-B284-488E98D5013F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ff57ef70bd9e86c9b7017e46b8cd84cb7965f4","datavalue":{"value":{"entity-type":"item","numeric-id":3714165,"id":"Q3714165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470056$E483D3CF-4BF2-4035-8E79-4E8E96111F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b2564f2de038eaae41b4e18ce98a3de7b6dc27","datavalue":{"value":{"entity-type":"item","numeric-id":4790472,"id":"Q4790472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470056$2E507C48-C825-435E-B344-A84F24415551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a83ae4bdcbf88d884848b045ee581bd9d3f72122","datavalue":{"value":{"entity-type":"item","numeric-id":4209232,"id":"Q4209232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470056$2317C4A0-5EAB-445A-8F5D-045391C83DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7344d447c8baf7fe37b3e8f86e574a7932a6da89","datavalue":{"value":{"entity-type":"item","numeric-id":4382669,"id":"Q4382669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470056$509536A3-801C-4483-A2B9-427A955A605C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbae617fb6e166742561c17d105ae1ea0ce6a7f9","datavalue":{"value":{"entity-type":"item","numeric-id":1121950,"id":"Q1121950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470056$E1DD0CFF-3166-40A3-902B-9014B258CA6E","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":"Q2470056$78DF2267-32DB-45C8-810E-94CA39EA05A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"010c86aedda87f4cd342f6def058a93c5b0c193c","datavalue":{"value":"10.1016/J.JSC.2007.02.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2470056$07891D91-01C2-485F-8F30-2EB4F4A5051F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9e64d238e7398ff99ff4d3847c170a80297e5d","datavalue":{"value":{"entity-type":"item","numeric-id":3091993,"id":"Q3091993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2acf580073f6f4dcbfc23a01d81a3a888416c54","datavalue":{"value":{"amount":"+0.8402923941612244","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":"Q2470056$40491881-0A36-452D-A58D-C98BC16D92C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c76e49d90ca6f515bde13c029747845065e7933d","datavalue":{"value":{"entity-type":"item","numeric-id":2853970,"id":"Q2853970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c76eda6ded8d99656e027c60db968c59aadd97fe","datavalue":{"value":{"amount":"+0.796761155128479","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":"Q2470056$58EF5E05-79A0-4FF4-A3B9-CEFD3B47B960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e09361f28762dac2397207912248288fc8a0ac0","datavalue":{"value":{"entity-type":"item","numeric-id":5115842,"id":"Q5115842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2bf77e35a3859036f03ec636c9aa3d704959502","datavalue":{"value":{"amount":"+0.7784813046455383","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":"Q2470056$7F08EF65-3569-4583-9E42-99FB76E5C919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f138d769a43657cf810650b0cd407280eedf2cf","datavalue":{"value":{"entity-type":"item","numeric-id":4234258,"id":"Q4234258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06ed921ca6ccfa139d4b317e3e0d0a2a62f8d8f2","datavalue":{"value":{"amount":"+0.7730157971382141","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":"Q2470056$B1B33AAE-F125-4308-A2F7-FD4C38D11659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c0ac3a5acf9ad2a59b1389a66dfee137e24976d","datavalue":{"value":{"entity-type":"item","numeric-id":909718,"id":"Q909718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06ed921ca6ccfa139d4b317e3e0d0a2a62f8d8f2","datavalue":{"value":{"amount":"+0.7730157971382141","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":"Q2470056$7504B84B-405C-4A3A-A5CC-6B58AB6909C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Are Buchberger's criteria necessary for the chain condition?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Are_Buchberger%27s_criteria_necessary_for_the_chain_condition%3F"}}}}}