{"entities":{"Q1199983":{"pageid":1210732,"ns":120,"title":"Item:Q1199983","lastrevid":42942539,"modified":"2025-07-16T06:14:04Z","type":"item","id":"Q1199983","labels":{"en":{"language":"en","value":"Using Gr\u00f6bner bases for detecting polynomial identities: A case study on Fermat's ideal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 96562"}},"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":"Q1199983$C4953376-E3CA-43FC-8607-23300C889E84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab3c540f0a4d68721dfba71b684a5ff39ded21f4","datavalue":{"value":{"text":"Using Gr\u00f6bner bases for detecting polynomial identities: A case study on Fermat's ideal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1199983$B5E668F4-8CC0-4A22-BBE1-1509020A2A3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c8f36af066ea04093be6dbe293ee54fff769951","datavalue":{"value":"0765.13010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199983$77A913C0-CC0A-471F-A513-D216F28B85FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f525895a108be10a1db4f34af9aff64aed51e680","datavalue":{"value":"10.1016/0022-314X(92)90125-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199983$2D6E61AA-7038-4B1B-8BA2-918D2F91F80F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa740d7cb09ca4fbf14f2e113394450c436e8720","datavalue":{"value":{"entity-type":"item","numeric-id":229598,"id":"Q229598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199983$C186EA65-6874-42EC-B48D-FFC13733C998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6f55c0351ce7287bf7a621425185d7e3002c267","datavalue":{"value":{"entity-type":"item","numeric-id":409225,"id":"Q409225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199983$13EECCA6-FCF8-4716-909C-10F68AF84221","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199983$92D4537E-6BCD-44A7-9F8F-3433CE5D16B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0879f591850b4f9f14b2c481d3e08995aa22089","datavalue":{"value":{"time":"+1993-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1199983$C2654EDB-A8E4-4249-8AEA-A8DDD358CA80","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"66742d61bb76e9711a41d2d722f8e557470a6c02","datavalue":{"value":"For Fermat polynomials \\(F_ n=x^ n+y^ n-z^ n\\) a recursive identity \\(F_{n+3}=-(S_ 0F_ n + S_ 1F_{n+1} + S_ 2 F_{n+2})\\) with the elementary symmetric polynomials \\(S_ i\\) in \\(x,y,z\\) is reduced to a computation of a Gr\u00f6bner basis in the ideal \\((F_ i)\\), \\(i>2\\). By computing Hilbert functions a proof for the ideal identity \\(\\Sigma(F_ i) \\equiv (F_ 3,F_ 4,F_ 5)\\) is given. The authors claim that similar methods can be used for generating different polynomial relations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199983$38749F3A-50AB-47CE-8530-2E56D20F477D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a4e296c537a967d4251a6dbe8f40c287459525ac","datavalue":{"value":{"entity-type":"item","numeric-id":1199705,"id":"Q1199705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199983$1894A3C6-76D1-4328-8173-CC6CF688A709","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199983$D7A7E483-85F9-4CF7-A5B4-31D794F17857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d4a4958b9ec0502bdc37c3a756325974bf4d764","datavalue":{"value":"13D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199983$53E3E4D1-C36A-4344-B6B1-4C09A85DCDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c62dcdab30534531627492ab560a7deb5759228e","datavalue":{"value":"11D41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199983$8311FFB4-9BBD-4BFC-AC29-33E5FA37851E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c30bc25742c91e863e72e793103d6e0955029fb","datavalue":{"value":"16R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199983$3A27709B-F7F5-4347-9EF7-CEF60B21ABBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9fcf862f888a5988a1a7d781ee361c486451f5b","datavalue":{"value":"96562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199983$4DD1A8C6-A5B4-4C14-A0B1-DDDD22659CDC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a5a7ce68a4a75ed310cc2e9608c444a76cfe15b","datavalue":{"value":"polynomial identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199983$3D275F5E-237C-47BC-8DED-673066398257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3235fd0135818f26504a6fde1da5e357d2e542f","datavalue":{"value":"Fermat polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199983$6B3312EC-BB69-405B-8155-354437146D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199983$059F355A-83D2-40A8-9173-AE7F651D6FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9059703de31fc4215a015e287b87920d4931745","datavalue":{"value":"Hilbert functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199983$2A8BE07D-9FA9-45EC-AECF-733F3F5684F4","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":"Q1199983$D19FD8D4-683B-4BE5-8BBE-3DCAA274ECA3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5472372828571bfac9bcfc1ae3c0899a721c4e","datavalue":{"value":{"entity-type":"item","numeric-id":2457344,"id":"Q2457344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199983$3044E4C0-3326-40E8-B5C4-AC8B881B6333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ff57ef70bd9e86c9b7017e46b8cd84cb7965f4","datavalue":{"value":{"entity-type":"item","numeric-id":3714165,"id":"Q3714165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199983$CD6580C9-001F-4E22-BABA-51830D68C96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa8059573de5b918d6d7b45220ad4780d4d05a7","datavalue":{"value":{"entity-type":"item","numeric-id":3752502,"id":"Q3752502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199983$C5BA600B-6C85-4F40-AC18-1994D58B7773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb4cab788c7ed45f1adfa555fb8e2d689962d50","datavalue":{"value":{"entity-type":"item","numeric-id":2561631,"id":"Q2561631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199983$951DE1B9-E38D-4CA0-BD8F-AAD54CE9E56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01d8dd59bc600ccbb5a15e2d1a9824d25ee4370","datavalue":{"value":{"entity-type":"item","numeric-id":1147194,"id":"Q1147194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199983$4C88F79D-1322-4FC6-83D7-03CE3A454A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc516d131cefd723c7e1a4a11485abb9a908393","datavalue":{"value":{"entity-type":"item","numeric-id":3249822,"id":"Q3249822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199983$64EBB684-8229-41B1-A3B3-D2ABB10C60E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8f180876bdc2457b9109b7b1d0369b2b0399737","datavalue":{"value":{"entity-type":"item","numeric-id":3714165,"id":"Q3714165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e6d73fcd33c13bec8d70cdd48b951143e3cfc7e","datavalue":{"value":{"amount":"+0.9092784","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":"Q1199983$86A1569F-8D37-4498-80F3-376E61286547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"613760bd7988890a9008d17f694838e9acce87fe","datavalue":{"value":{"entity-type":"item","numeric-id":1111629,"id":"Q1111629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba0e628a12e42618efc5c2f088f7ca6919a8969e","datavalue":{"value":{"amount":"+0.8881199","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":"Q1199983$98A91108-2F50-47A4-82D4-75CC7D9D714B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69bd6d672799d8945e7af1d4d3d71bc896bcd365","datavalue":{"value":{"entity-type":"item","numeric-id":3474891,"id":"Q3474891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c95012a753da774d8864936b2c858dd6ce42b7","datavalue":{"value":{"amount":"+0.8857784","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":"Q1199983$03F9075B-A6F5-4042-AE20-45E819274D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fcba323d767b545022ba2f37890bc6e4d070bdf","datavalue":{"value":{"entity-type":"item","numeric-id":328239,"id":"Q328239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90a256941e6a036a79feece193a1114bf6cd515a","datavalue":{"value":{"amount":"+0.8834669","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":"Q1199983$C20ED843-75D4-4EA0-9552-7F6240F2041D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad737d78202c28f4f26cb866724814fffd42a853","datavalue":{"value":{"entity-type":"item","numeric-id":3677849,"id":"Q3677849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22e3528c8d76d3a4761f3459b974051073c81acf","datavalue":{"value":{"amount":"+0.88291836","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":"Q1199983$BB3FD3AB-DBC0-4117-8D66-2BFF178AE2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24a24a703341507ed4d007e5bba86e5e61efab4d","datavalue":{"value":{"entity-type":"item","numeric-id":4013442,"id":"Q4013442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"545ca717c6564dabf5610b094e61a54b19244fb2","datavalue":{"value":{"amount":"+0.88137156","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":"Q1199983$EB928BBE-BEA8-4D37-8650-FEBE817791AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce6828b077c1c712692c2dcb1843ff567adb7dcb","datavalue":{"value":{"entity-type":"item","numeric-id":5389511,"id":"Q5389511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcb06ddb99452f278511fef6320f3d05cef2601a","datavalue":{"value":{"amount":"+0.87814796","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":"Q1199983$0D5A3E82-B5D1-4DEE-9C7F-072B486FF2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d575bdb1ac5ef6de3e889b2ea0a48edc09cde3e","datavalue":{"value":{"entity-type":"item","numeric-id":1956953,"id":"Q1956953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c4132dd527b3d2da80c4e341d0ef9945d964317","datavalue":{"value":{"amount":"+0.8773953","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":"Q1199983$D62916CD-C70D-43A4-8BB7-20F1D1881AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b5da5fdc355a1b1160edaa878b391664695b573","datavalue":{"value":{"entity-type":"item","numeric-id":2818203,"id":"Q2818203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"837ed826e359434865edf01511f62ef13427bf2e","datavalue":{"value":{"amount":"+0.87725824","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":"Q1199983$65678DDF-8FBC-47C9-951F-662FA2AD8180","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1199983","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1199983"}}}}}