{"entities":{"Q488231":{"pageid":489998,"ns":120,"title":"Item:Q488231","lastrevid":62216817,"modified":"2026-04-11T04:33:59Z","type":"item","id":"Q488231","labels":{"en":{"language":"en","value":"Parameter synthesis for hierarchical concurrent real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6390325"}},"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":"Q488231$61256954-51F1-4A1C-BBE5-BD8C4371473C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c687b371cdd31b94a8042f84a63740c69f10c6ba","datavalue":{"value":{"text":"Parameter synthesis for hierarchical concurrent real-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q488231$573942A1-CF50-469E-AEF7-3912DF93B309","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3225b25825bc6e5dc19126e495e97ac38085f3e2","datavalue":{"value":"1314.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q488231$E989E5A7-CF5A-47B1-A145-0090934CD0B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5474941530a831b2b2da197492290557d39bddf","datavalue":{"value":{"entity-type":"item","numeric-id":315304,"id":"Q315304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$AE4826B6-E141-4C80-A036-9ACEED3EA5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3208ee20c85d475090d794dc3c7087da944dc6f","datavalue":{"value":{"entity-type":"item","numeric-id":488228,"id":"Q488228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$0AE9582C-7736-4ECE-99B0-CE2A667CD483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a29a8668613ef6f9130a40b44c1110c148f42ec0","datavalue":{"value":{"entity-type":"item","numeric-id":488229,"id":"Q488229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$24EF3836-B75D-4194-9A90-9032EDF9640D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c058afea036303a407f9ed86b611b84df43ce2d6","datavalue":{"value":{"entity-type":"item","numeric-id":488230,"id":"Q488230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$AD0DB761-3FBF-4FD3-AF68-F6E2E2E51CB8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6e6e67b92e7162a49988bf7bebe8dbba55d093b6","datavalue":{"value":{"entity-type":"item","numeric-id":202506,"id":"Q202506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$B1FBE71F-3908-42F1-8D6C-414403FC77C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"519fe64785e203f4d11f5ae60d7f728bcb27c415","datavalue":{"value":{"time":"+2015-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q488231$EE6F6C62-1A20-438D-9930-EE099CF263CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2d2c3ff8d41687cdfcc04898462acb33f15a0a4","datavalue":{"value":"http://hdl.handle.net/10072/172887","type":"string"},"datatype":"url"},"type":"statement","id":"Q488231$49DC5E40-DF5D-453C-82E5-A82D1C9D0984","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q488231$578CB1CA-A488-480D-99B6-E28DB88DE0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q488231$2002BD19-5C11-4FF8-937B-A86E4C506396","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4351e3f241b8d612fa409d99d52da19094191e23","datavalue":{"value":"6390325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q488231$F639E406-C295-4263-A271-A8314DAF4DF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6a3b6bfc7486e2fe0ae57e99760c63f46b358af","datavalue":{"value":"real-time specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q488231$48B04AE1-ED5B-4FB3-AEA1-D0F442F180DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0d29424fd41920a9b639c9bd38ba7a81a4523f3","datavalue":{"value":"parametric timed verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q488231$B9038785-30BE-4BEE-8B75-20C5F9ED4C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q488231$BB489B91-0041-43F4-B281-BCEF176EDCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762bc1a389b4540cd169b666dbaf1a8451c7cb2","datavalue":{"value":"robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q488231$712DF643-BA14-4618-96DC-7A75C6613D22","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7a688e68ad9837af6ba5052320c75a18e89949be","datavalue":{"value":{"entity-type":"item","numeric-id":14122,"id":"Q14122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$7BAF8852-DAD9-4EB8-A919-5DFF1D9009E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd8007490a248a080808f77e0123c492d98333d","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$1543EF5B-19A3-42C8-9D83-779C5D9ACF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"57b5cd5d4c684812e3cc62aecbd47a87db871c5d","datavalue":{"value":{"entity-type":"item","numeric-id":13197,"id":"Q13197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$10859406-FCEF-44B4-BAC5-A9A3D4953557","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":"Q488231$56B5E69D-FE3A-4FBE-BD25-3DB03646D59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cbc7f6b47982c361f72c4e06ec6121b4ba829658","datavalue":{"value":{"entity-type":"item","numeric-id":23826,"id":"Q23826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$ED6F946C-62C1-45B5-9723-E6D2332619C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb600505726038dde1f7205c06067efdfd1bd64e","datavalue":{"value":{"entity-type":"item","numeric-id":14127,"id":"Q14127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$F809D96C-8D45-40C0-9384-449066326EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$E497E468-4452-4158-A543-61043F481110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bde88779cb6e7d8c59bbc11141f6f12a921e132b","datavalue":{"value":{"entity-type":"item","numeric-id":25173,"id":"Q25173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$B5C86188-CABA-4B86-A370-8D0DE8F7891A","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":"Q488231$1FAA9843-C647-42E0-936A-B19F583E92FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f38a9554cf012565581f51bd2d0cf4ac171913e5","datavalue":{"value":"W2068710718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q488231$05EA087E-3C8F-45F1-BC08-1760D4BE648E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"796fee6517807b3ea1ff0b6e047794616ccd462f","datavalue":{"value":{"entity-type":"item","numeric-id":4472231,"id":"Q4472231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$D563D0A8-C315-4F52-84F0-23F935FC6AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"767748581495151d2f33bff227c72e47614d02e1","datavalue":{"value":{"entity-type":"item","numeric-id":2368955,"id":"Q2368955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$7D294056-22C9-4B32-9A86-1EB6B72A6F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d96e25abbc56fd8d1d4e4f540bd672ff8d3585","datavalue":{"value":{"entity-type":"item","numeric-id":4899146,"id":"Q4899146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$7E8DE0F8-8961-47D9-92D7-2A4BD861C3D9","rank":"normal"},{"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":"Q488231$17E74CC8-29F2-4A8E-9251-B94163723C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc3f2dcd7c92c408561e9891adfbd1a30938a8f","datavalue":{"value":{"entity-type":"item","numeric-id":5494303,"id":"Q5494303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$EFBD5FE6-30EC-48DF-A622-1CC03498F0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d139b83b95572def71b75a1df76dc5855dcccdc","datavalue":{"value":{"entity-type":"item","numeric-id":5248530,"id":"Q5248530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$FEE81F0D-8DCD-490A-9378-AA47B9DB952F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2eca8222b6ee4cf2f834e22b9f57835fb1bb56","datavalue":{"value":{"entity-type":"item","numeric-id":4929342,"id":"Q4929342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$A2555C39-A074-48B1-853F-6D32BEA72AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb4dee46e0b969a233da17f13d596a697e076e5","datavalue":{"value":{"entity-type":"item","numeric-id":3646167,"id":"Q3646167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$EE46CA90-3D74-4C7D-8592-E38D978CA5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29d05f20a63588f003fd4b0ef100302836a6a1df","datavalue":{"value":{"entity-type":"item","numeric-id":3584962,"id":"Q3584962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$93990D82-F674-436E-84D0-1BF448C1535B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0e3912a75fe3a37785e554d6288693c6806ac62","datavalue":{"value":{"entity-type":"item","numeric-id":5166701,"id":"Q5166701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$7A1ECE93-33FF-484B-8608-7CB092D52224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171b2d97d3d6c3368d1a38dad0aada3d2e5f9103","datavalue":{"value":{"entity-type":"item","numeric-id":2842655,"id":"Q2842655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$52F53384-8AB1-42C7-85AB-FBE02A825946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95df9aedbd7e5e563158d002f148b701b2fd0480","datavalue":{"value":{"entity-type":"item","numeric-id":4551165,"id":"Q4551165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$D48DF744-93F2-4E4A-99A8-995C98946869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf8d5093ff3193c51df2ae941855feb62d3e7ed","datavalue":{"value":{"entity-type":"item","numeric-id":4251920,"id":"Q4251920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$86CA8A31-16C9-4D68-BCD8-F78B1665AB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$1710E2B6-B214-4ADC-B0B5-C60442679D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b83ef6ef48951a2ffd166c2f336e62f16a62b9c","datavalue":{"value":{"entity-type":"item","numeric-id":5897955,"id":"Q5897955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$0132C6AD-B5E5-4E6A-A5C1-319868BF8DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c815cb968c16107cefb000f62a5dae27bc671faf","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$7F3F3C30-4FD2-4FA6-9ADF-737AF05785E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd210815ea7a48bc3048076843f39533a73a4f99","datavalue":{"value":{"entity-type":"item","numeric-id":4593936,"id":"Q4593936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$49783D44-21F9-4566-B213-61AB3F9E84CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea9e58a06cfc6902bf762f38cdcb0128e95ac39","datavalue":{"value":{"entity-type":"item","numeric-id":4264103,"id":"Q4264103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$E927FDB6-E0DA-431D-B269-8E6508233953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fada83b44fd43f133266b4aaeedb2250886c215","datavalue":{"value":{"entity-type":"item","numeric-id":3090823,"id":"Q3090823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$CEB12CA9-FEB5-4013-9949-3832D46F4D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f073a102f73a768ec97f96a5b036fb05adda19","datavalue":{"value":{"entity-type":"item","numeric-id":3167005,"id":"Q3167005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$28EC555A-4E4E-466A-BCD8-ECBD3CB961E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c11dc3a37af742fbb3df95927426a62e888900db","datavalue":{"value":{"entity-type":"item","numeric-id":5168510,"id":"Q5168510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$8238AC26-B534-4D38-A5A9-E3D486C07274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b76cd63c5178ec2dcd1f08b328bd5ef3f072c74b","datavalue":{"value":{"entity-type":"item","numeric-id":1041291,"id":"Q1041291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$F923CFA9-79CC-42A4-86F2-C6E1E0FA603F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c143f034c0a7d849f348722742ed4728088212d1","datavalue":{"value":{"entity-type":"item","numeric-id":5901610,"id":"Q5901610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$EC67104E-D8DA-452B-A7CA-64E42DCDC94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38d814eb51c145cd1775fd8beceba2511519ed4","datavalue":{"value":{"entity-type":"item","numeric-id":1028737,"id":"Q1028737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$298902A8-3056-493B-8FD9-CC5776C15BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"973233cbf5471499bbc4e7563bb47bc64878219b","datavalue":{"value":{"entity-type":"item","numeric-id":859963,"id":"Q859963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$9CB9DAEE-9553-4211-A79B-2A36CFA31E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$0BC05243-7E0A-40C2-A43D-88EA22ADDA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19dbefc607e7f8b74597b63c6cdee5537d9bdc81","datavalue":{"value":{"entity-type":"item","numeric-id":4282003,"id":"Q4282003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$CBC80A35-286D-417F-8383-83656016551D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8801050af48ee9f0e8292460c18e077cb8d12a","datavalue":{"value":{"entity-type":"item","numeric-id":2870195,"id":"Q2870195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$617BA1FB-B566-4791-A3B0-C0389358B712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$D807A402-74B6-4B8C-9ED3-2BD7A2726820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a388ffd503a2561c64bae2f63ad0b8c1881469e","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$484BAB52-9C17-43AB-AE73-62216B5E1D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$D8F0D0D5-4E51-435B-884A-AD1470ED9411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd60b67d1b81ae7fb45af3db99299f12a4bea68e","datavalue":{"value":{"entity-type":"item","numeric-id":4737563,"id":"Q4737563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$89F94A3E-D3C8-4251-A641-75FAE019FD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abfc3b21c0f14353187ab5de281a6e5d1ac24c8","datavalue":{"value":{"entity-type":"item","numeric-id":1858447,"id":"Q1858447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$27F18036-C420-426B-BF07-097039C32947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efd78c17326908589f35b65c457ba3061182dad3","datavalue":{"value":{"entity-type":"item","numeric-id":3000612,"id":"Q3000612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$A0D59736-4572-4DD8-AACA-0A8818CE7976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d6e6339c8f8a3272b7cfb2e5fb19de523862545","datavalue":{"value":{"entity-type":"item","numeric-id":5326340,"id":"Q5326340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$2569DB9B-76A6-4B9B-9442-FC471E2E4026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c7d2abc7d9879aec79601bcad6101068b3b5d4","datavalue":{"value":{"entity-type":"item","numeric-id":2889614,"id":"Q2889614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$9AF53D6A-7AEF-4EBA-A1A7-CB428F099F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$03D96C0F-F29D-476A-A970-16BDF9761BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64302532326a0ede2bc719a3ea049e9615434e2b","datavalue":{"value":{"entity-type":"item","numeric-id":4494239,"id":"Q4494239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$ACF022DF-6EC7-4A7F-B532-543B2B3192CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$75D16BF3-2984-4BB1-8B79-1D68A0978731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5a7ca91a23a18e146ed9a3e8facc0282fbd469","datavalue":{"value":{"entity-type":"item","numeric-id":4457839,"id":"Q4457839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$04BDEA21-F20E-4AF1-97BE-E7536855E517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$13D111AB-E6BB-483D-846C-536405063390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7e5a4bd93b99039523138fcc1e62a5028dca9b7","datavalue":{"value":{"entity-type":"item","numeric-id":4804897,"id":"Q4804897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488231$D57632F6-DDEE-4536-9550-808080DB6F7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76f23615c21a14e30db30527af0a22218eef5d6f","datavalue":{"value":"10.1007/S11241-014-9208-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q488231$9B0790D6-F941-49E4-946D-6271D75D3FAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1870cbd709b027ebcc12a44563b943a1a2e59ab7","datavalue":{"value":{"entity-type":"item","numeric-id":675050,"id":"Q675050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"056de9df4733f48dfe9f509b40dcd9d2fdc34324","datavalue":{"value":{"amount":"+0.8847022","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q488231$8C9930DD-2A20-4515-BCAB-104E1C4208A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e1b6406202cfa375f7113ab954bb996be6d981","datavalue":{"value":{"entity-type":"item","numeric-id":386617,"id":"Q386617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4b0f8ec6e2f206bb366a6a7870d3506504b8621","datavalue":{"value":{"amount":"+0.87776995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q488231$2272ADA3-F926-4773-97FF-F72C2AD662F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8a9385a2e4f1abbf9961861213eef7b0ab69a3a","datavalue":{"value":{"entity-type":"item","numeric-id":3334969,"id":"Q3334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"058d76d3a398b2c2e1ad197ca2382f57f9355485","datavalue":{"value":{"amount":"+0.8756565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q488231$5101A826-739C-43FB-B397-30D18FB99217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a75859794f2339fd09c174419c6ea05142a8109","datavalue":{"value":{"entity-type":"item","numeric-id":4994965,"id":"Q4994965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ae731a568a12c54faead6147aa965c605ba9a36","datavalue":{"value":{"amount":"+0.8725463","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q488231$F289E801-DC70-473E-80FF-DF2B4C4B4752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbb635c8d1e2050fedfd8284170821b5381d128d","datavalue":{"value":{"entity-type":"item","numeric-id":2263425,"id":"Q2263425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2cdde8cdea01758af8c4688eb10ab3ee9227401","datavalue":{"value":{"amount":"+0.8673653","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q488231$9A0BAEE0-89E4-436B-8BE7-71E1E72EE389","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameter synthesis for hierarchical concurrent real-time systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parameter_synthesis_for_hierarchical_concurrent_real-time_systems"}}}}}