{"entities":{"Q903515":{"pageid":905363,"ns":120,"title":"Item:Q903515","lastrevid":52427492,"modified":"2026-01-22T15:14:01Z","type":"item","id":"Q903515","labels":{"en":{"language":"en","value":"Using formal reasoning on a model of tasks for FreeRTOS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6526772"}},"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":"Q903515$443A7E3D-88F2-48F2-AA76-73E01799168B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee9191766f65ce767fd5bb33715a3b3828ba322e","datavalue":{"value":{"text":"Using formal reasoning on a model of tasks for FreeRTOS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q903515$D9C41390-FD1D-41B8-925C-8E8AA052C9F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce760547e427cd1c2db3c3c7b1b0dc64cd63328b","datavalue":{"value":"1328.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903515$D791533C-1CBF-49DA-A4DB-9CF49B2C15F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98119ceb23ecdf2db2aca133a5ff138d70feea58","datavalue":{"value":{"entity-type":"item","numeric-id":903514,"id":"Q903514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903515$A6F4FBCC-FC0D-4E60-A6A7-3707A0AD7166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903515$D846B6F2-D0B1-4EBD-9FA0-93CD5EC32AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86cc07c2ea63b7814d94e9965d8de64107601287","datavalue":{"value":{"entity-type":"item","numeric-id":636269,"id":"Q636269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903515$9724AD1A-DAA3-478A-ADB6-F5AEDFA97982","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":"Q903515$6A42B451-85B5-4339-9D53-890D06B9A9A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8558e5abb6cbfa3134664259730e3a690ab61c4b","datavalue":{"value":{"time":"+2016-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q903515$1F27D0DF-34FE-4317-B598-A3672E5A13A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903515$1ED18809-D0A6-4327-A94E-8CDEBE5015F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903515$DDB5651E-A5C9-40BD-95E2-ED89036A2F97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"464d78388e1d1e0838fd299512b6531d57ba6094","datavalue":{"value":"6526772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903515$46BBC0E9-7BC2-4E0C-BD46-991E1B1CAB4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ff9896550b9f473d4f432784fa7c052450f1637","datavalue":{"value":"verified software initiative","type":"string"},"datatype":"string"},"type":"statement","id":"Q903515$2E48C00F-4ABC-47E9-91F7-832589355FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc6e0cf00f5d6b1a796b60793fc86a19191dc004","datavalue":{"value":"FreeRTOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q903515$7385E2A6-3482-4A6A-9053-A2E1CBADBD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q903515$EE99A0D2-357F-4840-99D6-BBDCAF87DD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcf0a890e8e3065206f385fec8f2dcdd0df906f4","datavalue":{"value":"Z/Eves","type":"string"},"datatype":"string"},"type":"statement","id":"Q903515$2ED205F2-F4CA-4325-BF9C-9611A59D4259","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903515$88F7BF38-2749-4245-8E33-A6C8ED0BC94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903515$F5C2E97B-145E-4723-9542-6F3F2323D776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cae8739186f915dcdf22aade1969a1b064b021cc","datavalue":{"value":{"entity-type":"item","numeric-id":15781,"id":"Q15781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903515$D7474D24-3DC0-4271-B6B6-1A500029A372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"272b1a9e09e3e0c648f0668682ab92d2e1d0ba63","datavalue":{"value":{"entity-type":"item","numeric-id":22226,"id":"Q22226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903515$BE3E1677-81A7-461C-A7CB-BF9F1DF12121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9405c88255939b2b34b6d201298b635aafccebba","datavalue":{"value":{"entity-type":"item","numeric-id":25679,"id":"Q25679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903515$7F8B71FB-9C81-4265-B031-3A2EA30910B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1637c3ce3f61a15997b947ec05e883d55623946c","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903515$0195D8F2-06DA-4F2A-A762-68EE4A453DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903515$7FF93C82-362D-45CC-81CE-8B52FB6180B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b2040a476017b43b21bd352cfec0a67d631d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":18467,"id":"Q18467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903515$0CA8B240-5BA8-462C-BFE9-B8E243EFDF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903515$6E0F5EC9-140E-4356-8248-FD25A48CC78E","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":"Q903515$59B5ABDC-1477-49B8-BB22-B5967E4E37B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b89df3ce9d10df372d808f04569a0b22ac88c72","datavalue":{"value":"https://doi.org/10.1007/s00165-014-0308-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q903515$7F70EAD8-7865-488C-9304-EF61D0504553","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63e952b1a38ac115b3ba6c38fa8559c44ffe5af6","datavalue":{"value":"W2051536083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903515$F94006F3-1072-4317-BAF2-300A47EC397C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"097beafc05a97f0c4e666d19252acf96b5d4d7e6","datavalue":{"value":{"entity-type":"item","numeric-id":4417801,"id":"Q4417801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903515$ABB4EC18-2BC7-4828-AF69-4576B1BAE5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43aa236a6d90987f3d79f77cc60f48f7f064dee8","datavalue":{"value":{"entity-type":"item","numeric-id":5754574,"id":"Q5754574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903515$D1677232-0581-4D66-82F2-42EC89A43B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bdd97facb3bf2a9c2c615550ed3786e6ac0e057","datavalue":{"value":{"entity-type":"item","numeric-id":3525137,"id":"Q3525137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903515$BB2B002A-BF0F-4B23-8FB0-7EC7CA89FA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3c01dc0e266e4f0fc9387183a83efe886d87715","datavalue":{"value":{"entity-type":"item","numeric-id":5228113,"id":"Q5228113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903515$D388850F-B214-4107-9489-B350B98ADCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1461786fd9147b7231c61e645f0ab20a3eaa42","datavalue":{"value":{"entity-type":"item","numeric-id":1040002,"id":"Q1040002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903515$152A4F63-8C8E-4A5B-A00C-ED058C014F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3428326d0cbebee0854a2019f3ab2836befcd63","datavalue":{"value":{"entity-type":"item","numeric-id":2385814,"id":"Q2385814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903515$8C9B7BBF-3B67-42E5-BFD6-BDDEC213F7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2c73ea523922ddf10917d5a60c3c9e9df84e94","datavalue":{"value":{"entity-type":"item","numeric-id":3995087,"id":"Q3995087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903515$8B2E3979-2F61-470C-883D-AB31667B55B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b1cf608a028f22b04cf5c3316056683b8e22cf9","datavalue":{"value":{"entity-type":"item","numeric-id":3088017,"id":"Q3088017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903515$20C1F493-594D-4D4B-B8B0-FBA22B79173B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903515$F9F4BD38-5813-484E-9F6B-989CF242EAD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"139a1b51366118c51872c5543345e7ea819fb7f9","datavalue":{"value":"10.1007/S00165-014-0308-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903515$A75E5BFE-BF3D-4D08-84A0-2A7C95EA1BB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87a393b47c99a4523fc0f24bcfab2a914938e9f9","datavalue":{"value":{"entity-type":"item","numeric-id":2475307,"id":"Q2475307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd86f8e6a15b25c565cfb1bd5f598639d14b8d4c","datavalue":{"value":{"amount":"+0.7054147720336914","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":"Q903515$CC99914B-384E-432E-ABAB-82691360A8CF","rank":"normal"},{"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":"c465017bf460ebcd130162cf22190b0d1f0281fb","datavalue":{"value":{"amount":"+0.6918377876281738","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":"Q903515$0E31CF8F-F2D5-48A6-B08E-6DA898403A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af779daeee2b81695e4c48a17302710e4ab35528","datavalue":{"value":{"entity-type":"item","numeric-id":3386299,"id":"Q3386299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d96198756f55cede085e7421d8913a967598ba7f","datavalue":{"value":{"amount":"+0.6872029304504395","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":"Q903515$4FF62F1B-413F-475C-B66A-3172457BECF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a224f9648cf0cfce1e64965d6ff723c3b716354","datavalue":{"value":{"entity-type":"item","numeric-id":4439567,"id":"Q4439567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e08821472a28f3a903ea0d4c8978c3dccd6fb5b3","datavalue":{"value":{"amount":"+0.6776697039604187","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":"Q903515$FEDBE21B-DAAB-4C49-BA50-FA37AC7AD578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f369d1d1e090ff9d8f9c91135dbf72238a7d4fa5","datavalue":{"value":{"entity-type":"item","numeric-id":2829245,"id":"Q2829245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edd4defdb35abcb1d8969cdcb185f919d3afcf8a","datavalue":{"value":{"amount":"+0.6776689291000366","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":"Q903515$42DC63A6-99B3-4BED-93E1-B37852D44D64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:903515","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:903515"}}}}}