{"entities":{"Q5045383":{"pageid":7074960,"ns":120,"title":"Item:Q5045383","lastrevid":98438423,"modified":"2026-06-05T17:31:51Z","type":"item","id":"Q5045383","labels":{"en":{"language":"en","value":"Computing exact loop bounds for bounded program verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7612567"}},"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":"Q5045383$7A02946A-2363-416A-817B-668F7D8D60B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad65eb2122f26cd322b52e5a8a7e37d0f6313437","datavalue":{"value":{"text":"Computing Exact Loop Bounds for Bounded Program Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5045383$AD5277CE-A2D4-4247-85B1-8A5B037D0365","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c710b75ca566ebfc0d738fad3ad5207d9f258fe4","datavalue":{"value":"1498.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045383$2742F0F7-8579-44F6-9DBA-B01494384A3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e55055229e3ac33bf6066c3d73c6184193e39115","datavalue":{"value":"10.1007/978-3-319-69483-2_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045383$D79D45C0-E3C0-42B0-91D2-EBB6154FF3EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19f5962da6bddbcf170dd9597e712cdc8eb39252","datavalue":{"value":{"entity-type":"item","numeric-id":5045381,"id":"Q5045381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045383$BE52F9A9-30AE-491E-9D3C-28BED3B0AFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ca8abe8e001dff717b33c6b5c4459dba8f642bf","datavalue":{"value":{"entity-type":"item","numeric-id":5045382,"id":"Q5045382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045383$C2E961E8-3B7B-46DC-81EB-558D84FF5F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573cc3758191477e0c4b208110ac7ed93fa98f2b","datavalue":{"value":{"entity-type":"item","numeric-id":229746,"id":"Q229746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045383$612565E5-E607-40AD-909E-EBFCB54DE55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"613fa59e6679db40d5020b506d2cab554236ed62","datavalue":{"value":{"entity-type":"item","numeric-id":2894288,"id":"Q2894288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045383$95992B7A-E1E6-4D59-94B4-201C59DFC8EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02602812e8c677f46c4ba4febbc893f4aab8f2ae","datavalue":{"value":{"entity-type":"item","numeric-id":5045375,"id":"Q5045375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045383$6B8EA2C5-6E97-4562-99A7-40BC8E0F7B63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96420cb12347695a963e770401ec584dde3a55d6","datavalue":{"value":{"time":"+2022-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5045383$194E797C-8C1D-46D4-B069-01E88510CA36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045383$B2BFDEA7-12AE-4651-A191-0B80433284FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045383$BCCA202B-2B3D-481D-94F6-A5DEB4095062","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed971a7e3cac0a10f879864e038da311caaa6101","datavalue":{"value":"7612567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045383$EF3BEA95-A35F-43BE-B98D-528ECAA3CB08","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":"Q5045383$7C592AE2-F2B9-47E1-BEB1-DC7C6404E4C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"495889b03fc0a5057f9d05174825a992851bf744","datavalue":{"value":"https://doi.org/10.1007/978-3-319-69483-2_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5045383$FD6EBFEA-C2EF-4500-8180-9FCDE003EFF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"859dc3e67a350a7035a750a7087eaeee39b413fb","datavalue":{"value":"W2765206797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045383$881D7100-1427-434C-B17C-831697FEB191","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faf3e4ae1cf42abfcc8326250c922f458a9a91e2","datavalue":{"value":{"entity-type":"item","numeric-id":3457981,"id":"Q3457981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e9954b67fa9306745eb5515adb7275e48b2554d","datavalue":{"value":{"amount":"+0.7207342386245728","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":"Q5045383$12659F38-9ACE-459B-ABD2-C374A3AD0464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5563b95faa1b44f2d752ed5cbaa7a33e4344ac20","datavalue":{"value":{"entity-type":"item","numeric-id":3636859,"id":"Q3636859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99100d321b760568a8b5e2e35b3005eb157a9259","datavalue":{"value":{"amount":"+0.7070435881614685","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":"Q5045383$97DB20FD-0F97-4B70-936D-122AF76E961A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7d458edef0a12fe970318efe1226e2d77f71467","datavalue":{"value":{"entity-type":"item","numeric-id":5261512,"id":"Q5261512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f595c881dc82b2faed88eddc80e879c48f3e184","datavalue":{"value":{"amount":"+0.7014023661613464","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":"Q5045383$0D7ACE7C-EF2D-403B-BEC1-40F632E09482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c65beb278514ede45ea2c2e110e4615bb5fcff04","datavalue":{"value":{"entity-type":"item","numeric-id":3066094,"id":"Q3066094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2e67d36b41b8f7f3dac34f3d77924431cd3a714","datavalue":{"value":{"amount":"+0.6997615694999695","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":"Q5045383$8F0598C1-A51E-423B-85CC-1DA8FA919DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d25b56ea05cb6d5a284755b8618c9f999eaaec","datavalue":{"value":{"entity-type":"item","numeric-id":5505564,"id":"Q5505564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54ef14089db6052e4d576d422fe7df0bb832d5b2","datavalue":{"value":{"amount":"+0.6938657164573669","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":"Q5045383$754DBA3F-C287-46D7-A630-69ECB3ED0E65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing exact loop bounds for bounded program verification","badges":[]}}}}}