{"entities":{"Q43937":{"pageid":43993,"ns":120,"title":"Item:Q43937","lastrevid":105428306,"modified":"2026-10-09T10:09:30Z","type":"item","id":"Q43937","labels":{"en":{"language":"en","value":"Polynomials"}},"descriptions":{"en":{"language":"en","value":"AFP entry Polynomials"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"c64639cb484a9a595336e38d8f8279b0ddf1eba5","datavalue":{"value":"32226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43937$BAF56764-DF17-418D-BEC3-881B01DCE55B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43937$38F5A4E2-3296-4D4C-8FD0-510FA7528F24","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"023d2c29dfb857261575eea831db7a8562cf5d46","datavalue":{"value":"https://www.isa-afp.org/entries/Polynomials.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43937$CD494006-0B55-41B4-9257-2EF0590DA966","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43937$F4A78626-F007-44D4-9AE7-15DBA2400F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8befc1ffe367aef867e4dcd902eb59cbacd3a347","datavalue":{"value":"13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43937$DFC7F908-300C-4CA5-BF53-C6BA7958F3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43937$0D8442FF-D555-43B5-B1D5-B7B53B22B7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43937$1CC2301B-F995-4A6D-A2B8-D93960A3577F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62b7e192ddad84e0999f497c95811da22d169570","datavalue":{"value":"13.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43937$4CB53C28-0A1A-401E-AE6D-2605125D910E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43937$790E6026-EC1C-4AA5-9DEA-C16651221729","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43937$A4374F69-6AA3-4500-BDFD-71B2F09B7A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43937$79CCFD9B-2E41-4BEF-9FCE-CC7E14FF63EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f5375f24574ef8a96b8521c09c1111611c438e4c","datavalue":{"value":{"entity-type":"item","numeric-id":43935,"id":"Q43935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43937$F1C4824E-8245-4A18-9D02-B536104D0282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43937$04DDB947-27C6-4F19-A427-2F403A02B97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8d55daeff7c4288ce44d22059c68add0e43c0b42","datavalue":{"value":{"entity-type":"item","numeric-id":40280,"id":"Q40280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43937$B56C1ADA-65D7-4337-A17B-BDA6EE780D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"70b75326d8bd1b90cadb4857a0373726cf5a6a2a","datavalue":{"value":{"entity-type":"item","numeric-id":43936,"id":"Q43936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43937$E76F9F56-AEBA-4DE6-A8E3-A4FFA7E3085A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43937$D7767F81-182F-4DD9-93EE-6F9DB12AC31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43937$D87990E4-E069-4F0C-B94B-107C29FB1BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"331995fe532c23e24d72d01a1bd6245fafcd9671","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43937$B7E75FF1-FDD7-44DE-B33A-493528C07877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9e81311cdb14c7070472842e51d5af84de1387ea","datavalue":{"value":{"entity-type":"item","numeric-id":43938,"id":"Q43938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43937$C88EF6CB-CF67-47AE-BBEB-2D129B6AC2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8dde418bf28e22fefe1976bd953eb7c8ec5b548d","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43937$8414989E-43E1-41EE-A092-253780C2536D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3835edb366b99827fd38bd45a5150add1be2e6f5","datavalue":{"value":{"entity-type":"item","numeric-id":19383,"id":"Q19383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43937$44305D24-D1F7-4061-8F30-2FA04312950D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"da0aac9ae1a326f596a84f1beaf568d763f751fa","datavalue":{"value":{"entity-type":"item","numeric-id":40621,"id":"Q40621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43937$A7A53B48-7F3B-4BD5-BC12-8010DFAA4C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a84cec67941530633e685a8ee56a19ae6a02d7e8","datavalue":{"value":{"entity-type":"item","numeric-id":56258,"id":"Q56258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43937$2439BB3A-456D-4E33-A2C3-3E4EEC5C949C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7343f563fd02ee3f7d39ccb038f5c1c6c726769a","datavalue":{"value":{"entity-type":"item","numeric-id":20799,"id":"Q20799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43937$ED8E1AB6-A2C9-45EA-ADA2-7CCCCA9918D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b27d381103dd331fbe28b15185fa1c04336e0759","datavalue":{"value":"https://isa-afp.org/entries/Polynomials.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43937$B6ED5887-7EB4-4D98-814E-2E5EF0E9CBCD","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"7335db8cbac804a8435e80e80636b4dde04d73bd","datavalue":{"value":"Christian Sternagel","type":"string"},"datatype":"string"},"type":"statement","id":"Q43937$6A6A4008-031D-45FD-A44F-67C907592FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"3e961f1f2b2e533bd88ffdbcd178bd2ef2813f73","datavalue":{"value":"Ren\u00e9 Thiemann","type":"string"},"datatype":"string"},"type":"statement","id":"Q43937$AD1D240C-5082-4B0E-B96B-74AF16E99BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"93707b5709cca58e36d24916d591b3bc18446350","datavalue":{"value":"Alexander Maletzky","type":"string"},"datatype":"string"},"type":"statement","id":"Q43937$8CBB8AF5-2729-49A3-A398-32E1F374C7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"283f1bfcca6dad06181e4c5e3bf9d823639da8ad","datavalue":{"value":"Fabian Immler","type":"string"},"datatype":"string"},"type":"statement","id":"Q43937$64CDA92F-7855-4F81-80D4-B2CF278DCEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"b24ae620f9e8cac40688fc02d4dc37114b98b226","datavalue":{"value":"Florian Haftmann","type":"string"},"datatype":"string"},"type":"statement","id":"Q43937$89DB9E53-BA52-4530-8EBF-12D09A4E5B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"480a99c095fd0e6e30ce40dd951da46a627a2bb9","datavalue":{"value":"Andreas Lochbihler","type":"string"},"datatype":"string"},"type":"statement","id":"Q43937$226BB364-31CB-4C6A-88A3-0B73CE4BE4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"82465ac3274d3d0397e8b9a376568cb6edebce12","datavalue":{"value":"Alexander Bentkamp","type":"string"},"datatype":"string"},"type":"statement","id":"Q43937$48411789-CAE3-4483-8AE9-4441C187C584","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ceaf3f4785df858fc1c461e83eb0b2d9822d815f","datavalue":{"value":"We define multivariate polynomials over arbitrary (ordered) semirings in combination with (executable) operations like addition, multiplication, and substitution. We also define (weak) monotonicity of polynomials and comparison of polynomials where we provide standard estimations like absolute positiveness or the more recent approach of Neurauter, Zankl, and Middeldorp. Moreover, it is proven that strongly normalizing (monotone) orders can be lifted to strongly normalizing (monotone) orders over polynomials. Our formalization was performed as part of the IsaFoR/CeTA-system which contains several termination techniques. The provided theories have been essential to formalize polynomial interpretations. This formalization also contains an abstract representation as coefficient functions with finite support and a type of power-products. If this type is ordered by a linear (term) ordering, various additional notions, such as leading power-product, leading coefficient etc., are introduced as well. Furthermore, a lot of generic properties of, and functions on, multivariate polynomials are formalized, including the substitution and evaluation homomorphisms, embeddings of polynomial rings into larger rings (i.e. with one additional indeterminate), homogenization and dehomogenization of polynomials, and the canonical isomorphism between R[X,Y] and R[X][Y].","type":"string"},"datatype":"string"},"type":"statement","id":"Q43937$0CE30B25-A843-4988-9D41-8D764BE31C59","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0aef60bd392ccfb5e82daa98f095917b33d1745","datavalue":{"value":{"entity-type":"item","numeric-id":3183545,"id":"Q3183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43937$B0DB0B03-4330-4A0D-97EA-CF459E5E8F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af9f136ee892339017c0705738f4cf0dd5734b24","datavalue":{"value":{"entity-type":"item","numeric-id":5747787,"id":"Q5747787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43937$BAB42900-C2EE-439C-A886-4263A3FF1226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8e9433babfa01b39b72b0ddf6c5f892aa6f566","datavalue":{"value":{"entity-type":"item","numeric-id":5313720,"id":"Q5313720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43937$928DE8D7-5087-46B0-B219-DCCCC7475368","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"bb0293970cb12cb0c0b06315232bb60667277b31","datavalue":{"value":{"entity-type":"item","numeric-id":7361362,"id":"Q7361362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43937$8A7D2838-85A3-4207-9028-7926ABD0412B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"911ce259dbcadd322bcb1b83dc5bfce4b6c36b1b","datavalue":{"value":{"entity-type":"item","numeric-id":7361212,"id":"Q7361212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43937$DA02EB27-909E-4378-BEE4-28F80386AD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"c8b055357156b513ebffa05abff4ab0fc053c1d6","datavalue":{"value":{"entity-type":"item","numeric-id":7361662,"id":"Q7361662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43937$3A46F338-E678-4967-A4D5-AEE528B2B0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"96097fd8ad0239121f217726b3d18b7636f6739e","datavalue":{"value":{"entity-type":"item","numeric-id":7361640,"id":"Q7361640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43937$944F33EF-E02C-4C05-A928-8C99AB679975","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"ef6655bf04dd34fee9f7dc3b2763244f951e30fe","datavalue":{"value":{"entity-type":"item","numeric-id":7360822,"id":"Q7360822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43937$DF4EB0E2-54A8-4936-A9EE-0608B12EF1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2651","hash":"8b04062afcab9da0e2966e5a07727a614a9432ac","datavalue":{"value":{"entity-type":"item","numeric-id":7360778,"id":"Q7360778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43937$416AB01E-C14D-42D1-BA71-C8F531EE3929","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f2700024f777bcab29866ce411e6950920e1f5e3","datavalue":{"value":{"time":"+2010-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q43937$D60125C5-8DC1-48C9-9B55-8A5DD43027A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96308a1007d7406651f018cc06b83e9cd4ff6fe6","datavalue":{"value":{"text":"Executable Multivariate Polynomials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q43937$ACB85308-CCAC-42AD-9AE9-BB35EE808449","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43937$B1623F0B-1A5E-4450-8707-3F8C39D664E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polynomials","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polynomials"}}}}}