{"entities":{"Q2024351":{"pageid":2035093,"ns":120,"title":"Item:Q2024351","lastrevid":53991263,"modified":"2026-01-26T01:14:57Z","type":"item","id":"Q2024351","labels":{"en":{"language":"en","value":"Stepwise development and model checking of a distributed interlocking system -- using RAISE"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7343216"}},"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":"Q2024351$A5D683FB-B188-4DD4-9E18-072735BA0B61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f4e71146e12d5baf7762b7ec0c7905bf6483ce5","datavalue":{"value":{"text":"Stepwise development and model checking of a distributed interlocking system -- using RAISE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2024351$58AEAA59-727E-4E70-83D1-33F8B3650DE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a89596cd556ce446fa35cf656e3343a9d266b528","datavalue":{"value":"1460.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024351$7DECC47B-657B-4724-AF23-141AB5CB58BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d65226334739aa9b2c4174acf6b8345520069843","datavalue":{"value":"10.1007/978-3-319-95582-7_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024351$5E4D7BAD-DE6F-464B-81FB-B9420BFB0775","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9fc2bfd68208b33a7466cb9424186dcb6e2e986","datavalue":{"value":{"entity-type":"item","numeric-id":1996427,"id":"Q1996427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024351$F1756585-267C-4730-9DD1-07FA5A7C3E86","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":"Q2024351$8E6BC850-A06A-4FCD-9A44-35768EE007F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b4f774fe31084737b70f784f8ab95c7884e6162","datavalue":{"value":{"time":"+2021-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2024351$37AF269F-8688-4F63-BE09-92D57D45DF70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3371be8f635e11319b0ed1e0c4eb1ba81f5eddbb","datavalue":{"value":"https://backend.orbit.dtu.dk/ws/files/197983632/fm2018published.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2024351$06292431-184F-464A-8B9C-713E4611CF5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024351$B9C431B6-AFB3-4614-B8A3-3BC401674328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c819bcbc5228a4c15a0698bc48e27bac5cf3646","datavalue":{"value":"90B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024351$4E494ACE-039B-4B61-9B6C-0D48A3DA1353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e20a9144c47525561b3a24eedf53da9ffff9498f","datavalue":{"value":"93B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024351$483E90A9-28F1-4BE2-8950-2C68A6FCE772","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b54f3fb3b2c3810c77571bfdf58c98e2f94b021","datavalue":{"value":"7343216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024351$417BDFF0-4196-42A9-884D-E42E66089141","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78f582004d4fe2acf4aa7c4efab06c61e0659ebb","datavalue":{"value":"stepwise development","type":"string"},"datatype":"string"},"type":"statement","id":"Q2024351$687051A3-AE19-48D7-A028-F90CE89D761B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2024351$72E69314-FB51-4D15-A3C7-20443406EA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b025775e53ab950535af5f78a8c16527c02ffe2c","datavalue":{"value":"RAISE","type":"string"},"datatype":"string"},"type":"statement","id":"Q2024351$99E359E6-3BE2-473A-B1FF-AD18A7162E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bb48f00f2fb4f498d31feb8783cc3641a35bc38","datavalue":{"value":"railway interlocking systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2024351$67DE2702-8332-4E2A-9DAC-B7741412DAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2024351$D2FB3B76-6694-4264-9E83-0EB826FC4BD7","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":"Q2024351$AEE6A8CB-E090-4732-BD2D-986D198169B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5476edaabe2a4aa8707b15afad5a59d2040f1593","datavalue":{"value":"W3104310390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024351$39A6C4F1-E766-47BF-96D6-479BE6E32351","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f263b8bf498fecf5651f8f916cf8441fe6cb5e5","datavalue":{"value":{"entity-type":"item","numeric-id":470000,"id":"Q470000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024351$85D72B1F-72D1-4582-88C6-C582027A6801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10823bf5be5278cbff1c98afd96bfe396ccae834","datavalue":{"value":{"entity-type":"item","numeric-id":4845499,"id":"Q4845499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024351$DE86FFCC-6386-4DCA-9972-921266AFD7B6","rank":"normal"}],"P1643":[{"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":"63290b1d2f9051f45d85c65653ec3895fec10560","datavalue":{"value":{"amount":"+0.9765264391899108","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":"Q2024351$CA814B5D-D579-4690-9D56-A40A67036D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b5e3a0d935c9b9b9eb75e5f7de589ebe3aa7952","datavalue":{"value":{"entity-type":"item","numeric-id":4255544,"id":"Q4255544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fb16758dcb661e0b68172c082f450a7c079e112","datavalue":{"value":{"amount":"+0.7830025553703308","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":"Q2024351$5F9B7E40-08BC-47F6-96C9-26DC5970AED6","rank":"normal"},{"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":"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":"Q2024351$BE208288-FAE5-4AD6-AEC8-F311054ADD6C","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":"13a1b7cfbd018f572dac80aafa4064ac7e4ffa6d","datavalue":{"value":{"amount":"+0.7695440053939819","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":"Q2024351$4C7B2EC5-40F2-4BA3-84EE-4D9E77D63265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec89f728f4f21b2786c7fd178f4ff74b964a04b3","datavalue":{"value":{"entity-type":"item","numeric-id":5178972,"id":"Q5178972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcf060e7b1e1bcb1a5274a6f630afaf1d7961c3f","datavalue":{"value":{"amount":"+0.7647051215171814","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":"Q2024351$54996EFF-A01F-4E4D-927B-0330B3F0DE78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2024351","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2024351"}}}}}