{"entities":{"Q3526937":{"pageid":5556841,"ns":120,"title":"Item:Q3526937","lastrevid":50463272,"modified":"2026-01-14T03:00:13Z","type":"item","id":"Q3526937","labels":{"en":{"language":"en","value":"A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5347197"}},"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":"Q3526937$7DD256DA-8110-4329-B85E-E19E2C94BBD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1bc2ef4677eba5aed98ef6baab8deccd03176c37","datavalue":{"value":{"text":"A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3526937$AC8303FA-FF91-4574-88C6-E610BD1290BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a2f2d3be91d099ed4a96233a6de07d5a3f39102","datavalue":{"value":"1151.68481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526937$90138039-8865-4D33-9F9D-7BEE8C043CB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65e8fbdcc13f3f7d14695af4f66b2d6e3dd6d8ad","datavalue":{"value":"10.1007/978-3-540-75221-9_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526937$50D30B56-8250-4887-8768-34E6FADE87C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff72d2830868bf9e7ed58c85e71f5c25c51d4b9e","datavalue":{"value":{"entity-type":"item","numeric-id":520245,"id":"Q520245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526937$E092A681-9394-4EF7-ADC7-BCBF2C7BA7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"275b282993626dfc3244a57858b27ad0b295bda3","datavalue":{"value":{"entity-type":"item","numeric-id":1391096,"id":"Q1391096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526937$A86227BD-3325-47A0-B04D-8C99602547E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a5acd49d140727f43492171bd0684564e4b880","datavalue":{"value":{"entity-type":"item","numeric-id":3526922,"id":"Q3526922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526937$09813B15-90BD-4DC9-AD13-F942F9340840","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad7db4275b7ee1b7635bea2be947374a54e8d8","datavalue":{"value":{"time":"+2008-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3526937$BE2890E4-8BA2-4F0C-83A8-8954626B01D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526937$E42D9E30-9C79-4D38-8B73-DA7F2348BAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c819bcbc5228a4c15a0698bc48e27bac5cf3646","datavalue":{"value":"90B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526937$FB7DAFF6-222F-4BB4-9BAB-D24437921028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526937$05D68519-3E48-4ECF-80B7-0640D9B47220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526937$4B1ED0E8-D9F4-460B-B5E8-2D58449C1220","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c71379e7ab33a08fb421fa2175c7d913278ce699","datavalue":{"value":"5347197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526937$307456CB-4602-4EFB-A155-377AC1AB90BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09401f9857e95be05c196234cfe337dbfe485728","datavalue":{"value":"domain engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526937$2FDB222C-E056-4C23-9F4D-50D2EEFA2455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea481ac2a707a0dc73d563ecec76d3e7a185fb49","datavalue":{"value":"domain-specific languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526937$FC8066F8-784C-4500-AF6C-AFF65536C89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6bc6768f771e8ae47ba1683cf1d33a808061abb","datavalue":{"value":"code generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526937$C62FED1A-5A60-47F4-B3DD-3A7AC1F59EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526937$604359F3-1D65-450E-9EE0-60CBDD12DB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526937$4916F8C3-1B1B-4E10-95EF-4E33CB3A7068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57e9bb4f855df446b01c0a8348c220ead9bd81c1","datavalue":{"value":"railway control systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526937$71F5B880-283D-4C14-90BF-024AE268077C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6120f2b75e3b962f422b7f4da948411de439246a","datavalue":{"value":{"entity-type":"item","numeric-id":19824,"id":"Q19824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526937$5C385518-79AC-44C3-A39A-8C4DF7E293FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d24ec78a261f49887cfb0ce166351e47e3f1e89","datavalue":{"value":{"entity-type":"item","numeric-id":21931,"id":"Q21931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526937$E8B2F761-7B64-49BE-ACCD-C06DAF32D48D","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":"Q3526937$F06E763D-941C-483B-AD74-96D1B1D5DB36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57c943a08b70ea2157271d481e02f4c80c2e2da1","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75221-9_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3526937$610AEDBA-E688-408D-AD8A-98AE11340D4D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e61b577b767db8aa5aab852dda3fc10c8b9b2b7c","datavalue":{"value":"W1562227886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526937$8CEBD205-ED19-4B8C-9844-43836720E799","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d88f8aa60c0afa864cdfb453827388efb2f16ef","datavalue":{"value":{"entity-type":"item","numeric-id":539161,"id":"Q539161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28df0c93aa3f1c052b3192137e540cba50c06b8d","datavalue":{"value":{"amount":"+0.9653655886650084","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":"Q3526937$51CF43BE-F18C-4FA6-B3ED-D3B3F6BF9DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be2de52a8e24b00e3ce3c34449f713ca7b0457f5","datavalue":{"value":{"entity-type":"item","numeric-id":1859163,"id":"Q1859163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edf4c0a113dc2aa49503894920b0e79b8d34bbe5","datavalue":{"value":{"amount":"+0.7856464385986328","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":"Q3526937$2EF89BD4-0078-4867-9969-65BD134D9787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39464ac185958a2e3987dfc7f77bd82cac535281","datavalue":{"value":{"entity-type":"item","numeric-id":3521179,"id":"Q3521179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"829fd2d8d2197fbf0f701be321d4c289213d87fe","datavalue":{"value":{"amount":"+0.7649043202400208","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":"Q3526937$A1F4E993-89CA-4465-B9E4-7D080E719F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c907073492626260f6dd43db5e70fe74d001db80","datavalue":{"value":{"entity-type":"item","numeric-id":2024351,"id":"Q2024351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb90d94f7f5921c1ef751d6a2dcdb08074541594","datavalue":{"value":{"amount":"+0.7558149099349976","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":"Q3526937$ECDD0150-25E8-4F95-8AB1-A0C543EF6824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a8ba3ac3023a9437b612d0760e9856245d379d0","datavalue":{"value":{"entity-type":"item","numeric-id":1996429,"id":"Q1996429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e29aad371f4e2c6befc0d5bdb6a2ca8ee07cd94","datavalue":{"value":{"amount":"+0.7465277910232544","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":"Q3526937$87106AD2-0A82-4010-BF7F-23057B33F934","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3526937","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3526937"}}}}}