{"entities":{"Q7361593":{"pageid":31520318,"ns":120,"title":"Item:Q7361593","lastrevid":105423707,"modified":"2026-10-08T13:45:36Z","type":"item","id":"Q7361593","labels":{"en":{"language":"en","value":"Executable Multivariate Polynomials"}},"descriptions":{"en":{"language":"en","value":"AFP entry Polynomials"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b27d381103dd331fbe28b15185fa1c04336e0759","datavalue":{"value":"https://isa-afp.org/entries/Polynomials.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361593$E5F71CCA-C625-4F15-BBBA-32FE257502C9","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"7335db8cbac804a8435e80e80636b4dde04d73bd","datavalue":{"value":"Christian Sternagel","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361593$8229B0FE-575B-4B60-8EB9-619A97A14558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"3e961f1f2b2e533bd88ffdbcd178bd2ef2813f73","datavalue":{"value":"Ren\u00e9 Thiemann","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361593$6E745222-BB17-45AF-BBCE-4C769680A52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"93707b5709cca58e36d24916d591b3bc18446350","datavalue":{"value":"Alexander Maletzky","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361593$CD9EE5FE-3BE9-4ABD-9EC6-B15C5F1A5A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"283f1bfcca6dad06181e4c5e3bf9d823639da8ad","datavalue":{"value":"Fabian Immler","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361593$E23EF719-8DDE-4285-916F-F0110E98431A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"b24ae620f9e8cac40688fc02d4dc37114b98b226","datavalue":{"value":"Florian Haftmann","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361593$22F85C49-3598-47CE-A8F6-34DB07D75B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"480a99c095fd0e6e30ce40dd951da46a627a2bb9","datavalue":{"value":"Andreas Lochbihler","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361593$74100C32-C664-4BE4-9566-59F65509A64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"82465ac3274d3d0397e8b9a376568cb6edebce12","datavalue":{"value":"Alexander Bentkamp","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361593$5661064B-073B-4954-ACC2-69CF3AC77449","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":"Q7361593$33F95D65-F3B0-4EC3-95CA-3C65E17B7862","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":"Q7361593$1406B382-8FE8-4EC8-8325-59ACBB315E8D","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":"Q7361593$295D0E47-B1F8-4382-959B-D493C9BCAC00","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":"Q7361593$658870E2-9F4E-4B55-88A4-4ED115F86C73","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":"Q7361593$0B5E5ADE-A979-4D81-A37A-2A23A1EE0585","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":"Q7361593$8E713BA0-34A8-409D-9899-526FC95E8E81","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":"Q7361593$AF0288D5-E24B-4FF0-A79F-40D74B519D29","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":"Q7361593$E50EE52A-3863-4D35-ADDE-FE52D277CF43","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":"Q7361593$B2679E24-C3C0-49A9-B6B7-6896AEEEBAF8","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":"Q7361593$E9C8DA10-32F3-4A20-B90D-16E897F2962D","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":"Q7361593$DB0C6026-59E8-496D-8938-EA99F0C8B4ED","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":"Q7361593$415BD40A-8873-4F2E-B2C8-456E06C31D67","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":"Q7361593$65D58C9F-4DCC-47CC-9EDD-A40618368291","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":"Q7361593$55F0C38C-CC55-4C85-967C-D3A3E6179156","rank":"normal"}],"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"c64639cb484a9a595336e38d8f8279b0ddf1eba5","datavalue":{"value":"32226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361593$E935B952-DFB3-4917-A279-D5928F495C89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361593$07FA367E-D544-4660-A169-DAE29297C310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62b7e192ddad84e0999f497c95811da22d169570","datavalue":{"value":"13.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361593$8B3306D5-823E-4C76-A52E-1E8630CF3516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361593$FA9EBD80-3EF7-40BC-B586-0139EC017B62","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":"Q7361593$2DCFFBFF-4424-4FB7-BEB0-7694B13692F1","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":"Q7361593$921BCA85-BD12-4C98-BE6D-D568899405B2","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":"Q7361593$8F113AD4-474F-4C9D-A8C5-53E79BFC1784","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":"Q7361593$C2E1A2EA-EE5B-44E7-A8D2-973681549D5A","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":"Q7361593$9273869E-CD7A-4F65-90AB-E918A88D099B","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":"Q7361593$4E186C33-F7BE-4DE7-8626-342DE8FEECCB","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":"Q7361593$AA9DEDE4-B0C3-4E73-8BF5-A740A1E2176A","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":"Q7361593$27F16ABD-6984-4482-910E-CAAB07F132D0","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":"Q7361593$CA839D95-617C-4EA8-8C69-17FC85550E63","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":"Q7361593$185FE117-02DD-403E-86D7-78151687C2F7","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":"Q7361593$73137D94-99A9-4067-AF36-5F841F2EDB0C","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":"Q7361593$4C4BB71B-9FEF-4B86-9B46-AC4D4B339D16","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":"Q7361593$4A7A5D32-BCD2-423F-9695-A0B27B0BED0F","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":"Q7361593$ED07C6A1-BD4C-4591-AB57-5A39260F93E9","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":"Q7361593$D5C31B26-D4F2-4E42-A0DF-C60013D8A466","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Executable Multivariate Polynomials","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Executable_Multivariate_Polynomials"}}}}}