{"entities":{"Q1918501":{"pageid":1929243,"ns":120,"title":"Item:Q1918501","lastrevid":69460392,"modified":"2026-04-13T07:08:47Z","type":"item","id":"Q1918501","labels":{"en":{"language":"en","value":"Gr\u00f6bner bases with respect to generalized term orders and their application to the modelling problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 906768"}},"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":"Q1918501$B79544C9-FE36-4F47-B592-B70240DBBFF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13c623e65c7b4cde6ed8ef0c5fdf38d8a63e6705","datavalue":{"value":{"text":"Gr\u00f6bner bases with respect to generalized term orders and their application to the modelling problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1918501$872013E2-EF55-4D4B-85B4-4E17437FBEDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"437f2a1108fb30049908cb39fc67cbe7aaf96a7b","datavalue":{"value":"0869.39001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918501$E5FB8C3C-CB70-4C63-8D70-0CBE4C680FA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"255d47cd776a632d7c139e74398bdd712b55c0e0","datavalue":{"value":{"entity-type":"item","numeric-id":646435,"id":"Q646435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918501$9C1C95FA-94A5-46E4-9DAE-D5544595193F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"718476fc1fcd992d12e35c948746c89758ae007a","datavalue":{"value":{"entity-type":"item","numeric-id":229601,"id":"Q229601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918501$F0E3A209-0816-4F85-BB57-7F06FA0D7B77","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":"Q1918501$D1243B2A-1655-405F-825A-0A8EE1E4CB14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"163d98930565313df4a81ef8644ef33045c6d2c5","datavalue":{"value":{"time":"+1997-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1918501$FB5CC5A0-DCF7-4187-82C9-0DDF34A85E3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7978821b33d964360d6c0eec9171e6d4bf23a0e4","datavalue":{"value":"https://semanticscholar.org/paper/e372b995914e025001068a5d0b36dade4882f454","type":"string"},"datatype":"url"},"type":"statement","id":"Q1918501$97A25522-ABAD-4979-833D-80D1CE62EF4D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"441164ccdf6e4f77cb79432abccef3cdd61ccee6","datavalue":{"value":"Let us consider the following homogeneous linear partial difference equation with constant coefficients:  \\[ \\sum_{(i_1,\\dots, i_n)\\in S}R_{i_1,\\dots,i_n} w(t_1+ i_1+\\dots, t_n+ i_n)=0\\tag{1} \\]  in the unknown \\(w:\\mathbb{N}^n\\to K^q\\) (\\(K\\) a field), where \\(S\\) is a finite subset of \\(\\mathbb{N}^n\\) and \\(R_{i_1,\\dots,i_n}\\) are \\(l\\times q\\)-matrices with entries in \\(K\\). The problem considered in the paper is to decide whether (1) provides an unfalsified model for a finite set of observations, i.e. given \\(v_1,\\dots, v_m\\in (K^q)^\\Delta\\) (the observations, with \\(\\Delta\\subseteq \\mathbb{N}^n\\)), decide whether there exist \\(m\\) solutions of (1), say \\(w_1,\\dots, w_m\\in(K^q)^{\\mathbb{N}^n}\\), such that \\(w_i|_\\Delta=v_i\\), for \\(i=1,\\dots, m\\).    The matrices \\(R_{i_1,\\dots,i_n}\\) of (1) can be encoded by a polynomial matrix  \\[ R:= \\sum_{(i_1,\\dots, i_n)\\in S}R_{i_1,\\dots,i_n} x_1^{i_1}\\cdots x_n^{i_n}\\in K[x_1,\\dots, x_n]^{l\\times q}. \\]  It is known that two difference equations encoded by two polynomial matrices \\(R_1\\) and \\(R_2\\) have the same set of solutions iff the \\(K[x_1,\\dots, x_n]\\)-module generated by the rows of \\(R_1\\) coincides with the \\(K[x_1,\\dots, x_n]\\)-module generated by the rows of \\(R_2\\). This fact allows to apply Gr\u00f6bner bases techniques to the study of the above modelling problem. The authors remark however, that the straightforward application of the developed theory of Gr\u00f6bner bases can give a solution to the above problem only in the case of very peculiar subsets \\(\\Delta\\) of \\(\\mathbb{N}^n\\), therefore in the paper they propose a generalization of the notion of term-order and they develop a Gr\u00f6bner bases theory according to this type of order which allows to consider a wider class of subsets \\(\\Delta\\subseteq \\mathbb{N}^n\\). Finally they give an explicit procedure for checking whether a model is unfalsified based on their generalization of Gr\u00f6bner bases.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918501$3AE547D8-CE2C-4AAD-B2F8-D6A78815C7A1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"80f116a1cdb08066811a19630fb4c8beca038913","datavalue":{"value":{"entity-type":"item","numeric-id":321274,"id":"Q321274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918501$7A9CA8AE-59BF-41C3-9FDA-5C9E6C299156","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25f922681f42c942d6ee32154d152600266c40ca","datavalue":{"value":"39A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918501$A59F83EA-EDE3-4F9C-A946-022F84EEF3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918501$2A0FF8E8-B3FB-4618-A9EB-A3A7428C837D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6594fb8580241c64ce14f9f29fc602ba2f0f06fe","datavalue":{"value":"93A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918501$31873F4C-ADD5-4EF0-931D-1ABF85A61E47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0939ec8dfe7e656c057d55d359061afb6cf8352","datavalue":{"value":"906768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918501$1A2BB692-68C4-4180-8BD0-83D51FD3E149","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ecd6afa5248e9a35eec73577a27659f9b3629e8","datavalue":{"value":"linear partial difference equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918501$C1F0AA1F-054E-4361-8228-318CA2291995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d958b36750d7bf2cea4c87a59a3692c2103eb0a5","datavalue":{"value":"unfalsified model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918501$422CA667-1630-4696-9798-1ED10394D2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d88c369963c269705768d3f44f8bee1dfab0557","datavalue":{"value":"finite set of observations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918501$7D3DA9E1-2F3E-46AF-A56E-89DF8A1A8C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89708e03adfb7f6610af2bb8d51621e0550ccad0","datavalue":{"value":"polynomial matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918501$9300741A-D569-410C-8ADF-BD4A9A7F02A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcca90090a122e54bdab5c60c5fa7545123dd8c7","datavalue":{"value":"modelling problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918501$22B42B84-2614-4980-96A4-78E2D05AE54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918501$48AC8000-E7ED-4061-AEC7-E1E76B4E9AF9","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":"Q1918501$ECDAE244-C524-40D8-BF8F-FBEE1DD07E89","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2812ba1b56e60a56f7d30a637ebe99e64b7ab39b","datavalue":{"value":"W2056853925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918501$19B95C1B-CEE0-4C12-BF06-A0DFACF9F1BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"574d436fba3a5543957c812d932e59eac0626286","datavalue":{"value":"10.1006/JSCO.1996.0007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918501$3B2CF0F5-35CC-42A7-B094-8C367C1C6C17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"914f559e1c9a949e1d519bc0c05e1dc255970c11","datavalue":{"value":{"entity-type":"item","numeric-id":1290507,"id":"Q1290507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f551d69bf342cdc733974f174e0ed4ace7033f68","datavalue":{"value":{"amount":"+0.8242589831352234","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":"Q1918501$97918EAC-5CEB-4E98-A578-C5BA56454D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de7e7fcbb76fdde3dfbd2c0e8886a574a9896b9f","datavalue":{"value":{"entity-type":"item","numeric-id":346555,"id":"Q346555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f551d69bf342cdc733974f174e0ed4ace7033f68","datavalue":{"value":{"amount":"+0.8242589831352234","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":"Q1918501$574659F9-0545-41D3-9E8B-2CD9C3A4C47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb9752185b6873ffd6606b2fe727a2e2be7927a0","datavalue":{"value":{"entity-type":"item","numeric-id":5496222,"id":"Q5496222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c81fb3b47de0bdb39035801043750171446405b","datavalue":{"value":{"amount":"+0.8209549784660339","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":"Q1918501$0EC4244E-C72B-4D22-9D48-F63E3629671B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fbfabdd4b92db9347076528da4a07b62e43e010","datavalue":{"value":{"entity-type":"item","numeric-id":2959011,"id":"Q2959011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"395725b3708006c58160514c7e276ab16c952ed0","datavalue":{"value":{"amount":"+0.8020254373550415","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":"Q1918501$AD6F54C7-DA7A-461C-9335-A8ADEA22F286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b480a8af8f05d228a3b12b1e9f12ee9d427da204","datavalue":{"value":{"entity-type":"item","numeric-id":4394957,"id":"Q4394957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d14bb6aef53ab58f5fb3ba053a24d33e26ba9153","datavalue":{"value":{"amount":"+0.8006746172904968","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":"Q1918501$E41DCD4F-586D-4463-8F5D-8479810460DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gr\u00f6bner bases with respect to generalized term orders and their application to the modelling problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Gr%C3%B6bner_bases_with_respect_to_generalized_term_orders_and_their_application_to_the_modelling_problem"}}}}}