{"entities":{"Q4902881":{"pageid":6932460,"ns":120,"title":"Item:Q4902881","lastrevid":51634169,"modified":"2026-01-19T04:25:39Z","type":"item","id":"Q4902881","labels":{"en":{"language":"en","value":"Modeling and analysis of real-time systems with mutex components"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6126728"}},"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":"Q4902881$0246DA7C-3A66-40CF-A9C3-236164367865","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"266e4d21902159bda468598592bf8d4cb1ce10b1","datavalue":{"value":{"text":"MODELING AND ANALYSIS OF REAL-TIME SYSTEMS WITH MUTEX COMPONENTS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4902881$F1FCD8DB-EF7D-4B93-949C-BEA821516F1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efb4b23d85f90e016605c8ea12791097e30a6696","datavalue":{"value":"1255.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902881$63DC2362-0B6C-407A-8597-2D383B2DDEF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e58b7270e367655f4bc9591a8cae0fead4261de4","datavalue":{"value":"10.1142/S0129054112400382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902881$0C5F4DE7-0585-4366-9684-536FBCBEA5E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af74bd0d476ef3105469f50f0b324dc591a89229","datavalue":{"value":{"entity-type":"item","numeric-id":621582,"id":"Q621582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902881$D083DDC9-F2B3-4D0B-A07F-07E0AC199332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f646f9e624e4f21f0c774cd39c8ef72040fbf73","datavalue":{"value":{"entity-type":"item","numeric-id":1012120,"id":"Q1012120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902881$126CEA5F-F500-4293-BB4C-D2104E906405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"550d64c91d301beef762269976380a557c575062","datavalue":{"value":{"entity-type":"item","numeric-id":986882,"id":"Q986882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902881$20E18B56-5523-437F-9F6C-9118AADFD3A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902881$4508DA97-316E-492E-82BF-02786962125F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"79256387aebd47d6a8dc87509032c2f4d5e302a3","datavalue":{"value":{"time":"+2013-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4902881$0FD8DE8E-A47A-4C88-BF7D-22F25866863A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902881$7124C81C-DAED-4EC3-ABF7-A0BAB4564589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902881$F8371A6D-10B8-4CA4-96D5-0437CE526981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902881$2ECBFA19-F8FD-44E9-8109-A8764D0864A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eea9f66a31a06ec0c3bf0386d55b13894523631a","datavalue":{"value":"6126728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902881$4202A28B-B2B1-4D62-BE3A-5AC4F72180D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af9e736d4cf14b2982f94218b6521862f016b3d","datavalue":{"value":"controller automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902881$F33711DF-C970-4702-A7EC-4C49D4BF58D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902881$8B82EAFC-ADAF-42B4-93A1-1FDAB623EA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902881$C87694DB-CD40-4BD0-9379-AD81039A72BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b26d5002597dccf609dbfa3c5118927d3916e8d9","datavalue":{"value":"mutex","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902881$51628199-0B51-47E9-86BB-A93F9BA856DC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"facdf200105caa9a8346d7f6e980c631ef5276ce","datavalue":{"value":{"entity-type":"item","numeric-id":14142,"id":"Q14142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902881$0C69B553-A0C8-4507-80D7-F7C77BC74FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902881$C4E81F6B-2802-4047-95B8-15E319496D73","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":"Q4902881$FAE3B6BC-08B6-42CA-B599-CA729C0514FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902881$B09610BA-1B1D-48A8-A12C-728D5695C985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e37a48c8d3919297f8fb6663795a2e39b5f04735","datavalue":{"value":{"entity-type":"item","numeric-id":1885906,"id":"Q1885906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902881$63155E99-FD0D-4D9F-B25B-1B4FC0310098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fa3cd6802cd2daefa9fdd5f1e3ac29633dae76c","datavalue":{"value":{"entity-type":"item","numeric-id":4371833,"id":"Q4371833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902881$8DF76862-5E9C-4064-9256-F07419265B3D","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":"Q4902881$FE67F64E-9393-4455-833C-DE272AEE9D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78424e16cd24d9742c865ada89549a4edd25ddc2","datavalue":{"value":{"entity-type":"item","numeric-id":2368958,"id":"Q2368958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902881$174ADC81-9516-43C2-8FC3-7A2E17187041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"282922bda9a2e5c294fd460fb0c5cc22815348b4","datavalue":{"value":{"entity-type":"item","numeric-id":960859,"id":"Q960859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902881$62B1F08C-1834-40D7-85FC-4C3914D61B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1221a33196b3c7ef452907ebf2efba3883e9cfb4","datavalue":{"value":{"entity-type":"item","numeric-id":1776582,"id":"Q1776582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902881$D4C197A1-2D19-480E-9C2B-7CCF3DC800F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902881$8BE14A47-F4A4-4A4E-BDA1-AC6B5F0367F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7be4a8100f6c1d999f8610e55b712c8ecf757568","datavalue":{"value":{"entity-type":"item","numeric-id":1854273,"id":"Q1854273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902881$DFD35B37-4091-4FA4-8453-34E48D55E406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902881$D008C84D-F6DE-4A1D-851D-AFCCEFCB6FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34c4832f594f738351bd0abb6cc38428b8c1fa8","datavalue":{"value":{"entity-type":"item","numeric-id":5342740,"id":"Q5342740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902881$2192660F-C8BF-479A-AAC4-E7C281E2A4E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45093d0f98ca9334de784fa181db6f6848da1433","datavalue":{"value":"https://doi.org/10.1142/s0129054112400382","type":"string"},"datatype":"url"},"type":"statement","id":"Q4902881$38A5A348-DC49-400D-85AD-6413FC2A4B40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38fcabd12aa50a052c2ad5830eff58bc12aaf412","datavalue":{"value":"W2089327660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902881$D7D4BA78-2C0A-4296-8A9F-11838D93EDD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a8b055765025682a705a19bec71d22ffdcbcde6","datavalue":{"value":{"amount":"+0.7455987334251404","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":"Q4902881$37A07603-F507-47A2-BA09-56F130E2A352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1e115d3802018c4a2e59f6deb25445448fd3ad","datavalue":{"value":{"entity-type":"item","numeric-id":3139722,"id":"Q3139722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f81e21dada604e9806c839d6a3ac1c649724652","datavalue":{"value":{"amount":"+0.744602382183075","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":"Q4902881$9B00FAC7-08E5-467E-AA70-0CEEF0567E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d723c97193817094aa5f77eeda73037853bd1e2","datavalue":{"value":{"amount":"+0.7427613139152527","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":"Q4902881$2E8C3651-1795-4889-B937-BC718E56D8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eaa912421671d09559585408a9f34242b0e9c60","datavalue":{"value":{"entity-type":"item","numeric-id":4845331,"id":"Q4845331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b326e3c592a77254246a4d5583e2834655915e9","datavalue":{"value":{"amount":"+0.7386922836303711","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":"Q4902881$83A2DFE7-2356-488C-800C-EC3C5CF2832A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a83760074e4d32bad3b3de30c1478dae4b42ee4","datavalue":{"value":{"entity-type":"item","numeric-id":2058560,"id":"Q2058560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"decf33932f87bdcc0d858fe2b4eb9bb6c66f51c1","datavalue":{"value":{"amount":"+0.7320820093154907","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":"Q4902881$AD0D2F81-EFB9-4AE2-8C66-F03EE42F21C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4902881","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4902881"}}}}}