{"entities":{"Q2948229":{"pageid":2958949,"ns":120,"title":"Item:Q2948229","lastrevid":79924250,"modified":"2026-05-06T15:01:39Z","type":"item","id":"Q2948229","labels":{"en":{"language":"en","value":"Model-based verification, optimization, synthesis and performance evaluation of real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6487420"}},"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":"Q2948229$E632E7BB-61B3-41D3-AC79-7A0D503BF52A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"757b72ff50dbc19d3e723aec1a79dd99d41a515e","datavalue":{"value":{"text":"Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2948229$C7C2244A-EA51-444D-8D90-DE6377C47C7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2eaa1c298e36549be3d33ce3069391a46fdf5029","datavalue":{"value":"1445.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948229$04A27113-C101-45EF-BCE3-CA1A7C4EC1C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3d75b92145bd59dd68b0b43d1c34420aaf0a190","datavalue":{"value":"10.1007/978-3-642-39721-9_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948229$D28FA259-BFB8-4BDA-8113-2AF99B2DDB03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ca6bd4506420f7e61de7563d49eec5ed23aeb","datavalue":{"value":{"entity-type":"item","numeric-id":265803,"id":"Q265803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$988D90B5-AB0C-4E72-8A01-34E2C2FAC521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$B7F6149F-FCB9-479E-ACBE-2AE305D12612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$B84C5C26-4B88-4FBD-83E8-31F40DF3B6BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$104D8EC3-00BE-4636-9276-5558913FF473","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a02eff2a6739f20c5ba25ea9c06d2f02c0f4ac2a","datavalue":{"value":{"time":"+2015-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2948229$E53FBB91-C1BE-48AC-96A8-C1D45C140957","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20dc168919069678d217f598ffc11d9e5e68c94a","datavalue":{"value":"https://hal.inria.fr/hal-01087921/file/markto.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2948229$133B00C4-C20E-498B-84D7-AE563DC42C37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948229$3A8DFF10-1422-4EC5-A333-CA9B91759062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948229$6B497AD4-94CE-4EC4-93AE-2897C14B7A2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8964c2a687d076f2b57eb242947da15a13740e74","datavalue":{"value":"6487420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948229$A368A802-98EA-4CF5-AB91-71D364BD99AA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$C1E16E81-F6CA-429F-90C1-F6DB8A7C683C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c78c15211c2ed190a323edf74a43a39941ce473","datavalue":{"value":{"entity-type":"item","numeric-id":24836,"id":"Q24836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$922AF3C3-C89E-42A0-89C7-5B607AA592AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$7318F6CA-9238-4200-B995-8262603F74C9","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":"Q2948229$ED709C68-56BD-418D-8286-C640A5901CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d67076431f6626cc69244c244d9e5de69ba8d2f1","datavalue":{"value":{"entity-type":"item","numeric-id":22098,"id":"Q22098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$99F15167-3143-4BD0-A208-6D8FE65AD3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cf3b53fddd0939c65f47cd2c3ecdd8d7e23ce456","datavalue":{"value":{"entity-type":"item","numeric-id":23425,"id":"Q23425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$EDB33EB2-7DBF-4305-BE13-9ADE2731F36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"948bffdf09bb87223be7b943c58162673c13816b","datavalue":{"value":{"entity-type":"item","numeric-id":16335,"id":"Q16335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$250A43F3-AB32-41D4-85AE-3E6591D0ADF4","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":"Q2948229$48D888AC-3978-4FF4-B988-422CC6A7B648","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"624f1a8879b36a4c7f17d75f17fecc65f10459d4","datavalue":{"value":"W1740082429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948229$8AB999D0-C135-4DFA-9EE1-231E315DA1A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f19151d005fd311e34f00ed4e8e1c914d916818","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$909A2645-F70E-49CD-A071-F1F5CB9571C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab228c7e62b1bcdad8c7ad948c685ebbb01d43c","datavalue":{"value":{"entity-type":"item","numeric-id":3522071,"id":"Q3522071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$865BDD0F-8344-4467-B859-50CCBEA93B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$308C8F9C-507B-4525-8E78-C3D85131A79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0677d986de7ae767d3696ee3197efa0dd10513","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$FC6A161A-7D23-417F-AB80-3F7B0A7B0A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac5352eafda026df0ca8bde0e787c3dea427f206","datavalue":{"value":{"entity-type":"item","numeric-id":5466455,"id":"Q5466455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$CFA9824D-01B4-4ED1-A067-3696AE3696E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3394b77eec107b905563ae3b7de38349fb3b8401","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$3964D34B-D2B7-4DF9-AF75-D7E548675F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$0DCC738D-8B5A-44A5-A053-5E226E580391","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":"Q2948229$10BCDC45-9E68-4C8C-BF0C-DE139FC7CA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44dd6b3604cfcbcc0c67787f1982f818ecf2cd8","datavalue":{"value":{"entity-type":"item","numeric-id":4552456,"id":"Q4552456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$FA166B25-6647-4973-80A5-F1271C253A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d270039c25734bb5e63b269353caeaa3594399","datavalue":{"value":{"entity-type":"item","numeric-id":5458833,"id":"Q5458833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$C57811B0-AB20-4D43-952D-C12C49B29032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e74fc4804afe39b5e6db51f2480d74ffd206e18","datavalue":{"value":{"entity-type":"item","numeric-id":3000642,"id":"Q3000642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$77E11C05-0CE6-41E9-BA5A-0DD676E9D06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a459d2db3f32657a2d6999b1e05297d4d9fbbded","datavalue":{"value":{"entity-type":"item","numeric-id":5308415,"id":"Q5308415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$6D0B56EE-C775-4AB3-A0D0-B4BAC2652DFB","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":"Q2948229$72CCCE1A-FDF8-4701-9974-FF986099D2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae2976fe8586980be2180eb4b5b53d09c84d57b","datavalue":{"value":{"entity-type":"item","numeric-id":4552463,"id":"Q4552463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$832FC1B3-F227-45CB-96DD-027412E62B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d207321f5a8923ffcf4638f1bd25d4d55b8df7c","datavalue":{"value":{"entity-type":"item","numeric-id":2754085,"id":"Q2754085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$F750AFC5-328B-4076-B924-72DA0537F3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9773c6b9fbc8bea11d27f620d5c9b7c0cc1d78b8","datavalue":{"value":{"entity-type":"item","numeric-id":4818802,"id":"Q4818802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$7E9E1A46-197A-424F-BAF3-73471E1D1E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78472b1a4fc91e7a5efce44a75f4d805cbf80df","datavalue":{"value":{"entity-type":"item","numeric-id":5900704,"id":"Q5900704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$C8553515-0E87-4146-8453-14CA485A8EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"048f68cf64c420b65793f180e204dba1f39b9b4a","datavalue":{"value":{"entity-type":"item","numeric-id":1608368,"id":"Q1608368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$4D37E1C5-61AD-4F97-BDDA-63E6026BC167","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":"Q2948229$B1951730-1859-4A7A-9979-942988DA7364","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":"Q2948229$1EF20C83-66A7-4148-AD52-3C906BA26706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b510edf59a7fcfd0982ca5637cd8b0703312929","datavalue":{"value":{"entity-type":"item","numeric-id":844195,"id":"Q844195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$AA2134DC-A574-4CEF-A78E-0F86C30DEAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b73ddd2a7f1a4b8dd60883e3c4e6296b066c67a","datavalue":{"value":{"entity-type":"item","numeric-id":5307469,"id":"Q5307469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$BFCCDFE9-0247-413B-8AF9-4D99F295366C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391c43f46aca23c169f26439c4a79ec43333e81d","datavalue":{"value":{"entity-type":"item","numeric-id":5465848,"id":"Q5465848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$2135DAD8-8060-4DFB-992D-12C55FD358A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e19242c3ccecb1eda8b1222aff2cac5611ebdd7","datavalue":{"value":{"entity-type":"item","numeric-id":2985866,"id":"Q2985866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$1DD024EF-FAE5-401C-AB02-E12AB2D37435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d9066281e5b3618aeffcb97107bfc8ee2bc7c9d","datavalue":{"value":{"entity-type":"item","numeric-id":3543286,"id":"Q3543286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$F05CDC24-3205-4544-A8ED-ADD4BB892716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"660cfa50376c5b29e7f86011d33a5472568b8759","datavalue":{"value":{"entity-type":"item","numeric-id":5385998,"id":"Q5385998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$29E3103C-F5CD-41E0-A063-E8264ADAC015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb90bbfdc61aee8c84150d46056ce0f1a0e39f","datavalue":{"value":{"entity-type":"item","numeric-id":5897953,"id":"Q5897953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$73E3A751-13A7-4FA6-9B47-4C622A69ACFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7da0843996b375e8856accc8229ae3afbca909f3","datavalue":{"value":{"entity-type":"item","numeric-id":2891448,"id":"Q2891448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$CB133B5E-958A-4AEB-8767-AF1A3E1C1F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104c858b096e3970a05febe3d3b6e8ed49332047","datavalue":{"value":{"entity-type":"item","numeric-id":5897475,"id":"Q5897475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$CBDF8D8C-FAD7-4821-BDEA-EC3E36780EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc16300888c66141e74540812f1fdf703f0bec2","datavalue":{"value":{"entity-type":"item","numeric-id":3510796,"id":"Q3510796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$14884792-990C-48A0-AF3D-F31682C910F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704863479bad5c6291cd0cb94c7924bfb7a989f0","datavalue":{"value":{"entity-type":"item","numeric-id":3587471,"id":"Q3587471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$0D1A7A4F-2CDA-4D93-AC94-000A06B9EFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5052f8437f78c03e88e16df815042bb5cfcf9d7","datavalue":{"value":{"entity-type":"item","numeric-id":2908881,"id":"Q2908881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$01BE9F30-1910-4FFC-B740-10809ECC9EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c70c0dabdb0103585d533726a79f7830f625e5e","datavalue":{"value":{"entity-type":"item","numeric-id":685111,"id":"Q685111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$B0961FEE-EC28-4BCF-AF3A-129D0443A64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f32ba8fe5a09708557448064664d55d2e320618b","datavalue":{"value":{"entity-type":"item","numeric-id":3172845,"id":"Q3172845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$7D06280B-518C-4F29-BB5B-8779551B0390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86b55c0e30510e9bdc1da7808e0d093fa4727220","datavalue":{"value":{"entity-type":"item","numeric-id":3370733,"id":"Q3370733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$1F5E8E36-7CC5-4493-B872-A674F9DCA80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0c9f74eac30cb748406c937f32441c65a8b1e54","datavalue":{"value":{"entity-type":"item","numeric-id":3105747,"id":"Q3105747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$0501BEBF-93FB-4039-BD28-B677F3A2A7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f32a3b66803621888c49bd2df0c0bb64fc02c316","datavalue":{"value":{"entity-type":"item","numeric-id":5179061,"id":"Q5179061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$CE611C97-A8F0-4712-8BBE-D944778341E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ff57b9a040f3ffe64d4549bdb2293031812b8a2","datavalue":{"value":{"entity-type":"item","numeric-id":2948229,"id":"Q2948229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$7ACF4B42-CACC-4114-8AA4-C1B9BA6AFB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb9d25e90862779d1b16a7045413a0012ae81c0","datavalue":{"value":{"entity-type":"item","numeric-id":3400913,"id":"Q3400913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$73F4C110-071C-4814-963F-2BCE921E17EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311961fb375ee1801cd4de93376120eba165b36f","datavalue":{"value":{"entity-type":"item","numeric-id":3526936,"id":"Q3526936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$E9C8F0AC-528F-4434-AEF2-5F9BFCF5EA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08be8d30abc711ce68ec8460f53ced3b7fb82173","datavalue":{"value":{"entity-type":"item","numeric-id":5897957,"id":"Q5897957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$AD36CE95-7F5D-47FA-9A42-E020317C2B00","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":"Q2948229$E9E40DD8-F416-478C-9E2A-F7D7681857C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60dab088d995d3d939e403e3a0a80def6dff68a2","datavalue":{"value":{"entity-type":"item","numeric-id":5901904,"id":"Q5901904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$C2944C0D-0D36-49D6-8C84-44350674CB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4492d2d99d818756060ecb10d008a00a1e30e5c0","datavalue":{"value":{"entity-type":"item","numeric-id":2911614,"id":"Q2911614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$321BA851-6279-4A27-AFFF-17FC3580F327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9a4333f1661c8971f8afd5923da19f04a107f7f","datavalue":{"value":{"entity-type":"item","numeric-id":2743706,"id":"Q2743706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$CA68B7B6-34B7-4BFE-8127-0760977EFB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eb14414980526a206d14f7a49bc77fa2e2fc0fa","datavalue":{"value":{"entity-type":"item","numeric-id":2766627,"id":"Q2766627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$7084DDD9-403A-4E1E-B418-0FECDEC59C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5d16bb0a0e79f0558ff4a248c38b6a8cb68b467","datavalue":{"value":{"entity-type":"item","numeric-id":1881365,"id":"Q1881365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$778D2BA9-8E85-4773-A5ED-27203079EDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f970782cef7606d75b439e57c5964589154083b2","datavalue":{"value":{"entity-type":"item","numeric-id":1249587,"id":"Q1249587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$BEA92B07-EB1E-4CEF-8415-5476A5AF6604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cc23da1f5ae0defebb4f6201ea547b848f6d944","datavalue":{"value":{"entity-type":"item","numeric-id":5493225,"id":"Q5493225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$F2C7C8A2-7BC2-44C0-893A-4574A22D155F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4da92a75efcb85bf86c44f36118f31be9dabdb","datavalue":{"value":{"entity-type":"item","numeric-id":4551180,"id":"Q4551180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$C5DAD4D2-EDA5-4C02-8C48-1D2798F455C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6de659bfc3ba85985bb9a7f9946c4257ba504f","datavalue":{"value":{"entity-type":"item","numeric-id":4939617,"id":"Q4939617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$FC3A65F1-E424-4350-AF7D-D0E83FB5E5BF","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":"Q2948229$8F672727-D7C1-4FB7-812B-5E378784CAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6c71ce73b214624ee6fbfe1323f4eadc379e630","datavalue":{"value":{"entity-type":"item","numeric-id":5705878,"id":"Q5705878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$A5B726F2-768D-465B-B56A-760A61A01DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"964567a06f27f740678d5c53fe7dd01e662c7e35","datavalue":{"value":{"entity-type":"item","numeric-id":2474054,"id":"Q2474054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$880CE8EE-ADD4-443B-90AB-1C547CB081EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60252cabfde8e6408e8ce460012d0830ce7daca","datavalue":{"value":{"entity-type":"item","numeric-id":5953452,"id":"Q5953452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$3A2BADF9-0BBA-4890-8FFA-A8DA83E122B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"697216d772d39b30d87ed98daf38e8d8a9f55e5b","datavalue":{"value":{"entity-type":"item","numeric-id":444476,"id":"Q444476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$1DE01706-666C-462A-A52C-ED1856CADAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53675075288675fa7342cb7f3aca57c38db7e5cb","datavalue":{"value":{"entity-type":"item","numeric-id":4596624,"id":"Q4596624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$CD9EB306-F928-44E4-990E-239C6F6297E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d249c28d5a6184a84b66210fa68746adccb1c8ee","datavalue":{"value":{"entity-type":"item","numeric-id":4945220,"id":"Q4945220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$C3183955-61A6-4F42-AC63-734A2E41432B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9520458f67f4130a2c5c66a91fece0dc3b636b21","datavalue":{"value":{"entity-type":"item","numeric-id":4418006,"id":"Q4418006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$B129CC0C-2C6B-482E-B549-F04A1108FE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1f854c1fbbfc6cea70a4a8ac9dec0ba4f326fc","datavalue":{"value":{"entity-type":"item","numeric-id":3619416,"id":"Q3619416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$F7B052DC-375F-4D5A-915B-A6DEA72ECCC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e62b07f1c9c2abd6c1533c859a0189c9aff6c4","datavalue":{"value":{"entity-type":"item","numeric-id":2507999,"id":"Q2507999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$192A69BC-2CC9-48F5-B76A-1D8F7CFC1EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86b3bc2e28e42099411ead65a60b2cf0be3db3d2","datavalue":{"value":{"entity-type":"item","numeric-id":3004604,"id":"Q3004604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$2A8525EC-B7EE-4305-95DC-73210904E3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f2e9e00ed215b4c00ce416793c753a5efc25dfe","datavalue":{"value":{"entity-type":"item","numeric-id":5308409,"id":"Q5308409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$0C2EF60A-49A8-46C5-A871-FF742ACA4512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b64edaefc1341a6e2a6192158f59846c43ad037","datavalue":{"value":{"entity-type":"item","numeric-id":5312900,"id":"Q5312900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$4752AC9D-296A-4CD4-9719-968AD552EB7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09849c4eb11967a9e4442779b1517cff28a99686","datavalue":{"value":{"entity-type":"item","numeric-id":547916,"id":"Q547916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$BC2EC2F6-1C3A-4773-A5A6-0B397028CADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c642425eb847a12bebd44bf584cb492e171406a","datavalue":{"value":{"entity-type":"item","numeric-id":4493880,"id":"Q4493880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$B25B7B86-F2CC-4C39-9CEF-52E2CE85E081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"289cc17c9a4a33a410ab66c2b5a47c63fe5ff7e3","datavalue":{"value":{"entity-type":"item","numeric-id":5783814,"id":"Q5783814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948229$38145776-DAB0-4818-A19F-8FF03F939C7E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35d827d82ea15ecd9fe68a31e3576dee0375c87c","datavalue":{"value":{"entity-type":"item","numeric-id":3400913,"id":"Q3400913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83ad5b312728b3833f983d12080b81efffdc6828","datavalue":{"value":{"amount":"+0.9548291563987732","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":"Q2948229$1C7B0675-9D51-48A5-B9F5-C9D90061190E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"750d48171122a23e65b7addc8f5b54b6a828e2da","datavalue":{"value":{"amount":"+0.8365042209625244","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":"Q2948229$BE0A4BF4-C931-4941-92A5-99F1702B64BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0ff0d5fb88c0a5b937ace028dae2f8e6d05d22d","datavalue":{"value":{"amount":"+0.8363853693008423","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":"Q2948229$35A6005D-5797-45AE-AAC1-EB8FF9BA2218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cc682ff07520da7b67b68f77cdb981de922990e","datavalue":{"value":{"entity-type":"item","numeric-id":3176387,"id":"Q3176387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17850ec4abcdd54ab5ad7d12069629c703af3387","datavalue":{"value":{"amount":"+0.8319566249847412","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":"Q2948229$3B830D98-0006-4A83-87F2-9E5FE0D1B764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27041c5f3408b64c0da88aa484d86cb8d8c05358","datavalue":{"value":{"entity-type":"item","numeric-id":394966,"id":"Q394966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c94972dd33e0a8bf5ebff89ed34f5003a42657dd","datavalue":{"value":{"amount":"+0.8174988627433777","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":"Q2948229$9923784E-7D4D-41EE-A6F2-8F4EC1255268","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model-based verification, optimization, synthesis and performance evaluation of real-time systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model-based_verification,_optimization,_synthesis_and_performance_evaluation_of_real-time_systems"}}}}}