{"entities":{"Q928772":{"pageid":930620,"ns":120,"title":"Item:Q928772","lastrevid":65476053,"modified":"2026-04-12T02:51:22Z","type":"item","id":"Q928772","labels":{"en":{"language":"en","value":"A bound for the Rosenfeld-Gr\u00f6bner algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5287783"}},"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":"Q928772$6F4CDB10-F080-4874-AA7E-BE62A3F7CAE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e22bf6a0a21676102259af99cad0d5e7f40aa51","datavalue":{"value":{"text":"A bound for the Rosenfeld-Gr\u00f6bner algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q928772$421F13F0-D829-4ED0-8882-C6B13F3A1F77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cacf2039d57effb2d1640aa6f5091083fb6b2cfa","datavalue":{"value":"1142.13024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928772$ECCC1BE2-03B0-43C3-A27C-B525224BE238","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"219c1838c2e38483168aab38d5e9718bf7ceb61c","datavalue":{"value":{"entity-type":"item","numeric-id":928770,"id":"Q928770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928772$1748CB53-A879-4479-BAFA-F0720291369D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b6d3c0e78bb88013c3837451c039deec71761fc","datavalue":{"value":{"entity-type":"item","numeric-id":928771,"id":"Q928771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928772$3F0FD477-D56B-4D1D-AA49-F3E4B511F5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c20788f5d22efc79731ef3231477fc9804d6281","datavalue":{"value":{"entity-type":"item","numeric-id":413406,"id":"Q413406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928772$2C1587BA-0D5F-49F4-92AF-5EBA25C28C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71a13f5a63c7e9c626bb7c476f8375694199bd99","datavalue":{"value":{"entity-type":"item","numeric-id":387892,"id":"Q387892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928772$A18C3039-B16F-45BF-9183-C4CC22B06E2F","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":"Q928772$BAA6012A-F987-4944-A891-44BC631C2F80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f1c0b93a352a714c61ccd46766a52600d36f8c2","datavalue":{"value":{"time":"+2008-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q928772$8B6E2BDF-5009-48F0-BA6A-A659CCA408E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6b2aff6b2c73c86abfdddfd84d6e66f3e819a19","datavalue":{"value":"https://arxiv.org/abs/math/0702470","type":"string"},"datatype":"url"},"type":"statement","id":"Q928772$B985973A-480D-4D5F-90DB-DBF44CE36FE2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"69d9a5414e710e360623e4d0e5051a49f308208e","datavalue":{"value":"The Rosenfeld-Gr\u00f6bner algorithm, proposed in [\\textit{F. Boulier, D. Lazard, F. Ollivier} and \\textit{M. Petitot}, Computing representations for radicals of finitely generated differential ideals (Tech. Rep. IT306, Universit\u00e9 Lille I, LIFL, 59655, Villeneuve d'Ascq, France) (1997)], decomposes radical differential ideals into regular components.  The authors propose a modification of it which allows them to bound the orders of the intermediate differential polynomials in the computation. Since regular ideals can be decomposed into characterizable components algebraically, the bound also holds for the orders of derivatives occurring in a characteristic decomposition of a radical differential ideal.","type":"string"},"datatype":"string"},"type":"statement","id":"Q928772$592CED2E-38A3-41FD-B738-3191CDBB0241","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c9041bb8e6e1fd8eef65e9efcda5bf162c5aed02","datavalue":{"value":{"entity-type":"item","numeric-id":607051,"id":"Q607051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928772$B9A010C4-68F9-4B21-8285-BD610D6B6A87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"405fd1d54bbe3d1a49f6ed5a53b755344fe66fa2","datavalue":{"value":"13N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928772$9ECC9FCD-BAD2-484F-AAD6-E3328CFA406F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928772$162500E6-638A-450D-A3BA-C99561C97FF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3fe7ba97c6377e40241e4b138ec1a16eb4eaa2a","datavalue":{"value":"5287783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928772$1D2A137A-4F63-47E4-8036-42C45F91A8EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4b65f65cb767fcf2caeac3fd9e1a57f70a08d06","datavalue":{"value":"differential algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q928772$9B0BC451-CF11-4ED7-81EB-CB2153E8CDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bda659d9a802e272351c0be7417b35a77947713","datavalue":{"value":"characteristic sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q928772$E68D8D04-FB59-43E3-924C-98B3D8AB82AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d68f081b1ff5cd19626f9c326c48841a646c785a","datavalue":{"value":"radical differential ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q928772$0752D537-892D-4ED5-9BD4-F339457CCBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34c32273097445215b651e6b61c8c40c5fa03bb5","datavalue":{"value":"decomposition into regular components","type":"string"},"datatype":"string"},"type":"statement","id":"Q928772$0A16A019-E30A-445A-99C6-B14B521D684F","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":"Q928772$A341CC92-3937-4836-A8D0-977BFE3B0E47","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c6dee0aec2aa7e9ee761267a5beb33d2cee222e","datavalue":{"value":"W1985407367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928772$E4BC6DCD-C790-4649-A81A-1195AF66862F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d305fe047119a88032fe2f7cc1361b50735a76","datavalue":{"value":{"entity-type":"item","numeric-id":4227290,"id":"Q4227290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928772$99491D2B-566C-4042-9344-999269EBFAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f87c41ba56494b82082fba8ea998d5aee45b26","datavalue":{"value":{"entity-type":"item","numeric-id":3454742,"id":"Q3454742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928772$056AFFD5-EF6E-42CC-A037-87F48FBEB4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e617f8ec7555e6d7b78769f6e4afa139dd5dd12a","datavalue":{"value":{"entity-type":"item","numeric-id":2958912,"id":"Q2958912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928772$64AA2FD5-C3B9-49E1-9043-037DFB5F6DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df7e6756e98ee1d467d142de2bf02d8b5caa5a7","datavalue":{"value":{"entity-type":"item","numeric-id":3568131,"id":"Q3568131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928772$3FEC1C0A-88E7-4853-8B45-6AEC76061BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96f89319c869df4ce90809856bf9ef8dc14598fd","datavalue":{"value":{"entity-type":"item","numeric-id":5937882,"id":"Q5937882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928772$4E4C661A-4CC6-4B14-916D-A9C6B6ABB3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6afada8bf1ad604eeff2922edb5794d9aa9ae9c","datavalue":{"value":{"entity-type":"item","numeric-id":1569835,"id":"Q1569835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928772$DD6D64D8-1434-4CBC-A336-79DF7E385136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52e4d09a719fd5791fa103d7c7c217f4e6e94895","datavalue":{"value":{"entity-type":"item","numeric-id":4425662,"id":"Q4425662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928772$5B88D67A-D5FE-4B82-928C-257C28D93EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00ec8e528b3a04365ce32e3f85c9487f84bf97b4","datavalue":{"value":{"entity-type":"item","numeric-id":4657323,"id":"Q4657323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928772$2C78B103-474B-4CE2-A05C-8DBB42F6791A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10caed1e840a738fb5949da74d796c58ae32d387","datavalue":{"value":{"entity-type":"item","numeric-id":5680222,"id":"Q5680222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928772$A2545ED3-6A02-463B-9E73-51E1F80AF061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d899942fe692134ab370d1be6592081b7a5ca2db","datavalue":{"value":{"entity-type":"item","numeric-id":4229400,"id":"Q4229400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928772$9B933F7C-794E-475B-9867-E2F6D686972E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b5af8cd377b109b60400fc458da7d80547378d","datavalue":{"value":{"entity-type":"item","numeric-id":1974701,"id":"Q1974701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928772$82417D1C-9CF6-426B-8DF1-22250B03990F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90041da7e8c68f7936e59591abab569f48ce6ccb","datavalue":{"value":{"entity-type":"item","numeric-id":2648469,"id":"Q2648469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928772$EA6A13F5-39F1-42C0-A47D-BD5A2B90361E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"333eafd95697975c43c4489afbced11f921a6ebe","datavalue":{"value":{"entity-type":"item","numeric-id":3153351,"id":"Q3153351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928772$2773C207-AE09-465E-B1CE-A42CB49C7644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04e0c63d216bbfa7efe8dcbacffeffd7bfcb3cd5","datavalue":{"value":{"entity-type":"item","numeric-id":1332646,"id":"Q1332646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928772$B8E5E35C-37A9-48C9-8040-1807B4EFECB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d50e3d019b57d41fc94595a78e112bf6e9b8515d","datavalue":{"value":"10.1016/J.JSC.2007.12.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928772$6F317EC7-CF92-43A0-BDA6-F94588EF394B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cebd42afc28b3f101bd191b5f92af45352fac8d0","datavalue":{"value":{"entity-type":"item","numeric-id":2985833,"id":"Q2985833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"537c129269be9211a8e80b913b0df210137ea026","datavalue":{"value":{"amount":"+0.9079687595367432","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":"Q928772$8E92D19A-FCAF-4EA8-B410-851BADA6C840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f01b146c324106b6b926f845dad09be12a69e9a9","datavalue":{"value":{"entity-type":"item","numeric-id":2409012,"id":"Q2409012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2783e554d27850376829c40ea1613614acaad978","datavalue":{"value":{"amount":"+0.8940280079841614","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":"Q928772$6D3438FB-3229-4E6B-A98B-2AB2AC19D8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cd326cd60cfc04ec255f07cc887599ad5a2ac6c","datavalue":{"value":{"entity-type":"item","numeric-id":2879163,"id":"Q2879163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad7052298b4fcee3dd3495dcfcd8977d055d85f3","datavalue":{"value":{"amount":"+0.8738897442817688","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":"Q928772$6C3397B1-0B29-4300-B95F-1C9B4C87C36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bde3c6c84c129cfdd692696d924f1d1a251a4b3","datavalue":{"value":{"entity-type":"item","numeric-id":1015366,"id":"Q1015366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45c61777923fda33ac15cf0bd091e3baca08cdce","datavalue":{"value":{"amount":"+0.8230269551277161","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":"Q928772$58FF3638-4CEC-40A9-BA55-21C90F080DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44d79a85aa94934b13eac3865421cbf714b1f603","datavalue":{"value":{"entity-type":"item","numeric-id":1569835,"id":"Q1569835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec7f0e2b8510c409fb1d24b912e84cf1fe12d974","datavalue":{"value":{"amount":"+0.801415205001831","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":"Q928772$E1DFB049-FC6E-4FE2-AEC5-4A17C1F730D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A bound for the Rosenfeld-Gr\u00f6bner algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_bound_for_the_Rosenfeld-Gr%C3%B6bner_algorithm"}}}}}