{"entities":{"Q2457430":{"pageid":2468173,"ns":120,"title":"Item:Q2457430","lastrevid":50192045,"modified":"2026-01-13T11:34:01Z","type":"item","id":"Q2457430","labels":{"en":{"language":"en","value":"Generating all polynomial invariants in simple loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5203532"}},"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":"Q2457430$01A41D77-36C9-4E8C-8CA9-883876EB6AA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"265a93dee7ad54a2d4d39bbd8f416e6c16ccbf8a","datavalue":{"value":{"text":"Generating all polynomial invariants in simple loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2457430$4C7AD5C7-BBD2-4460-AF06-34C2E7F4B3E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b135ddb25546fddfa87379443034d757a6d2af06","datavalue":{"value":"1121.13034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457430$6AAC23DF-9322-4544-A733-C22EF815A570","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1c6f3313098f94ac950042b92865f2f95306b33","datavalue":{"value":{"entity-type":"item","numeric-id":438575,"id":"Q438575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457430$22D33326-A3D8-4CA4-B1D6-750794FE6644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a60a38320311da18eda10821922742954865726","datavalue":{"value":{"entity-type":"item","numeric-id":394492,"id":"Q394492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457430$0E10A05C-C06F-4983-9543-C9F3043CBBD8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457430$C03DAC00-AC85-4860-A541-1F436AAC1204","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b92f17929f5a72155ae3100d6d6310726eec0e95","datavalue":{"value":{"time":"+2007-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2457430$5E330C6D-B461-473E-921F-577DA2C4B076","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457430$204212DD-F16C-470A-81E3-FA84DA680FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457430$8469FC3A-4A3B-4F54-9D6A-5260F3F18776","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77e9e27e928a90c2669cf28638eb99fb96316dd9","datavalue":{"value":"5203532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457430$B3277B82-DD38-41A8-83CD-FADCD4BF7AB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa0a4da572274ad55899bfb2fae87dc4ba0cbad2","datavalue":{"value":"loop invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457430$421CCC00-D76F-468A-A5BB-962CBE12F851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2f2916bab33dc75fe842a4caa074a005f1e97ba","datavalue":{"value":"ideal of polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457430$AAA076D6-96EC-43B3-B69C-58FDD0EB78C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457430$3BF36119-4FB3-4324-ADD0-1C7C42B59481","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457430$4B43299D-DC1B-4654-B74D-AF938D2CF6AD","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":"Q2457430$6DF41001-0CE4-4FA4-8C8E-6164CAD3017B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6216c489d747d36dbcf59be3996a93f9ee5b6030","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2007.01.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2457430$A44F28BF-4B14-4FA9-ABCA-763F8F22B4DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48faa81d82ef636b7ce024f081207176d487aa84","datavalue":{"value":"W1971043610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457430$49718A9B-8AF6-4738-9E53-75C83F873F3E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb52b96c4c974f9d9523f367ef64dded6d05761","datavalue":{"value":{"entity-type":"item","numeric-id":4693774,"id":"Q4693774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457430$59260F00-E1C4-448A-9982-16BF667B223D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db78f31c027d84b96c1f83f4c15fa057e75ab92c","datavalue":{"value":{"entity-type":"item","numeric-id":3995106,"id":"Q3995106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457430$D6858C02-0E43-4642-9255-2EAA14F55BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c0a2f0a8723a693dd30a6b38899a6eeaf6ed6bc","datavalue":{"value":{"entity-type":"item","numeric-id":3999301,"id":"Q3999301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457430$F808FBE1-8B8B-45C8-83EC-1254D00E7BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6147d2f7e587b89aacd643b989d9dbbdf8086192","datavalue":{"value":{"entity-type":"item","numeric-id":5466568,"id":"Q5466568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457430$75AD94E1-8B3B-4C52-BC01-CF4C89BEF06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a1cfc1d9554fd0578fb57504fa04de62a62197","datavalue":{"value":{"entity-type":"item","numeric-id":4174789,"id":"Q4174789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457430$0927D65D-040D-4DF2-84AD-E50114BDEB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813e1bd0c88492312de82de2f2fa5581d746941b","datavalue":{"value":{"entity-type":"item","numeric-id":5690494,"id":"Q5690494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457430$9D615536-841E-434D-BD62-45D0FE0F3B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1199d5fd1dc8abae9906670c246109fd083e30b9","datavalue":{"value":{"entity-type":"item","numeric-id":3914411,"id":"Q3914411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457430$8B5BABFD-DD1F-4565-A7E8-2DFF87A95546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457430$52452A28-EF71-422D-9D94-B773DDA4040B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e9d41339ae42d66b83b53ad3d09c859ca43501","datavalue":{"value":{"entity-type":"item","numeric-id":5276156,"id":"Q5276156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457430$89408732-64E4-44AF-82AF-CFA94F1BA7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"097beafc05a97f0c4e666d19252acf96b5d4d7e6","datavalue":{"value":{"entity-type":"item","numeric-id":4417801,"id":"Q4417801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457430$825A1C86-C531-4FE5-9BB2-38739B908B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feebad8575c91f403302f1fcff58cdee3e55290","datavalue":{"value":{"entity-type":"item","numeric-id":1238409,"id":"Q1238409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457430$E677CDBB-614C-45A2-B083-D5AA27CDCC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d83e0d809c9946be35cf8127887d0a3709fa8a8","datavalue":{"value":{"entity-type":"item","numeric-id":4124273,"id":"Q4124273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457430$A5DE8552-4FB1-4C74-A944-EFDAF5EEBF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa0540fd78fb7a7ac36ecb95287d9deaac0fb1e2","datavalue":{"value":{"entity-type":"item","numeric-id":5585021,"id":"Q5585021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457430$3EDD130B-5790-4D71-8D56-ABC3131913CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f76fff77d3d9d9b4845d1274e18b6e480264ff","datavalue":{"value":{"entity-type":"item","numeric-id":5466534,"id":"Q5466534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457430$E1750857-FF95-435D-B9F1-6153661BFC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70900c3b4b31a6363b51a557b0533917f6773240","datavalue":{"value":{"entity-type":"item","numeric-id":2390319,"id":"Q2390319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457430$30F7FCDA-A4EA-416F-8EFA-8FDE2FE6753D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba0e254908fa1a9fe1b76530cfbe42551f85e9d","datavalue":{"value":{"entity-type":"item","numeric-id":3452271,"id":"Q3452271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457430$4600B6FF-1A4A-4CF9-A771-CF8E22AAD93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5945679cbf6467987da345739dc625d3e00df54","datavalue":{"value":{"entity-type":"item","numeric-id":5466567,"id":"Q5466567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457430$9C401259-5665-4CAF-9764-9E4793F2142B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29e2b7a6bd7a5f7a192b9dd9b1850490db36beed","datavalue":{"value":{"entity-type":"item","numeric-id":4657335,"id":"Q4657335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457430$2447F691-372D-40D9-80D6-6204E4524181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"661a35636a8584041bfbde882918d22d545430f2","datavalue":{"value":{"entity-type":"item","numeric-id":5709984,"id":"Q5709984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457430$C90FF4DF-2621-42D0-953B-D47378161540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c89dbab3e6b723e605c6aa70dd1a0838f12ee2f","datavalue":{"value":{"entity-type":"item","numeric-id":859956,"id":"Q859956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457430$239DACCE-9F7E-4FD9-AAFF-5E46684A4A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632143a12812e0e87ca17f511a00c35f2ee01dd5","datavalue":{"value":{"entity-type":"item","numeric-id":3452270,"id":"Q3452270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457430$9934967B-8050-46A9-8BAE-5197D33E4876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d825095afe6e2215dbc5ab36153017eec07800e3","datavalue":{"value":{"entity-type":"item","numeric-id":4344108,"id":"Q4344108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457430$6A059259-7E29-467B-B3D6-16CEA5E2D645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"613255b4bb6fd411409fb47c605997cb9ba28d51","datavalue":{"value":{"entity-type":"item","numeric-id":5180828,"id":"Q5180828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457430$E59A36F0-2B63-40A2-AB57-6CCD2786972C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44c70f54cc521399888e51dcc48d4bd40ad24104","datavalue":{"value":"10.1016/J.JSC.2007.01.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457430$1FDC16B5-03C8-434A-A8D7-473EF2146976","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e1ac102e88017aeca9570343676b61175a152b","datavalue":{"value":{"entity-type":"item","numeric-id":4657335,"id":"Q4657335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27901fcf0327c4414094d11e705379b5eacdd8ac","datavalue":{"value":{"amount":"+0.9233997464179992","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":"Q2457430$5F3EE6E6-D1B0-48EC-A6AE-EA33FBD70659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ac525c506a7e4496b7ce298045170be2b71b1a0","datavalue":{"value":{"entity-type":"item","numeric-id":891730,"id":"Q891730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"171b946133112d64933ae0569ffe54a63eb9e800","datavalue":{"value":{"amount":"+0.8773117661476135","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":"Q2457430$F80170FB-B6F0-4F5C-82E5-BA89F1E22D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1882d77d0d7fe926d36d1ea73f2313c9b1ca92b","datavalue":{"value":{"entity-type":"item","numeric-id":1990524,"id":"Q1990524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c72f3875d2257b56f7da1befb5ddb7dccfc857e1","datavalue":{"value":{"amount":"+0.8706690073013306","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":"Q2457430$A86B5040-C3F6-4218-96C7-B5084E09F5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2bed51682d9c5b7c5d605faf70180110921267c","datavalue":{"value":{"entity-type":"item","numeric-id":3402283,"id":"Q3402283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"777818528c7bb93aa5ec8d643b41b601173898e3","datavalue":{"value":{"amount":"+0.868431031703949","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":"Q2457430$A3E8698A-6FFA-4A93-9350-6815A9F60A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32d3276762406fd5b69340bd3ed4e749c2093b78","datavalue":{"value":{"entity-type":"item","numeric-id":5709984,"id":"Q5709984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b38ed2d13bdffbc13f99b15b0a3c90e76ed8bc0","datavalue":{"value":{"amount":"+0.8553118705749512","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":"Q2457430$A1325C9F-D397-44B9-805A-6E0C46EA898A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2457430","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2457430"}}}}}