{"entities":{"Q5209962":{"pageid":7239533,"ns":120,"title":"Item:Q5209962","lastrevid":53643395,"modified":"2026-01-25T11:57:13Z","type":"item","id":"Q5209962","labels":{"en":{"language":"en","value":"SVM-based method for detecting ranking functions in polynomial loop programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7156371"}},"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":"Q5209962$29A02698-1562-47B6-9903-DAECD534ACC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8e2a08abba45657e5306f0da688a09dca25b3ed","datavalue":{"value":"1449.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209962$A7C7CDC9-3DA7-4D31-89DF-215727455873","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8e543ed9331e4e9f3da7e47e39d3af59d472a0a","datavalue":{"value":{"entity-type":"item","numeric-id":202115,"id":"Q202115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5209962$F2091837-0AF3-4E24-8007-B91AFEB2CDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d80b7578714f5c37cf585618dce0d94d28f1d9ce","datavalue":{"value":{"entity-type":"item","numeric-id":5209960,"id":"Q5209960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5209962$2E1CCE7D-1D17-4FB9-8791-5632A780AFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da87f2bd9f42283361c82e9a8a910544a9e77a2b","datavalue":{"value":{"entity-type":"item","numeric-id":5209961,"id":"Q5209961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5209962$6A66A94F-446F-41C1-8DF3-28F16C073224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5af6f576473a1acdb21cbf94138611aaac838336","datavalue":{"value":{"entity-type":"item","numeric-id":477283,"id":"Q477283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5209962$7AD64DAD-20F2-442F-A134-5B18A9921361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ba4a63ba92f8dd03985223794b8b3dac2c5da5e","datavalue":{"value":{"entity-type":"item","numeric-id":311974,"id":"Q311974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5209962$2D210993-B1F0-41C7-A2B2-7A74DABC5685","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db0c076b272b350be02382ed0bfa3a4836080ec5","datavalue":{"value":{"time":"+2020-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":"Q5209962$42A560CA-DB94-498D-AB0C-7B1F58FE4E55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209962$D9AB0AD8-0D21-451E-89AF-6873D8DDEE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209962$D18D2338-2518-47A1-B1F9-A236203060A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6e97fac1f718b4a2b195cb3514d784c6c235bff","datavalue":{"value":"7156371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209962$B5B45824-E30C-48A2-B46C-5B8E97704D0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db5ac46422607c747e60f1c77051817e04e9baee","datavalue":{"value":"program termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5209962$AF36AB56-341C-4996-BB8B-A32C61CB91E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7135f0a316c8fdaa92b5529d61d4ed3bd255a89","datavalue":{"value":"support vector machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q5209962$D64F04C3-9203-4381-A69D-59E401D295B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5209962$77900627-5F5B-404D-B6A8-65C5AAC2BC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e67f9f6bf951a54803051a1d015f6743500477b1","datavalue":{"value":"ranking functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5209962$99DA0264-D93A-4A78-BB3F-892C2A28C83A","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":"Q5209962$9E1C9CC3-6554-47F3-ADC2-86A61A1C82C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d70b01e3f92adc43214e85376516c89e08dd8a5","datavalue":{"value":"10.13328/J.CNKI.JOS.005748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209962$3ED33304-0CD7-44CF-B720-3F249F634C13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85ffe31b930eb9fbd11cffc564be8b2381c99b8e","datavalue":{"value":{"entity-type":"item","numeric-id":3306912,"id":"Q3306912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65c1a45b5eac9199dd7df716bdf33eab5fc65f2e","datavalue":{"value":{"amount":"+0.889363169670105","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":"Q5209962$2D6C4EF0-153C-4029-803E-214FFF0D7E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c0ab82d95888dd2ac58b61cc9e6e60e619d0e09","datavalue":{"value":{"entity-type":"item","numeric-id":5716758,"id":"Q5716758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4380760e49b87e377b38cc22266ec610598f1eda","datavalue":{"value":{"amount":"+0.7940077781677246","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":"Q5209962$F351D38E-3F80-41CE-9E9C-27F4A4A735EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e2449eddd36c106be182b3043f294722941103","datavalue":{"value":{"entity-type":"item","numeric-id":714505,"id":"Q714505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61e771651710d555c78cae786995242332525536","datavalue":{"value":{"amount":"+0.7855455875396729","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":"Q5209962$DEB5C94B-A865-48B2-862B-58CE365B009E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"207e616d7f04783c6c66da1976c8fe43750a288a","datavalue":{"value":{"entity-type":"item","numeric-id":5716591,"id":"Q5716591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7f38d55f06f1f5f25adbddb39dafc649a7ee30f","datavalue":{"value":{"amount":"+0.7771504521369934","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":"Q5209962$DA2A3467-FDB1-44FF-92E1-843DE42BA062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3b89343127fd44dc2f036a04e564b6991c8ba04","datavalue":{"value":{"entity-type":"item","numeric-id":5901912,"id":"Q5901912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea71f16e97a4ed4115c97693415df17a78d5033","datavalue":{"value":{"amount":"+0.7718265652656555","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":"Q5209962$4BDF7473-E693-49BD-9CB6-9D73D834F0AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5209962","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5209962"}}}}}