{"entities":{"Q5960301":{"pageid":8137103,"ns":120,"title":"Item:Q5960301","lastrevid":47768527,"modified":"2026-01-02T15:42:52Z","type":"item","id":"Q5960301","labels":{"en":{"language":"en","value":"Towards an effective version of a theorem of Stafford"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1727971"}},"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":"Q5960301$E55C2743-2672-4C6C-B76D-7CC3252A9F11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff7f42705c44aca90211f5bf556b6aa55ee64a4c","datavalue":{"value":{"text":"Towards an effective version of a theorem of Stafford","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5960301$1DAE88E8-9733-4255-9CB2-197DC4EE5188","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"912f9ab79fb322375dfa31bad40f260b0e44b1a2","datavalue":{"value":"1015.16030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960301$40E9F927-7CBB-4E62-80FB-6DE9334423F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5239585424a1670c1ee53dd49e5e7c9836a43b86","datavalue":{"value":{"entity-type":"item","numeric-id":240144,"id":"Q240144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960301$6C8091A5-EE85-408B-A5EE-877274329608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6af5764fe615b5c5d2477075662eeb1a33742c7","datavalue":{"value":{"entity-type":"item","numeric-id":240145,"id":"Q240145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960301$683B9488-8B31-4B46-9C7E-448E9378396A","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":"Q5960301$F6D1725F-240F-493C-A541-30C28BB035E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5413ffc719fa4f564e4e40b7395ce01b4e7b889","datavalue":{"value":{"time":"+2002-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5960301$B0954722-B49E-4A02-A251-157F97313810","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb58da5281677363bee8e8374a1a1c47c09e0edd","datavalue":{"value":"https://semanticscholar.org/paper/b2b202f91160767201ab66c2ac6a8763026976a5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5960301$85843F10-6E2F-4CC3-945A-E0AB68CBE184","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"be342b6f4087c731d4e82d79fb25dd0ae72782eb","datavalue":{"value":"The main purpose of this paper is to give a modified proof of Stafford's theorem: every left ideal of partial differential operators with rational or even polynomial coefficients in \\(n\\) variables can be generated by only two elements. To prove this the authors give an algorithmic procedure to find rather simply structured operators \\(\\lambda\\) and \\(\\mu\\) such that the ideal \\((a,b,c)\\) is generated by \\(a+\\lambda c\\) and \\(b+\\mu c\\). Their approach can make Stafford's original one more effective. Their proof does not give complexity bounds but it will become obvious that the procedures will break down rapidly when increasing the degrees of the operator polynomials. Moreover, if the differential operators have their coefficients from an effective function field (e.g. rational number field), one can compute two generators as stated in Stafford's theorem in finitely many steps.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960301$3212FDD0-83D9-41EC-9CAC-A7DF724E1A46","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24d24f8704fb2d1c056c32eca32115e916e69855","datavalue":{"value":{"entity-type":"item","numeric-id":216046,"id":"Q216046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960301$3FA28D8F-644A-4D37-BF02-E07C3CFF117D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"706147fd010f3d0c81db29bd994887fc66e84a9e","datavalue":{"value":"16S32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960301$BCE4E405-8136-4902-8590-8AAE70481A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48f73236e58d3b9eb494e5927909ad332acac144","datavalue":{"value":"16D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960301$FF5BC4F4-DD8A-4DB6-8DF3-255AAA0417A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09c34d6a9e51500cf32e007c02afdb05751a7030","datavalue":{"value":"16Z05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960301$4AE4D6F9-4B06-4710-A687-97CF1F0E8CE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c8c24a5349c3b670b767126bc55fbc3cc4a8bf4","datavalue":{"value":"1727971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960301$7C059327-503D-4785-9B15-E70F6E1914A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"605e9b0de94d2995208d16e8ebad7f98cd3cf0e9","datavalue":{"value":"left ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960301$55DE69AE-53A1-4C65-B58A-CF3A55777798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4711c13a63f9d15adb0af1376633d9dd5f921734","datavalue":{"value":"partial differential operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960301$20B351B8-42E3-46D1-A419-9779BB1D01E1","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":"Q5960301$D8F94F4E-34FF-4DFC-9250-1ED87517147E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de7a052536198e1668ad7a19d2a42b84647d658f","datavalue":{"value":"W1971534494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960301$398F91F5-85C9-4DD9-99BE-DAFAE89AC2FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de464f4aafb4e9508ba256e2980a33d9d5749fdf","datavalue":{"value":{"entity-type":"item","numeric-id":4305609,"id":"Q4305609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960301$BC4068DC-977C-4B61-9040-53BE367BE59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9ceae8e2adc5e2f9d421beafca562c2c493a39","datavalue":{"value":{"entity-type":"item","numeric-id":3964695,"id":"Q3964695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960301$191B286D-671A-42CF-AC8F-15AB0BAB261B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7978f460483eea442a1c50753b84a280106c3ea","datavalue":{"value":{"entity-type":"item","numeric-id":795113,"id":"Q795113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960301$1A46E718-83E6-40C5-BB48-CCCCCED55478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02d286d02c7e57e30124c56d540933a793af97ef","datavalue":{"value":{"entity-type":"item","numeric-id":3770636,"id":"Q3770636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960301$5A25FA18-00DE-4EC7-BD6B-776FA8B147F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c552a89d609f6f538d04e78f7736fabde77063a2","datavalue":{"value":{"entity-type":"item","numeric-id":5639812,"id":"Q5639812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960301$579961AE-D404-4CCF-98C6-77B199652FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a83b36b59474523f7945e2cff01036fa56f15a8d","datavalue":{"value":{"entity-type":"item","numeric-id":1271120,"id":"Q1271120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960301$22065A5C-9FDE-4CC2-AA84-D01E16F4CAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36fa189d28df564c4942df61a085d820d2f5672f","datavalue":{"value":{"entity-type":"item","numeric-id":3946294,"id":"Q3946294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960301$B50FD181-124C-43CB-9C34-1676752803AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385b3aed79b11da793a1f4f5f9484e4dccfb3b3f","datavalue":{"value":{"entity-type":"item","numeric-id":3337321,"id":"Q3337321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960301$8FBFD564-2B26-4AF7-A699-F972BB4537FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cd275dfcab96814fb94fe758573668122aecdc3","datavalue":{"value":{"entity-type":"item","numeric-id":3812402,"id":"Q3812402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960301$F0FDAB33-AB84-4BD7-A0D8-162C765E29A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d488351aa8045a1d08da110c92c90454c14eb461","datavalue":{"value":{"entity-type":"item","numeric-id":4225067,"id":"Q4225067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960301$17E7C631-1BE4-496A-B310-F35634D9737F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a38771121716523347b1b129444e5d7d56cf9ac5","datavalue":{"value":{"entity-type":"item","numeric-id":4175380,"id":"Q4175380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960301$F9CC7BCA-CE44-4DF0-ADFB-2382E82DFCB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b89ebaf98c8fde5131cef04a549821dcb75fe243","datavalue":{"value":{"entity-type":"item","numeric-id":5511421,"id":"Q5511421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960301$184043FD-021C-44A1-8F96-8E5824F397E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33020bb032fe0162abe4f22f2994190219b12591","datavalue":{"value":"10.1006/JSCO.2001.0491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960301$1413A438-1948-47F7-ACBE-685100BBACD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1890f5bdb39b0fc494b9e12761a8e8bc2572dda","datavalue":{"value":{"entity-type":"item","numeric-id":2643577,"id":"Q2643577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79e5f4f982d2c0ef8c451e6ba1ba2e89d7208852","datavalue":{"value":{"amount":"+0.8292331099510193","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":"Q5960301$2B82630D-3101-4ACF-A07E-71E92B87D7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feed36a317618e9854be872a70d870dc85a9e660","datavalue":{"value":{"entity-type":"item","numeric-id":2255606,"id":"Q2255606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"078223feb06daea03dfb7c349bf7a16203a232d2","datavalue":{"value":{"amount":"+0.8135515451431274","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":"Q5960301$27BA5209-7F7E-47FA-999C-E3D26CD82C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6253eaa66cd1f194ceb5ff100c75d3e062d171fb","datavalue":{"value":{"entity-type":"item","numeric-id":3770636,"id":"Q3770636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39c8d620bbaa8f3e4e8247185a68a7f82b32e023","datavalue":{"value":{"amount":"+0.7667911648750305","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":"Q5960301$8E655665-1330-4654-850B-B1F74B06BEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5842c3674f7121b47ecfdeddb26abc5587762ad","datavalue":{"value":{"entity-type":"item","numeric-id":3023049,"id":"Q3023049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d2315c291601fdbaacd9b2e1a241b093e1d14c9","datavalue":{"value":{"amount":"+0.7384952902793884","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":"Q5960301$239B68B4-5A41-4AF5-9011-8029D532FE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"206d420a7ee1cc0f12db25725a6f8f87fca8b6f1","datavalue":{"value":{"entity-type":"item","numeric-id":907329,"id":"Q907329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44780583a4fb859ddf470aae4dca2500c3b8fa4c","datavalue":{"value":{"amount":"+0.7276826500892639","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":"Q5960301$DD391BF4-AB81-422C-93D7-EF33474DFC1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5960301","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5960301"}}}}}