{"entities":{"Q859956":{"pageid":861804,"ns":120,"title":"Item:Q859956","lastrevid":50004808,"modified":"2026-01-12T14:35:31Z","type":"item","id":"Q859956","labels":{"en":{"language":"en","value":"Automatic generation of polynomial invariants of bounded degree using abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5117724"}},"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":"Q859956$1FEA1929-F411-4E80-B8DD-1630C865BAAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"750e6e4c5c6a481697dd8dedce92b2fd3a4c9de7","datavalue":{"value":{"text":"Automatic generation of polynomial invariants of bounded degree using abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q859956$98E067DC-86DE-4DF9-B355-BA03F84C6B5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be683c6298f4c3b1a34bc32a17b29ea18f8d54b1","datavalue":{"value":"1171.68555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859956$E14AA376-102D-46B5-9984-9B7F8A134F92","rank":"normal"}],"P16":[{"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":"Q859956$22C7ADD8-2E24-45F5-9CC5-C8DDD9104685","rank":"normal"},{"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":"Q859956$E596A1ED-AB65-4450-BF00-E328B26A44B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859956$CFA74FAD-7560-4AC4-93AE-7EFAA2F5869A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8717bd621ac828fb200d97d6d2f52c061cac920b","datavalue":{"value":{"time":"+2007-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q859956$11F1C908-B8AB-47DC-B2A1-5094571B43D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859956$B80EC0C8-D2D2-4BD5-937C-5877C171BE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859956$38D99AB8-3DFF-44F7-AE0C-D3EDF856E761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859956$342123D0-812E-4E2E-A8C4-D855372E9ADB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0c249f78fb81a53c39f178883d8b8bfa4b6ba54","datavalue":{"value":"5117724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859956$DB2E8F28-5A6E-49A2-9730-608FAF984A91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q859956$13452019-BAD3-485C-A451-2DABC9CC5E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09f08fe6c16b3c26a1a0a83daf5a7e3891341f78","datavalue":{"value":"invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q859956$EEB6A8B2-0513-4E22-96AE-C2CD56729E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2f2916bab33dc75fe842a4caa074a005f1e97ba","datavalue":{"value":"ideal of polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q859956$6474AFB6-781D-41D2-83DB-4EE7AA901BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q859956$575FF9A0-A8BD-4673-B5F9-B3562A997257","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a7ab78c11a5a96fc598f910c529b2ab4e71c73d","datavalue":{"value":{"entity-type":"item","numeric-id":13292,"id":"Q13292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859956$8EB39F47-0FC2-4068-BE83-7CA861F056D5","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":"Q859956$4A7E13DD-CA11-4467-B4DC-568FCFBF2BEB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e761ad8720e7764166c365536806a13eca54cae","datavalue":{"value":"https://doi.org/10.1016/j.scico.2006.03.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q859956$30547A7F-C49A-4898-9013-52730545D291","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16beb0325e6474944f6865616f89218757bb1e3c","datavalue":{"value":"W2099629271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859956$18EB3D29-1D57-4BF2-881D-79C3D6B525C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62425634ff0dc5efb634be1d05b717388f8ca93d","datavalue":{"value":"10.1016/J.SCICO.2006.03.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859956$BB7D8D00-BC81-4CD5-BE26-5C3F471A5FFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"926cf5679f12b929b495c82a0526a2cd15578836","datavalue":{"value":{"entity-type":"item","numeric-id":5466567,"id":"Q5466567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d0e79315b7bc1b537e0d4c059c79999ef77bc4","datavalue":{"value":{"amount":"+0.9561602473258972","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":"Q859956$92125604-5273-4822-A3E0-BADB1A310370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cf36bfd14d85130d7ee6c41b3f17bd536466d5f","datavalue":{"value":{"entity-type":"item","numeric-id":2457430,"id":"Q2457430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61e7ab1425608a7ba2ea705e8cad41c7f97f26a9","datavalue":{"value":{"amount":"+0.8461880087852478","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":"Q859956$2E651F77-9E8C-4D5E-896D-BACA389B207C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf08f9e6eae6c33e54be636f8491d559294d6d6","datavalue":{"value":{"entity-type":"item","numeric-id":3004678,"id":"Q3004678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c3c4392cd2218449c1b7cf5b9677ccf5b5d3af9","datavalue":{"value":{"amount":"+0.8369899392127991","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":"Q859956$3016DFF2-2048-4016-8F14-20BCE319A297","rank":"normal"},{"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":"bc0545b60652e1363348c8d443451c1b4b9b20e7","datavalue":{"value":{"amount":"+0.8205171823501587","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":"Q859956$71633940-3D14-48ED-81C0-B70A8606F8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c13988aba604286380ae796b695abe654561d5","datavalue":{"value":{"entity-type":"item","numeric-id":5395800,"id":"Q5395800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8a171144fe82ab44f5e013b8014c2930f51570b","datavalue":{"value":{"amount":"+0.8140091896057129","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":"Q859956$BB09DAB8-A745-40E7-AEF2-B1107B6AFA06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:859956","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:859956"}}}}}