{"entities":{"Q2321189":{"pageid":2331932,"ns":120,"title":"Item:Q2321189","lastrevid":43878144,"modified":"2025-11-15T17:29:49Z","type":"item","id":"Q2321189","labels":{"en":{"language":"en","value":"Formal verification of safety protocol in train control system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7099118"}},"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":"Q2321189$D5A175F6-862D-412A-BFAD-A777ED9D6AC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc1444fc8715c24da037bf22f4e4518a938f66f5","datavalue":{"value":{"text":"Formal verification of safety protocol in train control system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2321189$9DE105DD-76FE-426C-8CC3-2F8F569EA2E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35a14d0071dbc65115b5198d038cfbbd18c31fe2","datavalue":{"value":"1420.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321189$7E291919-3AE6-4093-A5AB-925DCCD8D959","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05fec685191ef220c8eb7e437b0201b1e8c5979c","datavalue":{"value":{"entity-type":"item","numeric-id":244693,"id":"Q244693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321189$6B23FD26-B42A-4BDB-8DC0-88DF35C6F546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"04ac61d70bed841fd16a359030482a4b7881f74e","datavalue":{"value":{"entity-type":"item","numeric-id":413038,"id":"Q413038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321189$9190B6E7-92DF-45CD-B330-4589606DBC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d93100edb140defd1638ffc205cdbb80670ce065","datavalue":{"value":{"entity-type":"item","numeric-id":346096,"id":"Q346096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321189$A7F08F16-C232-4F1B-9240-E72C3CA21828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efffc1da8993c50d5b400c44030f4719905f172a","datavalue":{"value":{"entity-type":"item","numeric-id":2321188,"id":"Q2321188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321189$741085DA-2FE6-4533-B783-5480B9F0D142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1709b189299230e21e86eb2427ef7622b3879e1","datavalue":{"value":{"entity-type":"item","numeric-id":308517,"id":"Q308517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321189$88019AB5-A2E2-4A37-AC99-E375E0B99597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc100f8a2cbdec029751e55edd926ad21e2c8138","datavalue":{"value":{"entity-type":"item","numeric-id":184660,"id":"Q184660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321189$48E95E52-CC4A-4094-9063-6504FA15CC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86fc5febf76b9c20af4b34846c97a38c4cd69836","datavalue":{"value":{"entity-type":"item","numeric-id":474761,"id":"Q474761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321189$C7E4F83B-7FA4-407C-AE07-E716309FE7A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c2be5a7bda447eda478db79e810d24415fe08d2","datavalue":{"value":{"entity-type":"item","numeric-id":412799,"id":"Q412799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321189$C4CAE55C-27AF-4431-98EF-059B2758D456","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1867080905ef2692887975198ee5812162d0ab10","datavalue":{"value":{"time":"+2019-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2321189$18EF578B-A80C-4F7C-8A88-EC6819772625","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f240a90c7a7599dc5da15aba989bcd19c02215c7","datavalue":{"value":"http://oa.upm.es/12332/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2321189$DDF9660A-88B8-44A2-9B2F-AADA4502F7F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321189$1194BED4-3DE2-4B2F-A214-4DAA66EA28FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321189$4C045C77-F8B8-48AA-AD7D-E03CA02161C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321189$DC4DCC29-0972-4F67-AA11-303E4ABA9D76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26e00db663f82cbedba14cad04ed877e01e3b74e","datavalue":{"value":"7099118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321189$32D43882-9C54-4B5A-8CDC-B3C60ECEFAF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8718db9351255d657e2025868a3792ca0e42c818","datavalue":{"value":"train control system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2321189$2FD6FDB1-093D-4A86-8706-B7CDB39AB6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c2ef522a957c7491a443e70a0e8d9a84347ddc","datavalue":{"value":"safety communication protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q2321189$49408A7C-BDFB-4578-916D-B8CDE672DBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1be68ca3b7d850a566f2d04f341616b9c992b9","datavalue":{"value":"interface automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2321189$941EF718-1FB4-4F18-887F-53034C9565DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2321189$9CC88FFB-5316-4C03-8ECB-F5FB9E043964","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321189$9ACFED9A-F0AB-477F-B1DA-42275E089C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"560fb465472ddc450906ab47cc0fc10e6717af24","datavalue":{"value":{"entity-type":"item","numeric-id":21454,"id":"Q21454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321189$5215CE6E-C393-40C5-9C04-E7106D221FE2","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":"Q2321189$2F9BBAD3-275A-4D27-B16A-D1B48D5BE25C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ba76a8a8a5b949e05aac70f330855310855e6a9","datavalue":{"value":"W2110481971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321189$ADB8BDEF-1715-4A09-B5D2-8EBEB284B9C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c72d2b4aaa2de2e0a28d079f082d14151711b97","datavalue":{"value":{"entity-type":"item","numeric-id":1047332,"id":"Q1047332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321189$4CAACD7D-010A-4DBA-9116-DD0602DA5989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031cfcfd4fea3f8a3fe578c9daadfe0870bc4023","datavalue":{"value":{"entity-type":"item","numeric-id":4473719,"id":"Q4473719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321189$6138801F-CAEE-49CF-B321-20BD60085ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0901a86812d8c704969c62a2f5aaa30ef22dada1","datavalue":{"value":{"entity-type":"item","numeric-id":4417832,"id":"Q4417832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321189$C4B2EB51-F6A8-4692-804C-5B06AD78959B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9326764ea01b9424fdd6e3bd21dab0e12eef24","datavalue":{"value":{"entity-type":"item","numeric-id":4804914,"id":"Q4804914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321189$44BA9F30-97ED-4C0E-AB0A-CC46E02080CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2bef9def7316cbb8ca15e18946bff6bd1a4bfb8","datavalue":{"value":{"entity-type":"item","numeric-id":4804913,"id":"Q4804913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321189$80DC6FA2-BEEA-4075-B241-E1187D5968FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e792bd436e6f52f7c28ca321a17f7b49e7304c08","datavalue":{"value":{"entity-type":"item","numeric-id":2517831,"id":"Q2517831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321189$7AB1EC21-C8FA-43E8-A4BB-21E1EF4134AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3201b3fd5fd801b40ebffec3ac487b31693a764","datavalue":{"value":{"entity-type":"item","numeric-id":4823969,"id":"Q4823969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321189$0031DDFA-9FB2-4FA8-BF1C-D0E1A25074E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa1c57623c262c833e7a41b271369779e1238905","datavalue":{"value":"10.1007/S11431-011-4562-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321189$5D1E6F80-AEA5-4205-88F4-BCE68A5C1E30","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":"1c49dc9a3f1157257ea8ef16acfed2bc163cfc22","datavalue":{"value":{"amount":"+0.9031941","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":"Q2321189$885FAEBB-DDDD-49D3-9D4C-5B368E3A622D","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":"a2264cd6ea1173d30ffbf28905352121f66955ea","datavalue":{"value":{"amount":"+0.88866156","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":"Q2321189$7D576C52-BBDF-407A-BFC5-0E587D072B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2f60a13f70ce9ef43f705c9c32b9cdf0828eafa","datavalue":{"value":{"entity-type":"item","numeric-id":5407112,"id":"Q5407112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f8391470b1673ab547269ce8814ef185dad303e","datavalue":{"value":{"amount":"+0.8749424","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":"Q2321189$E5629CE2-6502-4176-89BB-05C8866F30EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fcb8a2c4cf5a300581ef297954b1c65bc446f12","datavalue":{"value":{"entity-type":"item","numeric-id":2848456,"id":"Q2848456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d63df8ceb0191a2582ad4549e0194c1dbe7a3fb","datavalue":{"value":{"amount":"+0.8749231","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":"Q2321189$205B6B1A-7FED-4F37-947E-0C02611EC91B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2321189","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2321189"}}}}}