{"entities":{"Q4657335":{"pageid":6686916,"ns":120,"title":"Item:Q4657335","lastrevid":48436093,"modified":"2026-01-04T19:37:27Z","type":"item","id":"Q4657335","labels":{"en":{"language":"en","value":"Automatic Generation of Polynomial Loop Invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2145026"}},"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":"Q4657335$D7787023-FD31-4DB5-A956-79E5881B3D97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ab2529405933181446dce06699b9c6fa9a4de00","datavalue":{"value":{"text":"Automatic Generation of Polynomial Loop Invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4657335$2F9F7F88-CF61-45EB-9141-34F7174F221C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b368056704cca0089c3bfa59dabd8ff962497c3","datavalue":{"value":"1108.13310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4657335$B5AB5391-31BD-40F6-A2D2-017FE322E9B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2f9453b26713d3cb9aadd9bd08eace5f683928d","datavalue":{"value":"10.1145/1005285.1005324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4657335$E8D98D79-78E9-452D-919E-F4D6D49C8612","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":"Q4657335$8866521F-5DF1-4851-B5EA-306C5BC46226","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":"Q4657335$C04BC53F-6061-4D2B-BFBE-22ED166E1A64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"102223a42789942bdf3641dab616e75cbe51f9b0","datavalue":{"value":{"entity-type":"item","numeric-id":4657290,"id":"Q4657290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4657335$063E7001-A476-4AAF-A6A9-188102147387","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86786d040792a5aa5b9650e1f7639ea6014a98c7","datavalue":{"value":{"time":"+2005-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4657335$F999699E-3772-4A49-B367-EC59D23801B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4657335$8E9EA901-1548-4E13-8684-33CEF0EE9A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4657335$E432BA7E-9BF4-45B0-935E-84CDAA50C8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4657335$5ECAB7EA-F15C-483B-8DBE-19C09CFEF11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4657335$9B558A38-DD6F-4963-A59C-8146CBDD7A70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e56aa06472de243e770a1638fe7b0f30bd77f3d","datavalue":{"value":"2145026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4657335$6EDED858-CDB7-42BB-B518-A6944D7B5E86","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab289b4a4dce88a10daf1d8789a559ace8220723","datavalue":{"value":{"entity-type":"item","numeric-id":18771,"id":"Q18771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4657335$8402BDA4-FCED-4FB6-A0EF-7CCD2335906F","rank":"normal"},{"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":"Q4657335$76F231CD-7EE8-48AC-80FE-E43E59360FF5","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":"Q4657335$84B76CAD-AC3E-4087-95E9-3F66F53D1265","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d90dbad109f45cf6622823f9412098f0278bd8c","datavalue":{"value":"https://doi.org/10.1145/1005285.1005324","type":"string"},"datatype":"url"},"type":"statement","id":"Q4657335$69E4F4EF-18B9-487E-9011-B1AA80E79FFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"affabcc3f4adff49763f2d69a08c7823795a735e","datavalue":{"value":"W1967845657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4657335$09DBBD0A-6146-4DD6-B079-C92323C2F7EB","rank":"normal"}],"P1643":[{"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":"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":"Q4657335$C5865ED6-B481-4C84-89C7-E17514AB0297","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":"ebd60cff721a5fdbb3727f67c11e6ee2a8945e32","datavalue":{"value":{"amount":"+0.8646687865257263","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":"Q4657335$6EA6C605-2E67-416D-8D11-434771B1903E","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":"faf44aa0176dfeb570023ec7480726f98ffaebe7","datavalue":{"value":{"amount":"+0.8387004137039185","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":"Q4657335$D55AB11D-38BE-4BF1-BFF7-FC7413C521E0","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":"27c8f24e57225eebf2df7065de5822374846d156","datavalue":{"value":{"amount":"+0.83708256483078","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":"Q4657335$42A7FC28-D63E-4BFB-8390-FA58098B1100","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":"fffb6206f3b47a9fe9d230f2943d84d0f9abc145","datavalue":{"value":{"amount":"+0.8365744352340698","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":"Q4657335$BDA76F7E-9A4A-4F7A-BAA8-21975727F5F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4657335","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4657335"}}}}}