{"entities":{"Q3608893":{"pageid":5638799,"ns":120,"title":"Item:Q3608893","lastrevid":50592398,"modified":"2026-01-14T12:19:27Z","type":"item","id":"Q3608893","labels":{"en":{"language":"en","value":"A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523894"}},"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":"Q3608893$A9F38D38-F282-495B-AB75-BCA9E6C5008D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89bc3a2537ebb9f00974d1d6f202d5292eff5450","datavalue":{"value":{"text":"A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608893$35CEDF3D-B908-4444-AAD2-5BAF5B7BC632","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"488fa69ea6030c48857fea57ca3871be15616967","datavalue":{"value":"1213.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608893$70966E5F-272A-4AA6-A437-5642133238A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e893c0006e1eb9ed262f24477cc822053b82703","datavalue":{"value":"10.1007/978-3-540-73210-5_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608893$89EC0689-5FFD-4B9B-BCE6-C14330F6B79E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a643bb4d6b134508bc8c5fad926d147e7d14ff57","datavalue":{"value":{"entity-type":"item","numeric-id":202498,"id":"Q202498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608893$3AA25822-94B7-420F-955F-4520507A098E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca7566aaa95252813995fae694d788bf30175d5c","datavalue":{"value":{"entity-type":"item","numeric-id":1682287,"id":"Q1682287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608893$8ED45A1B-E58B-4A37-B792-679B5735875E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608893$E3865707-9880-41A6-96ED-FF056EB59139","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-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":"Q3608893$7B49CDDC-B344-4DF0-9DCF-1CEEF0C53F8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608893$FBB39693-48A8-4973-8045-C2773D3ECA04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88de137181b0f5c03bed06cecf223500efff3b30","datavalue":{"value":"5523894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608893$B58FC8E9-1205-4171-8484-031412D4B2B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e4add0db1a8ab19b74e76855d51fa728fd3774e","datavalue":{"value":"action systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608893$3088A733-A809-4BDB-B615-EE62F4D4DBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608893$D8E8FB69-D9B5-45DA-8B4B-929485616A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73b4c65f1932723e758d611f0e45f29f11ae5669","datavalue":{"value":"probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608893$2D06B56E-832D-4557-960A-835D57BBD01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f20dd649bc10efa5e5acc4f3062bf85bd231792","datavalue":{"value":"real-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608893$9396D841-937E-4904-B0E5-8ABEB44E27F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cfc79edf190778c24fdbd9385cfe925d57fbdd6","datavalue":{"value":"reliability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608893$B44B54FB-AD43-4DD8-AFB0-B50535EDA1A5","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":"Q3608893$D19D908B-35A7-4176-B6A4-D29CF6B79364","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbe0e33b2ecd2e8163727f2e5c906bade18f61f7","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73210-5_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608893$3CA92F18-97BF-41F6-8C9B-84431E8AEA00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60cb2257e1cceb31383244896d3e09aa5ab3e751","datavalue":{"value":"W1566799418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608893$7B6F31DA-D3E1-4DD8-A1FF-E7260659D2C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed3c0e29fe71eca1cf0cb3eee810b17774344e92","datavalue":{"value":{"entity-type":"item","numeric-id":4939620,"id":"Q4939620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"befb39d98f3fb23693b51a57cca459f9be26cc7b","datavalue":{"value":{"amount":"+0.7433785796165466","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":"Q3608893$1D15C416-C6FA-4C9E-BCB2-35D19EC8F5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"182a0685bafb87ff94454e3c2c7c71f51b89cdb5","datavalue":{"value":{"entity-type":"item","numeric-id":5047168,"id":"Q5047168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"167941b814e848dd99a5669f8b03ec182c6a0491","datavalue":{"value":{"amount":"+0.7177560925483704","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":"Q3608893$52F611CE-C201-4BE8-AAEC-3C4320D121DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"047c4ecef8f138dec499293682e6a3ba80abcc48","datavalue":{"value":{"entity-type":"item","numeric-id":5896951,"id":"Q5896951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dd74bb16637ee07278a51c6c5149cb6d6fb48cb","datavalue":{"value":{"amount":"+0.6975967884063721","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":"Q3608893$9420E3DA-F68C-47E5-889E-EA6F8208E9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b164d3be6f2b3a74db4136f223dbc5f7a9eed67f","datavalue":{"value":{"entity-type":"item","numeric-id":2763538,"id":"Q2763538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d26b0733d4e7cdaa6eeefac60ce6bb6f52f4e63","datavalue":{"value":{"amount":"+0.6972727179527283","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":"Q3608893$FC685F99-49B4-4B55-814B-73B7C5600A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f754c391a05df025bfd6e061dd38b880e9a9759b","datavalue":{"value":{"entity-type":"item","numeric-id":4373494,"id":"Q4373494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d192888721a11b186c8964ff7407106361ca4767","datavalue":{"value":{"amount":"+0.6944379210472107","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":"Q3608893$E094092E-8945-4BA8-853D-AA0B163994E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608893","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608893"}}}}}