{"entities":{"Q1702935":{"pageid":1713676,"ns":120,"title":"Item:Q1702935","lastrevid":72117195,"modified":"2026-04-14T02:45:22Z","type":"item","id":"Q1702935","labels":{"en":{"language":"en","value":"Counterexample-guided polynomial loop invariant generation by Lagrange interpolation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6845691"}},"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":"Q1702935$2498D310-DBF0-46E8-9997-CAFCF47C884C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d47e759488302a24db18cbb86feaa0bc23fc5df","datavalue":{"value":{"text":"Counterexample-guided polynomial loop invariant generation by Lagrange interpolation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1702935$369FED79-4E5F-461D-A083-9F1349824086","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d052a88e68ba3280414ce5af70d4def10475072e","datavalue":{"value":"1381.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702935$0A2ECF6C-1C0F-47D2-B8AA-632D87267253","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd20f10373e07797e4cea8568238c2bbf769b59e","datavalue":{"value":"10.1007/978-3-319-21690-4_44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702935$9514EAD5-4672-4F35-BD50-AA582956B4A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7fca74f7f2088ba772c96b73216f68cda94cc5e","datavalue":{"value":{"entity-type":"item","numeric-id":740969,"id":"Q740969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702935$2C28853E-C48D-4188-8B96-21CDF4AFBBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c715c03e7b714d73de239e05cbc52210bd821daf","datavalue":{"value":{"entity-type":"item","numeric-id":1702934,"id":"Q1702934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702935$0C089BCF-796D-4A54-BC81-050567BE4441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c17cf4b757376e81bb18052c33891da6bf831a","datavalue":{"value":{"entity-type":"item","numeric-id":832259,"id":"Q832259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702935$A6B608AB-201C-4483-8BEA-E8A14540ADE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5894425868796c1c566a284833508f3ef0277bc9","datavalue":{"value":{"entity-type":"item","numeric-id":764615,"id":"Q764615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702935$71904016-7230-4E5C-BC29-AB67775E6472","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ead1def560b38beae02ca12f5c5bf33059d8b8e","datavalue":{"value":{"time":"+2018-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1702935$23BAAF11-B852-4F37-A181-CB8F0F468357","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19929c15e64c0f70ea2be4797aa32984e5a57c3f","datavalue":{"value":"https://arxiv.org/abs/1502.04280","type":"string"},"datatype":"url"},"type":"statement","id":"Q1702935$6F8294A9-3F51-4BCA-82E9-EE34211A1434","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702935$E6052A23-52AB-4495-8BAD-B9AFB93A12AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d97fa68dd4f971b8cbd10801313cf3fd95c3e3e","datavalue":{"value":"41A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702935$0CF4E3CE-EF19-4AE3-BD5B-24C8C82C40A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62c3b939905e5f7f65852dc4394bc9c834919ba2","datavalue":{"value":"6845691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702935$2E6645CF-1CF8-4B4A-B046-911B84AD6E67","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":"Q1702935$3BC6B510-E9A5-4044-9104-37F3FB1DD65B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e76f37e938c68aea08f4a9b11dd88a387d8c8b2","datavalue":{"value":"W1948975400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702935$54AB6FD5-A4A9-4A9C-91CA-B580EE9ED9C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74c702431d0f265f8ba2909339cc0ecb7be041e7","datavalue":{"value":{"entity-type":"item","numeric-id":5096098,"id":"Q5096098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a946c601233a27b2e04c9ffac1a7c2779a1a852","datavalue":{"value":{"amount":"+0.8752259612083435","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":"Q1702935$98899766-DF7B-4C73-993A-0EBE168FD3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e0f2451645533cad78115fe506fcfadc4570b2","datavalue":{"value":{"entity-type":"item","numeric-id":3296330,"id":"Q3296330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"022942cc130b2079f70602bc9931f85e43bf604d","datavalue":{"value":{"amount":"+0.7604761123657227","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":"Q1702935$126C33D9-7D7D-4568-BA5F-6A2D911E4053","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":"defe5b3dad7bf17f51ae91f5026c1ce8fa0a1ec7","datavalue":{"value":{"amount":"+0.7571572661399841","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":"Q1702935$348E6F39-512E-4DF6-9392-91BF4D26D4EF","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":"c02ef7fe50b76135a658ae39c0a43780be0fe4be","datavalue":{"value":{"amount":"+0.7497510313987732","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":"Q1702935$85FB8A93-EA46-4E15-B6FC-E27E514BF3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc0574b314bd4d8a17aed6960ec0b4d41e6491bd","datavalue":{"value":{"entity-type":"item","numeric-id":2938082,"id":"Q2938082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8fa12ce01de0bd7ccc8ce30000a4abcab250050","datavalue":{"value":{"amount":"+0.746323823928833","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":"Q1702935$21238693-99EA-4E58-9AB5-87A128246F3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counterexample-guided polynomial loop invariant generation by Lagrange interpolation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Counterexample-guided_polynomial_loop_invariant_generation_by_Lagrange_interpolation"}}}}}