{"entities":{"Q779456":{"pageid":781305,"ns":120,"title":"Item:Q779456","lastrevid":64317807,"modified":"2026-04-11T19:03:10Z","type":"item","id":"Q779456","labels":{"en":{"language":"en","value":"A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7219898"}},"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":"Q779456$60D6E586-F330-45BF-AD47-D59928109F86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92495370d2b3fda1d0ff14b47bf2e2d360556121","datavalue":{"value":{"text":"A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q779456$E358B8A3-69F0-4F57-942C-5F9D62C77E59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc7063c4aa5a29ab9d805ed4974e21c60aa3a0ac","datavalue":{"value":"1436.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q779456$92DB9386-1257-453C-BD34-BD64FC1DCD29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1624df74c0cd3934f42226ab7bd74559bbc3e1ce","datavalue":{"value":{"entity-type":"item","numeric-id":249874,"id":"Q249874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779456$EF546B4E-6E6F-4420-8296-18F3513E5E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cba2cf3ab4b8e5cd4aa8c0e5787d98d84331613","datavalue":{"value":{"entity-type":"item","numeric-id":495916,"id":"Q495916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779456$42049E75-8330-4E4E-A2D7-12FCB4909513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84a67fd91adf97e2e0f568dcf7b04c3526871096","datavalue":{"value":{"entity-type":"item","numeric-id":209123,"id":"Q209123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779456$46899B80-2BFA-491B-9A30-3E7E2CF54526","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":"Q779456$E9808E4E-0BFD-4F99-AFD4-B33B2991C8D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b76fe830e9d07f84d6b6b6c9d0a58b74fe48c5ac","datavalue":{"value":{"time":"+2020-07-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":"Q779456$716F2A1F-4E43-4FB5-9903-6EE3D277F320","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q779456$A402F184-C77A-4F47-9035-0AEE35D14872","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3c840acc5b710cf3976b143f3b0c86bb1e98a74","datavalue":{"value":"7219898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q779456$D20A8D03-B68F-42D0-ACC7-9DF077E6EBC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"109f941d813b7e5b1bae81cbc8d10fe2c508a5fe","datavalue":{"value":"embedded systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q779456$AB776935-3758-40EB-AD21-2306C5C0FFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0ecd74604e6e3ee729a4583f0d09568f2a8e080","datavalue":{"value":"synchronous reactive models","type":"string"},"datatype":"string"},"type":"statement","id":"Q779456$7D06E909-4D5F-4293-B45A-A95EC2558D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0747a1371e9853f2e15e7d69d08e6bc66eed39fb","datavalue":{"value":"schedulability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q779456$ED0874A9-70C5-4F5C-BF1A-39D4F5438AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb7afcc69263bbc3b86fcd6deb919c67880601d0","datavalue":{"value":"request/interference bound functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q779456$9CEA680C-1879-4306-89B7-BC9E0ADA218A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02d32efa4caa2abb72a4e6348351cc4a9bcbccbb","datavalue":{"value":{"entity-type":"item","numeric-id":16527,"id":"Q16527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779456$EDBD4A13-5C29-4438-BBAC-4FDB5BF24680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1412ceb6c71a23f10e8f7e008bf034264afa1496","datavalue":{"value":{"entity-type":"item","numeric-id":41444,"id":"Q41444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779456$53D5EEB8-4450-4979-9EE9-BDBF6BCA86D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"09b199f58eff56161e05b6c261347a91a7e82b7b","datavalue":{"value":{"entity-type":"item","numeric-id":13576,"id":"Q13576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779456$FF5708F3-9DEF-4A9D-9838-6E6C74F1206A","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":"Q779456$65705D3F-00ED-4F2D-9CC8-C6F1A515DE06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a91805aade663b1a9fe1a1fbddc5703d752a00a","datavalue":{"value":"https://doi.org/10.1007/s11241-019-09331-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q779456$42A7A195-9428-4433-9FEA-B45B57F92C6C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7270ce9642325dc760e3e4608cf1a3c1851dbec","datavalue":{"value":"W2920205658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q779456$D3B1D198-E626-47D1-B1EE-49F16D4730E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f249580a521efbf8ec95a14e96ab42705350cf25","datavalue":{"value":{"entity-type":"item","numeric-id":4304869,"id":"Q4304869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779456$7E431158-AE7A-4CC1-A71A-607C702217C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cedd2709c1a7693d1392d41952ec9ee3a7862211","datavalue":{"value":{"entity-type":"item","numeric-id":1395688,"id":"Q1395688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779456$7B8DEF45-D1F6-4C3A-BBC5-397DC75FB088","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":"Q779456$E38A4912-C1D7-480F-8FA7-E38C929D6BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca38b240e41596e618832462423904e76cfba97f","datavalue":{"value":{"entity-type":"item","numeric-id":1973926,"id":"Q1973926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779456$60B862AF-EE4E-41B6-9C6D-B036E84A6D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779456$6DDD7E98-577E-4DE4-9AA0-3B4D4185ED74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f0ee34f85f5789e79d204a0f8801980f467bd11","datavalue":{"value":{"entity-type":"item","numeric-id":2757602,"id":"Q2757602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779456$94DDD8B9-68E3-40E6-AC37-FF270272ADFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"558da5db481262f59d0fc49292d36a5b08a74699","datavalue":{"value":{"entity-type":"item","numeric-id":2484403,"id":"Q2484403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779456$45940B37-65B7-4BF7-9145-D468C379A306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e36f2777c16a4623a714bec587fcb8cf2f86481","datavalue":{"value":{"entity-type":"item","numeric-id":1698776,"id":"Q1698776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779456$90D841BA-2193-4072-99D1-8B3771F1A021","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":"Q779456$579321CB-65CC-4AA4-B597-A46838BA420A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30c3d24ccfd76c757bf9ac1ab6da450f7459fcf9","datavalue":{"value":{"entity-type":"item","numeric-id":497995,"id":"Q497995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779456$5EF57A57-E55E-4ABE-A903-F2ABC82DEDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bf0a16fe49e70afb7a3f6da9e64e5bb74a0f2c6","datavalue":{"value":{"entity-type":"item","numeric-id":5752305,"id":"Q5752305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779456$06DB4086-8EF5-463C-9870-3A6B7E252DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6079e9b8dcd21806b2756c738f24fd0bcb875765","datavalue":{"value":{"entity-type":"item","numeric-id":495917,"id":"Q495917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779456$7F6207B0-E4E1-4D61-9041-40D14AF7346D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7bfa7d90fddbd5a505def83258af6130cb5c3e2f","datavalue":{"value":"Q128292845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q779456$5D3D9670-6756-440C-90D2-C5FD12AEF2EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60a76cc61de058387afb8ea1c8e7e7739da1b845","datavalue":{"value":"10.1007/S11241-019-09331-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q779456$CFF70B26-81D0-44E7-833A-810D09E137C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0ab4aba8ec576cd9358f62ad9d9985e2a1f7e66","datavalue":{"value":{"entity-type":"item","numeric-id":4419597,"id":"Q4419597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8fc9066d0747da64ae4745812acdd2b25fc11c8","datavalue":{"value":{"amount":"+0.7340365052223206","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":"Q779456$9F3294D9-6421-42FE-82BE-50662C5AD2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b16db5a987738d4330bad47dd851efdff2617a6","datavalue":{"value":{"entity-type":"item","numeric-id":3300224,"id":"Q3300224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"098a1fff15d1257ea86ad7506dc24cfb4e0d5a34","datavalue":{"value":{"amount":"+0.7307539582252502","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":"Q779456$6EAB82BF-21E3-4F35-8D59-39A574C38E35","rank":"normal"},{"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":"c4ed5d0dd71ea697b06a5a4fddc427cabd1a8576","datavalue":{"value":{"amount":"+0.6989346742630005","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":"Q779456$F9CCED69-B60B-44AD-A744-20EEC66D2A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1743f197ca6b582fe1a3f7fc6101c6b3d6450f","datavalue":{"value":{"entity-type":"item","numeric-id":777061,"id":"Q777061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21221e7e3e3e531ae97488d8d6aa1db1141630e5","datavalue":{"value":{"amount":"+0.6983560919761658","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":"Q779456$BE614C8B-A837-446E-B600-71FF67135529","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":"8f3248551d27b6e50430fe8b1b6b21c7eb90f8af","datavalue":{"value":{"amount":"+0.6961223483085632","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":"Q779456$1C89D574-9B89-434B-859C-67AEA08A820B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_comparison_of_schedulability_analysis_methods_using_state_and_digraph_models_for_the_schedulability_analysis_of_synchronous_FSMs"}}}}}