{"entities":{"Q6983678":{"pageid":21405093,"ns":120,"title":"Item:Q6983678","lastrevid":84022259,"modified":"2026-05-08T03:49:14Z","type":"item","id":"Q6983678","labels":{"en":{"language":"en","value":"An iterative constructive Hilbert basis theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8041054"}},"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":"Q6983678$81662E06-1044-4469-B80D-2910B996C259","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70f2f4934f08f65cddf3a31f23d88c2fdb613496","datavalue":{"value":{"text":"An iterative constructive Hilbert basis theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6983678$057D6CD9-E803-4994-92CD-17B7059FBDE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90c813f6090b617a9779dc0597d1572f3502e3fa","datavalue":{"value":"10.1016/J.JALGEBRA.2025.03.027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6983678$1F7E70DC-4B15-45BE-9EAD-71C78FEAEDD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c560b31bb9f1f00731745c94c8d48f1f5e52ff8","datavalue":{"value":{"entity-type":"item","numeric-id":591967,"id":"Q591967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6983678$89956134-1422-4490-8A3A-7EAC5D10959A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4411587d3c1e55e23b2f9df508875f4e05601b37","datavalue":{"value":{"entity-type":"item","numeric-id":415465,"id":"Q415465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6983678$B407BE79-0884-45DC-89E5-42694920DDC5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6983678$97332AEF-E067-4A05-BB28-C1441D2D4B8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c8286183ccfc23e881b8c6f931ae547b0263674","datavalue":{"value":{"time":"+2025-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6983678$3E35C58C-39FC-4177-B891-4387F239E4E1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"be37ed5d9e3e78d4c5247ce7a1bcc477eec85ace","datavalue":{"value":"The authors give a proof of the iterative Hilbert basis theorem in Bishop's constructive algebra with standard equality and membership test still adopting a peculiar form of the ascending chain condition. \\textit{F. Richman}'s simplification [Proc. Am. Math. Soc. 44, 436--441 (1974; Zbl 0265.13011)] of \\textit{J. Tennenbaum}'s characterization [A constructive version of Hilbert's basis theorem. San Diego, CA: University of California (PhD thesis) (1973)] was used.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6983678$34011E44-F1B2-4002-A817-F893629F40AA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3d7a3d9dc8b91d8344f111ebfd1987b9cd3686e2","datavalue":{"value":{"entity-type":"item","numeric-id":309963,"id":"Q309963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6983678$B5933EF8-0696-4224-B5B8-0D4DA112B376","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6983678$04A4B9B5-D101-4F1B-9838-4995A8B3137E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec1d0db78fd74c443a01310455d9419f80930f5d","datavalue":{"value":"13E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6983678$031F4F8D-0791-44BB-9751-70FF3C9B6A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4e2aa5b7e34e0c988d04ecf732a3cd8c9233b11e","datavalue":{"value":"13L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6983678$8EB89583-10B5-4839-A85E-F758F60A6346","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9bbc9a7c2b419a2f73f196248f95d139834d9ca","datavalue":{"value":"8041054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6983678$DEFB1050-6A74-4CC7-910C-AF45BE2F753A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfd7b83e5bab8c501f458397611ea71a2fe43694","datavalue":{"value":"Hilbert basis theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6983678$0D8EFEE1-F036-4105-AABB-7AD665CF29E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f2be7e4f7136e768c82ff4334743659a08f1fe8","datavalue":{"value":"Noetherian ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q6983678$59E49F88-447D-4B17-B6DD-EA91F7C11827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f05b96a3b56bcbf16250553557f268d9b9e694ce","datavalue":{"value":"constructive algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6983678$FCD89767-4CCD-46F9-AFA7-8B9060A557F9","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":"Q6983678$1BEC2DA1-098D-4719-B855-CD856349A97F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de464f4aafb4e9508ba256e2980a33d9d5749fdf","datavalue":{"value":{"entity-type":"item","numeric-id":4305609,"id":"Q4305609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6983678$AB566A28-CF2C-4037-A78B-6D37EC846C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6983678$A7A7E6E8-E75D-4437-AB6A-532A0C144A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6983678$A7BA3C79-BCDE-4874-BA0A-08F0D5B6D6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6983678$3FD8BEE8-9A98-4891-9468-975A66A1821F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe4699150a6b58e6228e9b4ae900f6dff860c8f","datavalue":{"value":{"entity-type":"item","numeric-id":6149029,"id":"Q6149029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6983678$63697BFF-ACAC-49A6-887F-75CC96B8883E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912c1808780e1f23fdedd5cbad5ee1e59882b589","datavalue":{"value":{"entity-type":"item","numeric-id":3422024,"id":"Q3422024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6983678$F6AF0F92-FE4B-49CF-AAE9-6B5DADAAC4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1174e25682c6db55f75a0aae038d55e05f0e39","datavalue":{"value":{"entity-type":"item","numeric-id":4944848,"id":"Q4944848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6983678$05CB8613-BBCB-4B67-B368-26F6798DA639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5faf2ff3648c4925dc7bde47b59d77b3084d01b8","datavalue":{"value":{"entity-type":"item","numeric-id":5207449,"id":"Q5207449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6983678$FC991A8B-9890-4AAA-B3E1-1E24EFE68C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c5f516c613b940c4a1010f89834f6a2dcc529a","datavalue":{"value":{"entity-type":"item","numeric-id":1186713,"id":"Q1186713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6983678$462CE7E8-5068-404E-A6A4-50BA3CB0BBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0f708bc5d2fa955cec4a3ec4d77a2d94267770","datavalue":{"value":{"entity-type":"item","numeric-id":3112383,"id":"Q3112383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6983678$8C4E2809-B365-4089-BF6D-22D7BC1DB9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364715fdc2f0e93e050fee5206acb2c2513c84c0","datavalue":{"value":{"entity-type":"item","numeric-id":1210701,"id":"Q1210701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6983678$64CEE5DC-3F45-4AE5-805C-4E739642B14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"688262f3a104fdad6883ab8facbb707ae543c2d6","datavalue":{"value":{"entity-type":"item","numeric-id":2643522,"id":"Q2643522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6983678$DE0AE18D-422B-4D88-A3A9-1F92F7269C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a1dbf5740d07ef9e580bef9696ad759b8c97ca","datavalue":{"value":{"entity-type":"item","numeric-id":5448618,"id":"Q5448618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6983678$B721AD36-BA75-4A75-B23B-746E9BB47F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b1e98351e05502307c043aa3e452df938009a0","datavalue":{"value":{"entity-type":"item","numeric-id":3081324,"id":"Q3081324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6983678$7DF1BD2B-4614-4E7F-B0B4-1CC33AF0C731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54bfdea9ba08645243f093a796dd1b014b7dada6","datavalue":{"value":{"entity-type":"item","numeric-id":5740356,"id":"Q5740356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6983678$290F8399-F08E-42AD-828B-5D1AF87A38E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"416df6ace8a5154dc544389600f697a7a20dc442","datavalue":{"value":{"entity-type":"item","numeric-id":5682414,"id":"Q5682414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6983678$08049B71-60A9-4488-A653-3343AD6205B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50998bac0a84f92fb016e9277f80332558f386bb","datavalue":{"value":{"entity-type":"item","numeric-id":4804864,"id":"Q4804864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6983678$5912CE43-44D6-4F37-BB74-599EB61268CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3864be1601e9285f6927571a65acf13ee78a7286","datavalue":{"value":{"entity-type":"item","numeric-id":3433654,"id":"Q3433654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6983678$5EE29213-8F8D-4D28-81AC-7788B19BB861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78be06b71a5881b2d23176d3ddba7906c802959b","datavalue":{"value":{"entity-type":"item","numeric-id":4113927,"id":"Q4113927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6983678$0C9F3E6D-8A1F-4ABB-BE8F-096D7F264DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5c3cafd2236f26ce933a975356c990aec10f958","datavalue":{"value":{"entity-type":"item","numeric-id":2348270,"id":"Q2348270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6983678$6D74AE8E-D62A-4320-A74D-665F20D94D18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An iterative constructive Hilbert basis theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_iterative_constructive_Hilbert_basis_theorem"}}}}}