{"entities":{"Q2180218":{"pageid":2190961,"ns":120,"title":"Item:Q2180218","lastrevid":57763485,"modified":"2026-04-02T10:33:03Z","type":"item","id":"Q2180218","labels":{"en":{"language":"en","value":"Ilinva: using abduction to generate loop invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7200355"}},"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":"Q2180218$A1C8AD33-FE94-4F95-A8C1-860E8B91274E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2228b0c452e98ceff0d7867e39bf688bd7654be","datavalue":{"value":{"text":"Ilinva: using abduction to generate loop invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2180218$33FF1BB0-6BF0-402D-992A-0784A22DE575","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e1eae567f84a1ea283e34a6c4fb8bc3c5f450a4","datavalue":{"value":"1435.68365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180218$EB5ACE47-71CE-4744-AC39-D5EB57212977","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35f28e881c09c9d8b4cad24a4b8bf0de0dd4339c","datavalue":{"value":"10.1007/978-3-030-29007-8_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180218$69298FCF-43CC-4272-ABC8-8135952D4648","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da9d0bb1bba7f8d78f26f8b0456c3cbe905220ef","datavalue":{"value":{"entity-type":"item","numeric-id":438577,"id":"Q438577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180218$D72EF943-DB24-473D-B9A8-FFE9BD05410A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180218$298331C3-F6AA-40F4-8E0F-F083ADF83649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9fe385e6faeb61e5c25876c960a414a05d7be29","datavalue":{"value":{"entity-type":"item","numeric-id":1799089,"id":"Q1799089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180218$9DEC855A-874C-47E0-971E-A4791388F660","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d0c48627b068f854a947856c3807165d49ca3ba","datavalue":{"value":{"time":"+2020-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2180218$3E2A8837-1247-4A83-8E63-12F38627EB6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0468c686013a0a7d8bc224d4ddf08597771f903d","datavalue":{"value":"https://arxiv.org/abs/1906.11033","type":"string"},"datatype":"url"},"type":"statement","id":"Q2180218$89AA796D-8A88-4FCE-B2E1-4BCA39B0C805","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180218$BC4F6B48-9408-45D8-BB48-336286499B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180218$2D0F4802-C438-4B5E-9458-C47B805F9DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180218$5B7484F9-4A65-49B9-B7BD-14397994FE88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"990409ca0c0dc8ecdc680f30bc99473cd46631c5","datavalue":{"value":"7200355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180218$CE8CEC47-D937-4A9D-BDD8-A378371A925C","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":"Q2180218$6308A4F5-BB53-43EB-AA5D-13C0E1057A5B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a02e1747dea719ec17fde480c697405d26db6c23","datavalue":{"value":"W2970244683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180218$6312E048-CAD1-40B5-AC32-9F0911D070E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cb23bd8c9cdca6792eabcff20647876a470cc75","datavalue":{"value":{"entity-type":"item","numeric-id":5096093,"id":"Q5096093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e798847c49848ac19f55fe7fb87c4566f176557c","datavalue":{"value":{"amount":"+0.7883480191230774","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":"Q2180218$4757AB56-BC12-41A9-B3D5-51405138DE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87fe0da3efb68e9a28fd7c5b4931d8d9ec90853c","datavalue":{"value":{"entity-type":"item","numeric-id":882517,"id":"Q882517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03500be426558df16a969b01f219ac0a093fdb4f","datavalue":{"value":{"amount":"+0.7708193063735962","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":"Q2180218$38377DE5-19FD-4E80-BB8B-F27494AB3C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d861b3c3d9879bc547785c7d76c3c43a050a5565","datavalue":{"value":{"entity-type":"item","numeric-id":3460073,"id":"Q3460073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8685b11e13571fb64ac8abbc9a28648e4dce4d34","datavalue":{"value":{"amount":"+0.7510885000228882","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":"Q2180218$0142B1B8-9854-480A-BA81-E9945448B60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6818cd45b997c627c00e90e817272a99221a2c1","datavalue":{"value":{"entity-type":"item","numeric-id":5716581,"id":"Q5716581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a1171c4ec0c93900a6b9ae68e64a88c69520e53","datavalue":{"value":{"amount":"+0.7474256157875061","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":"Q2180218$1E251D5A-07A8-4357-8DDE-B9C805183DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97bd5ab765d1851261b0bfadc8d534c87a3dcc72","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb0bfa6c9f27e890d3d429ee79f2b06822098b65","datavalue":{"value":{"amount":"+0.7449285387992859","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":"Q2180218$702357E9-35FA-4997-97D6-254994EA603F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2180218","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2180218"}}}}}