{"entities":{"Q5187826":{"pageid":7217398,"ns":120,"title":"Item:Q5187826","lastrevid":50923730,"modified":"2026-01-15T18:48:36Z","type":"item","id":"Q5187826","labels":{"en":{"language":"en","value":"Formal semantics of a VDM extension for distributed embedded systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5679034"}},"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":"Q5187826$F467457E-B1AA-45E0-B19D-14ED091D35B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d844275df35111f2a4755173d7b5e41e8be7a6cd","datavalue":{"value":{"text":"Formal Semantics of a VDM Extension for Distributed Embedded Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5187826$0529FE9A-E2D2-4510-ADFF-D7F2A4F8917F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0246699ca06b47b717b1f7b920c25ec34cc6a21","datavalue":{"value":"1274.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187826$6F340369-0FCF-4668-9446-CBA251A448D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8decc1c040bbd6c6c28be6e328d1b479242dee4","datavalue":{"value":"10.1007/978-3-642-11512-7_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187826$8C9A3BAB-1FE8-4C4A-A526-380B13824E81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"655b272f9711e4d9ee9172807da80e0536e6347a","datavalue":{"value":{"entity-type":"item","numeric-id":229991,"id":"Q229991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187826$25E494AD-6E84-4C3A-A853-DE795EEBBD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a71160cafe41f0a5838ff031d7082cbb3dda1cd7","datavalue":{"value":{"entity-type":"item","numeric-id":5187825,"id":"Q5187825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187826$EF4EB6D7-5CE0-4C12-BA7B-E93A0DF2A00D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0e5b4d5402b3754a6053a15bbac33af0e505e060","datavalue":{"value":{"entity-type":"item","numeric-id":5187815,"id":"Q5187815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187826$582CC7D1-62A7-4965-AE6C-1E265D8A2154","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10dcb20d02ba2b80ffd27851e30b5d754f8113d8","datavalue":{"value":{"time":"+2010-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5187826$456E684D-714C-4F95-85AC-D6EA00A9FE96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187826$6EF65B4E-FB86-4DD6-A98F-C61768B8D409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187826$C1590E8E-8C7A-4B5D-8CDB-0804045C7601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187826$B43B132D-55E3-4047-98FC-9318CDC8CEDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5246ab55ed6ddd971d5d685d02b5b1093ed57992","datavalue":{"value":"5679034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187826$7C50FB38-4B0B-4ACD-BA35-D6739E07EFF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"109f941d813b7e5b1bae81cbc8d10fe2c508a5fe","datavalue":{"value":"embedded systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187826$0CBBF10A-42EE-41A5-B20B-AA049A4B82C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d2ba1f3a9d37aa907198949c7415e4bc2ead980","datavalue":{"value":"modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187826$F87D11AF-9C24-4CE9-A027-FBC99671569A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b211b4dd569b746945e55556358ad5d7610f9a","datavalue":{"value":"specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187826$328B997C-BE0A-46DE-939C-C2EFB318FF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187826$3F3E5793-B25F-4B77-A498-F19DCA41AD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4facdd9a9512b1ab8936c94ec5d7bf1ae6b82eff","datavalue":{"value":"co-simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187826$6D63AAB4-C1CD-4E4E-B6A4-7DFCA4E57843","rank":"normal"}],"P1463":[{"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":"Q5187826$F2008B12-977B-4E54-BA9F-2728DF353A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7117e4bb781f5176c4c34d2414bee98f3c366a0d","datavalue":{"value":{"entity-type":"item","numeric-id":30091,"id":"Q30091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187826$2CD5C1AF-32F3-4048-98FD-691F6EB32D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6206df46e08d117e886e520f961b35aa942d81c9","datavalue":{"value":{"entity-type":"item","numeric-id":53749,"id":"Q53749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187826$8923FC80-14DC-4C7E-8059-B3D1788FAE7B","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":"Q5187826$6D0BDFA3-5D21-4B53-BF76-BEFB913CCD9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"541933844b353654abbfdc04347c6ec1313659eb","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11512-7_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5187826$FD8452B2-EC38-4F65-ACB3-C22ED3949A25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5756bd8fc06cb6a06a5a1aec13161501b1aa403c","datavalue":{"value":"W1491350228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187826$86094197-7DAA-4854-80DF-6132841F9631","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d4073123d5af54a438ac065059d109a4c6208f","datavalue":{"value":{"entity-type":"item","numeric-id":3157876,"id":"Q3157876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187826$32CDE904-9518-44CF-B269-F860EBCC6F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39a77778d3909b9c8e3a83bdaabc2c26061e54c3","datavalue":{"value":{"entity-type":"item","numeric-id":5187829,"id":"Q5187829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187826$F0D48B61-D5F9-457A-B907-5FC87A8F14AF","rank":"normal"}],"P1643":[{"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":"d650f06cacd259cb916bbab8fb9b05dbb1b6a838","datavalue":{"value":{"amount":"+0.7279399633407593","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":"Q5187826$7BD87F8A-E61B-4B5E-BACF-155AD2ED759A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75543296bfed10b506b714684966d76d490aa835","datavalue":{"value":{"entity-type":"item","numeric-id":4373486,"id":"Q4373486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ea08d0693c6abb5a362deb735183dc9dce9e0a9","datavalue":{"value":{"amount":"+0.724797785282135","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":"Q5187826$E5AB08BC-C49C-4164-8FD6-EAC9A3827CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea846f2306c8e8a22076be3dbcd4f3c1a3bddded","datavalue":{"value":{"entity-type":"item","numeric-id":2637308,"id":"Q2637308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e8c4f6ab837fa9e1c01bec42156b9db7e359527","datavalue":{"value":{"amount":"+0.718066930770874","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":"Q5187826$387D42C6-3984-47DC-AE3A-6C5A333DA997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b63fa91f4ddd30cdb9d23bc36023ab3a43a4921","datavalue":{"value":{"entity-type":"item","numeric-id":4499485,"id":"Q4499485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b6725c4a9b1d9b138b29f1bd0eaddc5aa5e39a8","datavalue":{"value":{"amount":"+0.7154280543327332","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":"Q5187826$6D9EC6DF-B9AB-4337-9507-045E1627CFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c53790d50bc3bc4d12227ed816dbff596485304c","datavalue":{"value":{"entity-type":"item","numeric-id":2743713,"id":"Q2743713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b6725c4a9b1d9b138b29f1bd0eaddc5aa5e39a8","datavalue":{"value":{"amount":"+0.7154280543327332","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":"Q5187826$71FA06A1-AD67-4B32-84D2-1B011A31A67D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5187826","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5187826"}}}}}