{"entities":{"Q782709":{"pageid":784558,"ns":120,"title":"Item:Q782709","lastrevid":64380252,"modified":"2026-04-11T19:28:02Z","type":"item","id":"Q782709","labels":{"en":{"language":"en","value":"A signature-based algorithm for computing Gr\u00f6bner bases over principal ideal domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7225436"}},"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":"Q782709$313794E2-0925-41E4-AA8C-9B2FA5EB349E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11f45a996f93f77b6c09c42536bae6cbeff1d976","datavalue":{"value":{"text":"A signature-based algorithm for computing Gr\u00f6bner bases over principal ideal domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q782709$7A2F5423-E612-4034-8473-A584137A43AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39fda172f16db47965a84cc87039e4188426c98d","datavalue":{"value":"1454.13047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782709$D5CD973C-A49E-4F91-BFBE-D0B6F611B2AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0488287d9ea1bf283b8e5011c7ca985a212d02e5","datavalue":{"value":{"entity-type":"item","numeric-id":782708,"id":"Q782708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782709$B1456DD2-CB22-48A5-A288-4C8D2C893134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c8429069b2694c4b145e7db4acb8e09d4dae744","datavalue":{"value":{"entity-type":"item","numeric-id":247237,"id":"Q247237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782709$D319F5B3-06A1-4C5A-B18B-BE11D6405774","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5cf57799e8c41ecba181c21bc95047b71cb3443","datavalue":{"value":{"entity-type":"item","numeric-id":294368,"id":"Q294368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782709$B3982D47-236B-47E5-9F75-659B50976E25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"58e9ff54c53e038bdbd30b89f08edb61426e220d","datavalue":{"value":{"time":"+2020-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q782709$A1DB2A69-4F6E-4A3A-9F0E-D32CEB91A557","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe1f1b0429164124e2342f44a404b4c21612659a","datavalue":{"value":"https://arxiv.org/abs/1802.01388","type":"string"},"datatype":"url"},"type":"statement","id":"Q782709$4F737B02-4DA1-4FEA-9415-3411380F2512","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e3e7811528ea4f3dac05bb8565b4b8e6a949a4c8","datavalue":{"value":"[\\textit{J.-C. Faug\u00e8re}, in: Proceedings of the 2002 international symposium on symbolic and algebraic computation, ISSAC 2002, Lille, France, July 07--10, 2002. New York, NY: ACM Press. 75--83 (2002; Zbl 1072.68664)] introduced \\(F_5\\), the first signature-based algorithm to compute Gr\u00f6bner bases of ideals of polynomial rings over a field. The algorithm achieved fame in part for quickly computing Gr\u00f6bner bases that previously had been intractable, but even more appealing was its new criterion to detect a kind of useless computation called ``zero reduction''. Most Gr\u00f6bner basis algorithms until then detected only a small number of these reductions, with the notable exception of the syzygy-based algorithm that \\textit{H. M. M\u00f6ller} et al. described in [in: International symposium on Symbolic and algebraic computation 92. ISSAC 92. Berkeley, CA, USA, July 27--29, 1992. Baltimore, MD: ACM Press. 320--328 (1992; Zbl 0925.13010)]. By contrast, Faug\u00e8re proved that the \\(F_5\\) criterion detected all zero reductions if the input was a regular sequence, and was highly effective even when the input was not regular.  Since then, significant effort has gone into both understanding and generalizing the algorithm. This article by Francis and Verron focuses mainly on the second: extending signature-based algorithms to the ideal of a polynomial ring over a commutative integral domain. It re-presents M\u00f6ller's algorithm to compute a weak Gr\u00f6bner basis for an ideal in a polynomial ring over a Noetherian integral domain (Algorithm 1) and generalizes it to a new algorithm that applies signature-based criteria (Algorithm 3). The authors prove correctness and termination in the setting of principal ideal domains. They also introduce a distinction between ``singular'' and ``1-singular'' \\(\\mathfrak s\\)-reductions, which generalize a previous, related notion of ``signature-redundant'' polynomials. The authors pay careful attention to generalizing these ideas for the more general situation, and point out that the algorithm appears to extend to more general settings.     The article is clearly written and well organized. Two short, effective examples help illuminate some concepts for those less familiar with computation of Gr\u00f6bner bases outside a field. The authors have created a toy implementation in Magma, with the code publicly available on GitHub. The paper provides a hyperlink to this repository, and includes a direct link to a page that elaborates a fully computed example.","type":"string"},"datatype":"string"},"type":"statement","id":"Q782709$73C9F234-4D8F-4733-9D73-470FE9B4F9D6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cfa3b3ec20c558ff735a7086023bcd23dd16503d","datavalue":{"value":{"entity-type":"item","numeric-id":512376,"id":"Q512376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782709$6EBC1728-7CDF-439F-85ED-26CDA68B2637","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782709$1F66E245-9391-43E4-83E6-F0AE5E6FCADD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8b2b7cab47dbf6595cc163387f586690ba9117f","datavalue":{"value":"7225436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782709$50C317DE-F54B-413A-821A-04DFC12B5F2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q782709$A01D8D0D-9C1B-43ED-85C1-CEBD3928ECFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q782709$5E6DB7EA-333D-4876-B1AC-43CF4196ADAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"783e623dd5e268aa4411cfda34b497a533d05a59","datavalue":{"value":"signature-based algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q782709$DD2816B6-8264-4060-B6A0-7A2F17C64B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af7ab8e26994e454b0ace3dc8ec0bd60d8cbf13f","datavalue":{"value":"polynomials over rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q782709$D9D6B9A9-FAF3-4593-8B67-8F31C743D964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8029af78d3e101c24982978572f43382e11a2890","datavalue":{"value":"principal ideal domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q782709$E486182D-2C80-4544-A994-502BEC682570","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"62306d7c2342b11e3aca05e63d0f86e0f78995d7","datavalue":{"value":{"entity-type":"item","numeric-id":46744,"id":"Q46744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782709$33EE4054-5DD7-49C9-9495-56F265D9548B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4fe03e5b78d9974ebdfc0233dbd377f30d5d075f","datavalue":{"value":{"entity-type":"item","numeric-id":13295,"id":"Q13295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782709$48338CD3-2E4C-43A7-B13D-DA7EAD867BF9","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":"Q782709$42B6CBE5-3A49-4156-A9CB-3C0B7826C6F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c25ddc48e3a323c280bf312a556af6fa6523501","datavalue":{"value":"W2995980777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782709$0418A30E-AF37-48BD-8264-079CBF9E7522","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":"Q782709$DC6D3503-7A2E-4D4C-8401-E272E65F51EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe8a2f88ad5960a4d3b8d097154e4443592748ec","datavalue":{"value":{"entity-type":"item","numeric-id":2275900,"id":"Q2275900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782709$B5B24EB0-B0CD-41D3-9909-A444DC6FC60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c505b7fe66715ff1d350463dcb8b3065f75c5f74","datavalue":{"value":{"entity-type":"item","numeric-id":2343240,"id":"Q2343240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782709$CB0C53E6-6D0B-4F94-8CEE-8B716A0F8363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd0d318899f6d495f4481731f0306e3c8c43504b","datavalue":{"value":{"entity-type":"item","numeric-id":1369784,"id":"Q1369784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782709$546276E3-C5B7-41DF-9DAA-63EA8A6DCA89","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":"Q782709$4B4A3ADB-DED3-493B-9624-7D2AD8502043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25794a903427bfb8940a26f522558323b774bce9","datavalue":{"value":{"entity-type":"item","numeric-id":1711995,"id":"Q1711995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782709$BD5B53E2-02DD-48BD-A016-B5807FD28277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7037bea62b03b02093b9b48fe7dce09628670d5a","datavalue":{"value":{"entity-type":"item","numeric-id":607065,"id":"Q607065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782709$39A5D5F1-D015-4FD9-9FD3-D69F1C964A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b626f59bd8eeda740f785e4ba26c3566bcf9b6","datavalue":{"value":{"entity-type":"item","numeric-id":5254159,"id":"Q5254159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782709$E395D416-B2C4-41FD-90BE-8B6FB2858FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3aad0e3446f271846bcb9239e20f1ac02f4b31f","datavalue":{"value":{"entity-type":"item","numeric-id":5119933,"id":"Q5119933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782709$C50A79B1-6618-4E2D-B6ED-18C547F5B408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ee9f12c230f5d5c1a275eec4d611381485fc4e","datavalue":{"value":{"entity-type":"item","numeric-id":2963254,"id":"Q2963254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782709$F768D01B-E4D5-471F-B1B8-043D9FF8C97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43a68a509eadf6111b0e06ec4b721711237d6038","datavalue":{"value":{"entity-type":"item","numeric-id":4660688,"id":"Q4660688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782709$C4313703-3C63-4CE3-AF81-807F5345ED1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aadca39f699b99caf660058efe6012b2d06fe887","datavalue":{"value":{"entity-type":"item","numeric-id":4563584,"id":"Q4563584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782709$94459C24-F058-4163-A99F-655FA8D67094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b6d4fbabfa85170c6a6897ab0919170fbd0f9e","datavalue":{"value":{"entity-type":"item","numeric-id":2946515,"id":"Q2946515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782709$167D9316-D12F-4732-857B-B263AD6EC7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93c255e172ca1e076028fc2d3d4ba5a02e8ede4","datavalue":{"value":{"entity-type":"item","numeric-id":3450045,"id":"Q3450045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782709$F2BF8AED-F9CA-432B-9774-8546FEBB366F","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":"Q782709$BDC19E7D-2B40-4395-A641-7B6C4C5C2879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73ce955711ad357898f8c67700a184cbc7de1b6","datavalue":{"value":{"entity-type":"item","numeric-id":1111629,"id":"Q1111629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782709$8EF3D98B-53C3-41D5-858B-D5FCC975DFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36a5f72a596e5aee575db477b8de5cdb8b423672","datavalue":{"value":{"entity-type":"item","numeric-id":372163,"id":"Q372163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782709$48FB66C1-74EF-4969-8EE7-D88699F2604E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ec9ad39097fcfe79629626bc8fa039cd039701c","datavalue":{"value":{"entity-type":"item","numeric-id":5400779,"id":"Q5400779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782709$4319D41D-97F8-4E48-A6C6-58800D5A4AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff2b85ce7063035de01d46a42f6c99e090760e8","datavalue":{"value":{"entity-type":"item","numeric-id":909718,"id":"Q909718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782709$07474F36-7FD3-4792-B2E7-15C5264E6418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6bbb008a97901b6864246c34dae06398b9e67d5","datavalue":{"value":{"entity-type":"item","numeric-id":4234258,"id":"Q4234258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782709$E914A250-B3C2-41F2-8133-BC3E89F3D4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ae0e0fc3a4443f610daa0c89e842f7644a70385","datavalue":{"value":{"entity-type":"item","numeric-id":626887,"id":"Q626887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782709$F66A5976-AF3E-46D4-AAF5-1FD0A83C158B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"701c6fb4caba849ee8aebaaa704d19f00dc4d28d","datavalue":{"value":{"entity-type":"item","numeric-id":5244536,"id":"Q5244536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782709$02BF1DDA-B35F-4D98-B8BC-61FBBF908509","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b38f5da6262ffdbb6cae475df647bcd4b1b4fd28","datavalue":{"value":"10.1007/S11786-019-00432-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782709$BAAEB3E7-5B11-444C-9714-ECD3C1ADE9AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a16887afa03676ed16326952dc9de6490744715","datavalue":{"value":{"entity-type":"item","numeric-id":5254159,"id":"Q5254159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50aeedcfa65381406a7871dba4cc49febc92fd79","datavalue":{"value":{"amount":"+0.9521738","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":"Q782709$0E32757B-960D-47F8-912A-4FA7FADD6AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f3625692ef26ba91a2d5deedbdeed0f9fcb3d8e","datavalue":{"value":{"entity-type":"item","numeric-id":2341616,"id":"Q2341616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09d31899433fbac0d44cec477b48500e43183e29","datavalue":{"value":{"amount":"+0.94644797","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":"Q782709$7AA46E1A-D4AA-4DE6-942B-692977C7098F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"245ad01093a810c81a0f8d15493d523c86001bd6","datavalue":{"value":{"entity-type":"item","numeric-id":5244556,"id":"Q5244556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"918bb5c71d44572892debfeacdd26374080363db","datavalue":{"value":{"amount":"+0.9443029","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":"Q782709$C922916E-0D3B-4604-B239-220EF0BD1851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"051d272eaf8de2d3453af20dffd20ac7cb20d3bd","datavalue":{"value":{"entity-type":"item","numeric-id":1711995,"id":"Q1711995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fa56eca4cca8cddc51a30580845920ec80e2165","datavalue":{"value":{"amount":"+0.9390423","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":"Q782709$BC6FECBF-151A-436B-9C04-051D0951D993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9f91aac9bf72b6204deaed192dd208e2a222ce9","datavalue":{"value":{"entity-type":"item","numeric-id":5145956,"id":"Q5145956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a56d856d6a12824f0120496e8db564876fe956c","datavalue":{"value":{"amount":"+0.936485","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":"Q782709$4B01CA44-A12C-4EB9-B714-10441329B41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00182e9d70d12a9a6bd8b4058466b34393c26bc6","datavalue":{"value":{"entity-type":"item","numeric-id":5254191,"id":"Q5254191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"049d907ecfb4a23174d2f683083e9740f19a753a","datavalue":{"value":{"amount":"+0.92204666","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":"Q782709$3A5B9E7F-0ED8-4C0E-980F-AE4C9735F68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee2da31c9149217284712668dc28245f180dd07","datavalue":{"value":{"entity-type":"item","numeric-id":317652,"id":"Q317652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"461b6012ae0b457b76178389f5db3fa1a5ce5fd8","datavalue":{"value":{"amount":"+0.9216321","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":"Q782709$F5BD5088-A251-4182-AB3F-7CE404118569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e94706d37e98ee73d4cac80ffb2214bd099186","datavalue":{"value":{"entity-type":"item","numeric-id":5119933,"id":"Q5119933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1507617ed9c2b56e2f8769e0e4e90117ef279bca","datavalue":{"value":{"amount":"+0.9191002","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":"Q782709$442A82B6-D65A-4674-8FA3-D32E2A176545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c119c34c8b246badcb793a18485e7508d92fc8a8","datavalue":{"value":{"entity-type":"item","numeric-id":263239,"id":"Q263239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a0d112d6acf64611d131735ad9ed65c586586fd","datavalue":{"value":{"amount":"+0.91428995","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":"Q782709$5D137C7D-3C18-4108-AD67-99995722616A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"435d9c8139cb5b6ad9652fcef1e6a465db6d3636","datavalue":{"value":{"entity-type":"item","numeric-id":5060822,"id":"Q5060822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9582c7d9d8680bd14969fd5885b921c5d026d911","datavalue":{"value":{"amount":"+0.9063523","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":"Q782709$8E5103AA-629B-4E7A-9634-C9AF75DC2352","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782709$C95E9D7C-6F86-4C45-93B9-8E6BB54871F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A signature-based algorithm for computing Gr\u00f6bner bases over principal ideal domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_signature-based_algorithm_for_computing_Gr%C3%B6bner_bases_over_principal_ideal_domains"}}}}}