{"entities":{"Q2287906":{"pageid":2298649,"ns":120,"title":"Item:Q2287906","lastrevid":43829193,"modified":"2025-11-14T20:43:11Z","type":"item","id":"Q2287906","labels":{"en":{"language":"en","value":"Formalization of Dub\u00e9's degree bounds for Gr\u00f6bner bases in Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7154817"}},"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":"Q2287906$E236C79F-613A-4506-A8F3-658836B7A301","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0020425a0f37dce0c7ac44f7dc412ebd450d2d0","datavalue":{"value":{"text":"Formalization of Dub\u00e9's degree bounds for Gr\u00f6bner bases in Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2287906$4EE0665D-7857-4D9D-B200-EA8CE8575BCF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23b513990b52811a389563dc36f9b930d197291b","datavalue":{"value":"1428.68349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287906$E43EDDE5-7E94-4067-AF66-823C103F8909","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"493ad2f5736452447a4b57f4117bb995b0238839","datavalue":{"value":"10.1007/978-3-030-23250-4_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287906$C9A97DA8-3CCC-4D3B-AEE0-AE85A01A5E54","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":"Q2287906$4442EE1E-1EDB-4F15-BABC-26D3A8619E69","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db0c076b272b350be02382ed0bfa3a4836080ec5","datavalue":{"value":{"time":"+2020-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2287906$27A0F10E-F651-4570-A79C-E0BC8EC5425A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287906$D5A6869E-819C-40A7-B388-7DA8A002E278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287906$4DC460BD-665E-41DE-98F4-7C422F905AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287906$A3B662B3-4747-4B5F-9F66-9A01EDE10247","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e3e8286ac7cff6d0ce228ab96668aaa351284ca","datavalue":{"value":"7154817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287906$ADAC401C-A21A-4767-8D24-2A51C127D979","rank":"normal"}],"P1463":[{"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":"Q2287906$B005A79A-037A-4AC2-841D-3665407567D2","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":"Q2287906$8B45F1EE-E3DC-4319-A193-5454B03CBDDC","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":"Q2287906$D3518141-A082-4119-93AA-6E48D7AA3527","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":"Q2287906$54B4C796-4C61-4E57-879D-66B5750E6E93","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":"Q2287906$3CD74A0F-1E96-46E7-A17E-E606214D9FF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bd7c06ef1bffc9175fac6188ad2d38bf8f330a3","datavalue":{"value":"https://doi.org/10.1007/978-3-030-23250-4_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q2287906$EB00174B-5649-4563-8D2F-2D9DC65B10EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f4d9fce04e1cf2913af1c6badab6e30520a7461","datavalue":{"value":"W2955256919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287906$A889E187-4F99-47D7-8D04-EE82579A690E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b25e621a64b5c2beb9f170c779ed8d87af2d7d8","datavalue":{"value":{"entity-type":"item","numeric-id":1017680,"id":"Q1017680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61051ae9d7dc0075be38cf839ff0f99af0bad76c","datavalue":{"value":{"amount":"+0.8857096","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":"Q2287906$F9A3F45F-E32C-43C6-9C6A-A7D7BE148731","rank":"normal"},{"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":"7958922b4e03c542abfb48d1f3a7078f895480b7","datavalue":{"value":{"amount":"+0.88557327","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":"Q2287906$95481B09-E7AA-4537-8EE5-B92D6B6F7FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2847302b44fc3049c114692a6d76b8371330f7","datavalue":{"value":{"entity-type":"item","numeric-id":3559773,"id":"Q3559773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f11f8e3ba5061ac82ab2f5e0ab53a9b65458db1","datavalue":{"value":{"amount":"+0.8709383","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":"Q2287906$A52CBDB7-AFD8-4FD9-8B1C-C8B49D443722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79880f78afc173acbe09e6a0ceff77095bf92ed1","datavalue":{"value":{"entity-type":"item","numeric-id":2702494,"id":"Q2702494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51fd13ffae8b1a466a6e78227a0f890eb3b23a1a","datavalue":{"value":{"amount":"+0.8706177","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":"Q2287906$7A749D3B-CFA7-47E2-B508-5A1E482B96F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5853be744234547e0207e6e5c992328a9f55f165","datavalue":{"value":{"entity-type":"item","numeric-id":5428257,"id":"Q5428257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9381de9292e30e2570b8d32f37a07f87403ee19","datavalue":{"value":{"amount":"+0.8667318","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":"Q2287906$FC56A4CC-BC91-4BAA-8999-F0F0462F440A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08fdc88a5479a885c5d0ccbe030dc0b0a413b0d7","datavalue":{"value":{"entity-type":"item","numeric-id":4295434,"id":"Q4295434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cbdbc05ef7bd4a249edf4e96b378ccc997bdc5b","datavalue":{"value":{"amount":"+0.86259353","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":"Q2287906$A83B8A15-0022-46A9-B140-5945A0CA3C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9077e923aa4b6b0939c452acbf80949bf7834e88","datavalue":{"value":{"entity-type":"item","numeric-id":2209537,"id":"Q2209537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74e384fed8025a7af3e034755d79669de03c75de","datavalue":{"value":{"amount":"+0.8608195","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":"Q2287906$3E14CCD5-A418-488E-8311-5775C4F43DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4261da25f1e5260ad9d60d7b88b40a714d3efcce","datavalue":{"value":{"entity-type":"item","numeric-id":6156630,"id":"Q6156630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7eea1500ace9d5df87920a3e1ff12ae7aa17ab4","datavalue":{"value":{"amount":"+0.8603289","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":"Q2287906$7D8F748C-20B4-4890-857B-81DDF7639568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1fdd9520e602dfc771c2278c107adc0bccaec9","datavalue":{"value":{"entity-type":"item","numeric-id":333325,"id":"Q333325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b2ee126333c7830f20174a55c8cf765dff47d6b","datavalue":{"value":{"amount":"+0.85981095","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":"Q2287906$7E9EF2C8-A5AD-423F-9EEB-22B39F0073F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abd89d6d8350306bf45af671201bd22f55a1b29b","datavalue":{"value":{"entity-type":"item","numeric-id":2323451,"id":"Q2323451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7e8b8969cbd51a732642314341293d1fac71067","datavalue":{"value":{"amount":"+0.85973626","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":"Q2287906$514F9808-16DC-49F3-96D1-BBE3DF108D4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2287906","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2287906"}}}}}