{"entities":{"Q2028994":{"pageid":2039736,"ns":120,"title":"Item:Q2028994","lastrevid":73752672,"modified":"2026-04-14T17:08:53Z","type":"item","id":"Q2028994","labels":{"en":{"language":"en","value":"A generic and executable formalization of signature-based Gr\u00f6bner basis algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7354265"}},"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":"Q2028994$D13D0C88-F710-4CDA-8CD1-CDF7F3CE627D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc46fae7e9cae94c2c774a14e55037b7fb2e2565","datavalue":{"value":{"text":"A generic and executable formalization of signature-based Gr\u00f6bner basis algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2028994$8328E434-60A2-4FD9-A174-3B25297ADCF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f91fb768621526e259f6867fc761f560dd342c7","datavalue":{"value":"1467.13050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2028994$F2B505B1-1DA8-4C4F-8645-EC773126205B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89aeebbd519907b23fa0a230e61b08e676dd99f3","datavalue":{"value":{"entity-type":"item","numeric-id":1798966,"id":"Q1798966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2028994$C953AB65-282B-41F4-887B-D310970FD3FA","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":"Q2028994$8A2CC2F7-42D9-4540-8E13-1BD4879501B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb748296bee5990a1a4663876270be07aac2894b","datavalue":{"value":{"time":"+2021-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2028994$F41D0A69-2420-43FC-A28B-FDC7AA3A5E45","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"801b68e20e6fde190838e552667f531fcafb9461","datavalue":{"value":"https://arxiv.org/abs/2012.02239","type":"string"},"datatype":"url"},"type":"statement","id":"Q2028994$B553A22E-B27B-4A23-B23A-70FEFC996226","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f7a542167a0e0d5991f99ada839f76a8b586c0bf","datavalue":{"value":"The article describes a formalization of signature-based algorithms [\\textit{C. Eder} and \\textit{J.-C. Faug\u00e8re}, J. Symb. Comput. 80, Part 3, 719--784 (2017; Zbl 1412.68306)] to compute Gr\u00f6bner bases for the proof assistant Isabelle, ``a framework for implementing different object logics, such as first-order logic or higher-order logic, in one single system,'' using Isabelle/HOL, ``a concrete object [higher-order predicate] logic implemented in Isabelle'' [\\textit{T. Nipkow} et al., Isabelle/HOL. A proof assistant for higher-order logic. Berlin: Springer (2002; Zbl 0994.68131)]. Isabelle includes a capability to generate code that effectively computes Gr\u00f6bner bases, though the resulting code is (unsurprisingly) slower than existing implementations. As the author reports, this seems to be the first formalization of signature-based computation in any proof assistant.  The formalization has shown that an algorithm to compute a generic formalization called \\textit{rewrite bases} terminates correctly for all inputs, and for certain inputs avoids all zero reductions. It allows for arbitrary term- and rewrite-orders. Correctness depends on certain details that implementations typically follow, such as selecting for processing the signature-pair with minimal signature.  The article attempts to be self-contained, and includes an overview of the Isabelle/HOL proof assistant. However, it omits many mathematical details for the sake of brevity, and recommends that readers not already familiar with the topic refer to the 2017 survey by Eder and Faug\u00e8re cited in this review's first sentence.  The article is a relatively straightforward read. The introduction explains the structure of the exposition, and much of the article consists simply of reviewing definitions and theorems from Eder and Faug\u00e8re, then explaining how they are ``translated'' into Isabelle's language. A link is provided to the code, which includes a proof outline, a proof document (243 pages!), and Theories used in the proof. The conclusion points the reader to related work, both in Isabelle and other proof assistants, and outlines possibilities for future work.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2028994$6A5FB336-4641-425B-BC88-2920800850D0","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":"Q2028994$F9B53FCD-7CDE-4570-AA2F-7B92DA78CB12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2028994$1ED2A91F-35CE-4FCF-8802-F6B8526503AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2028994$4DFDE225-A4B6-4E5F-BC29-274269A2F5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2028994$95322ED6-3468-4244-993D-D581C593A58E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f932e6a0d97c361d40b3f0a8f4176e3c25785fe4","datavalue":{"value":"7354265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2028994$CDF273C6-759A-4FC3-A8B4-21B02FC0BA10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q2028994$A5EEEC39-DA5E-4302-8333-C2FDA66EA81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"783e623dd5e268aa4411cfda34b497a533d05a59","datavalue":{"value":"signature-based algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2028994$9A439DB0-48AF-47E2-B7CF-2FDC7DA988B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2028994$BD77B9BF-2273-48AB-8653-8C1CF42F45E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2028994$1BFFADB2-FC18-4EC4-90E6-C3C64BB3C4A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"24d007517bcbbd01c053fb8d8f3d99df55047829","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2028994$100CCE9C-BA49-4E90-BA72-4EFC1D46A5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb32397b1095265031d4ab0bf41b38c7753dd5fc","datavalue":{"value":{"entity-type":"item","numeric-id":3062061,"id":"Q3062061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2028994$DFF5E9F6-A8BE-4C97-B4F6-868CF616DCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5552c73af9ffa4d08773105bfa675feb6642eb2e","datavalue":{"value":{"entity-type":"item","numeric-id":3453119,"id":"Q3453119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2028994$AD8EBEDB-43EA-492A-B07D-85111E1B09D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2028994$049A85EC-0130-4577-8A92-3F89F724CEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48933c0d362727730cc1905c68ff87e3a22216cf","datavalue":{"value":{"entity-type":"item","numeric-id":2457345,"id":"Q2457345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2028994$41FF6F09-2227-43CB-B75F-9E657D1487D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e18fa15bf263a19b23697794f7b1453caff81f","datavalue":{"value":{"entity-type":"item","numeric-id":3021905,"id":"Q3021905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2028994$E5DED801-7A76-4244-B8D3-FAD44F2B6625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf2e2915ee525715586105eb9b7b6f7c6c8c666","datavalue":{"value":{"entity-type":"item","numeric-id":5195272,"id":"Q5195272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2028994$A57C0A9F-E9DE-4D78-9DB1-68661CA9E5B3","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":"Q2028994$3E07A68E-1810-4682-AF96-A0030DADF4C5","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":"Q2028994$7A2DDAD3-AC86-4421-BFC8-356A6D2C1833","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":"Q2028994$765205CC-C2B1-4EAE-AB69-5B3FB9378BB0","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":"Q2028994$7D75FB75-BFB2-4415-98C9-6978C2F1060F","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":"Q2028994$BBBE5792-EC12-4384-A96F-DE1B4D88F926","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":"Q2028994$8DE6ECB2-7A2E-4066-B263-BF9AEC5335F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0d795517e293a55fbffeee6d84c637293c8bf8","datavalue":{"value":{"entity-type":"item","numeric-id":5327339,"id":"Q5327339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2028994$708ADF88-1013-4FD3-BE00-5947E543D3E6","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":"Q2028994$5033FC24-0033-4225-91E8-80F18A95C6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d6342a996d59d1731843ca11571bd35be890046","datavalue":{"value":{"entity-type":"item","numeric-id":1798967,"id":"Q1798967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2028994$7BF7607E-F07D-454A-9145-6DF56CEFC187","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":"Q2028994$B326E1AA-A714-4533-9C12-C1BB90258983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2028994$734B8602-7B7C-4A5B-855A-1B5510E54D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2028994$6E3D7ABA-1238-4984-A388-24939EAF9473","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":"Q2028994$5BC356A3-A617-4AC6-8F21-56A25C8C2DDF","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":"Q2028994$B30AF46D-C15C-4782-BB5F-A73932086E6C","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":"Q2028994$1F6910A6-CD58-4DE0-A645-9B4DD41FD1AF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2028994$DF270A32-F024-42AE-8266-C1AEB3483077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2028994$E72D597A-2D07-4899-A019-22521200CA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2028994$98D0505E-273C-48A9-80B1-81D9768E9134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2028994$EEB54179-E293-4F9E-9C22-C62109760146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2028994$3919E7D1-BFB9-44DC-A690-B616E9DAD3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2028994$9981631D-FFCE-4EB0-AED0-5915C472483B","rank":"normal"},{"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":"Q2028994$7DA20F9B-7F14-4DFE-90AD-C333A7FB34C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2028994$F27A88E8-F3E2-4445-A57C-444736FD2B49","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":"Q2028994$57935160-F922-45E8-AA71-7008EF4A8E34","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21f487aed0d7adb4564755b4f872e1c98d28afa8","datavalue":{"value":"W3113373060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2028994$A6903C13-6D58-4890-B23C-3BAD078B0A92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcd7f0325c2f0859410c5a6ed538848841b90cd2","datavalue":{"value":"10.1016/J.JSC.2020.12.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2028994$045D43C2-F18C-4716-A69E-418FD0B55BB1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95abb6469afc8d880f03764fc22c99f814d78278","datavalue":{"value":{"entity-type":"item","numeric-id":1798967,"id":"Q1798967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea94c00a0b91c34ca2f61aad653261bf4c9a6557","datavalue":{"value":{"amount":"+0.8680029511451721","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":"Q2028994$0D4BC331-3214-4916-AC02-F3AD0B1F9CB2","rank":"normal"},{"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":"53af8921a97d7ee6611866bec3417e55756ef368","datavalue":{"value":{"amount":"+0.8321734070777893","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":"Q2028994$BB4100DB-FF49-4A36-911A-3E96AF7D0E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bc953dd1614a07144d617fb2b8a68487cd9ef5d","datavalue":{"value":{"entity-type":"item","numeric-id":5464700,"id":"Q5464700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5cd60b78e43a17f92a302df0d4f0d03f516aafd","datavalue":{"value":{"amount":"+0.8048059940338135","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":"Q2028994$CC30AE18-3324-4A18-A035-2422FD5ADC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf98a15ea8a53104bfce491f6d7b9acd0cbbc8fa","datavalue":{"value":{"entity-type":"item","numeric-id":2287906,"id":"Q2287906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b392cb8cff1a900c671cfb40271835a771e09892","datavalue":{"value":{"amount":"+0.7995765805244446","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":"Q2028994$9FA7910D-901C-43D0-A346-46C19B2E21EF","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":"290e8cbf1e4f8b1608828eafd5447bc089069a16","datavalue":{"value":{"amount":"+0.7994288802146912","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":"Q2028994$3F7B7073-9AC6-49E8-96A7-5BB2FE16E4D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A generic and executable formalization of signature-based Gr\u00f6bner basis algorithms","badges":[]}}}}}