{"entities":{"Q2219384":{"pageid":2230127,"ns":120,"title":"Item:Q2219384","lastrevid":53911313,"modified":"2026-01-25T22:22:18Z","type":"item","id":"Q2219384","labels":{"en":{"language":"en","value":"A framework for formal dynamic dependability analysis using HOL theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298559"}},"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":"Q2219384$4CC5BA35-9685-4847-9C21-D6265015E8FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98948055490b2b824b81ee8b883d94b114a0b279","datavalue":{"value":{"text":"A framework for formal dynamic dependability analysis using HOL theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2219384$2C60FEAF-3C11-446B-9F36-110B47F989AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"919076f9ae096bb6101eccb24cbd75115fbdbe13","datavalue":{"value":"1455.68246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219384$9AB76B94-6FD7-4F1C-866D-EF0AF2B94713","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d41c7cd8849d12f20a9b4cbb3ea92572474af0fe","datavalue":{"value":"10.1007/978-3-030-53518-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219384$7F8D3AC0-BAAD-45CE-913B-7F294296C8FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2711f03661697901ff586bdec9d812ce031e5419","datavalue":{"value":{"entity-type":"item","numeric-id":2219383,"id":"Q2219383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219384$2025FC65-E97A-4C22-8842-5ECE88382854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"393ef07e7673f4510d0e5689d2d44001b3ecc236","datavalue":{"value":{"entity-type":"item","numeric-id":246140,"id":"Q246140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219384$E3DB71A0-4FF8-4B50-9B23-0F394AD3E4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0d2c11253a443ddc53e205509995096ef6b865e","datavalue":{"value":{"entity-type":"item","numeric-id":246141,"id":"Q246141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219384$EDEDA9D7-22F1-4D91-A7EB-15B751BE9025","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2219384$C180DAF0-490D-4AAC-B497-F6B61F5F5F32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219384$BF9F5A36-2246-46F5-81D8-17EEBAF3B6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219384$DB5304FA-7AE9-46C3-A25C-5391F475233C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ee6b9946a524040e9233612cc8927d28cc41558","datavalue":{"value":"7298559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219384$E736AF0B-8ED7-49FC-B043-8E25E31783CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"144b7aa3304ca983ef8665ff9b65eb26f1ba5453","datavalue":{"value":"dynamic dependability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219384$BA57AA84-5DE7-421B-8183-DAAE3B3C6330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"765230987958dfa74c2e5837d9383261790a6541","datavalue":{"value":"dynamic fault trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219384$7E853556-E1D9-469B-8974-E59CA4704FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc522e74b2242cdd1a5f9771634e42ca35c3ef93","datavalue":{"value":"dynamic reliability block diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219384$96CF3661-81D9-4638-9A29-69631A491563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67b1e0024e7e32a8458eb21e73fec9565aa0dc32","datavalue":{"value":"continuous-time Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219384$7DE0F4A9-F9C9-4DEB-BEF5-76E9DF249657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"737cd5de6928469a496c07e14f74063cb4a5fd6a","datavalue":{"value":"HOL theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219384$7EC89E1C-6641-4B74-BBC6-B44331B945CA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219384$30D4FFA2-B684-46B6-B996-6CB34C6D6729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219384$F111BDE7-06BF-4970-A815-7084F9CA3CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c0c243608ad938f5b660f3962c2edd7ef21f7c7b","datavalue":{"value":{"entity-type":"item","numeric-id":53613,"id":"Q53613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219384$3D19AA6F-BBD4-42CC-9E21-E85D5C9939EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219384$C92E8916-B840-45DA-A3E8-A07C9A81A2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b5a696a8b497ecfec7388a03d542371c9c799858","datavalue":{"value":{"entity-type":"item","numeric-id":24473,"id":"Q24473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219384$F0B5EF3E-992D-45D8-92C8-27113A7EA232","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":"Q2219384$C4921403-5CDA-44A2-9D42-FE1FAC07C5C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"417084cb3a4b8320e0573e29bf40a210367e8188","datavalue":{"value":"https://doi.org/10.1007/978-3-030-53518-6_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2219384$098C60DA-6C2C-451C-A7D4-58CC36619B09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d461a51e39bd7412c2e8597a5c4b2f781bab98b","datavalue":{"value":"W3042779535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219384$D33FEEC5-97FE-447F-8845-A8D85A6E7E2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"077aefb4f2cbc50d75af1ce74e8a2e8d788164ad","datavalue":{"value":{"entity-type":"item","numeric-id":3453105,"id":"Q3453105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a37111029d0b9cec9d83c1c21443009ee658a466","datavalue":{"value":{"amount":"+0.8005629777908325","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":"Q2219384$8C2BBA2A-8E4A-469B-8A01-EB2D835D868E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aa1b6241cb85cf56e7ca7269a147361e1036c71","datavalue":{"value":{"entity-type":"item","numeric-id":5869611,"id":"Q5869611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d912ef9bf9c992243a42ff5ab62046f72adeb6fb","datavalue":{"value":{"amount":"+0.7978613376617432","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":"Q2219384$A9094607-10C0-4599-8CA8-BA8F31ACBAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3453dcd3f5c94aba4659ee803c984c4ff77882e6","datavalue":{"value":{"entity-type":"item","numeric-id":2817299,"id":"Q2817299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a403ede4dd70a4bac6914f084f4a3f6b87cf2f44","datavalue":{"value":{"amount":"+0.7860979437828064","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":"Q2219384$E19C275B-922E-4FF9-9E61-439C99CB8B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"869f38ce7fd221ffa7483eae67b897b333e0e2e8","datavalue":{"value":{"entity-type":"item","numeric-id":334147,"id":"Q334147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c373976fc64f5c06dec1c2ed20d3637eee8e33a3","datavalue":{"value":{"amount":"+0.7440998554229736","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":"Q2219384$9B2DCC30-F1A6-42E6-92BD-44662E59633B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"290a297dab34b1920034eea1714f0717a0e9a599","datavalue":{"value":{"entity-type":"item","numeric-id":1660781,"id":"Q1660781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73339d5c6c733ffba265a4d973f73baca251e4a7","datavalue":{"value":{"amount":"+0.7407324314117432","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":"Q2219384$7765271A-529F-437D-A415-31B46AC1D637","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2219384","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2219384"}}}}}