{"entities":{"Q5869611":{"pageid":7899162,"ns":120,"title":"Item:Q5869611","lastrevid":101896010,"modified":"2026-06-06T03:05:37Z","type":"item","id":"Q5869611","labels":{"en":{"language":"en","value":"Probabilistic analysis of dynamic fault trees using HOL theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7594176"}},"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":"Q5869611$F72DCB63-9E12-4788-B18E-16E93BD23773","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":"Q5869611$F0CD6403-1934-4B3E-A1F0-608C4B0428A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67cf25ee87c30ba6c6d554e0e4979a7a5c3c8006","datavalue":{"value":{"entity-type":"item","numeric-id":782498,"id":"Q782498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5869611$2A8AF753-7050-46C6-A88D-2B68A66E964A","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":"Q5869611$279CC981-E5FC-4E77-B2D5-31B06CE5D224","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":"Q5869611$C4965E76-2888-44D3-B00A-3AFC2F84972A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12849bc9397048f3fbe61bf9712405dfa85dc246","datavalue":{"value":{"time":"+2022-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5869611$19C42699-B0AF-46E6-810F-254228941DD9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae2106b61daebcc1eca1b6e11b4fbc1884de4ff2","datavalue":{"value":"https://arxiv.org/abs/1807.11576","type":"string"},"datatype":"url"},"type":"statement","id":"Q5869611$24161103-E248-40B9-9A74-B5432C41E114","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5869611$43FFAFE9-B508-4C9F-BE3E-3488AEDD47C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d5b570a97f56673b05cd1b5193101423b53f614","datavalue":{"value":"7594176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5869611$6B5BEE1E-F0DE-4D83-BAC2-196F7049051E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db4f953c8327488bcfed10e933d15bf2bb1a5fbe","datavalue":{"value":{"entity-type":"item","numeric-id":29276,"id":"Q29276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5869611$56F03EB8-F544-41B9-8264-F557E7375BCB","rank":"normal"},{"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":"Q5869611$164E1277-DD7D-487A-8EEE-BC36C42E8E8B","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":"Q5869611$EA30B7F7-1F39-447B-9474-87174CE9B18B","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":"84aa4d22adb3ce02f570826ded43f213dcec74e8","datavalue":{"value":{"amount":"+0.8231977224349976","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":"Q5869611$C8E8182A-6D6D-4421-B5A6-B3D4DE21EF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d119d47395c0fbef674268e48534c4d80fa4cbed","datavalue":{"value":{"entity-type":"item","numeric-id":2219384,"id":"Q2219384"},"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":"Q5869611$5CB1BDF3-28AA-4C80-8740-3D3DD3563D9C","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":"b7abd890675430714ba2c7d30d6a26494007a662","datavalue":{"value":{"amount":"+0.7922109365463257","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":"Q5869611$CACFCB9E-BE90-4AC4-A60D-B5137B0E5469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1377f2eb309535a0406b970121c5b1c8a008e5a","datavalue":{"value":{"entity-type":"item","numeric-id":3510814,"id":"Q3510814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4437cb630856fa01c0ee2afc28ff952777906be0","datavalue":{"value":{"amount":"+0.7485923171043396","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":"Q5869611$9E57C220-ED73-466C-AEC5-844D869275B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9b5625db721d32945bb558344f44be3d4db9493","datavalue":{"value":{"entity-type":"item","numeric-id":545151,"id":"Q545151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31687a62830c3a27f8c60faf489d061c7f0f4387","datavalue":{"value":{"amount":"+0.7471041679382324","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":"Q5869611$C4B628BC-5896-4F96-9F15-2A8B4B3587BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic analysis of dynamic fault trees using HOL theorem proving","badges":[]}}}}}