{"entities":{"Q3566476":{"pageid":5596380,"ns":120,"title":"Item:Q3566476","lastrevid":51005537,"modified":"2026-01-16T04:27:10Z","type":"item","id":"Q3566476","labels":{"en":{"language":"en","value":"Real time programming. Languages, specification and verification."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5717912"}},"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":"Q3566476$E931104E-4010-40E8-A8FC-3A77C2970A4D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"705fe7fb3b83bd0b033314e342f3fad3a4f39dfe","datavalue":{"value":"1204.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3566476$A47342A1-4CC4-40CC-9698-E2A275167934","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a769b7636f58cb6ec3f433d6a4ef9e5355b6beab","datavalue":{"value":{"entity-type":"item","numeric-id":3566475,"id":"Q3566475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3566476$BE8B9CEE-9F38-418E-819A-8DC08454023F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6e169b57195ba199568844c5f0329cd366749c5","datavalue":{"value":{"entity-type":"item","numeric-id":553360,"id":"Q553360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3566476$05BC6474-C091-4977-826B-35BDF4D1BE7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b279eb78b634b5450dd135862ef228f6c0276a2","datavalue":{"value":{"time":"+2010-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3566476$FAE9C556-5D30-4019-8E31-97CD8D993B40","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e57abb2cda763b36afa06c76ac7f15525867ba60","datavalue":{"value":"http://ebooks.worldscinet.com/ISBN/9789812814029/toc.shtml","type":"string"},"datatype":"url"},"type":"statement","id":"Q3566476$58133883-DA94-4A11-9AE6-C778E12E1489","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3566476$A4B0F99C-9041-4B38-B80F-9640C8D74E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3566476$C0258398-C85E-4F8C-A2FB-09CD0226F72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3566476$69CF3D6C-C438-4CEC-8535-D73E00C65FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3566476$B0022352-847D-4D8A-B764-F7E775D8EFCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01ad2410dfe1a95651c1fcd9cdb5d9ea585645e0","datavalue":{"value":"5717912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3566476$41ED1708-155E-482C-9CFC-56B28B397877","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"109f941d813b7e5b1bae81cbc8d10fe2c508a5fe","datavalue":{"value":"embedded systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3566476$43A86243-3D47-4DCA-8D2D-CC41DC724F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ef412bbf35472c6f24fc30cc010cabc530b79ab","datavalue":{"value":"ESTEREL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3566476$F952B1C8-3E1C-4D11-9EC7-277CC805EBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e139c10b6b2d845f655b8eddf908bf3e993a497e","datavalue":{"value":"Lustre","type":"string"},"datatype":"string"},"type":"statement","id":"Q3566476$B1903F0F-2045-4244-8F70-58477E0ABDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77c380888aaf675dc766bdc916a61225e5a0f96c","datavalue":{"value":"Communicating Reactive Processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3566476$35FC1145-ADD1-4146-ADEB-D1AC7988D339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9c4e871b168b08b55f537c21156e1bea39bc650","datavalue":{"value":"Communicating Reactive State Machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q3566476$CFB46F08-C54F-4F02-AFE8-95E091F5E901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e097e30d2c09f8e1c69637f94bddfa1a675c2ca","datavalue":{"value":"Time Triggered Protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q3566476$7F8FE58C-A1F7-4D98-8679-0902DCF7B84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"246fd42128d567d23285f3cbfc3b34a1553329f1","datavalue":{"value":"synchronous language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3566476$67A4EF8F-FC36-48DA-AAE7-BB1863E912DB","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":"Q3566476$E9960272-8D79-4E3D-8B2A-7A2E663FAD87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e97a40928b7bfc07d706dfb6b2d2349b0af96ac9","datavalue":{"value":{"entity-type":"item","numeric-id":4675616,"id":"Q4675616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"247b9942828109218f4ffa414facdac026fee2e4","datavalue":{"value":{"amount":"+0.997718095779419","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":"Q3566476$249A2E9F-B6F2-4560-8F50-C9E5F5AD48F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8924a7e1cad26dcec4f3c208c4c327c56ab1db72","datavalue":{"value":{"entity-type":"item","numeric-id":4284985,"id":"Q4284985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b08f7f797187d633780ea57c0ae086ed4e897615","datavalue":{"value":{"amount":"+0.8275275230407715","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":"Q3566476$50778795-6456-4415-882A-6009905DFE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"263a854c5a5de15991d5d3c650bb40400fa9b6cf","datavalue":{"value":{"entity-type":"item","numeric-id":5900383,"id":"Q5900383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71f805291a5d6394cad01182407b48acbee22549","datavalue":{"value":{"amount":"+0.7853971123695374","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":"Q3566476$457186EF-50A9-40A0-8208-6F6F5AF7D614","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":"1b9a37c3973e2f3d3d1b1cee2cf9a87cd3e66b73","datavalue":{"value":{"amount":"+0.7842819094657898","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":"Q3566476$AE2127C0-3662-4CE5-B547-2BA264360BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a9bb69bda6a5c3fb7e34f516df78aefa606e1ec","datavalue":{"value":{"entity-type":"item","numeric-id":4003544,"id":"Q4003544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"257c09250e7eeaaf3b1326398b2f2a0c07e84563","datavalue":{"value":{"amount":"+0.7807310223579407","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":"Q3566476$E7CD6719-FA4B-4422-9AC7-5D5CEEB11C83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3566476","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3566476"}}}}}