{"entities":{"Q475379":{"pageid":477146,"ns":120,"title":"Item:Q475379","lastrevid":56994333,"modified":"2026-03-25T13:57:22Z","type":"item","id":"Q475379","labels":{"en":{"language":"en","value":"Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374314"}},"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":"Q475379$C85BC896-B2D0-47BF-A7F3-0A917C6E90A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c684e01fb16c0b43a82ca138faeb5e0824aec7b5","datavalue":{"value":{"text":"Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q475379$D745751E-67CC-4A61-B9EA-B37A6B39C488","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46e4f485bb01396b703dd54c243e6132b23097cd","datavalue":{"value":"1302.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475379$8352158A-687E-4883-AA1F-5A7CCA232C03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"308d8e6a6bf7a1cc79c461d5fd3a6b6d0eef3686","datavalue":{"value":{"entity-type":"item","numeric-id":475378,"id":"Q475378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475379$B6232041-098F-43F6-9F97-C7A248C10EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f61f9cb4afb1dbe639f74b5529d2947c5bac5f81","datavalue":{"value":{"entity-type":"item","numeric-id":293332,"id":"Q293332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475379$B3F4C114-EC8A-421E-9677-2FDAA453F8A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5cf57799e8c41ecba181c21bc95047b71cb3443","datavalue":{"value":{"entity-type":"item","numeric-id":294368,"id":"Q294368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475379$FACF11DF-6164-4BE3-89E6-D2DD00144861","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb6c07b0dded93a36c29adbf18ee15255c2386de","datavalue":{"value":{"time":"+2014-11-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q475379$20F41F2E-44EC-4A44-9594-CB1B99234522","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca6ce330dd047beaeeb100be0d512e3c45410a58","datavalue":{"value":"https://arxiv.org/abs/1403.3034","type":"string"},"datatype":"url"},"type":"statement","id":"Q475379$74293A09-6396-44A9-B3F7-72923C8C93E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"57982b82c1fb9f6f8067393d1bfd242f3dcc365f","datavalue":{"value":"https://cronfa.swan.ac.uk/Record/cronfa21768/Download/0021768-28052015120550.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q475379$7EB5BAD6-E42B-48CB-A68A-C0D663482014","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475379$4641B3F3-BF2B-4FE5-9507-28E77492BB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475379$E7962C22-FCAC-4D73-A996-30029700EAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475379$92848BB5-1A63-4DB0-BBF9-F5085D3D28FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ef6f03e495846c855902fdd043cdac4a701a399","datavalue":{"value":"6374314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475379$91090AC5-4A90-438D-ABCD-64BBB385AB91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea481ac2a707a0dc73d563ecec76d3e7a185fb49","datavalue":{"value":"domain-specific languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q475379$4158348D-0CED-4B6A-98BE-65ECC44A5081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q475379$2ADFB144-CD8A-4EA9-9F12-351C1DF6596C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9778e1c50ad040fdbd47bced21cb9b0823eb5ce","datavalue":{"value":"modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q475379$AD005196-35B0-479F-A2BF-C3EBE3B565C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q475379$672A499C-E001-4125-ACF1-968523EF9514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79f5148741f561a68d64e9f4c9f75041830565f2","datavalue":{"value":"\\textsc{Casl}","type":"string"},"datatype":"string"},"type":"statement","id":"Q475379$F4FBEC70-B8AD-458A-A063-2F759DB2E792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86043d1424ab06a9cfe00a69feec11499576f12d","datavalue":{"value":"railway domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q475379$6A65A77B-80B4-435D-83BA-36F958F2BDC9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80ad234dc0924dda60983aa70fc106cb35f3b96e","datavalue":{"value":{"entity-type":"item","numeric-id":19080,"id":"Q19080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475379$DE0FFB59-E110-46F7-9195-41CA80DA4521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475379$D57ACB4F-4251-4CE6-80D4-A67264761408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475379$1D68C649-E3C3-4CA2-987D-9643B13DB7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475379$27226889-0072-402E-B038-B056577F2C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2cb661c4352d6e0ab88d7103cd480cfce992ae76","datavalue":{"value":{"entity-type":"item","numeric-id":23884,"id":"Q23884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475379$3E2FC9B6-0B3D-45D7-B995-C7E8024587E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1c7671264696a246c71e0b39a64646fa6e3ba86","datavalue":{"value":{"entity-type":"item","numeric-id":23885,"id":"Q23885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475379$569A336F-6B81-442B-B7D7-2C766AD72959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32976edf59604ffb39dc23b5f0e891a10b6c9f63","datavalue":{"value":{"entity-type":"item","numeric-id":23886,"id":"Q23886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475379$3B85A28F-453F-47D9-89F1-ECF2F8445D44","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":"Q475379$711F6A17-8060-4626-9594-3F57AD1B0506","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd65259379b299fcea7c03ef4c57ee9bdaf93364","datavalue":{"value":"W2091996173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475379$0AECE035-FC8C-43B9-BF47-2249967855C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad07078251db606a2faa399efe3b8f5d826ad5eb","datavalue":{"value":{"entity-type":"item","numeric-id":3507375,"id":"Q3507375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475379$FE02A365-B38D-4CD5-8088-4C6198483CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad1d65c7254ecd4acf26ee2394d6768fa8ba9178","datavalue":{"value":{"entity-type":"item","numeric-id":3526937,"id":"Q3526937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475379$57B0A598-6C5E-4600-9B46-D5B90D15551B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cc459922b6b28a27d781669d84ed95d5e384a80","datavalue":{"value":{"entity-type":"item","numeric-id":2848883,"id":"Q2848883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475379$4725B976-9EA4-4D7F-A235-85141ACDED05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10e6adfc48f3005b2216b8762425b09fe34d6ad2","datavalue":{"value":{"entity-type":"item","numeric-id":5178972,"id":"Q5178972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475379$00A309DB-0666-42CB-B486-595DD4CD8E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eedd2defa322689670ffba56a5755fdfcf124e7c","datavalue":{"value":{"entity-type":"item","numeric-id":1853458,"id":"Q1853458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475379$AF12CA74-FEB9-45FB-A817-07C88B022ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004b6322713c93ba5975d66d08cf938b57dc11ff","datavalue":{"value":{"entity-type":"item","numeric-id":2432218,"id":"Q2432218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475379$1CC7BE82-EAC9-42A0-974D-53DEF6FA120E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fc8985b7898988b7d52edb5c0cd61c1b917df6","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475379$A9353FED-9258-4871-A390-71F12D1F0D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f49bddd3d8758939d2c56cea336fa15d4d01af13","datavalue":{"value":{"entity-type":"item","numeric-id":4809064,"id":"Q4809064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475379$F5A146CB-CF70-4740-8B40-AAE252DBC2D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10c5d74c0ec1144650568cdbba35a59759f7db98","datavalue":{"value":"10.1007/S11786-014-0174-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475379$82731ADD-1EDB-4725-905D-D1001246E4DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cefb61ad4a7a6c1bc41e180cf9b83b50782eef6c","datavalue":{"value":{"entity-type":"item","numeric-id":2026802,"id":"Q2026802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea244e597c541c516fca125cd047c739e7749542","datavalue":{"value":{"amount":"+0.7400913238525391","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":"Q475379$F4B11CE4-33AA-4A73-816F-20F7449571D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff1de51745fc4e701d687850da2dacaf6770ed7","datavalue":{"value":{"entity-type":"item","numeric-id":3564030,"id":"Q3564030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f85d164c2329f5803fc64fe077e456bab4e3bcb","datavalue":{"value":{"amount":"+0.7151852250099182","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":"Q475379$93CA75DC-7239-428A-A4FE-8DFC463EABB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76937f26c73ab1b79705fdab1b83962e4b26591a","datavalue":{"value":{"entity-type":"item","numeric-id":4808836,"id":"Q4808836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b65e6aaa98bd33d98134ac2f416de7e82597abce","datavalue":{"value":{"amount":"+0.6858742833137512","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":"Q475379$3EE37B6B-67C4-4EE0-9C02-4C66BD7363BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e996e256a3c06a5ca725dfeb15c9ae397f0d7f0","datavalue":{"value":{"entity-type":"item","numeric-id":4532080,"id":"Q4532080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e74081b538ceae920bbae81021f425b4a9cd8e08","datavalue":{"value":{"amount":"+0.6822072267532349","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":"Q475379$69BBF080-7701-4C8B-8264-C864B6882406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dfac979e8f5f5203dbe2b311ef73219726c6591","datavalue":{"value":{"entity-type":"item","numeric-id":2979869,"id":"Q2979869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23e400518965f586eb44687345cf64d8f12a5b52","datavalue":{"value":{"amount":"+0.666155993938446","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":"Q475379$428589D6-411C-4350-B472-B5682E249ED1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:475379","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:475379"}}}}}