{"entities":{"Q2883083":{"pageid":2893808,"ns":120,"title":"Item:Q2883083","lastrevid":42440068,"modified":"2025-06-27T18:04:48Z","type":"item","id":"Q2883083","labels":{"en":{"language":"en","value":"A framework for verification and debugging of resource usage properties: resource usage verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6033336"}},"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":"Q2883083$B08C884E-B9CA-4047-9658-474FFB3B7380","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfa601b73d4f96c593cb294c5384b9e376a7d54a","datavalue":{"value":"1237.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883083$4AC30E60-FD19-4E72-A1FD-E0D7764A04C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99814c61bccc39874951144e5bdc5c470edc619b","datavalue":{"value":{"entity-type":"item","numeric-id":980468,"id":"Q980468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883083$E410EC5F-B41E-4EEE-B300-4E6047AA5AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"632cf4355eff8a50b907a91e59ed1386ec252e59","datavalue":{"value":{"entity-type":"item","numeric-id":2883082,"id":"Q2883082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883083$D58F4628-1359-458A-9412-AD001CAF4EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"394271d91c22b5604ed841a0589598bab6b2dfc3","datavalue":{"value":{"entity-type":"item","numeric-id":980469,"id":"Q980469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883083$3251D0A5-C8A5-452A-B3D3-D94112813312","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebad7c55eb31a5728be157b82e80bb61556d824d","datavalue":{"value":{"time":"+2012-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2883083$F06377B4-4A88-43B6-952D-A561C59B1DAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d09b3834b347e3a3ed02449a35b46c87f2c7e23","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_2409.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2883083$E5A4F260-BA91-4CEF-91F4-7684E7DE38E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883083$CE0CAA92-33F7-452C-9094-93155590B5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883083$5897C54E-15BB-4B0B-AE1F-D865FF29585F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b14e265e3c126eff754ea0037c0394c1752fd52","datavalue":{"value":"6033336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883083$AEFE5F45-717F-41F9-8DE5-BE207E406FBE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ffe291e6fdaedab831db2e4dda58f7f9dd1c3c3","datavalue":{"value":"program verification and debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883083$5EC8D0DB-4D41-4A16-827F-2200B3441270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d037028d3fecc5bbab88047226a606ec81ce9edf","datavalue":{"value":"cost analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883083$AD494458-09B5-48F6-8CE8-D28D9FB01619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12c75529e00221a7f3bd73426ca1f29586a169c6","datavalue":{"value":"resource usage analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883083$98FF3215-E9D0-41BE-BE3E-CA8910A5C77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4780b02cfc7bc35a586062e3271a9f52fa94f067","datavalue":{"value":"complexity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883083$CF37E06A-FD68-4D75-8937-DB2C1119933E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf05a0fe8c67d4d8f396d444a59573c809b42e38","datavalue":{"value":{"entity-type":"item","numeric-id":24023,"id":"Q24023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883083$37F705AA-28DC-4AC7-A64C-1DE0A6748009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883083$143855C5-A57A-43A2-A9F9-5FC47DBBEDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7cff6794623cf5d8528667b5f3c64c252856fc71","datavalue":{"value":{"entity-type":"item","numeric-id":24022,"id":"Q24022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883083$4EC38EBB-8AD2-4D1E-8FE0-E27E1054A26F","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":"Q2883083$5D254617-BF45-42C5-B02C-3170CA3F68BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"838e9ee824b6bca7ae8745a872577db9a14e4324","datavalue":{"value":"W1566466791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883083$47A67E91-55C7-4FDA-B405-FD07E70ACE94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b91121b217142077fd662650664dbb71f7c6f777","datavalue":{"value":"10.4230/LIPICS.ICLP.2010.104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883083$D0E0208C-1907-41EB-B030-D0B0F4451F92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d636a1612742a3940b00eb32f764b1fe756fcea","datavalue":{"value":{"entity-type":"item","numeric-id":3167526,"id":"Q3167526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6f8b8e2d8e979beafd8048d629b73848954d277","datavalue":{"value":{"amount":"+0.8946305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883083$808AFA53-D077-4CE3-802A-5592B1E406DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0f3356853fd760b776af7d0d3d48464dd5e04fb","datavalue":{"value":{"entity-type":"item","numeric-id":5316573,"id":"Q5316573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae67cab02d4caf4e281a8478b393e8166fc40d20","datavalue":{"value":{"amount":"+0.8672184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883083$F55FD805-EAF7-4E60-BF7E-900F02636F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43df076a7c55fbb62787470ef32a150adeb02c83","datavalue":{"value":{"entity-type":"item","numeric-id":5311262,"id":"Q5311262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8b249f104005c609a3656873463f532f7cec9d0","datavalue":{"value":{"amount":"+0.8518972","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883083$A711B055-E874-4384-BC45-90CB9FD731B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b53250aad06d18a7cb811e64781662e085169039","datavalue":{"value":{"entity-type":"item","numeric-id":4593063,"id":"Q4593063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2a8541fffd2bb55a1c0a0ab83d2c2a11bfa9095","datavalue":{"value":{"amount":"+0.85065615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883083$0036FA31-7181-4280-9EC9-E70BCC768AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e830bddf2f5d41ef29146b9c90592c5455f9bc17","datavalue":{"value":{"entity-type":"item","numeric-id":5464660,"id":"Q5464660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e21c7f04a03e45b862084ab53fe385b63d3a00b","datavalue":{"value":{"amount":"+0.83829355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883083$5E145BEB-FE5D-42F1-89C7-23B7377E6C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e61f5e769a3370191dff8520a9efc79de1d22c7","datavalue":{"value":{"entity-type":"item","numeric-id":5255076,"id":"Q5255076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e9a1206e86b5c0b68297ed3f4b44d2f7e89683","datavalue":{"value":{"amount":"+0.8285996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883083$7A4ABD5B-1B00-469A-86A7-5ACA107C6A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"024948204f54c7651132fc38e6aad739379b2bbd","datavalue":{"value":{"entity-type":"item","numeric-id":2402555,"id":"Q2402555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83ecff81b920463ed24240ab1d19e89dd1762eb2","datavalue":{"value":{"amount":"+0.8264488","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883083$6A224E30-D5D5-4202-9AFB-7DF66E11E220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a603030ddc8bb6b6bce0fd1f2a8303a5e8a1684d","datavalue":{"value":{"entity-type":"item","numeric-id":3179302,"id":"Q3179302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1041738a7157ff6fdce8bc5c775675004e27d15","datavalue":{"value":{"amount":"+0.82481194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883083$2EC2ABE3-20C9-48C8-BF17-CC87CF38DD55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43ff12ccbe15e0750488f3cb014bc71581086842","datavalue":{"value":{"text":"A framework for verification and debugging of resource usage properties: resource usage verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2883083$BA4984BF-B51F-49BA-BBB4-023E4F0B4AD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2883083","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2883083"}}}}}