{"entities":{"Q1395684":{"pageid":1406424,"ns":120,"title":"Item:Q1395684","lastrevid":81391601,"modified":"2026-05-06T18:24:52Z","type":"item","id":"Q1395684","labels":{"en":{"language":"en","value":"A Ravenscar-compliant run-time kernel for safety-critical systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1944899"}},"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":"Q1395684$83312207-C172-435C-B10D-6E2871ADC60A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a38c8f482c825cb5e0f799ae0734039727744582","datavalue":{"value":{"text":"A Ravenscar-compliant run-time kernel for safety-critical systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1395684$7838C47F-6583-4ECE-996B-1AD6E60601ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55344a6a0402e66f91da0429c77304bcd9e2aa70","datavalue":{"value":"1033.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395684$FC564489-1B01-42DE-B867-09A163D2C46C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca78d4481644214aa033dc3e67ae92a0d72a2755","datavalue":{"value":"10.1023/A:1021701221847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395684$DD7A6823-4D66-45FA-8F66-46CE87CCBB51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4d6a112d8496ab53f70a3fa935628dd01da8d51","datavalue":{"value":{"entity-type":"item","numeric-id":1395682,"id":"Q1395682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395684$6B4346F7-4694-4239-8C61-8F2FB40DFB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee8de71b8f8c164662f4fbdaa84980bf7bea2dd0","datavalue":{"value":{"entity-type":"item","numeric-id":1395683,"id":"Q1395683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395684$DEF19D7B-63BF-4FF4-A9BB-FE043D67CE3C","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":"Q1395684$0B4F09E6-9A26-449D-98E2-C9E35130E91A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a64159b588e3459a5fca46f6d5073d79064c685","datavalue":{"value":{"time":"+2003-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1395684$D953F994-FF92-4FCA-8681-E9D6746F1165","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395684$55AFCF63-CF10-4648-BE51-411EC5F7CEE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9eaa65e401cfe0d3a0a32310fac86e163eaf4957","datavalue":{"value":"1944899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395684$926DAD3E-AE70-4F0D-BF10-9CEB8750F5A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07a1733d6c55246fc94b7182e7a97f3781615a05","datavalue":{"value":"safety-critical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395684$9CF079D7-E5DD-4D24-A335-A953FC333BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecab7edec2438315e15076d841c390b1393aba04","datavalue":{"value":"Ravenscar","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395684$F2EA0479-7876-4890-9E94-9F36811622D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6624961b8ade7626afd199c271a3762793d49850","datavalue":{"value":"run-time kernel","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395684$B742960A-F263-4FEA-96E1-05B6F4E9E89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"925e150e74e45555ae7550f13717a6fb58116a33","datavalue":{"value":"formal modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395684$18C77E3E-F180-4C41-BAAE-6A5EB947B325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395684$51FA4763-06B3-46D9-8A33-68896D4AD5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0cb2d05897b92a65bbcf5c284b4b94ced80cfd1","datavalue":{"value":"Ada","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395684$75CA3BD9-2D60-470F-9E03-B7DE6BDCC702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad8a319e4928213107bdf90311c84fcbfea3e116","datavalue":{"value":"UPPAAL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395684$94457926-E1C4-47DB-B582-3CBC4D71D723","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":"Q1395684$81D9CF84-0C62-4973-885E-6E7E9478BB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395684$FD578902-27E4-4EDE-A7B8-FB76070D0092","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":"Q1395684$73094ED4-4A7B-480F-81B6-70E5FF51E0ED","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":"Q1395684$E9003A2E-C474-4B06-998F-4764621027BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"614a51a4808675ce553f2aef347c6e9fff698967","datavalue":{"value":"https://doi.org/10.1023/a:1021701221847","type":"string"},"datatype":"url"},"type":"statement","id":"Q1395684$F30BA6C7-BD49-4381-8512-2576126F5E65","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c1c5875ee749701e2d83c152fcfb196be1c36e3","datavalue":{"value":"W1588544700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395684$CF361040-DEA1-4171-9541-665BDA6C872C","rank":"normal"}],"P1643":[{"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":"71d5d1c5b3b5100feccb1a64673b08721c155728","datavalue":{"value":{"amount":"+0.7878236174583435","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":"Q1395684$05267C37-E3AD-4CED-B786-E2D0415C98C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87cba2219b2ce3aef211b6c06f0e56751aba08fa","datavalue":{"value":{"entity-type":"item","numeric-id":1780180,"id":"Q1780180"},"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":"Q1395684$680918A7-40E4-4EDD-8B4F-E880310DE890","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":"131bd04c75880936bd3099effac9cf93538ef036","datavalue":{"value":{"amount":"+0.7432548403739929","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":"Q1395684$745EFAAF-790A-48C4-9BC9-50EA781AF6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c99edb253f5ddcee94fb06c4b2b2e038cef42256","datavalue":{"value":{"entity-type":"item","numeric-id":2424721,"id":"Q2424721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6410f738736f58138e2ef5cd73526c0a6c63217","datavalue":{"value":{"amount":"+0.6991947293281555","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":"Q1395684$4A3360C8-99C4-482F-9B55-D09F362BD4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de01c215cf4f50be3d7010f8851fc15145abf901","datavalue":{"value":{"entity-type":"item","numeric-id":1941888,"id":"Q1941888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68dbbbdf8d2cd9aa2bf9f3cb8f3e1ea87f3adf46","datavalue":{"value":{"amount":"+0.695827066898346","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":"Q1395684$77BB8087-F444-43C8-A0E2-E6902098AF20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Ravenscar-compliant run-time kernel for safety-critical systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Ravenscar-compliant_run-time_kernel_for_safety-critical_systems"}}}}}