{"entities":{"Q1798967":{"pageid":1809709,"ns":120,"title":"Item:Q1798967","lastrevid":73871256,"modified":"2026-04-14T17:34:04Z","type":"item","id":"Q1798967","labels":{"en":{"language":"en","value":"Gr\u00f6bner bases of modules and Faug\u00e8re's \\(F_4\\) algorithm in Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6957968"}},"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":"Q1798967$212DA707-618C-4569-B09E-E20E6B44598E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f68049e813c3dba518e622d790347d3375e5fb8e","datavalue":{"value":{"text":"Gr\u00f6bner bases of modules and Faug\u00e8re's \\(F_4\\) algorithm in Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1798967$0B238556-9CD9-4DCC-A688-6F1C599A1816","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"249db5900824adaca197184a7379ed2170a7ff7f","datavalue":{"value":"1417.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798967$2520BC12-2067-4545-A6AB-5B8EEDA46ECE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21cdc92bc21d99c597434c4b641df82697ee0abf","datavalue":{"value":"10.1007/978-3-319-96812-4_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798967$6A23DD12-92A4-4979-836F-0EC5E6E4AEDF","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":"Q1798967$D8CC3CE9-EB1E-44B6-BC39-E8C4B2578116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17d65eeff0d2590123536a72ddfe1192cfd3f1df","datavalue":{"value":{"entity-type":"item","numeric-id":1663217,"id":"Q1663217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798967$E23DCBBB-44DE-47DD-AFF2-4DAC95AF4267","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1798967$EE318A66-3F3F-4AA0-8E31-6C2ABED31A32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"130cf25946ea761fadda4b0f8fe5b331feb110b0","datavalue":{"value":"https://arxiv.org/abs/1805.00304","type":"string"},"datatype":"url"},"type":"statement","id":"Q1798967$B73772A5-38A9-439E-B4AA-7C0CFBF909D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798967$AA03249D-A57C-420E-8736-E7112CB3BEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798967$3C4EC855-BCF7-410B-A9E5-E1D2FD585653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798967$6D8AC746-4F93-451E-A5A2-43B8DE36EEFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7fba3044125ab680cb36c7857472a80e741ed11","datavalue":{"value":"6957968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798967$EE1EE7EE-436C-4017-89D5-32C0D7BBE530","rank":"normal"}],"P1463":[{"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":"Q1798967$86EB0B06-7D45-409E-BED0-DA354D75B844","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":"Q1798967$AE023D67-3215-4D07-9E7B-CF5F751F1C67","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":"Q1798967$04119B2D-BA51-4483-868E-1405F700E655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0a382af77801aa2f8b3905db4f339cb92a9d0ea2","datavalue":{"value":{"entity-type":"item","numeric-id":43935,"id":"Q43935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798967$009CE8B5-82CC-4861-BA5A-B02DF5A2B851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8fd3bfbf7655edff6abc561ee4d2d5e824839679","datavalue":{"value":{"entity-type":"item","numeric-id":43936,"id":"Q43936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798967$3B67B7D7-354E-4EDB-8774-AFAA790824B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4f487fed6583b4c0321784ae741ae91bc7526d48","datavalue":{"value":{"entity-type":"item","numeric-id":43937,"id":"Q43937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798967$8109CC6D-CC50-42A8-A3FF-F221BF149572","rank":"normal"},{"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":"Q1798967$D3F13E55-11BD-4D2E-902F-4AA4E20E74AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aac7c058832ef463bb967772839a9a3a80997b0","datavalue":{"value":{"entity-type":"item","numeric-id":40280,"id":"Q40280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798967$DE7398B5-B22F-41E0-9EDE-4B57002430E8","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":"Q1798967$C03DAA6A-58F0-43C3-A358-CE16C199F715","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1ebf4eea7d77b406854577d7befa30bddd2235d","datavalue":{"value":"W2810124406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798967$5D3F66FC-10AE-4FFA-B032-D0AEB43DFC82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa9ee5dacc74280ba2bf4401bdf617ae6b1186a7","datavalue":{"value":{"entity-type":"item","numeric-id":2028994,"id":"Q2028994"},"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":"Q1798967$242A592E-A50E-4D71-98D6-06F663A6B37B","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":"9bfbaa3a45912528be4df48c34f40307dc545cba","datavalue":{"value":{"amount":"+0.8553442358970642","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":"Q1798967$8EB24074-B528-4CFF-8E6C-5212681C5755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10cecb197cba373237d74ec245fe75d5b1a83f2d","datavalue":{"value":{"entity-type":"item","numeric-id":2914734,"id":"Q2914734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46fcca64ef40eefcb8a3ee157f8008ccf53ecb63","datavalue":{"value":{"amount":"+0.8497360348701477","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":"Q1798967$2E3C1ED0-DD64-4B2F-9BAE-80DC75E13743","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":"92de014464a152f52b25340f282a5da22df52a35","datavalue":{"value":{"amount":"+0.8201941847801208","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":"Q1798967$14E0F115-5760-4D12-BB3E-387F105FB9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dea2c53e2bb63c490416a92bac123ede834fae8a","datavalue":{"value":{"entity-type":"item","numeric-id":1034553,"id":"Q1034553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac97888701106ac29eafe2f12481e5c40594d403","datavalue":{"value":{"amount":"+0.7719588875770569","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":"Q1798967$74D2062F-04B0-443B-BD8D-D48D7F1B9F16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gr\u00f6bner bases of modules and Faug\u00e8re's \\(F 4\\) algorithm in Isabelle/HOL","badges":[]}}}}}