{"entities":{"Q892994":{"pageid":894842,"ns":120,"title":"Item:Q892994","lastrevid":65144832,"modified":"2026-04-12T00:37:12Z","type":"item","id":"Q892994","labels":{"en":{"language":"en","value":"Combinatorial abstraction refinement for feasibility analysis of static priorities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6508123"}},"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":"Q892994$2E5B7A48-FBA5-4D62-BF76-2E3531EDF4B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2925535c525de9c87568e466b4b25996b98df18a","datavalue":{"value":{"text":"Combinatorial abstraction refinement for feasibility analysis of static priorities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q892994$AF8BEC18-5A3D-453F-8215-9EE5C65940D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4aab7436d08ca87d5ae158a33c26f6d9e1de260","datavalue":{"value":"1343.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892994$A333F83F-8BD4-4878-A840-5293B37DFB52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22cd54fc965dc1c6684ffd3ca38ed67e9abe7a60","datavalue":{"value":{"entity-type":"item","numeric-id":478393,"id":"Q478393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892994$FB6B1A62-03C3-4D33-92A4-08D1F60D3EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"415e1aad6a37985b7be56fd12352d0f38940dec0","datavalue":{"value":{"entity-type":"item","numeric-id":225081,"id":"Q225081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892994$214E37AE-A0D7-4B4E-A1B4-5D7AA4F042B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6e6e67b92e7162a49988bf7bebe8dbba55d093b6","datavalue":{"value":{"entity-type":"item","numeric-id":202506,"id":"Q202506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892994$56D9B180-A886-416C-AA20-575320404C3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77d4e776754e911527dc14f9f36bd2e36eafa559","datavalue":{"value":{"time":"+2015-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q892994$AF273DA1-16A7-497D-9FAD-D5B8C6D042DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892994$F3E7802C-A90B-4458-8D58-F3AFC06413EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a1486e152de3536ff2e2797761a1eea5ebf1372","datavalue":{"value":"6508123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892994$C65A290C-8DDA-4543-A733-36638FBDF1ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f20dd649bc10efa5e5acc4f3062bf85bd231792","datavalue":{"value":"real-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q892994$AE7751E4-EC56-43CC-921F-37AB82D9356E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0747a1371e9853f2e15e7d69d08e6bc66eed39fb","datavalue":{"value":"schedulability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q892994$EF87B924-0270-4898-81DF-188945F3E4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21f0a3f66a161ed126d6d8eb2702dd15a3a69f64","datavalue":{"value":"static priorities","type":"string"},"datatype":"string"},"type":"statement","id":"Q892994$F71F084B-9A26-4FBA-A1D3-185C38DB7046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f269977a25fe087b7007d36378986cca32ece60","datavalue":{"value":"combinatorial explosion","type":"string"},"datatype":"string"},"type":"statement","id":"Q892994$84AFD26B-F2B4-42DF-AFE3-72478FBDF8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9917a2dfd376250c18f9925b8d22d45575bb3eef","datavalue":{"value":"abstraction refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q892994$5511F920-7592-4EA1-BA11-8A4BCFBBFE59","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"186b5b3d722a89e38fc553043bf5da3991c467eb","datavalue":{"value":{"entity-type":"item","numeric-id":17100,"id":"Q17100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892994$6CB06522-3DE5-493F-8F50-D7510A5E1C57","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":"Q892994$862D843A-A5A8-4858-9881-21A9A70F2F3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62ae11f59bcb0b69dcf98f018096c05063a8f13b","datavalue":{"value":"https://doi.org/10.1007/s11241-015-9220-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q892994$11C1476B-63A4-44F7-81BA-B599587C4F4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd47035b8b101609afe20b922f963382cb05f520","datavalue":{"value":"W2059655552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892994$2A5AAD28-EDFC-454C-8C6E-5853D7699E64","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a053caadfd37f3322e7888fcb62f27ceb7f9c90","datavalue":{"value":{"entity-type":"item","numeric-id":1039312,"id":"Q1039312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892994$0768CEFC-FB7A-4B80-84E6-D53357ACD80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892994$9665CF4D-DF92-4E0B-9AC7-F3BECEF30737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae015be9a2083d4932a784e0154da18e36af8e14","datavalue":{"value":{"entity-type":"item","numeric-id":617741,"id":"Q617741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892994$C1A19D1E-E7E3-4B60-B9CE-AC6FCAC4B210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a91e85d7df25818999a87a5cba2a91213cf0827","datavalue":{"value":{"entity-type":"item","numeric-id":2643078,"id":"Q2643078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892994$82501048-6E01-4838-878F-4102F7C85B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b29f5c346bf5a24701d5c41a17898f8ee49261","datavalue":{"value":{"entity-type":"item","numeric-id":5458344,"id":"Q5458344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892994$2B8AE865-C40C-43D2-99D3-3278C9C522B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2fa5133216b14614490f456ec9f05c5af9bfa07","datavalue":{"value":{"entity-type":"item","numeric-id":5681520,"id":"Q5681520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892994$2A0C98C2-FF98-472E-B9D6-1F247550FD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a18c748743582ea45f2b0bfe157d44e1ab6b63e","datavalue":{"value":{"entity-type":"item","numeric-id":892994,"id":"Q892994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892994$E0D8F112-3EAB-4F71-B94A-F899435695B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7dc5293753dbe3cac25e47f887c0e9cbd61aaafd","datavalue":{"value":"10.1007/S11241-015-9220-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892994$9938612B-7642-44C3-BF44-B5280E674312","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5bf8b8785487175c5d3447e11520ccd4de16c69","datavalue":{"value":{"entity-type":"item","numeric-id":4778541,"id":"Q4778541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"891a0d18de787380e0c1b3c456614a70678f5dba","datavalue":{"value":{"amount":"+0.7177667021751404","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":"Q892994$147F9C6E-4B7B-4FA9-81FC-5D548C8EB99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd0c6e5623b1f476e2d03de1736a04f240ddcb0","datavalue":{"value":{"entity-type":"item","numeric-id":1395688,"id":"Q1395688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c08da85d3b4d61ca815e63940d275faee6228f6","datavalue":{"value":{"amount":"+0.7099820375442505","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":"Q892994$CBB2A12F-A4F0-429D-8416-596B9C4EFDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fd4613246cd22a74b10852d0a7fe8faf8b6211c","datavalue":{"value":{"entity-type":"item","numeric-id":1698776,"id":"Q1698776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a6507c8bb2db1bcb872ade36f10eeeef59edf3e","datavalue":{"value":{"amount":"+0.7020455002784729","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":"Q892994$4C00D95A-0B46-4958-8BA4-5B3C1734E0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ad5c696302770904709bb1c327142445819c9e0","datavalue":{"value":{"entity-type":"item","numeric-id":2368958,"id":"Q2368958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec5ef0d8bb77ad7f93ca9cb74771abc434622893","datavalue":{"value":{"amount":"+0.6910529136657715","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":"Q892994$AD31BBEE-7ABE-4063-B2B7-FCF365404B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ebc2e13a83292040a2e400e32fd2c36af55e57a","datavalue":{"value":{"entity-type":"item","numeric-id":1650954,"id":"Q1650954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a28343684eb2ad7dbaaced6f831fecd49cbef7c6","datavalue":{"value":{"amount":"+0.688954770565033","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":"Q892994$E67032B8-ACC5-4C87-AB3B-B51063930534","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combinatorial abstraction refinement for feasibility analysis of static priorities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combinatorial_abstraction_refinement_for_feasibility_analysis_of_static_priorities"}}}}}