{"entities":{"Q3167526":{"pageid":3178236,"ns":120,"title":"Item:Q3167526","lastrevid":51587972,"modified":"2026-01-18T22:36:26Z","type":"item","id":"Q3167526","labels":{"en":{"language":"en","value":"Interval-based resource usage verification: formalization and prototype"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6101667"}},"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":"Q3167526$DC6A6B77-4114-4FD9-9B91-5C4529C4097F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c90e2ff4cbcfab4a5ca9f04dd578f51083fea059","datavalue":{"value":{"text":"Interval-Based Resource Usage Verification: Formalization and Prototype","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3167526$8C806231-71F7-4D39-AFEC-6A569C89CE0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abf1e5d881e65cba8341895f2c7442b0f2485949","datavalue":{"value":"1367.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3167526$64C17F40-4B78-4F0D-BDF3-1E8866A4E40E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d6fbc6e7955fe0eecad47fe3a36bafa07624a5c","datavalue":{"value":"10.1007/978-3-642-32495-6_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3167526$FE0AB84D-C7C7-41F2-B308-F3F2436FBB98","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":"Q3167526$E4F59AF5-A1E8-4B41-B2DD-0F820B96F555","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":"Q3167526$1716B05A-FE1C-404D-849E-199EE1E8CFD2","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":"Q3167526$65C263A6-E77B-4774-AD9C-1ABACFC3C909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fdc9da9080ec9c8e10fd6ecc20006e9734d7d9e","datavalue":{"value":{"entity-type":"item","numeric-id":488323,"id":"Q488323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3167526$90331734-6302-44BD-87AF-37FC74323510","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8628d9b822fca08704059c3ecefa6278618df136","datavalue":{"value":{"entity-type":"item","numeric-id":3167521,"id":"Q3167521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3167526$20EE360C-BFC0-4A55-8186-7784A510BDEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8bf69277b7716ce58c94d2517a81ceba3b8d07db","datavalue":{"value":{"time":"+2012-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3167526$CDFE18CB-6256-4394-A4E4-8EBA1FD11C54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35d04daff7e665699dde9310cd1aa7f6a15e3408","datavalue":{"value":"http://oa.upm.es/14579/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3167526$4F2EA2AA-6E07-4049-81BC-DB9372C06E16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3167526$616DA435-1851-4AD2-A7A2-6F563735428F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28761ad753a4b1f153df97a227971c5311d31023","datavalue":{"value":"6101667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3167526$79E8EA24-E527-4FD7-B52D-D9944AEE91F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d037028d3fecc5bbab88047226a606ec81ce9edf","datavalue":{"value":"cost analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3167526$843B5E67-1BD4-4025-B91C-9EC3FB722267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12c75529e00221a7f3bd73426ca1f29586a169c6","datavalue":{"value":"resource usage analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3167526$FCBBC5FF-131B-4D95-B82D-E46F614C0A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d934ac7639c40520dfdb17b294b29b222059fd5c","datavalue":{"value":"resource usage verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3167526$9AB3A7A1-C7C1-4728-8A32-7F4DA05CAC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ffe291e6fdaedab831db2e4dda58f7f9dd1c3c3","datavalue":{"value":"program verification and debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q3167526$23D88533-B685-4C98-B0B4-2C6074BBD9BD","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":"Q3167526$346CC78C-6C62-44F7-A960-D6B6B4159BE2","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":"Q3167526$DED691F4-B0E8-42F2-934B-DDBD75518B42","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":"Q3167526$3935040F-A60F-4A16-906E-B737D82494F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a3e3533dbed551d61f0244754811e23243a4690","datavalue":{"value":"W1594742196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3167526$17B369B4-4D61-4972-A3CD-6F7BCA56F97B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34e0bc22e6984869ca21c2000b6c1518d0465a12","datavalue":{"value":{"entity-type":"item","numeric-id":4644354,"id":"Q4644354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ef7a744a8834e097effd78fde4a51206d0d338c","datavalue":{"value":{"amount":"+0.8936197757720947","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":"Q3167526$2086B528-23EE-4E90-A996-DCA083EC7A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"829403039d4597098f6869563c6c587368fb3adb","datavalue":{"value":{"entity-type":"item","numeric-id":2883083,"id":"Q2883083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b9b161cb024b6dc1bb9aecb6ff509b09a84863","datavalue":{"value":{"amount":"+0.8852386474609375","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":"Q3167526$72502874-9105-4746-A859-96F4030697C9","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":"0ebd23f0eb4472604929cc2fab2d4f6683e179fd","datavalue":{"value":{"amount":"+0.7288180589675903","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":"Q3167526$842DD120-D161-4C77-8D6E-228B1732011D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ade9a4ab6d1819a8006261d1d07620e561dbb37f","datavalue":{"value":{"entity-type":"item","numeric-id":5902362,"id":"Q5902362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6da2bb24204989f1ff9df8b8d59419554729537","datavalue":{"value":{"amount":"+0.717885434627533","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":"Q3167526$BC6461BD-BC71-4D24-84D8-260028F53A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f344f1fb70baa594dbe6d05906e5ff82bc54b86f","datavalue":{"value":{"entity-type":"item","numeric-id":2891436,"id":"Q2891436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51a43b2558a73319ccdb33ac4441de60b18fcb2b","datavalue":{"value":{"amount":"+0.7005699872970581","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":"Q3167526$07D69BE8-5DC6-4C3B-AEE6-739C008ECCAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3167526","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3167526"}}}}}