{"entities":{"Q5408447":{"pageid":7438021,"ns":120,"title":"Item:Q5408447","lastrevid":58555860,"modified":"2026-04-05T17:54:49Z","type":"item","id":"Q5408447","labels":{"en":{"language":"en","value":"Abstract acceleration of general linear loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282449"}},"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":"Q5408447$847470BA-51FE-4C65-B328-C258D7CAE27C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b1b399926153ee690e52f4cee221b1bb6a8c134","datavalue":{"value":{"text":"Abstract acceleration of general linear loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408447$2F3F4AB4-9B15-4D9D-A0B9-ADA01E58B6CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce0dd5483565f9bacc8482b02eb901df668ebb52","datavalue":{"value":"1284.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408447$7EE80B5D-15F7-42C7-87C4-F00CF1487C26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5cd0a58fa745680e638cf6ec00d0ad52e19c248a","datavalue":{"value":"10.1145/2535838.2535843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408447$0C371CAF-AC81-4256-BE28-9A56E036AF9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d283bfff41569929de0ba520942a031eb8bd107c","datavalue":{"value":{"entity-type":"item","numeric-id":435976,"id":"Q435976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408447$F89D1216-7E94-4570-912B-C4836817E279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9d1f5ffa296b4fe4db7c249b03fdf396db98ef1","datavalue":{"value":{"entity-type":"item","numeric-id":435975,"id":"Q435975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408447$B1A812C7-096E-476D-BEAD-2FD261961349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d916c113e94bbfbdfe223618580740bb723d1be","datavalue":{"value":{"entity-type":"item","numeric-id":812049,"id":"Q812049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408447$F65AE69B-C13A-4DF8-A79D-A895B979F8E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"640f3283bf4ebaf19f5992b18fbb1bf0f8463c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5408394,"id":"Q5408394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408447$BD551329-6AC5-4AA6-BFB9-3C85E811E514","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408447$1ED9AE8A-F786-4C87-99E5-D4910618717F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0cbe98cd5726463fc4ea6dd22f41345b98faafb0","datavalue":{"value":"https://arxiv.org/abs/1311.0768","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408447$2B8FFB00-6663-47A8-9D64-7AD199449BA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408447$967F1E7E-0A29-48B5-AD39-62D4ED6D3073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408447$7FB5DFA1-7F78-4880-897B-5C28B231CB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e970d93ffc7c98d538ff001152bd6d8854b6c34c","datavalue":{"value":"15A04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408447$91E01989-6AB5-4131-82A6-F89B4628B9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408447$AD1A6DD5-CC9F-440A-B1BF-18B6C3DE99D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05a776674727843fa6bff570341c56aa092057b6","datavalue":{"value":"6282449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408447$9AD4EAE9-2E3E-418E-BC40-A6EDDC71C884","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408447$F678314A-9DCE-44BC-8BB7-E47099C71288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64db7ba32f2a0c7926ef95e0d36df690389d3809","datavalue":{"value":"acceleration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408447$9B82DF2B-FB73-49B1-9DB3-9778914D1575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e43a786e5f1b39556c5e22e1d196e566932e4219","datavalue":{"value":"convex polyhedra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408447$5CE1A488-F880-41D0-83D9-439A5AF2D080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e50fbce10894bfe66798b509fe9044bc068eeebe","datavalue":{"value":"Jordan normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408447$BF9385DE-6286-41A4-A97A-1E5B80809614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d676093d25af2261e811e697691ead0c7c985ae0","datavalue":{"value":"linear transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408447$1007560B-E142-43BB-8871-4E810AD59766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2ab4260fe663471c33d93fbf88572389202abad","datavalue":{"value":"matrix abstract domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408447$0BF27BBD-E303-4634-871E-F83E25CDE737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408447$BB9332A1-D7BE-48B3-B3F2-917EA3893B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408447$26607F9E-2B05-40BE-A633-190BDA080A8D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fbed10bee046678d6f472e9e7c0efde19c97b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":25616,"id":"Q25616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408447$04419EA8-23FD-4E05-8956-BC1BC21A344C","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":"Q5408447$07D5546C-FE56-4A0C-A0F0-C49948E41FF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5768109dc9a9f7ad34e2b8fe05071d59a4803e1b","datavalue":{"value":"W2095810701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408447$EA274243-392C-4702-98BA-D0FE5EEB949D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58d4c38367c854027d86622c0444849150186adf","datavalue":{"value":{"entity-type":"item","numeric-id":5233242,"id":"Q5233242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1b888602b6b4f29cb6d38da03265919f969fd0a","datavalue":{"value":{"amount":"+0.788754403591156","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":"Q5408447$B5F47F62-BBEE-4599-B3B9-EBA6C6DC43A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6db47f73a5a6ab3d1580639dbde97ecd8c3dfeb1","datavalue":{"value":{"entity-type":"item","numeric-id":6041166,"id":"Q6041166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"224f12b2ac4c9551873d4312161d520eedfa44e4","datavalue":{"value":{"amount":"+0.7814987897872925","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":"Q5408447$32515B7B-7379-4FC8-95E4-20F9D03317EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0204d236e8fcb443f71995ff8e2776ab00cd464a","datavalue":{"value":{"entity-type":"item","numeric-id":5039502,"id":"Q5039502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6083c721cb3af0177736597b1385b4d2c57aae4","datavalue":{"value":{"amount":"+0.7520853877067566","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":"Q5408447$63DDF0BE-F79D-406D-9044-318A4EB2BC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82eb111a6b9f9cd24958fc2f7a6add09b81869e7","datavalue":{"value":{"entity-type":"item","numeric-id":3166219,"id":"Q3166219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d169cc53ae15c7b599a8a1e18cd55793e1fcd2b6","datavalue":{"value":{"amount":"+0.750754714012146","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":"Q5408447$E1F4D256-4462-4C81-8DDA-A3607FBA5B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3774080f3adb0456db388aa8110bd4bdaf0f0861","datavalue":{"value":{"entity-type":"item","numeric-id":435977,"id":"Q435977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a1e591f2465a52ae91eeba090b8d39756fc7e8b","datavalue":{"value":{"amount":"+0.7479896545410156","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":"Q5408447$FFEBB0A1-3585-4F50-98F8-437974EFF2C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408447","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408447"}}}}}