{"entities":{"Q5326308":{"pageid":7355882,"ns":120,"title":"Item:Q5326308","lastrevid":51790391,"modified":"2026-01-20T01:30:12Z","type":"item","id":"Q5326308","labels":{"en":{"language":"en","value":"A data driven approach for algebraic loop invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194814"}},"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":"Q5326308$EA379252-2C54-45B1-B25B-97FC4E87EB37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f2e82c8cf93122ddca660aac297f348b5451463","datavalue":{"value":{"text":"A Data Driven Approach for Algebraic Loop Invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326308$74E81A76-6AFC-4A3D-A1E2-C47EF54006D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2cb4bbb63a42cf88e4696b19d4cbd1b1d7ed1a4","datavalue":{"value":"1381.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326308$D887E6CD-68F7-4994-9131-D2617D31A86B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d15d59d0b00b462da914d7cd55af5e8f3323b8c","datavalue":{"value":"10.1007/978-3-642-37036-6_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326308$043DA677-536E-4B33-A9DC-68F18A9D3178","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6343d3d0029682fb8330097f4f6a18dbe0b7a1f7","datavalue":{"value":{"entity-type":"item","numeric-id":518403,"id":"Q518403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326308$8BEECA56-51DD-4D69-BCC0-BFFFC74F6AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1d74e06879fef014de4739a29e66dc51bb42332","datavalue":{"value":{"entity-type":"item","numeric-id":982074,"id":"Q982074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326308$86461277-B3A4-4C5D-8A1D-66ED95355078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a015486ec3e9dd6df3d08fa492daf6b4fd25b2ed","datavalue":{"value":{"entity-type":"item","numeric-id":439036,"id":"Q439036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326308$72010DB7-3700-41D7-9E51-F4C8B5084429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e198c2c9d8df28574fdbaf2e4371463c98e7a775","datavalue":{"value":{"entity-type":"item","numeric-id":453504,"id":"Q453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326308$ED65DE35-0FC7-4A0F-9346-39C26E22485D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59887e1a6c046e3369ef4ff4a9e2103dd8fe0fa8","datavalue":{"value":{"entity-type":"item","numeric-id":2127213,"id":"Q2127213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326308$D695CECA-42C2-43BD-8596-4E51B6196644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"404c35f5e22cfb67984e81e72f05be65541ec9cd","datavalue":{"value":{"entity-type":"item","numeric-id":765511,"id":"Q765511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326308$E8CBC4D0-6B58-42E3-8673-15914647B52E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326308$46F87527-4F39-4FEF-8BAA-77ADA0D16576","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326308$2D646FFF-97F7-4F0C-AAAD-D4A696344D39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326308$003CC318-4A3A-488B-89CF-293FE32CAA14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0dd957da89249c9b6b1b8d56d61a194942cda57d","datavalue":{"value":"6194814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326308$6E22C327-F9E5-4C62-AB73-BCBB3F93EAE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56c71e46e79e03ad250b01addd277681d4c615b8","datavalue":{"value":"nonlinear arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5326308$2DFB235C-095A-4719-B9CE-67CD1687B18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c6b234052d577bbfc0605fdbf112f40bb1c4228","datavalue":{"value":"loop invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5326308$8011DCA9-B00E-437B-85E7-1ED0CB2A61C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5326308$96C25BEA-5DA0-4C82-A3B4-DA7CFF0D2F39","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326308$2067E1E3-2CE7-4F8E-94BF-5B7C45962A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33734e36764580044df2d1101af853dac96392fb","datavalue":{"value":{"entity-type":"item","numeric-id":21759,"id":"Q21759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326308$DE40807C-E684-4C55-A068-44E00A77105E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c316a4e11e44cbd015a63ff86b861806410c456a","datavalue":{"value":{"entity-type":"item","numeric-id":25012,"id":"Q25012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326308$8276174D-AB76-4A7A-AED4-5521C01274EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326308$8FD81F67-223C-4029-B107-94889FFC6D28","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":"Q5326308$586C833F-1633-4092-9750-9418EE814811","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"056f9aceaf8290ca1ad6cb64307af880cb2d4b59","datavalue":{"value":"https://doi.org/10.1007/978-3-642-37036-6_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326308$D0BF4487-F93D-4CE3-B405-1F3B28DB74DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3c8313b3a8f79f8f42ff4f935672d1cf88d70f5","datavalue":{"value":"W2108776051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326308$F52AB35B-4B21-41B7-AA23-8EB0B807B633","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":"d5a6e05c5941572a0595db885d2a947fac040d58","datavalue":{"value":{"amount":"+0.7731282711029053","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":"Q5326308$CA0F2663-2C71-4B06-946A-12834D9E4893","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":"f38b9ac67cc9bb9d57732d09fc8e86d92e94f653","datavalue":{"value":{"amount":"+0.7692224383354187","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":"Q5326308$CAAD220E-03C3-40AC-AFB7-5B65C35D88A2","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":"a5e642b85cfecc485225be7a49ef0203ca60dc2a","datavalue":{"value":{"amount":"+0.75716233253479","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":"Q5326308$80D749F1-5380-4A6C-A4ED-FB02DEDB36A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdc917171a529180fb7bd5aa610e4496aec07f14","datavalue":{"value":{"entity-type":"item","numeric-id":1311622,"id":"Q1311622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8294098bf49ba1a8d10f70a6ebe90a680ade8b08","datavalue":{"value":{"amount":"+0.7533764243125916","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":"Q5326308$E9D498DC-AD95-42FE-B9EA-5797AC63D36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb7c90b510a5f1e67bc4c689204ae8e96e26c107","datavalue":{"value":{"entity-type":"item","numeric-id":6177467,"id":"Q6177467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e15e595735795d4169fd69c2baa93c2c14c50990","datavalue":{"value":{"amount":"+0.745169997215271","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":"Q5326308$3BE7A4D0-7009-46EF-BA66-181BCE7BC976","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326308","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326308"}}}}}