{"entities":{"Q1314434":{"pageid":1325184,"ns":120,"title":"Item:Q1314434","lastrevid":68438715,"modified":"2026-04-12T23:43:03Z","type":"item","id":"Q1314434","labels":{"en":{"language":"en","value":"A note on polynomial reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 502900"}},"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":"Q1314434$92533D9F-603E-4FC6-8006-18B756182FCF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4020f37ce9e3a369ccdb4f14b17f3f36c86e6a22","datavalue":{"value":{"text":"A note on polynomial reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1314434$1BFE4B24-C754-4159-8EBB-58B6E4658B9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9391b20286e2763e7e39a5e02ee4841faa25f53","datavalue":{"value":"0794.12006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314434$753FB56C-A22A-44EC-BC7B-3BC2D22C5DBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b55f4b51dd558ecbd909fd3ab93c25f602f6c0d4","datavalue":{"value":{"entity-type":"item","numeric-id":161073,"id":"Q161073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314434$05D6819B-F61F-4AE3-9A9F-26DDC80CD6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51e9f8ed06bc51844359921ece375b0a82cd4523","datavalue":{"value":{"entity-type":"item","numeric-id":1264427,"id":"Q1264427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314434$3AFEB2FB-764A-4D2C-9177-29B8BFD8F470","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":"Q1314434$9CBB33D7-2559-4883-AD0A-E5DC8F504F5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1c230f116d8d85a6b74d6d7e7a02ff525faef3a","datavalue":{"value":{"time":"+1994-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1314434$BB508A1E-E0CB-4C4A-9596-895C2C242ABB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c937021058736b255b11dab33c509fe7a428c1ef","datavalue":{"value":"Let \\(K\\) be a field. A marked polynomial is a polynomial \\(f\\in K[x_ 1, x_ 2,\\dots, x_ n]\\) together with a specified leading term \\(in(f)\\) which can be any of the terms appearing in \\(f\\). A set \\({\\mathcal F}\\subset K[x_ 1, x_ 2,\\dots, x_ n]\\) of marked polynomials defines a reduction \\(\\to_{\\mathcal F}\\) modulo \\({\\mathcal F}\\) in the usual sense of Gr\u00f6bner bases theory, and this reduction is noetherian if \\({\\mathcal F}\\) is marked coherently, i.e. if there is an admissible term order on \\(K[x_ 1, x_ 2,\\dots, x_ n]\\) such that for all \\(f\\in {\\mathcal F}\\), in \\((f)\\) is the leading term in \\(f\\) with respect to this term ordering [see \\textit{B. Buchberger}, Multidimensional systems theory, 184-232 (1985; Zbl 0587.13009)]. In this paper the converse of this statement is proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314434$81EE17C4-F21C-4A5A-946F-E5FB5764484E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"661c831991cdebd51f9465b74d929024bd00f373","datavalue":{"value":"12Y05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314434$6483E510-1A2E-4F90-8859-5E9E0DB3DE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56c7f76923b29a06e5df502ec9e72c901e9849fe","datavalue":{"value":"12E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314434$A7C75B01-FA32-45AC-B99B-0C7968EDBB9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f5a7832aa53f09bfa622bf372b5b1cd6d40486b","datavalue":{"value":"502900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314434$6039AC28-38C2-459D-8674-EED65BC8222F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87ef8beef2cfd26998bcd64d6d958a2c9551b0cc","datavalue":{"value":"marked polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314434$DCAFF952-10F3-4417-BC8B-76DBCA70854D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38905366263f6a518aca558c27818f32d073c764","datavalue":{"value":"term ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314434$378D6600-6BA1-4302-B2BB-6FC4AE8FCA48","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5f5777890ad0cc36a7c48f14592d972b7a2ccc71","datavalue":{"value":{"entity-type":"item","numeric-id":1349307,"id":"Q1349307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314434$CE2784DF-6682-4619-B089-FCD60C405991","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":"Q1314434$92498C99-F662-46A2-9793-3BFE2841A71D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3fd66fe5ecf316943f165ccc15eea186ef6d2a7","datavalue":{"value":"https://doi.org/10.1006/jsco.1993.1045","type":"string"},"datatype":"url"},"type":"statement","id":"Q1314434$5EBB8F40-8D84-4DC5-B87B-AB06D8023A48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fdbd325144af3c1672bf21c279075f1e55fc924","datavalue":{"value":"W2024093156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314434$9299A6A7-CE1D-4FF0-BD43-BBE8C9155BF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a6e91e273e43838eccffd2e39149a4a4a052c97","datavalue":{"value":"10.1006/JSCO.1993.1045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314434$9AB56311-DDD3-466F-A1C9-1BF8B9F5FA39","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"542df03c3768427eb8164ff21d401df5f2d39905","datavalue":{"value":{"entity-type":"item","numeric-id":4017063,"id":"Q4017063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b08116016f5a2871bae9abd0956c5843d20421ad","datavalue":{"value":{"amount":"+0.9204316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314434$D9CBD6FC-376C-4C2E-A97B-0DD262427AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7abf92a28eac93231611dd89508e3a1175357de","datavalue":{"value":{"entity-type":"item","numeric-id":4488096,"id":"Q4488096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"133da41508637b79e4f6940a8487b0f6353b5c5a","datavalue":{"value":{"amount":"+0.9138867","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314434$C0E93C95-0CC6-4B5B-9F9A-20A1F76BD42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad3ae3a5481ef5fe1765fe75aec10e646ae90423","datavalue":{"value":{"entity-type":"item","numeric-id":2787080,"id":"Q2787080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc75622e11856ac5af4646d7dd218c6f582fd087","datavalue":{"value":{"amount":"+0.9041432","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314434$F9CE980C-23CE-42BA-9F93-C62B00C8A5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7513f199e450c511fc32797c3e8468838555e8f5","datavalue":{"value":{"entity-type":"item","numeric-id":2638417,"id":"Q2638417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f6053ec18d8a2720ca829996b0b470fceb4297f","datavalue":{"value":{"amount":"+0.90292025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314434$6B33FD09-CCB6-4F54-8309-071FFD954E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe9a1ab2b5bf131fa49b2012f4bf2ee3e115207c","datavalue":{"value":{"entity-type":"item","numeric-id":6132642,"id":"Q6132642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5513e5c5d2125e00b3b25bbacba776717a54028a","datavalue":{"value":{"amount":"+0.9014976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314434$6E4E9AFC-5EF7-4B15-84AD-69EE0BEA0871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d091baa5a9b06c71cc4aef217789bfd42ceb1504","datavalue":{"value":{"entity-type":"item","numeric-id":1061787,"id":"Q1061787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2823ce0c2f5e508f1be682b5b3b15d7e12b438a3","datavalue":{"value":{"amount":"+0.8943713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314434$14D5158C-9101-4F23-A66C-7A249C8085F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30ec549d82eaab4f477e28ae449ec79ebf4ca520","datavalue":{"value":{"entity-type":"item","numeric-id":1312863,"id":"Q1312863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6eafb8b431abf6f89d3f0a87d0c5c28b87c8622","datavalue":{"value":{"amount":"+0.8929175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314434$6843816C-7FB5-447D-94A1-564A057EA73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d94bf5922ae8ed3ec116c318fb958f30bb25bdc1","datavalue":{"value":{"entity-type":"item","numeric-id":878085,"id":"Q878085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18ed00e7ceb18219910f59b24da95f8637019f8b","datavalue":{"value":{"amount":"+0.89095795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314434$9A2C3106-A99C-487A-B3FE-BCFFDFA6D40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f7f60fcbe48eae7068017171fa9a7f6c5e618de","datavalue":{"value":{"entity-type":"item","numeric-id":3452409,"id":"Q3452409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aacb028eab273269f1613b3616c2e20f26415fae","datavalue":{"value":{"amount":"+0.8909536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314434$1FA47239-739C-4A5B-A766-E346581E74B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on polynomial reduction","badges":[]}}}}}