{"entities":{"Q1780180":{"pageid":1790922,"ns":120,"title":"Item:Q1780180","lastrevid":72942873,"modified":"2026-04-14T08:54:52Z","type":"item","id":"Q1780180","labels":{"en":{"language":"en","value":"On the dynamic semantics and the timing behavior of Ravenscar kernels"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2174061"}},"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":"Q1780180$E3F72B5E-5020-4A15-AB5D-3C31E65BE8A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2d7125f9c15ae966ed21995ce45c0ed4277f5d7","datavalue":{"value":{"text":"On the dynamic semantics and the timing behavior of Ravenscar kernels","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1780180$4F5E74C4-1937-4219-B5CC-DB0BE2E0A03E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e32eeaa28a6863e73b370f70ce58fd33dd2576d","datavalue":{"value":"1097.68532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780180$3E705FFD-2C09-470C-B9F5-CD15B81DCB15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66c31d90b58ab4238225d27c1b2e70515ee03a20","datavalue":{"value":{"entity-type":"item","numeric-id":1780177,"id":"Q1780177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780180$A3FF48FA-8BF6-4FAB-AA96-11080DC67517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbac37f72a0604c8bc49dee03076072198f8510c","datavalue":{"value":{"entity-type":"item","numeric-id":1780178,"id":"Q1780178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780180$E80685A7-D9A9-4DE3-8B39-EAD1FF4A993A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0295d43a47c59881a883943ebaf0beadbbe4bdd","datavalue":{"value":{"entity-type":"item","numeric-id":1780179,"id":"Q1780179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780180$5D91BB8D-B49D-4A0C-9B12-C984FF17A24C","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":"Q1780180$83BC2F22-F1B1-4796-A393-AB2A08F195AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98af6c27cdbeaf7557c167d3152d9e2286fa6c35","datavalue":{"value":{"time":"+2005-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1780180$C8A92F6A-F298-4143-85EC-2B3B0B1C021F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780180$C8E31BFD-E03D-4CA0-8026-796582799E99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a0fe22ed5934ef3f27ab3f3ebf4ba8784ad0ca2","datavalue":{"value":"2174061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780180$BC56D7A2-DDAC-4789-976C-260464982C98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780180$4B8CE06E-3E9F-4067-AB99-534C5D00EEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856826ed672be6e08eb0029951f04f1da17c463e","datavalue":{"value":"concurrent programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780180$85730768-C11A-4659-B6CD-F85CCB650C26","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c5d859b72f128c08f4d6da1b49fb4bea3878063","datavalue":{"value":{"entity-type":"item","numeric-id":14401,"id":"Q14401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780180$A2E49DF1-A797-4973-A501-8DF6E507D690","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":"Q1780180$150E8D54-56B1-4CC8-B3BD-18E904F3EBE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07d9db27336d5e6ac89b196c22961ae10d1e0308","datavalue":{"value":"https://doi.org/10.1023/b:time.0000048937.17571.2b","type":"string"},"datatype":"url"},"type":"statement","id":"Q1780180$9413C1C8-401C-4D7E-82D9-D4F77890A16E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1bfed010c280e8553803874c3d1776d70d54e18","datavalue":{"value":"W2002324803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780180$1E63A907-D178-421A-8FF0-B815B89B15D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02629fa4af0cfc373359abe7a254992dc2ffd208","datavalue":{"value":"10.1023/B:TIME.0000048937.17571.2B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780180$FE9840A7-4382-4F5E-960D-7A897F3FEA18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7efd4f0e4b89a1952b2e903a880559b57982ed1e","datavalue":{"value":{"entity-type":"item","numeric-id":1395684,"id":"Q1395684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"852004780c6550604bd3e31a49d9bc52fbf3c591","datavalue":{"value":{"amount":"+0.7823038101196289","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":"Q1780180$8104D6F6-1C91-4892-B641-43C7F55DBA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"606083c617105b08e349d0dc56a797a4c9458a3d","datavalue":{"value":{"entity-type":"item","numeric-id":2771794,"id":"Q2771794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e3fbf55c614ad949afecd7b592ae2885a2df247","datavalue":{"value":{"amount":"+0.7304701209068298","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":"Q1780180$35D28F57-DCAD-4ED1-A081-B866F7A6B5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e282729ed674bd96447e08dd4e89451099da744c","datavalue":{"value":{"entity-type":"item","numeric-id":4435359,"id":"Q4435359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2addb3bb16bbe89989a15bba92b9651083b79d54","datavalue":{"value":{"amount":"+0.712976336479187","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":"Q1780180$359B11CA-08D4-45DF-802A-BF41CB305826","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":"f033dcc5988c3ff353ee2b28c502d61eab9541ba","datavalue":{"value":{"amount":"+0.7073647379875183","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":"Q1780180$FE8328F2-43C2-4099-8CD5-49F3ADC508A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae87d303caea0cb14f1a0334b35aa161b04630c3","datavalue":{"value":{"entity-type":"item","numeric-id":4435361,"id":"Q4435361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab2266637cf009e4d13112faea6a92f8a7c5a5e2","datavalue":{"value":{"amount":"+0.6918470859527588","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":"Q1780180$F01A0CA5-2E6A-4E7C-8017-896F915F8FE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the dynamic semantics and the timing behavior of Ravenscar kernels","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_dynamic_semantics_and_the_timing_behavior_of_Ravenscar_kernels"}}}}}