{"entities":{"Q539161":{"pageid":540928,"ns":120,"title":"Item:Q539161","lastrevid":62598684,"modified":"2026-04-11T07:11:09Z","type":"item","id":"Q539161","labels":{"en":{"language":"en","value":"A formal approach for the construction and verification of railway control systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900603"}},"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":"Q539161$725D2C80-6FBD-4CE1-B51F-A04B16273794","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f74b638262dd6e09f48e203ac98e97b587c312fa","datavalue":{"value":{"text":"A formal approach for the construction and verification of railway control systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q539161$846203C1-A6A2-4A8E-8AD0-4D8043D1886E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0e7ce79636c2444c1c3b22b22c07fcdb1b81f7d","datavalue":{"value":"1216.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539161$3AF9D70E-1440-4907-A9CE-07FBE4C05868","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":"Q539161$D3B367AB-89F8-47A8-93DA-FF1E096864E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d17912a1fe9e873a89f718e74821598c15d5d30","datavalue":{"value":{"entity-type":"item","numeric-id":539160,"id":"Q539160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539161$788AC0CF-B5C7-4658-858A-A5978E52BB49","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":"Q539161$6A3930A3-35C0-4530-9B39-640E002CA2DA","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":"Q539161$7B00498C-75F0-4DD9-8239-5CA4E7095BD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3175b0056ab29270a0640c1aae102bae06142a3a","datavalue":{"value":{"time":"+2011-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q539161$5B53433E-9DA3-4107-B7F5-E24C503ECE81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539161$4F301019-28D0-4A15-92FF-B14EC02A93DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9727d9ee90ef6c0f1bdf0ba5bb711e9a6b7cd05","datavalue":{"value":"93C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539161$B6548C12-FDA9-4F7D-959C-18F01BCFB38F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c487d2339206aa69ce9239dc1ca1e607ca98ad6b","datavalue":{"value":"5900603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539161$4AAB7637-5DD3-4742-9C8D-F2C6B0117AF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09401f9857e95be05c196234cfe337dbfe485728","datavalue":{"value":"domain engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q539161$4443497D-C19C-4903-9F58-DE3F06BDEF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea481ac2a707a0dc73d563ecec76d3e7a185fb49","datavalue":{"value":"domain-specific languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q539161$88598C63-FAC3-4A18-B222-7DACE1967404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6bc6768f771e8ae47ba1683cf1d33a808061abb","datavalue":{"value":"code generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q539161$16DDCA85-C21F-4758-9476-34C809516575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q539161$8BC5B105-E036-4A2C-9896-29E0168F7F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q539161$386838E4-859B-4674-87A2-FC3CF9403541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57e9bb4f855df446b01c0a8348c220ead9bd81c1","datavalue":{"value":"railway control systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q539161$79EAD01A-131F-4CDB-A30F-C2B9480CA6D6","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":"Q539161$7EFD691A-686D-4569-8E9F-3A569D44AFF6","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":"Q539161$744C41F4-0FC7-40A5-A686-7EC1E227F833","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":"Q539161$6B2F0B6A-F183-4CD3-9FAB-5D0D3DCAC880","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"441e01c9c4a1857910d632a67f2ac72ec40e839b","datavalue":{"value":"https://doi.org/10.1007/s00165-009-0143-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q539161$7338DA48-DD57-41B3-8CEB-C2A44C1B5CAB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f6c19d2c9ed0f940e6022da40e58c22ab9afb5f","datavalue":{"value":"W2038361485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539161$CA5324CF-DBE9-47A7-84BE-1BAF222DFF19","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"96509d1323480e0796d13c4c16d981f9598b2bdf","datavalue":{"value":{"entity-type":"item","numeric-id":3557667,"id":"Q3557667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539161$88379A17-C183-4FF8-8C73-CB0D30616BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539161$337A2667-AE71-463E-BCE0-61E298312D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35838c32d188bd66cc45703c606789db71b97ead","datavalue":{"value":{"entity-type":"item","numeric-id":1865858,"id":"Q1865858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539161$C512B0C3-99F1-49C4-B2DA-D09B55267804","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f443a1e5189973b5a64e6707e1d81d72a5fa629","datavalue":{"value":"10.1007/S00165-009-0143-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539161$DA89EF0B-47C1-4507-B1FC-873A96F2245F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aeaa0441c6baf5666d956ebc9e0d40be306e644","datavalue":{"value":{"entity-type":"item","numeric-id":3526937,"id":"Q3526937"},"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":"Q539161$C49FB164-1876-49B3-A57D-4219A7F1B784","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":"e1f47cb136a4060f93b327adabf444e452d5e5a2","datavalue":{"value":{"amount":"+0.8309911489486694","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":"Q539161$B6E79E8A-1440-4D8C-B5CC-7E830C4F48DA","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":"486216896193ebe4421413a3913a4d61b48b4b5d","datavalue":{"value":{"amount":"+0.7900015711784363","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":"Q539161$EB549E06-CD1D-4F7E-99A4-E93C6B65C596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f7f50be53f20c9052f63f0dcf8a21415908ba26","datavalue":{"value":{"entity-type":"item","numeric-id":1295868,"id":"Q1295868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aff40abefcab9ed8c9866f66e3276ff1c1b47d1","datavalue":{"value":{"amount":"+0.7778343558311462","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":"Q539161$7C077733-5A5F-4C62-AC05-33E289351EC0","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":"ae517c3a9c40d4b3a0e475cbc90e0862fb5dfce0","datavalue":{"value":{"amount":"+0.7699023485183716","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":"Q539161$3FD294C2-93BD-4DC5-9A22-0E4985268382","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal approach for the construction and verification of railway control systems","badges":[]}}}}}