{"entities":{"Q493518":{"pageid":495285,"ns":120,"title":"Item:Q493518","lastrevid":62306436,"modified":"2026-04-11T05:11:52Z","type":"item","id":"Q493518","labels":{"en":{"language":"en","value":"Structural transformations for data-enriched real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6478321"}},"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":"Q493518$0EE3EBC7-62A9-4A86-8BA3-69C4DCDDE8F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2497fdaeba236e3650fc7f69428e668e487a3188","datavalue":{"value":{"text":"Structural transformations for data-enriched real-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q493518$68AB52ED-6099-41E9-97FD-9341795EEBE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1d46f49311af41aeedaf2138442446541366b2c","datavalue":{"value":"1319.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q493518$EA74302B-7755-409C-BF40-D4461A2E3C01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4045a98b91b7085f7da4576287b9465a507ac7","datavalue":{"value":{"entity-type":"item","numeric-id":493517,"id":"Q493517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493518$FA001448-A4BE-4781-9EA4-D7B8945B8038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"144020476487cf65953e80776af1d8c90afa5bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1838824,"id":"Q1838824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493518$848C33DC-F5AF-4CBA-AA66-E2EAED6011B8","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":"Q493518$05665EF9-1475-42AE-8001-6575E304D574","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa0fd3a1e10787fd7fed19a9229fc1e734a275a","datavalue":{"value":{"time":"+2015-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q493518$68C49A99-BCDE-4B1D-A720-1DC268EE6906","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q493518$D7842A5C-CE02-4D31-8F01-E4A7A9CB04F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q493518$7AF3278D-80DC-46A5-91D3-358771205EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q493518$6E8C585F-A58B-4353-A73D-B2ED906561F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af91e85df6bd1f18416dbd83d820bdeebf58477f","datavalue":{"value":"6478321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q493518$AA77A42C-EE82-48AE-B9E5-BA718AFBE804","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb164a7b0583857e12d33b33e21f864b66f10149","datavalue":{"value":"structural transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q493518$C12EC453-5DBB-4E77-8452-4CECEE23088E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"222d7a8d745452ce5fa92cd61cc3a3d02b000bb0","datavalue":{"value":"extended timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q493518$73AC30DA-28D9-494A-89C9-C940CD9B2ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54b491ce648756efba9448ea580ebfd0be4002dd","datavalue":{"value":"layered composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q493518$C6DBAB4F-F10B-4663-B59C-2977968AB722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"374f1323a13918ef1be69f303f90cef9b6b078c6","datavalue":{"value":"communication closedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q493518$3C0B3EC9-B69F-487A-A254-D5DE97B1640E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f69840f4469d9069822f795aabaeb9b8afb23b72","datavalue":{"value":"non-interference and precedence","type":"string"},"datatype":"string"},"type":"statement","id":"Q493518$4F8D169A-570C-479B-932C-CA275FBA42D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80c99afc4950f85b79a2fe3707eb2e870b9567f","datavalue":{"value":"separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q493518$A471AB50-EF1D-49CB-8F1E-3BED44C3DC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df65b51d33f5cfe57295030ea82dbf613a3d5165","datavalue":{"value":"flattening","type":"string"},"datatype":"string"},"type":"statement","id":"Q493518$2FCF9B15-59BC-469D-96E5-2394E042C13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"809a41c623cb2e9b7412201ae59e5ad18c1385b5","datavalue":{"value":"layered reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q493518$86110F47-B112-43C1-B75A-A5DDBDDF8FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"083afdc996a9de9afdbc20f79b2d2ff327245f86","datavalue":{"value":"real-time mutual exclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q493518$CBCA9A62-3FF9-4F5A-8468-2B7EE6853CAE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3ce1c275c9004c307036c19f5a4531407e8fea1c","datavalue":{"value":{"entity-type":"item","numeric-id":21854,"id":"Q21854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493518$403CF19A-BF20-4177-9D2E-D632F64931A2","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":"Q493518$5F85BC39-D551-422E-8437-5492724A581B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493518$EF873F41-DBCE-4FBC-98E8-9B5217F415B3","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":"Q493518$CEBF9C5C-BF4A-4260-B011-D85CB9872B76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"825cac58133df030f8e73b9297b43ef39ff2dd49","datavalue":{"value":"https://doi.org/10.1007/s00165-014-0306-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q493518$919C2D82-8BC8-4336-ABEB-C9F2AFB9FC8A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea04e7f80a6b8ecf0db9b1c653b6b4418a015a4a","datavalue":{"value":"W2060145396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q493518$E8A627C3-CA2C-4C4F-BBAE-9791490244A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493518$1D61F34F-1AFD-4377-A089-BD89345D3110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493518$15B795A9-F712-4142-BE42-ED28CF72BF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4bc727c27a14efcc86708d7d1fdacd68b85aab7","datavalue":{"value":{"entity-type":"item","numeric-id":4938626,"id":"Q4938626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493518$CAA0C9AA-665F-45F6-BAE2-3ED993A7866F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1045ee6abe9e19927576460a54b4e4545d9773d","datavalue":{"value":{"entity-type":"item","numeric-id":1854390,"id":"Q1854390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493518$1E70C715-9D5D-4723-94A8-6EFEA8AE1B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acbe5a701cddd7194eb28385f2a16723583b00bd","datavalue":{"value":{"entity-type":"item","numeric-id":4270062,"id":"Q4270062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493518$82AC68F9-1CF7-49AF-AC51-FD875F3F3A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493518$0B2508D8-5509-408A-928B-6DF757444C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e20f649ee163fc027b520d68f4bd0a0844cef5","datavalue":{"value":{"entity-type":"item","numeric-id":2721093,"id":"Q2721093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493518$96EE8107-26B0-47BE-8C29-6B37D61FB6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77b2ff660052bcc3951024ec2f1eee7fb3a43ecd","datavalue":{"value":{"entity-type":"item","numeric-id":3646255,"id":"Q3646255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493518$02DDC8DD-F932-4FC4-A5C9-9369161ADE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f7f230e0c6f84622662a17f7b7525f9c1408851","datavalue":{"value":{"entity-type":"item","numeric-id":1051420,"id":"Q1051420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493518$DE5089FF-10C7-4B89-82A1-CFB13576A8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"336612e93fca22f7ddb7bddd8339976345150469","datavalue":{"value":{"entity-type":"item","numeric-id":3510846,"id":"Q3510846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493518$7049A4E5-5D50-482A-BAAE-F64AF7853B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b36ff34ef17401742e17b8f3c3a452f11f0b4070","datavalue":{"value":{"entity-type":"item","numeric-id":5348858,"id":"Q5348858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493518$6E30E026-ABA4-47B3-8FD2-164E8C6371FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ddee778f5c2a434c651cc54036449dbe5a3a69","datavalue":{"value":{"entity-type":"item","numeric-id":2575733,"id":"Q2575733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493518$F9336443-E879-4829-A385-F0126B5BA8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493518$F039D5A9-7064-4C8D-8688-67B1E11BA5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8106f36a563a9b5130f50bbc27e481115556adc6","datavalue":{"value":{"entity-type":"item","numeric-id":4270073,"id":"Q4270073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493518$E942AA25-EC21-4621-AFF9-D4D03F704B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77cf57fd8978d20a28080d2943b7d6f650e5787a","datavalue":{"value":{"entity-type":"item","numeric-id":4649396,"id":"Q4649396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493518$9DD47B20-89B6-42DA-9080-EDACCFAABDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7d7069a41204580785b320d72b5cf0a8870075d","datavalue":{"value":{"entity-type":"item","numeric-id":5900383,"id":"Q5900383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493518$FCC253CB-1A00-498D-8E25-5465E6CEA0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad5113d00c187c9de467e64852094f429e6f1b8","datavalue":{"value":{"entity-type":"item","numeric-id":3588097,"id":"Q3588097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493518$93CBACD4-2CB7-4B2B-B8AD-E4979B2F4D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2ab51af902eba195d6ce02b867e70ba8a2a70a9","datavalue":{"value":{"entity-type":"item","numeric-id":1346611,"id":"Q1346611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493518$399FB67D-1F89-4FBD-ACCC-5D498BAFC1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d79832c93c3a3dc3c4d95a728ad059a6e4e2c30","datavalue":{"value":{"entity-type":"item","numeric-id":1941864,"id":"Q1941864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q493518$7BADAD37-F068-43B9-B92E-789AEB9AF2EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eab1876fbf64f3c2faccd255e9cefc654699ec74","datavalue":{"value":"10.1007/S00165-014-0306-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q493518$6CB31A2F-1EE8-4217-8D22-A306C352EB25","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f438897e59e8351a8f668008fdd3d27882e57e4","datavalue":{"value":{"entity-type":"item","numeric-id":3588097,"id":"Q3588097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57b9975c842f90fdf99a970a876319725bd968ac","datavalue":{"value":{"amount":"+0.7461616396903992","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":"Q493518$BDE92162-CB87-49C5-907D-9CE5790E6B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e385aba773f2f7960cb60ebb0f3f0ec5b0bb2957","datavalue":{"value":{"entity-type":"item","numeric-id":2847414,"id":"Q2847414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad5ddd2d5068a44d786f0c76b296b54a8f7a3fa6","datavalue":{"value":{"amount":"+0.7269569635391235","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":"Q493518$B30EF598-6783-4E06-ADAA-6F4A845A084F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48831bd923d2dcff4c0fe5aeee142db0aec24e97","datavalue":{"value":{"entity-type":"item","numeric-id":1019007,"id":"Q1019007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fc21a2ca57a6cadc244b303c294ac94235083e7","datavalue":{"value":{"amount":"+0.7264181971549988","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":"Q493518$47C39700-C502-484C-A367-734A4D79B488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b08bde013cf4a00f7bcdfc21c42c0c93358a1ae","datavalue":{"value":{"entity-type":"item","numeric-id":685095,"id":"Q685095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc0f8b7a5e45bd00ddaf58ae758a8e558639657b","datavalue":{"value":{"amount":"+0.7132493853569031","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":"Q493518$7B0E6766-992A-4131-89B1-1EF66BDE8D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1683e2d18d36ecf93f4588c1e5b6a135b47cdc0b","datavalue":{"value":{"entity-type":"item","numeric-id":5418249,"id":"Q5418249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9a931e999ec4800f672537cd9da712b4d1aeec9","datavalue":{"value":{"amount":"+0.7128857374191284","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":"Q493518$592B06A3-30D6-4DD3-B7FA-40EE8AFACE87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Structural transformations for data-enriched real-time systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Structural_transformations_for_data-enriched_real-time_systems"}}}}}