{"entities":{"Q1996429":{"pageid":2007171,"ns":120,"title":"Item:Q1996429","lastrevid":53946107,"modified":"2026-01-25T23:35:55Z","type":"item","id":"Q1996429","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 7317638"}},"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":"Q1996429$FE5906D0-19C8-4CF6-94AE-1A53240E2D2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22c1d259ea1456466515ae5b265979bcdfa1cc55","datavalue":{"value":{"text":"Stepwise development and model checking of a distributed interlocking system using RAISE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1996429$3B197643-E223-4557-B8C8-CDE62DA44FB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc58ec4c401bd32c2ef1cf1ff01c4f918859837b","datavalue":{"value":"1458.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996429$F19119E1-890F-40B0-8AA7-6CA17B0D958C","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":"Q1996429$B6A45A84-4511-491C-B6FE-4D027529015B","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":"Q1996429$487D28CC-658B-46B5-96D3-4565C24335D9","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":"Q1996429$6144DBD2-EBD4-4F00-8A49-A96BAB6C9B0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abf8c791dda646fcab93c7619a351c524ac0efaf","datavalue":{"value":{"time":"+2021-03-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":"Q1996429$FC12D053-0C06-4448-A9F1-D81B4B6BA4CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31318ba09076dfb3bd5ed246b98edeec5965492b","datavalue":{"value":"https://orbit.dtu.dk/en/publications/a41f95b0-cecb-4480-819e-ddaaea81554d","type":"string"},"datatype":"url"},"type":"statement","id":"Q1996429$54FE744F-2482-44A0-A000-4CFCE6985A8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996429$DBF8A835-A254-4A68-A6F9-39CB03CCD85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c819bcbc5228a4c15a0698bc48e27bac5cf3646","datavalue":{"value":"90B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996429$985B2E95-C5C7-4AE7-B825-8C5474B0F5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e20a9144c47525561b3a24eedf53da9ffff9498f","datavalue":{"value":"93B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996429$61C6CA72-207F-44CE-BF7F-707CE239BFD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d05d77ed4d6db1138e21c81f0232c00edd331581","datavalue":{"value":"7317638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996429$536DD0D3-985F-41B2-928C-FDC2BB4FC220","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78f582004d4fe2acf4aa7c4efab06c61e0659ebb","datavalue":{"value":"stepwise development","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996429$45897ECC-0B0E-4024-866D-59C86AD2A14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996429$1AE37F39-4342-4450-9216-34CB8A5D65EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b025775e53ab950535af5f78a8c16527c02ffe2c","datavalue":{"value":"RAISE","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996429$32D7409A-EDC1-4E81-911C-0985A4FBF387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bb48f00f2fb4f498d31feb8783cc3641a35bc38","datavalue":{"value":"railway interlocking systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996429$8AC64061-33B3-46A5-9A58-1BB6C0A05BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996429$D2079D2B-ED46-4F58-BB36-E28CA1E87798","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cae8739186f915dcdf22aade1969a1b064b021cc","datavalue":{"value":{"entity-type":"item","numeric-id":15781,"id":"Q15781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996429$D57B697D-0E4E-4689-81DA-3C5BCE521007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"401482ee4215a1ce00ddce0e0699d74823d1e322","datavalue":{"value":{"entity-type":"item","numeric-id":25233,"id":"Q25233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996429$522A1919-542D-4182-BF99-A0306472371A","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":"Q1996429$BEEDDD10-CCD4-426C-9C54-92E602F7DC03","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5ed25573c8fc3d07eb3f7de5847445c1b9a47a5","datavalue":{"value":"W2808836015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996429$AF4DB4DA-CE4E-4808-A177-E0D897CD40A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48dcc977508c427ba2641c9c448b3ee519658bc9","datavalue":{"value":{"entity-type":"item","numeric-id":2024351,"id":"Q2024351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996429$E2F26C0C-C81F-422E-B4C2-42D35AAEFFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea4acb53c6aa01f94c371c1488d0c79ed81e1ea7","datavalue":{"value":{"entity-type":"item","numeric-id":1637915,"id":"Q1637915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996429$32B7A1A0-A9C8-4DEC-9196-424DB9D45D55","rank":"normal"},{"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":"Q1996429$CC09559E-D6CF-41DE-9DC8-BCB6AD1F8EF7","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":"Q1996429$13BB13BD-9007-4F96-A33C-865CF41FA356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab180ced3b47c2b8623bcd604030684fb550dcf8","datavalue":{"value":{"entity-type":"item","numeric-id":617925,"id":"Q617925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996429$22FED98C-AF59-4889-B0A9-353785533223","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4199c7398ed4411c6c75a7d9982c445fc7ec6105","datavalue":{"value":"Q130884772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996429$891C18CD-4FE3-41A4-AA12-5FD6B3E93408","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd768593063f6db9845be97b4f86a7e5aa7c35b1","datavalue":{"value":"10.1007/S00165-020-00507-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996429$DC2335B5-BF54-4670-8C6C-86DD2740D285","rank":"normal"}],"P1643":[{"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":"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":"Q1996429$98C78496-5E7A-462E-A8BA-80C382E8A188","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":"0cc17ffed244e7fd93572ccdc6980a4361f22772","datavalue":{"value":{"amount":"+0.7692402005195618","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":"Q1996429$EA4C21EE-B2E5-42C4-A438-9316D48D4D21","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":"d7c21bb62dabe227faad052c1f3e1869e5bfb660","datavalue":{"value":{"amount":"+0.7613372802734375","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":"Q1996429$319A17DD-D6D7-47E2-AD3D-D6715AFC9014","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":"ba36d10bf9b3eb43553f8d2503382601961942b3","datavalue":{"value":{"amount":"+0.756360650062561","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":"Q1996429$C4E9D74D-0A5E-49B6-822A-66331355ED68","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":"b63c8f5d2bf892886150ad6535cf37f5dbe34f10","datavalue":{"value":{"amount":"+0.7474140524864197","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":"Q1996429$4E446EAE-EACB-470D-8DA2-C052C825B54C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1996429","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1996429"}}}}}