{"entities":{"Q5114822":{"pageid":7144396,"ns":120,"title":"Item:Q5114822","lastrevid":55379245,"modified":"2026-02-17T15:01:24Z","type":"item","id":"Q5114822","labels":{"en":{"language":"en","value":"Tight polynomial worst-case bounds for loop programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7215283"}},"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":"Q5114822$797445DC-B9D7-4D73-A7E8-E387771304E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b1e6c4412e3ca976605de72600bbb5f077bdfbb","datavalue":{"value":{"time":"+2020-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5114822$6D27E9B2-CD29-42D6-8953-A6D20E49CC91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98a0d390a6d414d87237ee7b0329ae69e2c5bef3","datavalue":{"value":"https://arxiv.org/abs/1906.10047","type":"string"},"datatype":"url"},"type":"statement","id":"Q5114822$EAE3319A-A7F9-476F-AF29-9137378B5B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c8243205b6161cf26dd413ac4d6f1670c2e3c3d","datavalue":{"value":"https://lmcs.episciences.org/6477","type":"string"},"datatype":"url"},"type":"statement","id":"Q5114822$6BBE9ADD-5507-478E-8C16-5076736D20FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5114822$DB8E9DF1-BA80-4460-B4EF-DD9CA1F9C8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5114822$AADAC1C5-B86C-408E-A05D-E3FEC273DC84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ed42a4967c4478651b8e88c34854be8bc650791","datavalue":{"value":"7215283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5114822$B81B2715-4F44-450D-8F5A-4EA8419B8CBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7451b1685ab310bbd75f08ab9f181e107023a28","datavalue":{"value":{"entity-type":"item","numeric-id":418007,"id":"Q418007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114822$B0F4FE23-ABE4-4A56-A279-FF6F803C5AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cea638a098d7a4aaa246f10375f028359cab8d2","datavalue":{"value":{"entity-type":"item","numeric-id":2289064,"id":"Q2289064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114822$CDCD60C1-43D3-40DE-B512-5AAF496760EB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"819ddda2e7b125b327dd1cd285f895e0bd6f622c","datavalue":{"value":{"entity-type":"item","numeric-id":5972521,"id":"Q5972521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114822$0865218E-5008-4FB9-9961-E5D43FC45C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd8007490a248a080808f77e0123c492d98333d","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114822$E53900A2-A87C-416F-9FAD-16FDA29FC9D2","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":"Q5114822$7085121D-CB82-484B-B3C0-128132E4597D","rank":"normal"}],"P223":[{"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":"Q5114822$F1604181-1F59-4A8E-BF5B-AB659A3B6C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78c830257ceb1bdc486203e2d69cf1fd980e8546","datavalue":{"value":{"entity-type":"item","numeric-id":2957912,"id":"Q2957912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114822$21E045CD-831A-4EC6-85B5-D0BA97E1B979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a20f291a9a3341de0403b70727b80dbcd8a798","datavalue":{"value":{"entity-type":"item","numeric-id":5501930,"id":"Q5501930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114822$440F1FC3-86B2-495E-8CA6-F6AA9AD6602C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7fffd3c67ea580f221e10a9cc413d51ff5863a8","datavalue":{"value":{"entity-type":"item","numeric-id":4923290,"id":"Q4923290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114822$EE23F4C3-78A5-4F55-B4AD-37319F6D3DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6025d1ee4db5f2c3f30d4cdb7ef0c14551c89c5","datavalue":{"value":{"entity-type":"item","numeric-id":5452703,"id":"Q5452703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114822$60B6BED2-CE62-46A2-8840-34582F39AAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f6590e790216a7f7f1ca2100e58bb8ddc77ddbf","datavalue":{"value":{"entity-type":"item","numeric-id":3507419,"id":"Q3507419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114822$F589E2F7-3A92-4796-8616-BD9B37970F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c51b20bdef3a6f42c46d54eda38643c92eb5638","datavalue":{"value":{"entity-type":"item","numeric-id":3637210,"id":"Q3637210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114822$81311D57-C6B1-4BCF-BD0A-3446A78E3C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"169f76fb0c125d2a3bd25a406e08ce7e58387666","datavalue":{"value":{"entity-type":"item","numeric-id":2922015,"id":"Q2922015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114822$36BBDE3F-3336-41E5-BF80-0C51F198DFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2395473617747d8540d1f98a5bfe2ff6dd052a4f","datavalue":{"value":{"entity-type":"item","numeric-id":5747632,"id":"Q5747632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114822$F2216739-D247-4A1A-9AF1-9DB2B1FFCDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3295f9b721f2088b41229e5ae133d83d9dfb5c42","datavalue":{"value":{"entity-type":"item","numeric-id":2946585,"id":"Q2946585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114822$8628F519-B316-4618-953B-F2D081443DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ee7fcc5feba9a7c8e526b2b9eb1af896f85634d","datavalue":{"value":{"entity-type":"item","numeric-id":2483266,"id":"Q2483266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114822$854CA2E3-F644-4A4E-BA40-AA31EDAEC55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"440ab4fbdb360439f643f558ce6b709b490cf1e1","datavalue":{"value":{"entity-type":"item","numeric-id":1137991,"id":"Q1137991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114822$1D169DCB-9C06-4677-B067-1F6E8C66032F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b22251de623f141b84f47e2372454c87c68d4d","datavalue":{"value":{"entity-type":"item","numeric-id":6041166,"id":"Q6041166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114822$68F2A844-AA2A-488C-A19A-234E9BCBDBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6254e9b5341acf40bf37cf670d05df47c4deb3ce","datavalue":{"value":{"entity-type":"item","numeric-id":1827396,"id":"Q1827396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114822$26BA832E-1585-4D19-9026-E09B424E0261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98052a8fe89669b2fe4131e688755f41384ea6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114822$D452D12A-0424-40F5-A4D3-C2EF0A42B4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e42f0028eb276733b0205f8d462592e23f52066","datavalue":{"value":{"entity-type":"item","numeric-id":1401309,"id":"Q1401309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114822$AC5EA5C8-E000-48D8-BFA6-05BB9B8655BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"039ef2715aff948a023b817faf30cce195da0a45","datavalue":{"value":{"entity-type":"item","numeric-id":6041167,"id":"Q6041167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114822$B7756FC2-8624-4D6F-8DE3-5F11C239E3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70900c3b4b31a6363b51a557b0533917f6773240","datavalue":{"value":{"entity-type":"item","numeric-id":2390319,"id":"Q2390319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114822$062C5D8A-103B-414A-A6F7-673A1F230194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f78933cefffdf95bb4831289120895ba58f5ef8c","datavalue":{"value":{"entity-type":"item","numeric-id":5470728,"id":"Q5470728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114822$03EC3327-4DCB-41F9-8833-FD0BEFE9439D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f035e7ce71fa36b05517fb3b1000527a247baf6","datavalue":{"value":{"entity-type":"item","numeric-id":5901912,"id":"Q5901912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114822$CE6F7683-67FC-42D7-A131-8956676360CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ce6e2dce453173a6d2c2b0b16444bd88bf6e5d","datavalue":{"value":{"entity-type":"item","numeric-id":908712,"id":"Q908712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114822$9DB25123-CE81-4C8E-8D6F-19B5C42CCC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd7e0eaabae954c5ce023ec02943f7bbcdd3f59","datavalue":{"value":{"entity-type":"item","numeric-id":2398171,"id":"Q2398171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114822$65DDB94E-1437-47A3-9C9B-7A84474DD8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1991f4b547e2ff1c1f581afcf8dbd3668dd60d9","datavalue":{"value":{"entity-type":"item","numeric-id":4062612,"id":"Q4062612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5114822$BA18C4C2-4501-4138-95F0-173EA26DE228","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d852bea4e9ec1b1cc92bf5e061137fdb84674ffe","datavalue":{"value":{"entity-type":"item","numeric-id":2289065,"id":"Q2289065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3522329215a078f7393d4d2acc86cbba5f92a40f","datavalue":{"value":{"amount":"+0.917287290096283","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":"Q5114822$20D9AEA9-99FF-4A22-8839-AB6BD2A5761A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e4f0579cfd60187d6e0fcf1d7afa3b27a20960b","datavalue":{"value":{"entity-type":"item","numeric-id":5028427,"id":"Q5028427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd521b2b8b804f83026b69488fe9224592fb9394","datavalue":{"value":{"amount":"+0.8380443453788757","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":"Q5114822$55F7B287-8E99-48FC-B9AD-D64D5AA13CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d7cfbb1baf5492327acdec245a15506b12854ad","datavalue":{"value":{"entity-type":"item","numeric-id":2946585,"id":"Q2946585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aca820bc9526c40445997d92f93cc9040dd14c33","datavalue":{"value":{"amount":"+0.7285890579223633","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":"Q5114822$DA58DA8D-F59F-4241-85DE-934B37AA773A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"499cab77001d1986558db15e4b7bdc8b14ac5609","datavalue":{"value":{"entity-type":"item","numeric-id":5711515,"id":"Q5711515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a1bee44559e418473f6102b13868dcfb53c83e7","datavalue":{"value":{"amount":"+0.7167816162109375","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":"Q5114822$C3470B08-C66C-4FA3-9724-EDD7D2BD0D44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5114822","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5114822"}}}}}