{"entities":{"Q6094419":{"pageid":13228726,"ns":120,"title":"Item:Q6094419","lastrevid":55483540,"modified":"2026-02-17T17:27:18Z","type":"item","id":"Q6094419","labels":{"en":{"language":"en","value":"Admissible ordering on monomials is well-founded: a constructive proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7737123"}},"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":"Q6094419$49DEE9B8-315C-481A-9EAF-7C1E6639E868","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"748141f1f212fd4c87508ba5f377596ae12bd26f","datavalue":{"value":{"text":"Admissible ordering on monomials is well-founded: a constructive proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6094419$E8ADD2C7-AD77-4741-8167-A547D59E48BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37a6d8adcdee1ab61ecfef291ef1c1eec0705498","datavalue":{"value":{"entity-type":"item","numeric-id":2132544,"id":"Q2132544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094419$38AEC340-29EA-46ED-A74C-E080C929D7AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094419$1D9AAC15-7436-4C1D-9231-CFACFA014930","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d2f46e27145adb17ef6b934fe60e7af70f5d479","datavalue":{"value":{"time":"+2023-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6094419$63C8643C-B0A7-47C3-90AB-F9AC0951934F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6094419$6205B995-84B0-4900-976E-22B476C19ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6094419$0C69C465-3AA3-4E1E-9B8B-E54E4FA81D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6094419$F7A7BC29-336D-4F4E-9ACC-3CDED52AA390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6094419$DAC60895-A003-4337-BB78-63AACDDE232A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89e1e231b27e56ca6ce757bd451fdc70a37b0948","datavalue":{"value":"7737123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6094419$3AD166FC-684B-45B9-AB92-9585E23F1CAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6094419$8F2458C5-0F4A-4DA4-9622-0B032CEE5CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7a609ae2c21271342f267522dda74375687f014","datavalue":{"value":"polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q6094419$2DD81E5C-5A66-44C4-AAC4-96494DF39A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"802e265db54326fe5c0e021b2a6f0f878035ada2","datavalue":{"value":"admissible ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q6094419$A2BEE59C-CA99-43C5-AE91-2FBDAB5290BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51d92bf773f0048d069da0c7bd7d51a9ab84fb2b","datavalue":{"value":"constructive proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q6094419$2DA09DF1-ED25-45DA-8F25-5B31855C96E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fd36654122c82617dfa5410e3b47723b9c997b3","datavalue":{"value":"Dickson's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q6094419$D0CD65AA-D35B-4E21-B4D8-48ABE08C58AB","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":"Q6094419$7D916D91-CDCF-42F8-B9FE-74C121A8A56E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8a8f79ed5846190c4330090f3455868862b25dc","datavalue":{"value":{"entity-type":"item","numeric-id":3408130,"id":"Q3408130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094419$F347A95E-E33A-4966-8A5B-5FEF31331B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1cb314be56584c4a3b78c42d4c6a1e8e149e010","datavalue":{"value":{"entity-type":"item","numeric-id":3649136,"id":"Q3649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094419$22B52A40-2E77-43DD-ADD5-A1E7F6C26844","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":"Q6094419$B0C1B002-0416-436D-A92E-273DF6B917C4","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":"Q6094419$A5B799CC-FE6E-415E-AEDA-DF8515DAD57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b04f8e06bc6d45cea746bdfc009dd75dad2987","datavalue":{"value":{"entity-type":"item","numeric-id":1595926,"id":"Q1595926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094419$F3098690-2D8D-4472-AA44-B01BB9FF9857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a18e715e339d5e031b19bd6a95446bb853d0e21","datavalue":{"value":{"entity-type":"item","numeric-id":3708893,"id":"Q3708893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094419$040FBB11-2B97-4F11-A316-35777F760A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094419$0A0935B1-F2B3-4C3A-9A31-67FE8ED38EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094419$F45AF618-9AE6-40A9-B168-2735122E2781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b16e98f2ed75b6b2c580aaaf672acd628aa682d","datavalue":{"value":{"entity-type":"item","numeric-id":2914747,"id":"Q2914747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094419$4F0CC5E5-3A34-41F7-AD00-13703BDFC997","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b2b3e5beb4a9d3d041bf369dd110c5274ef4755","datavalue":{"value":"10.1134/S0361768823040102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6094419$B75F9AEA-ACDD-4B04-B98F-7E20246107CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd595d476d62290a61ae13841dba013427e262c1","datavalue":{"value":{"entity-type":"item","numeric-id":4944848,"id":"Q4944848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d9db49e91ab2d144ddd461d0a965e93deca1bd0","datavalue":{"value":{"amount":"+0.7742542624473572","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":"Q6094419$444B6323-9108-48FC-AFA9-988C0C58EACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aca30068b2aa0eaf69bd4bd1d7021afb92925a22","datavalue":{"value":{"entity-type":"item","numeric-id":857884,"id":"Q857884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caf3cb093b61c65c9f5b64aa6bb9d5e17d4d3c15","datavalue":{"value":{"amount":"+0.7319234013557434","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":"Q6094419$59EBC673-D200-4D25-B152-3C738A8B0B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf00d78dba38081d710d62187402849bdd55995","datavalue":{"value":{"entity-type":"item","numeric-id":3024845,"id":"Q3024845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5782e0b2d206317ccafefa3c8840f7a7de1a0ef","datavalue":{"value":{"amount":"+0.7213892936706543","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":"Q6094419$58EEE2A7-8B4A-4949-B69E-CCE22A613224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8592bbbf8566c5cf1c271212cc1904e671e27f2","datavalue":{"value":{"entity-type":"item","numeric-id":4256647,"id":"Q4256647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"702347b698874b3e2bd0af53149515dc6d166ed1","datavalue":{"value":{"amount":"+0.7127478122711182","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":"Q6094419$A046A0FA-60BD-4FD5-B9E5-5C9362650332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ace49a5e6548c4fabe4e1ad44590f6b73e1e01","datavalue":{"value":{"entity-type":"item","numeric-id":1186713,"id":"Q1186713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"195ca6660a7ca5d0c1b483897150a3df618df3cd","datavalue":{"value":{"amount":"+0.7061551809310913","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":"Q6094419$07C6DA16-8C9E-43F4-A6C7-8EBFCE751171","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6094419","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6094419"}}}}}