{"entities":{"Q2368958":{"pageid":2379701,"ns":120,"title":"Item:Q2368958","lastrevid":43966308,"modified":"2025-11-18T14:31:30Z","type":"item","id":"Q2368958","labels":{"en":{"language":"en","value":"Schedulability analysis of fixed-priority systems using timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5020367"}},"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":"Q2368958$BF0AC5C6-C73C-4294-AAD0-397E122EE2F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e11fcf0564f39ad16014c75069f9d11263b9405","datavalue":{"value":{"text":"Schedulability analysis of fixed-priority systems using timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2368958$1CFB1C25-D9D9-46CC-BE9F-AD190A46BFC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e36c2281294f17c8cebabe6b47cd8a8ca6c58d7","datavalue":{"value":"1088.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368958$FD2D034C-A36C-440B-B9C9-01A0C94D6272","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c2ef54c2414aa01b57cbf19c48ffe90e38baedb","datavalue":{"value":{"entity-type":"item","numeric-id":2368956,"id":"Q2368956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368958$CEEED82B-1BC3-4A1E-97AF-EC83B4FA1E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e06ff1c718f854ba9b1bf5a97d165c39314c368","datavalue":{"value":{"entity-type":"item","numeric-id":2368957,"id":"Q2368957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368958$8A2693FF-94F1-4321-8375-4DF106389B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a7f66814d7b0aeacba32338c67c404e47976f82","datavalue":{"value":{"entity-type":"item","numeric-id":225080,"id":"Q225080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368958$EE71C698-B96F-41F3-8838-FCF8E1CBBF96","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":"Q2368958$847E55E3-4524-4971-BEFB-E51C6954651B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368958$AD227D34-FD97-4F23-846C-D675C582A82F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8728e91b2b3c919aca654c671fc4eed9ec21fc4b","datavalue":{"value":{"time":"+2006-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2368958$E242D263-7F04-4A76-83AE-D6C1A42AAFDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368958$0DA4E57D-BF19-4082-A45F-9F430DB6786D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368958$35F37773-032C-4D83-BD73-83F751C0C3E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0761372b934df5cbbb20ced92dfd4b7b7ee241f3","datavalue":{"value":"5020367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368958$267A8F75-7B50-4824-B78F-160BF0E5C061","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"966a3c964309d35cbe9a7015ff83e1307330d887","datavalue":{"value":"Real time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368958$DD5AB26B-244F-4BE4-AFC2-41EA67026447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc81a9fe96785b86e4f1459151672ddaf1661308","datavalue":{"value":"Schedulability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368958$D23E77E2-144E-4D73-BB75-A918B1EE962C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0710ba12b295bea2e2fc50f1eae9fd9848025d00","datavalue":{"value":"Timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368958$6A0C9B8B-3C41-4676-A7CC-B80DDB5B25FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41667e92fcf0c766ecb5ad7605757793364ae5b3","datavalue":{"value":"Modelling and verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368958$BF5F7C81-0F5B-408F-AE94-FD39625470B3","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":"Q2368958$F2E9364A-A02F-4CF3-B7E5-E434DDAA18FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368958$614599B4-7C13-4515-8C24-134037DBDEEC","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":"Q2368958$76FBEA21-2BCA-4D6D-8E77-281F3DC0373D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34c4ccd50571e947703264424f9db881659a4aaf","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.11.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q2368958$D219D2C0-EB3F-40DA-B60B-C510FDEAA6D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f5640623ea2be437ecb4f918a35397010db0de4","datavalue":{"value":"W2127200569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368958$FD961427-E894-4946-A363-7972DED204B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07dd10781fec219d4e5037d85aa8641413cd12d","datavalue":{"value":{"entity-type":"item","numeric-id":4551179,"id":"Q4551179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368958$6A015360-C17D-46C2-8B3C-405466EFAAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796fee6517807b3ea1ff0b6e047794616ccd462f","datavalue":{"value":{"entity-type":"item","numeric-id":4472231,"id":"Q4472231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368958$B08E1F23-8E93-4FED-BFED-BF538EF3F3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90440aadc6810660741c6f085dbaa0247d87e012","datavalue":{"value":{"entity-type":"item","numeric-id":2766638,"id":"Q2766638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368958$40102543-2446-43CB-9273-28420EBA4C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b40b375c01a9c4ec0f890009df77131b36b96152","datavalue":{"value":{"entity-type":"item","numeric-id":698466,"id":"Q698466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368958$529C6554-A356-4A38-B054-2EE5C8D4E689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368958$A6B51F9A-7A7E-4721-8536-4E9429B9EB9F","rank":"normal"},{"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":"Q2368958$DB657766-2A5B-46EC-A06C-21B44732B965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87e2f7bf41a2058a3e9116bd7a2da831d9a59e8e","datavalue":{"value":{"entity-type":"item","numeric-id":4472261,"id":"Q4472261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368958$10294668-5E01-46ED-BF13-9C40C2BD5AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56ce8a0ae2d33625bf03a95fd9dae3bed5c0a6c3","datavalue":{"value":{"entity-type":"item","numeric-id":4654724,"id":"Q4654724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368958$CD304685-9E65-4623-9DF7-617C8AFA7D7D","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":"Q2368958$22379DF9-2B9E-4A8F-B608-93471242BB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5090c31cc5981c749643ccb3ce33836775870eb","datavalue":{"value":{"entity-type":"item","numeric-id":2754097,"id":"Q2754097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368958$A34D7331-C3A0-43E9-B29E-E6BB5052DAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c28cb0c60d36a6b02cff002e350a60a5cd6bac8","datavalue":{"value":{"entity-type":"item","numeric-id":4472228,"id":"Q4472228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368958$1ABAC264-C428-4B40-80AE-95733CB1D9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b777c00bf75b64ce3901e1eec98e9fa7a3e52ed","datavalue":{"value":{"entity-type":"item","numeric-id":4658723,"id":"Q4658723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368958$EFEB1007-4FA8-4F3A-8304-C95B150D30D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9a4333f1661c8971f8afd5923da19f04a107f7f","datavalue":{"value":{"entity-type":"item","numeric-id":2743706,"id":"Q2743706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368958$D9BC1462-1F23-4F70-A635-5BC2AC874622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17aa159ac1f9d40e22274f73d435d75f99dbcdef","datavalue":{"value":{"entity-type":"item","numeric-id":5308410,"id":"Q5308410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368958$8E5F7C35-4F5D-460E-84A8-4F9519A0E50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3561c31075c37f0b2ffc4ff179c66c30a63f3fd","datavalue":{"value":{"entity-type":"item","numeric-id":4398826,"id":"Q4398826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368958$32BABAC4-1F0D-488F-903A-CDEA25868015","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":"Q2368958$488BAD93-E8FB-421C-A968-A08907C799B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"210ae6b2a7b4454ab62654d5cd725b4e3d853fe1","datavalue":{"value":{"entity-type":"item","numeric-id":1589590,"id":"Q1589590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368958$E4D234CB-0AA4-431F-8FD8-AAB3A12630A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5da5aeea3b0b179d1068dcb6c83ba252e201cc5","datavalue":{"value":"10.1016/J.TCS.2005.11.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368958$8A5C8ED0-217E-433A-A544-B3976FD0E652","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bc100d4f9903342a94e0995f930fb0c5d568405","datavalue":{"value":{"entity-type":"item","numeric-id":2703749,"id":"Q2703749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf6ba2ec338815cc1255442e250474b5380de593","datavalue":{"value":{"amount":"+0.91391355","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":"Q2368958$9130D82D-D03E-44F4-846E-C57B035710E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44df482e9b4c1a890d4c81f2d156013a55501a51","datavalue":{"value":{"entity-type":"item","numeric-id":5308410,"id":"Q5308410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b93241cdea12261d1d6a7ead428d1c0774b63649","datavalue":{"value":{"amount":"+0.89571035","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":"Q2368958$A089B078-2F8F-46AA-A577-31B9F1D4C82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"072f42e273e250816df120abd66dd75162f14ead","datavalue":{"value":{"entity-type":"item","numeric-id":4658723,"id":"Q4658723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b4a0af491a0817d36dbc2f558e46f059d830280","datavalue":{"value":{"amount":"+0.8945747","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":"Q2368958$84FFF05D-16D1-4658-AAEE-772BE845A332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"130f24572a270808e93ec55cc6c88a2b0cb06eaa","datavalue":{"value":{"entity-type":"item","numeric-id":2368955,"id":"Q2368955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9dcb775f162b7dc1830b62e3acab54555ebf538","datavalue":{"value":{"amount":"+0.89397246","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":"Q2368958$69FD04AD-73B8-4B10-A660-06CD0A6A3DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b1a0e2730d28810dad68d875c3abee7863cb6b4","datavalue":{"value":{"entity-type":"item","numeric-id":5172578,"id":"Q5172578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee9a3276cd9431467ceb65659aad9497fc261564","datavalue":{"value":{"amount":"+0.8905924","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":"Q2368958$EB37890D-C442-4CF4-8839-7FD9745AE987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"583272114b98919fd7d51e26e070ca76c3b6807d","datavalue":{"value":{"entity-type":"item","numeric-id":4499283,"id":"Q4499283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fc0eb4f7809ffce623609cbb22c2155d1ad97e0","datavalue":{"value":{"amount":"+0.8885192","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":"Q2368958$91F43046-C975-463E-AFF3-38412F41BE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18cf4c10d2d4414df94b4969b9792f268cd1f17f","datavalue":{"value":{"entity-type":"item","numeric-id":4564083,"id":"Q4564083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbbe5720f8035f6ac3b9b91b97d25ce8fb5eabcc","datavalue":{"value":{"amount":"+0.88608515","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":"Q2368958$34AC74D7-0535-41C9-B893-DF88128218D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2368958","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2368958"}}}}}