{"entities":{"Q6487319":{"pageid":14066088,"ns":120,"title":"Item:Q6487319","lastrevid":56682495,"modified":"2026-03-18T18:59:46Z","type":"item","id":"Q6487319","labels":{"en":{"language":"en","value":"Affine Loop Invariant Generation via\u00a0Matrix Algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628120"}},"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":"Q6487319$42F95A9E-A8FE-4CCD-A0DE-33359C9519A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94298a627c449cc7173a0bb7c852133fbf5e2d32","datavalue":{"value":{"text":"Affine Loop Invariant Generation via\u00a0Matrix Algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487319$7C1E6362-82DC-4217-9CE2-841F857F4C63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6ff957935458dfa47de19ed41fe8c2d2e617314","datavalue":{"value":"1514.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487319$65A055A6-D2E1-4A4C-8DF1-BD3BFD1F65C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b025cab5e68406e998902e2be63a6f9be25b3a9e","datavalue":{"value":"10.1007/978-3-031-13185-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487319$FBFED6C2-B45D-4E3E-A657-9873138E66B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38b6f4d36dc7380f7b43dae682d0e3fedca88bca","datavalue":{"value":{"entity-type":"item","numeric-id":2168656,"id":"Q2168656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487319$49125966-8CF4-4F88-A262-29E2FCB8889E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8381eb53cd0bceb5ed6a3f40217bddacd0ecccaf","datavalue":{"value":{"entity-type":"item","numeric-id":6166144,"id":"Q6166144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487319$C64E587A-1003-42AC-9034-AEACC62CC5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8661960fdb1a0a967b5c5bcf45ffaa0371f6c7af","datavalue":{"value":{"entity-type":"item","numeric-id":256720,"id":"Q256720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487319$FFB6F4EC-9D96-4159-8BF4-6354456E29E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ad720cc8ff291e0e8418f44aa225a0caf70b7b0","datavalue":{"value":{"entity-type":"item","numeric-id":723844,"id":"Q723844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487319$70139A4C-79C5-45BB-B0B5-AD05885A36A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487319$864D4F55-19F1-40E9-8E4E-9A12B58667B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487319$6827253A-6F69-4895-B287-21B1B8042101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487319$F40987A0-A82B-4AEC-95BB-44B7FD9130E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9074636f2a9aa0f5b8010de6619a07e6c2217183","datavalue":{"value":"7628120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487319$493DCE13-D4E9-4572-8FED-F95B75D19CF1","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":"Q6487319$17A6429C-F323-4A80-BDA2-AA385213FE64","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a1ce2ea5ae341d7e8008c651cc09a38491891b","datavalue":{"value":{"entity-type":"item","numeric-id":2881067,"id":"Q2881067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487319$21F2BAF0-AF87-460C-B8DC-1340290ED7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0383da82b76a5590e0218b9b1e2ba239918753ab","datavalue":{"value":{"entity-type":"item","numeric-id":4930721,"id":"Q4930721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487319$69D1B97C-AD57-4A5A-8DB1-175FCFC5D2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad90f6cec38c35afe0de2280ea56854eb9819aaf","datavalue":{"value":{"entity-type":"item","numeric-id":5897426,"id":"Q5897426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487319$97C6790E-123D-46A3-85CE-D41F6D6220D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e2619d921a90a23a3b4e83cf6d7c062656523e","datavalue":{"value":{"entity-type":"item","numeric-id":2164209,"id":"Q2164209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487319$0E7D9C0E-5B75-43EF-B8D1-C60B7A67FE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad74f62749bfefcc22f88e1df1a68076434d298","datavalue":{"value":{"entity-type":"item","numeric-id":5362998,"id":"Q5362998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487319$6776B650-1AB1-4FE0-A2D6-4E758F446E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee35b920b29b4f9dcb2d3243c04d909ecceb6c8","datavalue":{"value":{"entity-type":"item","numeric-id":5900703,"id":"Q5900703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487319$F208F3F6-8A9C-4C6C-86E0-62601B1E09FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"358a4e09d6cbdccb0a6a97551bee24c6efb9d080","datavalue":{"value":{"entity-type":"item","numeric-id":5326338,"id":"Q5326338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487319$E46284AC-30CF-4197-B8D9-FC8D8EF19FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b58fd7a28acb870d40c0d850c1bcdedc51fcb19c","datavalue":{"value":{"entity-type":"item","numeric-id":2225119,"id":"Q2225119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487319$20BDC102-42D3-48EA-BED7-07C257AFC497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95c5f143921a59174cd3ed61a5b1aeca1c11f68f","datavalue":{"value":{"entity-type":"item","numeric-id":4572005,"id":"Q4572005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487319$655862E2-6C9E-40D8-8E0C-DD727091178A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d8aa5941f2e14679db4e8628983a852e51b7fe8","datavalue":{"value":{"entity-type":"item","numeric-id":2234055,"id":"Q2234055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487319$F48893F7-4A03-449C-A13E-480CB1939FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b91fcd058bcdb982dd77cde652f3f61512dcab","datavalue":{"value":{"entity-type":"item","numeric-id":6487319,"id":"Q6487319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487319$7D08E436-B59D-4D1F-BFE2-2271982A6B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"135670d012bab6a5aca266dbc04a06e23fa8f267","datavalue":{"value":{"entity-type":"item","numeric-id":1082773,"id":"Q1082773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487319$02267CB1-B2E7-4321-9F7C-12C00D6CC22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b3bdccae716a59e9fcd68043221be3f0adcfc","datavalue":{"value":{"entity-type":"item","numeric-id":3587259,"id":"Q3587259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487319$03527F9B-7167-40CB-9299-FCFCA3E0A6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68a03cf3fe2a1c71ae3be31db8c6cbe7b5bc8c34","datavalue":{"value":{"entity-type":"item","numeric-id":5096093,"id":"Q5096093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487319$314A1B0D-3C50-45B1-B95D-1AB2B41A0D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c89dbab3e6b723e605c6aa70dd1a0838f12ee2f","datavalue":{"value":{"entity-type":"item","numeric-id":859956,"id":"Q859956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487319$DC97CC99-F1E2-4AC9-936D-E8559AB85E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42492276e291d85ed3b10d7e612a5d38f248276a","datavalue":{"value":{"entity-type":"item","numeric-id":491245,"id":"Q491245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487319$43034E1E-A6A8-418B-8687-91122DDD0A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86d31587db9fc2bf1e4c778f1f84d35a04e852bc","datavalue":{"value":{"entity-type":"item","numeric-id":5466578,"id":"Q5466578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487319$6150CEB4-B85E-4AA7-90B8-92ECBB52012C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"707165a093156462bd4a3f8762120c7cb6201ae5","datavalue":{"value":{"entity-type":"item","numeric-id":518404,"id":"Q518404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487319$30BEFC7F-2441-425B-A0E2-690FFBB6A50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5543be9943ed5afa4e775fa2b368abaa7788d4fe","datavalue":{"value":{"entity-type":"item","numeric-id":5326308,"id":"Q5326308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487319$F2E1778D-917D-42B8-BAA0-A0504A2C9903","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":"3aba0aee131cdcdb40c5a39c28a1d7099b5ececc","datavalue":{"value":{"amount":"+0.7659411430358887","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":"Q6487319$6F7D5CD6-A256-4B9B-AC9D-CF792A658453","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":"1643bb57624b200242e10ebb21f7f1fbd84a032f","datavalue":{"value":{"amount":"+0.7548661231994629","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":"Q6487319$C02E828D-D43C-4E4B-B78D-19BAA7146349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d7bd657f1ba5b898794e444b9cdd5e1a05f3ad","datavalue":{"value":{"entity-type":"item","numeric-id":3590301,"id":"Q3590301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9391691f8e0bc9e7c3a888510bc99355a5f8ccf","datavalue":{"value":{"amount":"+0.7516388893127441","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":"Q6487319$478E3280-EE03-4133-B86F-8299DEEA66FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f00209fd89c10cc4c8264b757b15d4637ae4628","datavalue":{"value":{"entity-type":"item","numeric-id":903492,"id":"Q903492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aa1e6188421f6ad4c7bfab8097ad7625c606139","datavalue":{"value":{"amount":"+0.7484197616577148","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":"Q6487319$1566BB77-EBB9-4EE0-A8A1-B66AB4E5C7D3","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":"4aa2010d8e3413bff8024a0347283837b1003596","datavalue":{"value":{"amount":"+0.7437459230422974","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":"Q6487319$AF19D775-D5BE-4337-A8FD-6C56172B1F44","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b5c9b35d8e9d156fad0e174bf1ededba57ccca7","datavalue":{"value":{"entity-type":"item","numeric-id":13572,"id":"Q13572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487319$CD7DCBE7-16EF-49A6-88A1-1D6EF3D6C394","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487319$2A9FF66B-611E-4654-A76B-532A4A0705B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487319","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487319"}}}}}