{"entities":{"Q3460219":{"pageid":5239619,"ns":120,"title":"Item:Q3460219","lastrevid":52427678,"modified":"2026-01-22T15:14:22Z","type":"item","id":"Q3460219","labels":{"en":{"language":"en","value":"Dynamic state machines for formalizing railway control system specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6526874"}},"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":"Q3460219$F9CCF436-6757-478F-8BBD-7F0F54206108","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93480271d3434b2ae2ae6721f3b102a8112d9041","datavalue":{"value":{"text":"Dynamic State Machines for Formalizing Railway Control System Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460219$EC8D140A-FE71-4EFD-91AC-11FAC0F0AFD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68bbc362feaec59583c8ddb11d1ef511563698c0","datavalue":{"value":"1328.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460219$C9B4FBCF-4D7B-434B-8094-39339AFEBD44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3493dd5a8c0eef4d019a528ad66d27b40cdcf31f","datavalue":{"value":"10.1007/978-3-319-17581-2_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460219$C78B5425-FCC6-40A7-BBAC-15AA88FE8067","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"473e1b3679e11de452716025b38eb9b0930053a4","datavalue":{"value":{"entity-type":"item","numeric-id":2065538,"id":"Q2065538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460219$B756B562-65A0-4224-A7E3-BF1E953EFD78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73c8268d55731753cf5d9458d746500627fd535e","datavalue":{"value":{"entity-type":"item","numeric-id":3460216,"id":"Q3460216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460219$A0984715-0A85-4266-BA6A-4D113B8EC877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f22f66a56e43cd19f60d6d99d6fee093715ec0","datavalue":{"value":{"entity-type":"item","numeric-id":264998,"id":"Q264998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460219$4F54C066-E24E-448B-8BB9-54654A19D5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5238b6be6e164cb767160cc21e7bc95ce8efc1fc","datavalue":{"value":{"entity-type":"item","numeric-id":264997,"id":"Q264997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460219$257740EA-966F-4B74-8BFD-91B6DBB760D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bed034403255c8f6e9d2090b39edadb4f5e6e11","datavalue":{"value":{"entity-type":"item","numeric-id":2065539,"id":"Q2065539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460219$1743B9E9-BAFC-4A1C-B2B8-6A252017764B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec19956b3c5fd7479eb6de4942cd1a26f8188466","datavalue":{"value":{"entity-type":"item","numeric-id":2065537,"id":"Q2065537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460219$A9A21F62-36E4-476A-8589-6D731856F007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"29933acee87882ab7628eb80115e9ff7b021fe43","datavalue":{"value":{"entity-type":"item","numeric-id":3460217,"id":"Q3460217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460219$B9C9D253-61EA-42F2-BBBE-611C64EF201A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"431ab986f724a8be3e6419daf5ac489d5dfae2fd","datavalue":{"value":{"entity-type":"item","numeric-id":202079,"id":"Q202079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460219$65ED2556-54A7-49C7-A6F7-7192E295EC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18c7fe63ad3305d1e5cf051871ed2218cf4fb8f6","datavalue":{"value":{"entity-type":"item","numeric-id":3460218,"id":"Q3460218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460219$A8E3EE76-929D-46A9-8250-DBCB0885227C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4077ffb18414bbb2357751629d411d50e25c5a0","datavalue":{"value":{"entity-type":"item","numeric-id":345896,"id":"Q345896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460219$E16C0582-7310-47AB-8730-42AC286E6F61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8558e5abb6cbfa3134664259730e3a690ab61c4b","datavalue":{"value":{"time":"+2016-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460219$A8A55367-B481-4348-8873-05DE709DD124","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460219$15D70F0F-F5DC-4BA4-B2A2-367F93E57E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460219$FB72D3EE-671D-4EA7-80EC-02BEA4192AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c819bcbc5228a4c15a0698bc48e27bac5cf3646","datavalue":{"value":"90B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460219$51029592-2631-4544-A12D-8F03A197513F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd0fa348ea6282c3c0ec248a51ac7849a581ce12","datavalue":{"value":"6526874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460219$EC83F693-B693-4617-B564-2D193BE07464","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f40d419c3fa26b2514bfe6acad0af4c3d2cd5290","datavalue":{"value":"state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460219$D6C858C2-ED4F-434C-A6F7-74EEDCDFB7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97602a2a0b7a9d5ce57d4a3c451fd5ed233b6b15","datavalue":{"value":"dynamic instantiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460219$82DF19C0-DC9F-4442-B9F9-4F874DCD25DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb3fdfd40656bf96a9c1d9c561edae3b99dcd485","datavalue":{"value":"railway control system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460219$4345B971-8851-4C91-A83C-924328E60C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94e6c325ea04aeed02ef14a97cd4c5a01d0aac5b","datavalue":{"value":"metamodel","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460219$1DF489C4-A0F6-475D-8D22-C0E92055DF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81771c124e2e991a6d8cb13e897de794b4b29978","datavalue":{"value":"model driven","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460219$2A5C26CB-A3FD-490E-AB00-433AE399C949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f945bb4cedadb1bf2a0a22b6bffc67f8cf09f4ab","datavalue":{"value":"system testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460219$015C63E3-EA8A-4C5F-B712-4C81F0FBA8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1674de4ee7615d07e35b86bb0b0dd7f6a0fbed","datavalue":{"value":"CRYSTAL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460219$552A3441-0156-4AC2-8524-99D290F7D7E6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"692549050d1bcf7f893cd2ef126329e66dbd37cf","datavalue":{"value":{"entity-type":"item","numeric-id":16529,"id":"Q16529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460219$AB559A17-CBA3-4842-A965-7B53ECB52F6D","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":"Q3460219$C836B649-05EC-41D5-A148-0DE8DEFA9CFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53a7dbbf9282669bc25200d7050d7945cc12f17d","datavalue":{"value":"https://doi.org/10.1007/978-3-319-17581-2_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460219$D91B448A-586F-4A7E-A765-8348288ABD58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dca5a107362139008832f53c8d792d8541e3c638","datavalue":{"value":"W938957855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460219$F3BA5F11-3BC7-4DD7-BCBA-FEA8278865E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfb360bab136fc213fff4b32587447303de3575a","datavalue":{"value":{"entity-type":"item","numeric-id":5428888,"id":"Q5428888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460219$A6CD2471-1D10-4098-AD28-199814E92D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460219$236C888D-5EF0-4FFC-9FDA-C60E229F3BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c767ba7fb261222ae4fef0dd11803ee734d2c332","datavalue":{"value":{"entity-type":"item","numeric-id":4461959,"id":"Q4461959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460219$7CC82E6B-B930-4860-9032-AD28C2E4D2AE","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":"be16329e3c6f76b68268b831d3f9ad5d6c94f1bc","datavalue":{"value":{"amount":"+0.7121949791908264","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":"Q3460219$202540B8-D2AB-46B1-A084-386B33E31008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ea76b7df03c965224964567bf6914064446e58b","datavalue":{"value":{"entity-type":"item","numeric-id":5959851,"id":"Q5959851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aedd56b194d3f14d5f918260b229589c5f77b06","datavalue":{"value":{"amount":"+0.682549774646759","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":"Q3460219$8461636C-C946-4249-9DE3-2F0E0AA6D12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"071ba3f68ad6ae7386ceb11c880f0446d4313021","datavalue":{"value":{"entity-type":"item","numeric-id":3526947,"id":"Q3526947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26756a9f365945c4ec2c935c3a15c6902955ffef","datavalue":{"value":{"amount":"+0.6809734106063843","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":"Q3460219$C7CC5CE7-3A15-4C25-AB76-CDEBEF69A037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e859911f4f015f6d400a31050482917aef84d14","datavalue":{"value":{"entity-type":"item","numeric-id":3460585,"id":"Q3460585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8960d45c6e3a877c5e2a56df478c99673ad5b2c","datavalue":{"value":{"amount":"+0.6779701709747314","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":"Q3460219$015339BB-ECB7-4481-A685-AA44E947C519","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":"2b066d157b18c39e40c9850ed94621d71289a586","datavalue":{"value":{"amount":"+0.6771180033683777","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":"Q3460219$DB50B3BF-5E92-4ED9-9D4B-30D0CFC26837","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3460219","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3460219"}}}}}