{"entities":{"Q1904642":{"pageid":1915384,"ns":120,"title":"Item:Q1904642","lastrevid":69250767,"modified":"2026-04-13T05:46:12Z","type":"item","id":"Q1904642","labels":{"en":{"language":"en","value":"Verification of schedulability for real-time programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 829875"}},"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":"Q1904642$257D4623-4CEB-4EB2-BA6B-5EB8B88E4CA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6752b7798667310f9d18b87feb35800c35db0a97","datavalue":{"value":{"text":"Verification of schedulability for real-time programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1904642$8D451897-46BB-4895-9D27-EBBEC67F940E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8953793de7d3e4d23714ab4b7ca886e811f1c5c8","datavalue":{"value":"0838.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904642$9F02657B-0948-4CCC-A7F5-31E4D18ABDC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14c5dec6bf67dafc5ebc3913e296d27d6928366f","datavalue":{"value":"10.1007/BF01211630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904642$B6D8D326-CFF9-49B7-A02A-BE0E4D491DDF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef3979302b875c048dc5c989eccf025415e00902","datavalue":{"value":{"entity-type":"item","numeric-id":757078,"id":"Q757078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904642$0B19AB66-9FEA-4262-AA0C-D7A3DB4A462A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05850b623676cfad5d4d8c6be77524ea07c86c8d","datavalue":{"value":{"entity-type":"item","numeric-id":1595889,"id":"Q1595889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904642$44527CCA-B1A0-4CBA-91BA-C868C76099CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6566f7241c7ed7c04cc74ecd005197b6f32908c7","datavalue":{"value":{"entity-type":"item","numeric-id":295007,"id":"Q295007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904642$69B97B16-5BE5-4C97-A667-551B59A8F94C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904642$E1BEAB5E-C986-4A9D-987B-DA693FDE9610","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d6e8ac31ba2adc3c0462a571bc26630fef80971f","datavalue":{"value":{"time":"+1996-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1904642$1013B015-8F00-4AF0-8383-F82FA2D7D390","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904642$780CA43C-7633-4D85-A36F-1A0375188BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904642$820FC024-D2E8-4625-8786-61A2B361CD9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"826898223ff3f36fec7f89e64965fbd422e11e6c","datavalue":{"value":"829875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904642$DC3AE2BA-C1A5-4C03-A1EF-FC6225F5E2EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d107c8021cb7edf2bf3780a4c1d3754d63c5f3a0","datavalue":{"value":"feasibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904642$94E9E496-30F1-4AC7-A517-165163CDDD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d55952d7650d85a629f9da9a880e1fbaa6b368","datavalue":{"value":"real-time program","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904642$2CDADAD8-457C-411A-96BC-6E3A1DF77244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904642$B07BC494-4BFC-46AF-84F3-B2B2BF698D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"267727d71138c8af8df1fe0229813b961c7e4aa1","datavalue":{"value":"schedulability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904642$DE3FD02C-170C-40C4-9709-E3DB559A798B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"af18565fdadd2792ff5bddefd7533f02d48f1ce4","datavalue":{"value":"Q58895006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904642$CEE377A7-3439-427D-8FFA-F3F8499F488C","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":"Q1904642$8FA03B4B-9E9A-4AE3-8662-F23B436E3312","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904642$EF54FCB4-8518-487D-9AC9-6ECC894F9D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deb20340dd9cc4c7a1544049413a07d2685bf85b","datavalue":{"value":{"entity-type":"item","numeric-id":913499,"id":"Q913499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904642$9B611B4A-3319-4F20-A3D8-1B5C4DEBD489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904642$51CD15DA-B687-4CDE-8305-58DC7B7E8E49","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"e26594f3b29d337637a627b508cc96ac4ed0f2ee","datavalue":{"value":"journals/fac/LiuJJ95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904642$767F15F1-AB4E-4D96-8BE3-F8186D4DCE0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b93186e530f81dfea244b26e03402cd97b7a27f2","datavalue":{"value":{"entity-type":"item","numeric-id":1589590,"id":"Q1589590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9521d37be153c35efdd9a8bf7e72ee195e6acbe1","datavalue":{"value":{"amount":"+0.8724400401115417","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":"Q1904642$0578EEE4-7C08-4F17-A682-9008EB1B4B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f178f6d6899337c82b7efea85b79c9996a71276","datavalue":{"value":{"entity-type":"item","numeric-id":396986,"id":"Q396986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07a31c9cf8c50b074611e686f52eb27ac6578535","datavalue":{"value":{"amount":"+0.7824417352676392","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":"Q1904642$B9951D4C-10D8-46CC-87C1-2D687A43EA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db533c119bdd004b0866acec121d3d3a666c136a","datavalue":{"value":{"entity-type":"item","numeric-id":4412495,"id":"Q4412495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"462cf9d10947a4411b50fc59576d3f59294863b6","datavalue":{"value":{"amount":"+0.7755425572395325","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":"Q1904642$AC7FA31D-AD04-4636-8308-F3E222C2F31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8964e9090b61916c45b7ea91c81ccb8bac76e36f","datavalue":{"value":{"entity-type":"item","numeric-id":844238,"id":"Q844238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cc5ed013684fd1fe4c1a65e4404390c6c53065c","datavalue":{"value":{"amount":"+0.7700625061988831","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":"Q1904642$D16F01D1-5DD1-4CD9-8103-178B8A0D2428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f32a8e87cd6b6f4cbf405d985cdb4c1cadd822e","datavalue":{"value":{"entity-type":"item","numeric-id":704786,"id":"Q704786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a13b7430874ca5a70b28e7a53b38184785a357e0","datavalue":{"value":{"amount":"+0.7579155564308167","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":"Q1904642$3666C13C-A3A8-457D-942E-40B137D93194","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of schedulability for real-time programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_schedulability_for_real-time_programs"}}}}}