{"entities":{"Q817239":{"pageid":819087,"ns":120,"title":"Item:Q817239","lastrevid":64597800,"modified":"2026-04-11T20:57:57Z","type":"item","id":"Q817239","labels":{"en":{"language":"en","value":"Eliminations in Weyl algebras and identities."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5009828"}},"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":"Q817239$0BC18A57-8678-49E8-9C0C-D53524E37636","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3ada05b2486ddfe11efa007481ae2bae16404e0","datavalue":{"value":{"text":"Eliminations in Weyl algebras and identities.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q817239$38001CB8-DBB3-4F17-851B-626A6AFFADEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8f4d702617ef507eab68f22663474dba89b744c","datavalue":{"value":"1102.16019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817239$93663A6A-FEEB-4A2D-AF2C-B227F4F70328","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfe9e87128763eadbca925b541143e13d4ccb348","datavalue":{"value":{"entity-type":"item","numeric-id":250343,"id":"Q250343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817239$BC96207E-F333-4A3B-BF93-0CD4CE232F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"499feb64a557fd0634792e838c85fc08c9efe838","datavalue":{"value":{"entity-type":"item","numeric-id":817238,"id":"Q817238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817239$DF98C750-4EB4-4368-84DD-0647A74F70DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"799e3f0cea78272632379dee07158b1f380440e7","datavalue":{"value":{"entity-type":"item","numeric-id":709176,"id":"Q709176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817239$68549114-CDAC-493C-9713-B4DFAD113575","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f171e2d358ed0c5ffcfe728031d35021527481f7","datavalue":{"value":{"entity-type":"item","numeric-id":103557,"id":"Q103557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817239$02DB6AFB-8331-452A-98AD-8B2C342650DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"481e10b1712c1376416661c92e802a3104046182","datavalue":{"value":{"time":"+2006-03-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q817239$F1B72087-CEE1-4BDA-B7AD-1D7C6164FCDD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3b8334df5a275036b208b75defb388980dc23daa","datavalue":{"value":"Consider two operators \\(N,K\\) on the algebra of polynomials in two variables \\(n,k\\), namely  \\[ N(f(n,k))=f(n+1,k),\\quad K(f(n,k))=f(n,k+1). \\]  Denote by \\(C\\langle N,K,n,k\\rangle\\) the algebra of operators on polynomials generated by \\(N,K,n,k\\), where \\(n,k\\) are identified with operators of multiplication. Given \\(P,Q\\in C\\langle N,K,n,k\\rangle\\) there exist nontrivial elements \\(u,v,r,s\\in C\\langle N,K,n,k\\rangle\\) such that \\(uP=vQ + R\\), \\(rP=sQ\\) and \\(\\deg_kR<\\deg_kQ\\). This result is applied to elimination in Weyl algebras, for verification of termination of some hypergeometric identities, of identities in two variables, and so on.","type":"string"},"datatype":"string"},"type":"statement","id":"Q817239$11593132-0282-4CF5-BC7B-453852A3E5F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f763c8cd6a5bb163b3bc0f29fb7bffc7801b7ec","datavalue":{"value":"16S36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817239$4854F775-3075-4F5A-BEB3-6A256F46D890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42de9321ec9bffe9bd1dcf8c8689a504914f3754","datavalue":{"value":"33F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817239$E34767FA-71EC-46F0-8243-BB342AACDE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eec5b11907c45ce283161d3d482a9cb1ba5f958","datavalue":{"value":"33C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817239$56DE46D8-7802-4551-9A7B-017877033BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe20c11270a022ced6b6a582d87c0ca73a689567","datavalue":{"value":"05A19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817239$A254D282-FCBF-462F-A862-F62C562B11C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"706147fd010f3d0c81db29bd994887fc66e84a9e","datavalue":{"value":"16S32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817239$0FB8654C-FED1-48B0-8918-1FD689E0AB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817239$FA898641-B80D-4BEF-89C0-1B4015B31AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09c34d6a9e51500cf32e007c02afdb05751a7030","datavalue":{"value":"16Z05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817239$E600A703-3EC2-4FF0-8E0D-0939D4B415BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1860a0e9316123ad9f060cc00a967998554bdee","datavalue":{"value":"5009828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817239$D41DE901-FEC6-4E28-B708-F22593F59858","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da6fff14415fdf27dd017ae4ed34ee316499ac60","datavalue":{"value":"generalized Weyl algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q817239$74AE5824-A8E4-47E1-BDE6-C52FD2CFF03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"360938fac8c8f88172ba832a9bd51413e23755d7","datavalue":{"value":"Zeilberger algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q817239$970D0EFF-60AB-4E34-9F50-1A9FF86F1BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36cc627021373e2376952164aca043daf5003cf8","datavalue":{"value":"Wu method","type":"string"},"datatype":"string"},"type":"statement","id":"Q817239$E07C273D-99D3-42BC-B14A-1AA830D6AAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1c8eddecc5ce394430330a44a53dc94ae4fe184","datavalue":{"value":"computer proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q817239$C38A2AD0-52F3-4347-92C7-38CFC1558447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb647b09019e5c5d6bc68d8e9a874cd6727d7350","datavalue":{"value":"eliminations","type":"string"},"datatype":"string"},"type":"statement","id":"Q817239$6E95B718-B591-4EFB-AFAF-76FCC9ED1748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa054cada7c144063166b34492f4d946ff8af5c0","datavalue":{"value":"combinatorial identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q817239$37FD73A8-A48C-41FD-8AF1-337AE79F4ACB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ff9c204734da989d3bd60f1269711086ca85ada3","datavalue":{"value":{"entity-type":"item","numeric-id":220946,"id":"Q220946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817239$3E832B8C-FC79-4C99-9889-AABDF05B93B3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3e3db034f3e6e49147be0e4d0a1b1704e6bef5b5","datavalue":{"value":{"entity-type":"item","numeric-id":32901,"id":"Q32901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817239$82FA03AF-C20F-489C-991E-ED8F644F0106","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":"Q817239$9BF215DE-B734-452D-9F75-8D950256D9C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f162e36737045ba9bc87e7ab1cf56969dff08c0","datavalue":{"value":"https://doi.org/10.1016/j.aam.2005.03.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q817239$A92BABB4-0CFF-442C-B486-5E9D3D766E0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8bfe6f7a37ec5551302570bf15065defb9c7bf2e","datavalue":{"value":"W2027587685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817239$72FD19D6-EC84-44E0-B2EF-352B536994AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee7d3dfed0a1e946f3a28fda1fc2d407088120c5","datavalue":{"value":{"entity-type":"item","numeric-id":754021,"id":"Q754021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817239$7D3B2F02-3B7B-45C4-A8EE-4374C6937D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f11b8afa400f029bf4f0499a1c1d5b329a9919e","datavalue":{"value":{"entity-type":"item","numeric-id":5650405,"id":"Q5650405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817239$C55EE3D9-DA22-495D-8960-D15250FC29E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57c4ec75eb1df7410ececc1deecb107ec91c8a62","datavalue":{"value":{"entity-type":"item","numeric-id":4875364,"id":"Q4875364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817239$4A2170E4-420C-4383-A1E0-5DC3F1898517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8ab072062597c987bce16effb878246948caa69","datavalue":{"value":{"entity-type":"item","numeric-id":4035319,"id":"Q4035319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817239$03FE33FD-F97F-4066-828C-3D6CCEAE1A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02648ff680e711678652027676d983df085774aa","datavalue":{"value":{"entity-type":"item","numeric-id":4525678,"id":"Q4525678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817239$69C72177-401A-4A9B-AABB-701C49543CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b90f86fe8d09763fca1421da1eabdf755d7afa2","datavalue":{"value":{"entity-type":"item","numeric-id":811594,"id":"Q811594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817239$3617580D-04E5-4023-AE0D-9C4484B488AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308ca7e27e9265917f99011a3430b23c9ab063af","datavalue":{"value":{"entity-type":"item","numeric-id":1173698,"id":"Q1173698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817239$3F964765-2216-4F29-81DF-3D2E9EAD2D20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1accb96f42bbfe526667fdff0603cef943ca43c0","datavalue":{"value":"10.1016/J.AAM.2005.03.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817239$9AC0CA15-CA2A-4E25-A7B3-7B050954A319","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b12ad5589407aeaa1e00c894f41adfbbd66a6c95","datavalue":{"value":{"entity-type":"item","numeric-id":2425844,"id":"Q2425844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6d30f8a7629c2ec40f6a6f823701ce61579ce4f","datavalue":{"value":{"amount":"+0.9097517728805542","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":"Q817239$9A7C0F9A-71AF-4ABC-997C-62E37610A753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7e300361beaacc84412c39b7ca5933fcedebc49","datavalue":{"value":{"entity-type":"item","numeric-id":2461311,"id":"Q2461311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2b26e9c9a01a1ea480ef6a8982723dd580c8644","datavalue":{"value":{"amount":"+0.8672206997871399","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":"Q817239$0377E35D-5796-4FBD-AC55-8E9A0848B25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f46279dbc6c78a3552ceaa071eca8fb58edb6f1","datavalue":{"value":{"entity-type":"item","numeric-id":3371103,"id":"Q3371103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"552ce0790290c2de5bacc413cb67a870515cc9ea","datavalue":{"value":{"amount":"+0.8465763926506042","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":"Q817239$2D8DC600-3788-4CB9-9B9D-8D75D0023402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa797da5b4d6182a67b50daf5177926ba00703ed","datavalue":{"value":{"entity-type":"item","numeric-id":1264426,"id":"Q1264426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5100c3e6b85bf728edfd1bbf70e6ce8a6f6e52d","datavalue":{"value":{"amount":"+0.8030750751495361","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":"Q817239$68E6C4B3-587B-42F9-B086-13FE72252AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"446a893b2746e2f3f8e585f5b460abb28e1bd1bb","datavalue":{"value":{"entity-type":"item","numeric-id":913796,"id":"Q913796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf8fd2f33294652bd705cf3511996daf3e61c031","datavalue":{"value":{"amount":"+0.8030748963356018","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":"Q817239$0BC99F40-A3DB-461C-AD44-75886F248299","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Eliminations in Weyl algebras and identities.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Eliminations_in_Weyl_algebras_and_identities."}}}}}