{"entities":{"Q4624677":{"pageid":6654260,"ns":120,"title":"Item:Q4624677","lastrevid":82293992,"modified":"2026-05-06T20:33:37Z","type":"item","id":"Q4624677","labels":{"en":{"language":"en","value":"Modeling and analysis of nested interrupt systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7028882"}},"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":"Q4624677$188EEB92-89D0-4240-8D77-5777D4AB8B94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e0f1babd3da5ceec006491ed22c3a24a5e5aa87","datavalue":{"value":"1424.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4624677$A95A0B04-D338-46E4-AA35-65F1E395F742","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"880cac423491fdb6d77d986a51ac6151f500ba05","datavalue":{"value":{"entity-type":"item","numeric-id":1792172,"id":"Q1792172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4624677$886382B4-0219-4BB8-BFD8-AB54FD0B9FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4624677$03FD6F7F-693C-420C-8F85-46C14FFA3AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63c8a7d27ac589b244a048d2f920a9e8c6bd330","datavalue":{"value":{"entity-type":"item","numeric-id":247892,"id":"Q247892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4624677$8FDCAC80-4E2B-460F-8532-7832B9710876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83e0c9ae8671e5f29856e35bbe5db8cbb2ecbb5c","datavalue":{"value":{"entity-type":"item","numeric-id":247888,"id":"Q247888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4624677$9EFDD367-11A3-42AB-9ADA-49D6490D76B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de6231e2c15042f8d09f82d34b78d1fbec842408","datavalue":{"value":{"time":"+2019-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4624677$BD5B7152-9E4F-4F9E-A90D-31A19202ED29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4624677$BA7123EA-14E1-487F-BFC4-C186A83D3F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4624677$75E1A4B0-DF3A-4346-B7A7-05EC5B592D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4624677$1325AEA7-3C60-4DA6-9DE1-826A98B9A526","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4709de26a66e700fcd09c12fe88c7da359113ea","datavalue":{"value":"7028882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4624677$9D48833C-7396-4DA5-868F-4D4B60182FB3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ab0a1cd7ea61fb2483f9e39da591c43ee63d8bf","datavalue":{"value":"nested interrupt systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4624677$4CBA2D9A-DF7D-458F-9310-369A75FCE20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f57aa81e5af3328b6677d2b978a2e3d19d725f0b","datavalue":{"value":"projection temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4624677$F71B6DAD-DBF6-4B6A-A5D9-95E91311FD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"925e150e74e45555ae7550f13717a6fb58116a33","datavalue":{"value":"formal modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q4624677$4E03D7D8-DE2A-45B7-BA56-BEC07D8C2D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4624677$8B21E413-52D8-4CE8-BD44-802EE82A983C","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":"Q4624677$FE4ECC98-AF64-4416-8B09-6F252EB1D1D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbaa982ff6a8c00066fd345d3b3d279235a0296c","datavalue":{"value":"10.13328/J.CNKI.JOS.005472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4624677$6326E537-2AE1-4D72-B39D-0052D6DDAC42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"677f990a1567eda23dd89a8f10f118dd04619f21","datavalue":{"value":{"entity-type":"item","numeric-id":2851919,"id":"Q2851919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b3cf6cda6cb10ef53bb20cea712bedf1f0cb913","datavalue":{"value":{"amount":"+0.7347140312194824","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":"Q4624677$D46A050A-464C-4939-9AA0-5433E8ED12C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5abf1ef376dcb772bb6d5c2c6bb36d5f4c866f","datavalue":{"value":{"entity-type":"item","numeric-id":2987202,"id":"Q2987202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fc3a615e45a9373e2d13622a02afb333e19661b","datavalue":{"value":{"amount":"+0.7143111228942871","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":"Q4624677$061218E9-5DB2-48A1-BBAB-E9186D0BAFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a2abda04d4c48253ddd1ef1f75841175cb10083","datavalue":{"value":{"entity-type":"item","numeric-id":3585026,"id":"Q3585026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27b37e7fe61d877e8796b73cc6ec6ce400d89025","datavalue":{"value":{"amount":"+0.6942558884620667","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":"Q4624677$01BEABDC-DAA9-400C-B4C6-D10776D21798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3f1f85483cd4e80ce5b8615044ca5e35786c337","datavalue":{"value":{"entity-type":"item","numeric-id":3773316,"id":"Q3773316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b500bd90bea6ab08d4e05ffbdf45b319e65b3e4","datavalue":{"value":{"amount":"+0.6824272274971008","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":"Q4624677$9A0510A5-6734-4D19-9AD4-767C4627B67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab3b7df1cdb867772fca63ab45d57e7ed9d0380e","datavalue":{"value":{"entity-type":"item","numeric-id":5200480,"id":"Q5200480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06d30eecac8b7f2fcc881cff6bba02da40e00b3e","datavalue":{"value":{"amount":"+0.679391086101532","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":"Q4624677$B47D8129-A296-4681-8E18-E3075C423DDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modeling and analysis of nested interrupt systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modeling_and_analysis_of_nested_interrupt_systems"}}}}}