{"entities":{"Q907329":{"pageid":909177,"ns":120,"title":"Item:Q907329","lastrevid":65259003,"modified":"2026-04-12T01:22:53Z","type":"item","id":"Q907329","labels":{"en":{"language":"en","value":"On bounds for the effective differential Nullstellensatz"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6535175"}},"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":"Q907329$2AC76D24-9A0F-4704-8394-5C8E47E1E508","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4fef9efd52a6d5e4023c85a2253ab61e90e819dd","datavalue":{"value":{"text":"On bounds for the effective differential Nullstellensatz","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q907329$B4646217-E946-4918-A6A3-F0511D642E05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de3ab54c4b00de405e1285fa4c086d333c0b02e3","datavalue":{"value":"1385.12001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q907329$C5B6C94C-04DF-4131-AE2F-AE3CD9E1738B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96404c49bbff72ca3193616bffd8182ce3efb993","datavalue":{"value":{"entity-type":"item","numeric-id":249152,"id":"Q249152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907329$CCA39279-03BA-4FCD-B8A7-B57A8EF46E03","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":"Q907329$9A9713BF-616A-4982-8C7D-A513EA159AD4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907329$FF9BFBB4-BCC8-43B3-9752-935EB0A58F1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3f0504cdbec36416c8068369865aa5a0a508332","datavalue":{"value":{"time":"+2016-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q907329$B2DDC379-D816-4E28-99C9-06949CBBC8B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fe8b397cdf7c0992407738e315e9a860ca13304","datavalue":{"value":"https://arxiv.org/abs/1508.07508","type":"string"},"datatype":"url"},"type":"statement","id":"Q907329$3EADD5C9-8B94-4B6B-8B3C-34D38EA515A4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b2eda6c742a3155f2be2bed2535342ac596bcea3","datavalue":{"value":"Let \\(F\\) be a partial differential field of characteristic zero with \\(m\\) commuting differentiation, and let \\(\\mathcal R\\) be the ring of differential polynomials on \\(n\\) unknowns with coefficients in \\(F\\). We denote by \\(\\mathcal R^B\\) the subring of the ring \\(\\mathcal R\\) consisting of differential polynomials of order at most \\(B\\). Let \\(S\\) be a finite subset of \\(\\mathcal R\\) consisting of differential polynomials of order and degree not greater than \\(D\\) and \\(p\\), respectively. In the paper, the authors seek a minimum number \\(B=B(m,n,p,D)\\) such that \\([S]=\\mathcal R \\sim (S) =\\mathcal R^B\\), where the \\([S]\\) and \\((S)\\) are the differential and ordinary ideals generated by the set \\(S\\) in the rings \\(\\mathcal R\\) and \\(\\mathcal R^B\\), respectively. The primary estimate of the number \\(B\\) was obtained by \\textit{W. D. Brownawell} [Ann. Math. (2) 126, 577--591 (1987; Zbl 0641.14001)] in terms of the Ackermann function and has the form \\(B\\leq A(m+8,n+\\max (n,p,D))\\). Here the authors ``make these bounds more explicit and, therefore, more applicable to understanding the computational complexity of the problem, which is essential to designing more efficient algorithms''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q907329$66E13511-F655-4C9D-88C7-F135B7F17D14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a5acd82496d22aa179ed7948314f87d646a2926b","datavalue":{"value":"12H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q907329$81D2C5CD-60AE-491B-B504-779042194868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"65ef089ab6dd31e83c3611c992a3cfd8973b58bb","datavalue":{"value":"14Q20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q907329$1B60BF06-3E35-4B91-90C9-B737169646FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6949f7b9c9033cc25748cb28190a5fe6fa5ff752","datavalue":{"value":"6535175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q907329$8382C92A-5AA9-4439-8D15-771E76A375C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ca8241d409b644bf3ffdd9c5c8efc53a8d26b76","datavalue":{"value":"effective differential Nullstellensatz","type":"string"},"datatype":"string"},"type":"statement","id":"Q907329$1E9E7E5F-6D5D-48E0-8A4C-6583DA5B4497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a34de59a797aaf49185ba69584b021cc8a1e70f6","datavalue":{"value":"antichain sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q907329$FE0979CB-D36E-44D1-9A43-805504146FF6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8dc5f35f37140338576716a71993423f5172941a","datavalue":{"value":{"entity-type":"item","numeric-id":587581,"id":"Q587581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907329$41D86C2F-6D72-4568-9569-CB5DC57704FF","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":"Q907329$79EB33CD-8111-44E4-8E4F-C695334FB8AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6f4761449d31f34a90f91a4ee8a3a6151fc418d","datavalue":{"value":"W2140712161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q907329$4D50D72D-D27D-4AB6-87DC-BD44C683FA54","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc8a8dbfff8f42ef282e3cdbad4bb4985556c4cb","datavalue":{"value":{"entity-type":"item","numeric-id":1100521,"id":"Q1100521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907329$C8B4ECD9-814E-41DF-BA4B-16D55AEFD983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bb7d13910d7c8de9b9d9ca7f100d5742d43ef63","datavalue":{"value":{"entity-type":"item","numeric-id":2267443,"id":"Q2267443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907329$1083CA25-9C35-4CB3-B401-C7B5B84F1F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20bb92181f8c1810e42f6ddfd619a56e734011c6","datavalue":{"value":{"entity-type":"item","numeric-id":4731274,"id":"Q4731274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907329$A0C6E085-98D7-4E56-816E-1DC0D32C081A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3959ffb868545a66d56438fcd6e21698cad3375e","datavalue":{"value":{"entity-type":"item","numeric-id":1060848,"id":"Q1060848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907329$8D1F39CC-9DEB-4C46-AC48-9EA1F4534081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29f9c04949b78ad7d31979be8c3fabdaca5d95c9","datavalue":{"value":{"entity-type":"item","numeric-id":4038764,"id":"Q4038764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907329$6B34FF5C-97CB-4AA8-81FC-471DB5FF6B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b6bc30bfb089844fa52e8b783d21c42675e84b1","datavalue":{"value":{"entity-type":"item","numeric-id":4274103,"id":"Q4274103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907329$32F2BB39-3C0C-4402-9E98-9B0990873D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1b4dadf450ce42758471fa72fe4eb621b521903","datavalue":{"value":{"entity-type":"item","numeric-id":2921015,"id":"Q2921015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907329$830BD609-1D0F-41A3-B081-0CA3CF53146D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226e467fb137de7f062f0a070c31cc9736d6acd2","datavalue":{"value":{"entity-type":"item","numeric-id":3255438,"id":"Q3255438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907329$CCF74C1E-B23B-4412-8C88-F1D9CF81C2A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70943f15a1428601887d84c5a68f39389e2e0cac","datavalue":{"value":"10.1016/J.JALGEBRA.2015.10.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q907329$C6FEB4D5-5DE2-4495-A4B8-F51ACD1AA4B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18049da8f237fd5acd2785c31ce61dff853b14ac","datavalue":{"value":{"entity-type":"item","numeric-id":3041313,"id":"Q3041313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac4f635bfbbe40d610d825bec2f90125f9965bcc","datavalue":{"value":{"amount":"+0.76631266","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":"Q907329$10EB4CE5-7797-43A3-AB14-F6A630440CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e4df0e8ecbe0b1ee13a009d69c7ebd863519f2","datavalue":{"value":{"entity-type":"item","numeric-id":4466662,"id":"Q4466662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f09bf5a0db0d0a8b995fd96dffc6df8c7718ac3b","datavalue":{"value":{"amount":"+0.75306296","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":"Q907329$F162BFCA-EF53-4E7E-B868-8AD4097B406C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d292640e8e9873a5fa182e3c7b532bb2020969f1","datavalue":{"value":{"entity-type":"item","numeric-id":3977389,"id":"Q3977389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bda66d8418a1140931756a0d81d20112ac170a6b","datavalue":{"value":{"amount":"+0.7448841","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":"Q907329$AAD76A3E-439E-4C45-A28B-A3602F02D66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e384515d17b71cb10ecc027b06d8e25e73a63e7","datavalue":{"value":{"entity-type":"item","numeric-id":2267443,"id":"Q2267443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bec1bca59fd143bc9a19c2b400180f58f3e2db40","datavalue":{"value":{"amount":"+0.74096316","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":"Q907329$B3DB4C7F-E69A-491B-A3A6-779585201CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8a401dda8b7efacbdcecf971c7ac0c0ed3e1440","datavalue":{"value":{"entity-type":"item","numeric-id":3653341,"id":"Q3653341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdcd40239fbbdc0f9c52be5c1d1d9dd6c00466f2","datavalue":{"value":{"amount":"+0.733472","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":"Q907329$C643F0DB-51BD-4047-8C81-E555AB29FA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db0666564a476677bd95891a684d36a3e96d0ea7","datavalue":{"value":{"entity-type":"item","numeric-id":5844267,"id":"Q5844267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dc72eb996f0d9eb5eb01ebbe7c0284052fcca76","datavalue":{"value":{"amount":"+0.7319908","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":"Q907329$43258990-7F8C-429A-9679-0A9F127AF947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9459ed5704f260f0b78db38214e7485963d77b27","datavalue":{"value":{"entity-type":"item","numeric-id":2629396,"id":"Q2629396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0fa9c14c5e5898ad1c9c4ebbcb70c13cacb8077","datavalue":{"value":{"amount":"+0.72005105","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":"Q907329$A4500D24-54F3-4214-8789-68B48CC07362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"088881965cfced46e6b3176ec14de1d34527c971","datavalue":{"value":{"entity-type":"item","numeric-id":2509948,"id":"Q2509948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd1c81992bc61fb87e5ec9d9617d49d7bece45ba","datavalue":{"value":{"amount":"+0.7173051","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":"Q907329$9286CD93-0E32-4646-9D7C-7AFBF86F5876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4e3d45311401d5c05784c8d256838f6300b9959","datavalue":{"value":{"entity-type":"item","numeric-id":3778085,"id":"Q3778085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbc1e289139595d497d83d92c052ae91bb65aa87","datavalue":{"value":{"amount":"+0.70992386","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":"Q907329$B4B89876-BA3A-44E1-9D92-488806C3204A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"471c2af6ae6fb889b93c32871ee53fdd36cfbe61","datavalue":{"value":{"entity-type":"item","numeric-id":2579756,"id":"Q2579756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6766701c8bfac170ab22778adad31a325a92a20a","datavalue":{"value":{"amount":"+0.7088596","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":"Q907329$D413630C-5DB6-45F0-A84D-75FBD07BEF75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On bounds for the effective differential Nullstellensatz","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_bounds_for_the_effective_differential_Nullstellensatz"}}}}}