{"entities":{"Q4647830":{"pageid":6677411,"ns":120,"title":"Item:Q4647830","lastrevid":82251815,"modified":"2026-05-06T20:27:41Z","type":"item","id":"Q4647830","labels":{"en":{"language":"en","value":"Maximal and compositional pattern-based loop invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6103216"}},"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":"Q4647830$4FA16B57-4A35-4B12-A5DF-50DABFA66F59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d6f346bbb2af24208c3bb8268ea4e77d55f02f3","datavalue":{"value":{"text":"Maximal and Compositional Pattern-Based Loop Invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647830$E668B6F0-259B-4B57-965D-0E65C6C605A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a938c78577bcb1cdc1600e8d8fa4d32468bcbd56","datavalue":{"value":"1372.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647830$8B7A86B8-378E-44F0-B9C3-79BF8322B4B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8713277755b7d349844cec261499e34af6bbd5fc","datavalue":{"value":"10.1007/978-3-642-32759-9_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647830$CFB81A2B-597E-4D50-BD03-FFA13F86D873","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42b6f5c31149274795b24362f18afacc8d9e3692","datavalue":{"value":{"entity-type":"item","numeric-id":4647828,"id":"Q4647828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647830$546577B4-23A3-4F9A-A57A-BCCB593B631C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfcdce602f947ea2b49893140570219e6c30f521","datavalue":{"value":{"entity-type":"item","numeric-id":483060,"id":"Q483060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647830$5BC2354D-662D-4D30-AFF8-7696CA51F8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"349ed4840df52c7a6733fc259f3e63d228d04410","datavalue":{"value":{"entity-type":"item","numeric-id":604390,"id":"Q604390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647830$8BE3F218-2726-4019-8C13-1DA3FBDA19C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc858ea87fcef0db95b307f7a80292c39c2aad1","datavalue":{"value":{"entity-type":"item","numeric-id":4647829,"id":"Q4647829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647830$798C5451-B565-43A1-912C-993BB3BCB4F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47b8cd0ec3e8f1eb6cea8b605a2e9da8ee4c97b7","datavalue":{"value":{"entity-type":"item","numeric-id":4647826,"id":"Q4647826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647830$7B4BD98C-8EA7-479B-B9BC-900C4D02C8FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1fd40b453552197bf6992e0512f747c68abfc621","datavalue":{"value":{"time":"+2012-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647830$8FEBB365-1A60-4D8B-B8C1-02D95D02DF3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647830$2D74F441-4E75-4986-8D90-8BBFF1C8437F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7935901a3f6247678c3b298148fd34c98fca4bd0","datavalue":{"value":"6103216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647830$F87CD6D6-93BD-4FBB-B3D0-143A930932C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c6b234052d577bbfc0605fdbf112f40bb1c4228","datavalue":{"value":"loop invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647830$E53BE0A2-64BB-453C-BCBA-B66E6BB33E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f9062a19f85971c14b4d71d981f064b7b13591","datavalue":{"value":"compositional reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647830$090295B5-B3DD-422B-BB77-B9007FA7901B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65f87fd41bb24b67dc64fc5b743dec71890cdb77","datavalue":{"value":"automatic invariant generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647830$6ECC5895-B154-46AE-A64B-994939353E24","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":"Q4647830$35A64DDC-D84F-4EE3-9C9C-F4EC4C888183","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba9f77d8103243fafeb9e8d6f661ea5255b6bea3","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32759-9_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647830$4DD5333D-E5EB-4D1E-8F10-548D34ED082F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd81b1f5a037e9d1c6f51854d55fac18ab3cf650","datavalue":{"value":"W4301954000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647830$1A97C365-37AF-4BA1-BB1F-10834D356237","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edbb0304e940bceb5735c561adfb0e7f12a33f27","datavalue":{"value":{"entity-type":"item","numeric-id":3646570,"id":"Q3646570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4932414eb547c0217376ea57eb0415bf7ae93812","datavalue":{"value":{"amount":"+0.7905777096748352","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":"Q4647830$DE6910B4-34FA-45BA-94CD-F934FE46C419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28cd4c9bd46e7f85f128f538f91caf8b7e94e679","datavalue":{"value":{"entity-type":"item","numeric-id":2026786,"id":"Q2026786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffffeb8a5d192fa13b981c15d417093177e54ac0","datavalue":{"value":{"amount":"+0.7774797677993774","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":"Q4647830$853C1999-B789-492D-AD72-F4C6CED42D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d2b85a5302ff3cbd29d92e5cc72ca183e39530b","datavalue":{"value":{"entity-type":"item","numeric-id":2926644,"id":"Q2926644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f4facf7ee9608193bf997c0031417922f3eb288","datavalue":{"value":{"amount":"+0.7635790109634399","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":"Q4647830$236018D1-FBA5-4029-B46E-024877BDA487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e44f84f769f4f9ab334f19fa186dc1ad89ccad58","datavalue":{"value":{"entity-type":"item","numeric-id":5119943,"id":"Q5119943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4be0309ae2e695692f85aeda4573f9f1c8878e9f","datavalue":{"value":{"amount":"+0.7623437643051147","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":"Q4647830$6668D346-A92B-4733-A047-3A006CD94D63","rank":"normal"},{"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":"b6f2aefd72b56f541686532611ecdfca6497203b","datavalue":{"value":{"amount":"+0.7606995701789856","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":"Q4647830$2389FC86-686D-460E-8ACA-0F99FD1E793A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Maximal and compositional pattern-based loop invariants","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Maximal_and_compositional_pattern-based_loop_invariants"}}}}}