{"entities":{"Q365812":{"pageid":367579,"ns":120,"title":"Item:Q365812","lastrevid":61278807,"modified":"2026-04-10T22:19:58Z","type":"item","id":"Q365812","labels":{"en":{"language":"en","value":"A new proof for the correctness of the F5 algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6207049"}},"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":"Q365812$DE52026E-A264-439D-9C51-6B0E3ED4930B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e787c52f3c7abea962ebe3c13f281a3c8962004","datavalue":{"value":{"text":"A new proof for the correctness of the F5 algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q365812$2DA00624-7DEA-447C-8645-099327E39246","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d99ccacc50e8bdffd2025153637cfe6fd7d2e8f","datavalue":{"value":"1286.13026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q365812$EFA3EE11-CD1E-464F-A1F6-333A7C9C141C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"394e19da42dd7ab336207071aa9aaab498241766","datavalue":{"value":{"entity-type":"item","numeric-id":301015,"id":"Q301015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q365812$2280B9A3-9005-4F0D-B7F8-6F962576B405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2827f69f6a53ca24980e284b4b44ab25eb588340","datavalue":{"value":{"entity-type":"item","numeric-id":1895165,"id":"Q1895165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q365812$C858960A-93C3-4A0B-9126-39E007763BCE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d3b847c961e3eda70796335b98f1157bcb2f59c2","datavalue":{"value":{"entity-type":"item","numeric-id":283041,"id":"Q283041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q365812$9FD826D7-0FBB-4336-B262-3DE0E5D7CE45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e8c017497806797f217f1d658e3d224a2498206","datavalue":{"value":{"time":"+2013-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q365812$F80FC38D-D3A6-4D5D-9BEC-56559161F79B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1263e13ad527f0658f4460a981223b556d924e4c","datavalue":{"value":"This paper is devoted to the proof of the correctness of the F5 algorithm for computing Gr\u00f6bner bases proposed in [\\textit{J.-C. Faug\u00e8re}, Proceedings of the 2002 international symposium on symbolic and algebraic computation, Lille, France, July 07--10, 2002. New York, NY: ACM Press. 75--83 (2002; Zbl 1072.68664)]. (The work by J.-C. Faug\u00e8re does not contain a rigorous proof of the correctness of the algorithm.) The paper under review presents an algorithm F5B, which is an equivalent version of F5, and gives a complete proof the correctness of F5B.  The structure of the paper is as follows. The first part (section 2) introduces the concepts of \\(S\\)-pairs and \\(S\\)-polynomials of labeled polynomials, as well as the notions of F5-divisibility, F5-rewritability, and F5-reduction of labeled polynomials. Using these concepts, the authors simplify algorithm F5 ``in Buchberger style'' and obtain its equivalent version F5B. Then the authors prove some results on labeled polynomials (section 3) and use them to provide a complete proof of algorithm F5B (section 4). The last part of the work introduces variants of the F5 algorithm where the results of the paper (mainly, the results on the F5-reduction) allow one to reject almost all redundant \\(S\\)-pairs in the Gr\u00f6bner basis computation process.","type":"string"},"datatype":"string"},"type":"statement","id":"Q365812$AC974322-85CA-4A08-81D0-B5652F4C573B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"100aaa2fd0f9708702c5bfbb00416f92df66e458","datavalue":{"value":{"entity-type":"item","numeric-id":233260,"id":"Q233260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q365812$AC41C89D-7501-452D-AD49-756952F1B177","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q365812$EA262807-D7B4-4FAB-BA01-270E2A959EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6c4b44681f7a1707f0cf17256dc3be888b8d7656","datavalue":{"value":"13B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q365812$A4EC9038-D12C-4049-B8C7-6B915C3D7CDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"662a902f7c12bfedbfc5994f8b1247bbe1282603","datavalue":{"value":"6207049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q365812$2EC4E9AE-BF62-49E5-BF33-6AA215A8B0DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q365812$1E99BEDF-756D-48DF-980F-B75A89F0D0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33e81abcf8ab96f738fe03ec5202c188b2ef0e5d","datavalue":{"value":"F5","type":"string"},"datatype":"string"},"type":"statement","id":"Q365812$658A5B1A-6584-4E54-97BA-DF5E759F9465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71436cc9f207c3d368149d210ed5225c65e620dc","datavalue":{"value":"F5B","type":"string"},"datatype":"string"},"type":"statement","id":"Q365812$ACBEEA62-EA72-4225-9DF3-D6BEDE22FAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b570847c2c2462c7fbc6a62bfed0ba1906e4c85f","datavalue":{"value":"correctness of F5","type":"string"},"datatype":"string"},"type":"statement","id":"Q365812$F656FC41-0956-4D05-BAFC-0D5673F371CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c33c80d4ffb4b0274add5cdc17eb6f9cd162125","datavalue":{"value":"F5-reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q365812$E2E9FAA7-B519-4FDB-811B-98AF175FBE96","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":"Q365812$4D7D3990-C6FC-4F33-8B7B-764D34B1DABD","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":"Q365812$A0EA6ED3-C6FF-4783-9E01-AB6F65CAB31F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f41e88836f82d98cdafbea7d828c8fa9ff532f8e","datavalue":{"value":"https://doi.org/10.1007/s11425-012-4480-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q365812$E4C8E482-5582-4A0F-B7C8-DF85D83F31CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81fbfcd20663fb4ce506394d35a2c6e495063a41","datavalue":{"value":"W2259972220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q365812$9FB5329C-F252-45E5-9AB9-638C3F43DD57","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae01856e8f81dae11b22511a6c4f023ee520bacb","datavalue":{"value":{"entity-type":"item","numeric-id":5254191,"id":"Q5254191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q365812$2C913762-C79A-4FF8-8449-BF083A014BF5","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":"Q365812$FC0833E4-8B8A-46DD-B5FD-D6A684A58FC6","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":"Q365812$3CB46BA3-4CFB-4BAC-B54C-A9AB6479393A","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":"Q365812$5C92CD29-143B-45A3-B5D3-ECC3243A4D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ac6b144f712f043908b6c956dd120a81fcbc00f","datavalue":{"value":{"entity-type":"item","numeric-id":4237370,"id":"Q4237370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q365812$16788810-7B00-403B-BA4A-12EC863D47AB","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":"Q365812$A8C1BA97-E904-48B1-9E9B-1563A2DCFD63","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":"Q365812$57CEC4A5-8DD3-45DD-8BE0-68C78A3EDF32","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":"Q365812$4C72CE9D-34C5-4D0C-A74F-9E63B45EE452","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":"Q365812$C4219C5D-47F8-4FB0-A418-0188D3F09528","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":"Q365812$0A4A72BC-3186-41B5-A110-8CCBE46A3634","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":"Q365812$52330488-5695-47FE-A993-FFC18BA4E512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12be8ef76a5329d6ad848462b029fac71bcfcbb5","datavalue":{"value":{"entity-type":"item","numeric-id":607057,"id":"Q607057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q365812$7EA41470-0E22-42AA-B0D3-DE5D8F4D48AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b39e4578c7484bdb81de3234837b3ae698fb5a09","datavalue":{"value":{"entity-type":"item","numeric-id":3325833,"id":"Q3325833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q365812$010F2721-A8CB-48FC-A83E-B7E712FAD703","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":"Q365812$A77C731B-A265-42FA-AF73-72D7D1B376A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe9fae13ad2a8edc270ea0262225e68fd7aa1eb4","datavalue":{"value":{"entity-type":"item","numeric-id":3571263,"id":"Q3571263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q365812$12202C94-1ABD-4A0C-8823-ECD7B021B227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e8c3e77fbbd3df072b7563ffd89a09bf86e8371","datavalue":{"value":{"entity-type":"item","numeric-id":5188247,"id":"Q5188247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q365812$5F2AB176-F8FD-4C76-8DCE-46E6F100380B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"957292f777b36f625cc116682b4d144807604d39","datavalue":{"value":{"entity-type":"item","numeric-id":301017,"id":"Q301017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q365812$9DA16E48-362E-4CB8-A351-302185FC903F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf5878909414cbb31b1263290e31bbe40a715e8b","datavalue":{"value":{"entity-type":"item","numeric-id":5244556,"id":"Q5244556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q365812$88D02738-770F-45D1-821A-C06E13604D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7de80849a1947b5dbf6271f3483cc05ff838962","datavalue":{"value":{"entity-type":"item","numeric-id":1956953,"id":"Q1956953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q365812$B0655618-52F9-46DD-97B0-62D16556BE0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0cf0f2bbe37e88624ae93fc3356bdaa131a504ee","datavalue":{"value":"10.1007/S11425-012-4480-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q365812$F5B273CB-FEB1-469B-8404-92692C8B4C79","rank":"normal"}],"P1643":[{"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":"b3e18c609625c5c74aadc40ad91f7c1334a2c5c4","datavalue":{"value":{"amount":"+0.918391","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":"Q365812$5E939F22-FF66-405F-B26F-C8E087F336B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bb86fa0d07ac9ffed84db21505f8c3243cc6357","datavalue":{"value":{"entity-type":"item","numeric-id":301017,"id":"Q301017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6762439b2a5e1d93beabf30a2347f7793d7559aa","datavalue":{"value":{"amount":"+0.9116521","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":"Q365812$61B18BEC-47E7-4100-AFD6-704F78DEBA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3111634b2fe9cda0de6ce66e5971ad21f9730883","datavalue":{"value":{"entity-type":"item","numeric-id":5175285,"id":"Q5175285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa2a23f90de9449b76f18f81d6f2348a5ca9b15b","datavalue":{"value":{"amount":"+0.8722393","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":"Q365812$902F5428-ADF1-4DFA-B089-E34001216DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d575bdb1ac5ef6de3e889b2ea0a48edc09cde3e","datavalue":{"value":{"entity-type":"item","numeric-id":1956953,"id":"Q1956953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c4690effb60c0e396e5069e7acfdd4fc4d4fc1e","datavalue":{"value":{"amount":"+0.86705506","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":"Q365812$BA41AF4E-653D-496B-8290-BCD095667B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6fe3b7e054239877925381dffc73a1f2ad6c815","datavalue":{"value":{"entity-type":"item","numeric-id":2946515,"id":"Q2946515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3345b0870835e8d499cbde263a19c0a32ee317d8","datavalue":{"value":{"amount":"+0.8639212","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":"Q365812$F5D429EF-5BEE-4321-9FB1-FFAEDA25989F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c242b230d1f596c12b0933571ac3c62f5a55ff00","datavalue":{"value":{"entity-type":"item","numeric-id":2017770,"id":"Q2017770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b18ae3f2ee4de4cd3cca250bec4c7e3dabc220d0","datavalue":{"value":{"amount":"+0.861385","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":"Q365812$360FEC04-854E-4543-B22B-CE37176F00AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf627c2e18760a3e1d65d6e1cfb276f72b8110c0","datavalue":{"value":{"entity-type":"item","numeric-id":607065,"id":"Q607065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1d13ffd406766e17478caacf2923329c51850e1","datavalue":{"value":{"amount":"+0.8579702","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":"Q365812$9436B022-0577-4083-8D92-81F24F11C81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28c9e508febd4706f29ab62826e86aa790cf76b5","datavalue":{"value":{"entity-type":"item","numeric-id":4660688,"id":"Q4660688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ee964b54850fe88672e8cdb46dc9588a688da50","datavalue":{"value":{"amount":"+0.8561071","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":"Q365812$22A50019-A07A-47E8-8872-DC3D9F00DA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fd67099de76136dbbcb65fd3a53632a3738eb6c","datavalue":{"value":{"entity-type":"item","numeric-id":2275900,"id":"Q2275900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f59e9ccae4fcc65e1ce0ffd11fef1edc7ed1d80b","datavalue":{"value":{"amount":"+0.84542406","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":"Q365812$AAF2E0FA-1030-4022-AAE6-456413F18EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbc5b09ab9e266825e2e50df1f7e630a6d8bb243","datavalue":{"value":{"entity-type":"item","numeric-id":782709,"id":"Q782709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd91bb7405323e4093711d16013fb55668ae29f","datavalue":{"value":{"amount":"+0.8445264","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":"Q365812$2E95E63B-AE32-4983-AF96-59DD7FDC7617","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new proof for the correctness of the F5 algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_proof_for_the_correctness_of_the_F5_algorithm"}}}}}