{"entities":{"Q1006653":{"pageid":1008501,"ns":120,"title":"Item:Q1006653","lastrevid":50614712,"modified":"2026-01-14T14:05:41Z","type":"item","id":"Q1006653","labels":{"en":{"language":"en","value":"A characteristic set method for ordinary difference polynomial systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5532871"}},"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":"Q1006653$8EB72050-FD4F-41F8-8153-B5F4B3E137D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26ed8f56aa15ea26971f898e198d1f0dc9cff9f4","datavalue":{"value":{"text":"A characteristic set method for ordinary difference polynomial systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1006653$F2EE43DB-6763-4DB0-8149-E05BCE701679","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30932f96c743967ff228f680ce7f97bfb0fbdd17","datavalue":{"value":"1164.39008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006653$6E86CD53-6A85-44E7-827E-4125A8AD27A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e655676d939634eda414cc9dd175f03ea11a12d","datavalue":{"value":{"entity-type":"item","numeric-id":253810,"id":"Q253810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006653$E6E8BCC7-1510-4884-9883-6AFE1CD88534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"629b2bbc2e7d5238e546439edac9cc4a1c3c9f0f","datavalue":{"value":{"entity-type":"item","numeric-id":242602,"id":"Q242602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006653$2F10A57B-140E-428C-8579-C540D614EBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3ac221b69c2624d4e18994d83b101126e27479c","datavalue":{"value":{"entity-type":"item","numeric-id":480653,"id":"Q480653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006653$C4AB9264-58DD-4429-92BE-410833DA991F","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":"Q1006653$C0A04D8E-C9A6-47A9-88D9-FBFBF3CC6822","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f17d548f42efb27321ed2d9ca45a732b10fcb2c","datavalue":{"value":{"time":"+2009-03-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":"Q1006653$30A6912F-04C1-4677-8FDC-B4343724CF82","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a34e8d23015952ce1f71634df2da7a7c2cbaa03a","datavalue":{"value":"The authors establish a characteristic set method for nonlinear ordinary difference polynomial systems. They show that this method can be used to solve some important problems in difference algebra. They also prove several basic properties for difference ascending chains, including a necessary and sufficient condition for an ascending chain to be the characteristic set of its saturation ideal and a necessary and sufficient condition for an ascending chain to be the characteristic set of a reflexive prime ideal. By employing these properties, the authors propose an algorithm to decompose the zero set of a finite set of difference polynomials into the union of zero sets of certain ascending chains. This decomposition algorithm is implemented and use to solve the perfect ideal membership problem, and to prove certain difference identities automatically. Several examples of the zero decomposition algorithm are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006653$43103226-FECF-4E20-AC06-AE35D0CC2F27","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a30bb19bee696ed497614d3135f115558c00d20a","datavalue":{"value":{"entity-type":"item","numeric-id":165953,"id":"Q165953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006653$6EAEDC61-37ED-4121-8AF4-97AEE08B8F44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"41193c7d91d7d314290451f86c60070bef0e9755","datavalue":{"value":"39A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006653$C448A4D1-D600-4A8E-B0FA-FDC6F6BC0E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e804577640ebb408257a4a017aaf6a013220e36f","datavalue":{"value":"65Y10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006653$C68872AA-E129-4A0B-AFF5-393C9F4BFD2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc67b0f10f8cf4b96f6b9982f594c0221a040319","datavalue":{"value":"5532871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006653$5991D66E-DA34-416A-9A23-9A7AEAD8B1AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d857917cea6fa387acfcd83e1f18305eb3e359ef","datavalue":{"value":"characteristic set method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006653$BA9E5C9A-F857-4738-A121-3DEF4C72F8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4949e20a87ccf5261f006255f10580c39a7c8d20","datavalue":{"value":"difference polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006653$4AFF607F-5410-4E44-A793-3B8E6A08C071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1188926ad608108b87145d144abdfbad1cf36bd0","datavalue":{"value":"difference ascending chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006653$A6D9D6FB-E880-41E4-9725-B1AF7A2B35C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b81c5cefaa50b463d3bac3b6ce218d6be23af956","datavalue":{"value":"zero decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006653$8EC643AD-6D61-4564-B8EB-CAED6DDB9919","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c66446f9cd4a7290c9edd2514c3e5936a8d3bae3","datavalue":{"value":{"entity-type":"item","numeric-id":26177,"id":"Q26177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006653$6E5759BB-9918-42C0-8ADC-158E3563296A","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":"Q1006653$AC2E4324-B78E-4194-B096-C7AD0836B665","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"556496cf1f340d77f71ea3f62341a8e91732bca5","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2007.05.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q1006653$811CB42E-3B51-4E93-B8A3-F401C0CA6587","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96b4880803c7ee54bf29cbb356944f95f8d9d4ff","datavalue":{"value":"W1974479962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006653$7B35A75F-2A17-4112-BD99-4618F7E9517B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f23d048969d3a41e3773dcb9d065b18f5414600","datavalue":{"value":{"entity-type":"item","numeric-id":1808664,"id":"Q1808664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006653$2A895A2E-F5B2-49C3-B6E8-0470D2A5A8BC","rank":"normal"},{"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":"Q1006653$0F6D3D51-F696-4A56-AE23-2FE0D44C644F","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":"Q1006653$47A322C7-93DD-48D8-8FD1-641FE51AC120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d768aba5e0796767fb54d63aac44da9576c4a1ec","datavalue":{"value":{"entity-type":"item","numeric-id":1311408,"id":"Q1311408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006653$B61D4B58-4FBF-4262-A8F0-7C10AEEABEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c8c694eaaafa91b83cc90a24ead7ce496bf600","datavalue":{"value":{"entity-type":"item","numeric-id":1264426,"id":"Q1264426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006653$CD5A1B02-471D-420E-942C-12C0E09EB35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d0b2f8bd9e45d5131ee2ef2d06dd14ac7e3889","datavalue":{"value":{"entity-type":"item","numeric-id":5788077,"id":"Q5788077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006653$E6B48915-D95B-4A7E-998F-990B9EC971A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d4ca06f848f5573a627d4022d281823e6272ee1","datavalue":{"value":{"entity-type":"item","numeric-id":5334359,"id":"Q5334359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006653$32AE43D6-4D2E-4F39-AEEB-7BBB68F2E0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ac959e0d6d0d5e28d827553f6b9b69e194efb9","datavalue":{"value":{"entity-type":"item","numeric-id":4657308,"id":"Q4657308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006653$B3D25210-9FEF-4E78-9605-5868E3502AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"accebde938a67587658d67fd040559d3fd3133e2","datavalue":{"value":{"entity-type":"item","numeric-id":3973334,"id":"Q3973334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006653$4B782D9B-E1F4-4BF4-9B2D-DA89175866F7","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":"Q1006653$B1204D29-99EB-4136-96B2-A77DF1BDB824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a284615c381b20217d0d43a9e41f4382e78ad3","datavalue":{"value":{"entity-type":"item","numeric-id":1260758,"id":"Q1260758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006653$0B388E04-2067-4EAD-8719-0EA1D32F794A","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":"Q1006653$E671F7BE-EAEC-4A7C-964E-DAF4C0293FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c540d0689d2e6e44699592fe0bc708a3e6141101","datavalue":{"value":{"entity-type":"item","numeric-id":1180160,"id":"Q1180160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006653$C689D5B8-D13F-4653-9B1D-175802C7AC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"709e1514f7dd80f0d917e41aed33e995bb2cbfc6","datavalue":{"value":{"entity-type":"item","numeric-id":2747395,"id":"Q2747395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006653$FD1D42CF-6D97-418F-9D11-2967CDFB5796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7a83cd43c3f131c56ffc02bd4d6c250712795b","datavalue":{"value":{"entity-type":"item","numeric-id":4660667,"id":"Q4660667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006653$07BAF239-B2BB-46B2-9192-B10EC49DE8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b7ace4fcd566d5d9b3452d5288a9e037c32b6cd","datavalue":{"value":{"entity-type":"item","numeric-id":3991909,"id":"Q3991909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006653$E20DB3BE-2DEF-47F7-AB92-2D005511F521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79bedef09c059770641f2fda4f513b671a3cfefe","datavalue":{"value":{"entity-type":"item","numeric-id":4753592,"id":"Q4753592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006653$033BA7BE-5BCF-4D85-A339-4D42E265BE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"343f0b15bec560f521728084130c9740575f7f8d","datavalue":{"value":{"entity-type":"item","numeric-id":5795628,"id":"Q5795628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006653$6995AEBA-DE2B-481D-A36E-7B07BF8D7197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2491293f6e24a8595cad07301736eda696f9ad44","datavalue":{"value":{"entity-type":"item","numeric-id":5586543,"id":"Q5586543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006653$CD455B1C-3C87-4DC1-9272-52237B114866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d57db4d3216bc53e46ae99a268680181eb65b5a","datavalue":{"value":{"entity-type":"item","numeric-id":4153620,"id":"Q4153620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006653$EBAC535D-60AE-40BD-A1F3-D2012475BF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2340f8d83beaa7d3e0bbc52c32367959a4b3a8fa","datavalue":{"value":{"entity-type":"item","numeric-id":3826517,"id":"Q3826517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006653$6AE879EC-73A9-4664-80F9-3436D86300A2","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":"Q1006653$1249AE79-DA26-45C4-9A44-009664C1288A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e984e4a8c29e1856a7c347df506855144960ff5a","datavalue":{"value":"10.1016/J.JSC.2007.05.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006653$2360BD43-ACB6-41CB-AF4E-6E52CC843C95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d78b4e7cf50b49fcf29ca12ae2b6ed5bf3bc5ca","datavalue":{"value":{"entity-type":"item","numeric-id":1030248,"id":"Q1030248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a652e2324294ba5de16c484087a30f8ec16a1036","datavalue":{"value":{"amount":"+0.9195378422737122","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":"Q1006653$610A6769-BA60-47F5-B7C8-CEDB94523689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b89abf65e475348758a4bad574de6199e946cd95","datavalue":{"value":{"entity-type":"item","numeric-id":979469,"id":"Q979469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e888fa64b5d74f2f6cce3a57b5bd047a8aecdac3","datavalue":{"value":{"amount":"+0.8533005714416504","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":"Q1006653$847AE1AF-F6CC-4EE2-8A1F-76820131F89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8780065ad4a74b27d008496b2f8ecc0cf3bb4162","datavalue":{"value":{"entity-type":"item","numeric-id":3598004,"id":"Q3598004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab50268c006a2af25aabca607bb6c9421cbc7f3","datavalue":{"value":{"amount":"+0.8518025875091553","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":"Q1006653$46A417EA-E6A1-4FCF-839F-0E42E55C8D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b16086144360044c3e856f35d57d8f628cc624","datavalue":{"value":{"entity-type":"item","numeric-id":2508525,"id":"Q2508525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ab7495ac14b97300258c0d78b850cc6c5bfdca2","datavalue":{"value":{"amount":"+0.8090314269065857","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":"Q1006653$8E6B9B0B-2D71-4E51-BCE5-0BC28090675A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f21502be2c98c851ef98e3c74f07a88668f4618c","datavalue":{"value":{"entity-type":"item","numeric-id":2958976,"id":"Q2958976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ee30c42c70ec5da461bb771c0ed6c7f2138e215","datavalue":{"value":{"amount":"+0.7853448987007141","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":"Q1006653$A60192BF-DB04-4F23-93BB-F13571A91783","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1006653","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1006653"}}}}}