{"entities":{"Q3009352":{"pageid":3020076,"ns":120,"title":"Item:Q3009352","lastrevid":51276152,"modified":"2026-01-17T13:47:01Z","type":"item","id":"Q3009352","labels":{"en":{"language":"en","value":"Embedded systems design based on formal models of computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5912206"}},"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":"Q3009352$22D7DF42-E764-4524-A53D-C53059AA55FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98e0b26c461b5e9e86eb5282c5df81601372bbdd","datavalue":{"value":{"text":"Embedded Systems Design Based on Formal Models of Computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3009352$FD868E42-ADD3-4C13-8CAA-C5486D05D1EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be73aff0a61d725ead10c8e0b326c23dfa9fba6c","datavalue":{"value":"1236.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3009352$49DEFAE2-909C-4AA4-BE2A-808A74347E7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01daaafb03cf888cf5aea1b8ec33c9d9ffad4734","datavalue":{"value":"10.1007/978-94-007-1594-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3009352$FF156E4D-80F3-4699-ABD1-3369FDACFBDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82d867da0c5e87569c9c9f8a6c2535ea0f20064a","datavalue":{"value":{"entity-type":"item","numeric-id":3009351,"id":"Q3009351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3009352$17D090AD-67BB-4F36-B544-267AD90B86A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7084659445c4f985521c189d4f89d54dccc24d77","datavalue":{"value":{"entity-type":"item","numeric-id":871522,"id":"Q871522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3009352$EDDB2CED-593D-4DE7-B4FC-5E75375AB52E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f112f61a1bf8951421a1669c4dcd263b162b3092","datavalue":{"value":{"time":"+2011-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3009352$D0AE763D-FC04-4BDA-B68D-CD4BF9606B02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3009352$42838AA0-387E-40D5-B4D6-8EF90F2EB76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3009352$E41F1FBC-4BFB-43A9-8FC8-77260135601C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3009352$0D394028-9A61-42AF-90D6-0241B5CEC928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3009352$D61A8865-F500-4EEA-A47E-1E9A16C3317A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3009352$F0B94EDC-DBAB-4BC3-BE29-7C08502A0C77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c7d5fcce31685bbf41081f67158e39ebe03f25b","datavalue":{"value":"5912206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3009352$27360A84-D10F-4F1F-A1CC-9BF73724436B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"109f941d813b7e5b1bae81cbc8d10fe2c508a5fe","datavalue":{"value":"embedded systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3009352$7330155C-B4EB-4B8F-90BB-C3D0765DDA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"715fe318c99227dccc8d26bf88e22776b68c9f87","datavalue":{"value":"heterogeneity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3009352$705AFC61-66AF-4C3C-9BC1-B37DB37C2807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6eb36bd07cf45ab8f53c60c9aef4be3278250446","datavalue":{"value":"system specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3009352$C6505904-CB2C-41C2-9DC9-33E263C1FAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c8a3771d592253533a2e546c05e00722cd3a680","datavalue":{"value":"languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3009352$231FD7C2-9E52-4F81-B1DB-01D197BB8EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff0ff2f53f2d3f40c93b65be176d4929e778e84f","datavalue":{"value":"DFCharts","type":"string"},"datatype":"string"},"type":"statement","id":"Q3009352$E8CBFB9E-B6B1-44C9-8D52-0BCA7F746179","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"aa2d64549222756def250240be7f5df88d8e6fe8","datavalue":{"value":"Q58800149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3009352$B62AF70C-7B14-4F81-9328-5C1D5CDE8B67","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":"Q3009352$DCC5CB0E-463A-4B0C-A90C-2D520BB1F419","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63c1233457e6daf1fefec00dca07153911dd3794","datavalue":{"value":"https://doi.org/10.1007/978-94-007-1594-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3009352$C920DE5A-5E59-4859-A39A-464212BDE5E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b411596958e2048ca40a4861df77164c69a1d26c","datavalue":{"value":"W603233673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3009352$A5AC1BDE-7E03-40EB-835F-C20FAE4F58FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be01ac97b9e4d9273b7f9e318c653b54d7d4b144","datavalue":{"value":{"entity-type":"item","numeric-id":4941014,"id":"Q4941014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06e4b685ca5a17e15c54686e4f3ac8538c952048","datavalue":{"value":{"amount":"+0.8219820857048035","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":"Q3009352$1AF05A2D-4C56-4349-B584-07E95E6F5982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70737d0756f65e0131eda41d8c7bb17a46148685","datavalue":{"value":{"entity-type":"item","numeric-id":3158282,"id":"Q3158282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b8b28fdf85fab962e9e5568bc10fd6073820700","datavalue":{"value":{"amount":"+0.8026188611984253","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":"Q3009352$DDA6A93C-DC85-4E1D-821E-1FFC063800AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19b93391bf85e417d24426821eb593d8cae35ccb","datavalue":{"value":{"entity-type":"item","numeric-id":3184780,"id":"Q3184780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec7f70096caa16e150eae70f267649477eb0c5d1","datavalue":{"value":{"amount":"+0.7978190779685974","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":"Q3009352$99B14E41-95FD-4271-8947-F85064883461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd52be13693c340a910930de69f076c198064ae","datavalue":{"value":{"entity-type":"item","numeric-id":4851578,"id":"Q4851578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a2554fd77cb2a89f46e7cb413e1d1a1a14c014a","datavalue":{"value":{"amount":"+0.790580153465271","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":"Q3009352$4FADB872-C5B5-487D-870C-A7001119FDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11db32e296c32414a82682fe7af61d69e8e194b","datavalue":{"value":{"entity-type":"item","numeric-id":4941021,"id":"Q4941021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07f64ec493f7a8fb878f6f36dfe13e7d43046b15","datavalue":{"value":{"amount":"+0.7570074200630188","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":"Q3009352$E7E13E5E-0599-4606-8F0E-5E6E58227881","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3009352","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3009352"}}}}}