{"entities":{"Q3453105":{"pageid":5232505,"ns":120,"title":"Item:Q3453105","lastrevid":58181568,"modified":"2026-04-04T03:28:44Z","type":"item","id":"Q3453105","labels":{"en":{"language":"en","value":"Towards Formal Fault Tree Analysis Using Theorem Proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6512409"}},"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":"Q3453105$3F5FDE99-1E13-45D1-9A93-52856109B1C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba895a8b8853f75dc36074b0cdeab4acf4c7b1e2","datavalue":{"value":{"text":"Towards Formal Fault Tree Analysis Using Theorem Proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3453105$E5D459B4-7A80-40FC-91F8-8C103CF15B9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ffd3709fb45d0b5861795c1720559a97e242fd69","datavalue":{"value":"1417.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453105$82A496AC-0C82-4577-B51F-AE3A5F48E129","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"340eaa1a2b49874b48d1d9e0e621673a4ffaa45c","datavalue":{"value":"10.1007/978-3-319-20615-8_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453105$BAF690B5-447B-455E-B731-6FAE8A60B351","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd38613ba0608b9b003aad27cd5a4953b34d65ac","datavalue":{"value":{"entity-type":"item","numeric-id":334146,"id":"Q334146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453105$7BCADB3E-ECE9-4FBA-8867-85E10B32256B","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":"Q3453105$0E59F3CC-D7A7-4625-99B6-13DC4DE0EC27","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":"Q3453105$942B64CA-5205-48A7-BB91-943A76E3C518","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bc62645abb22752583f6909ba0e58feb505ce9c","datavalue":{"value":{"time":"+2015-11-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":"Q3453105$BB64F48D-FB24-4073-B509-ABF8106740E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97652ff09513262d53febb763f6df97f0b54ab72","datavalue":{"value":"https://arxiv.org/abs/1505.02648","type":"string"},"datatype":"url"},"type":"statement","id":"Q3453105$CD4E2CC7-080D-435E-9C51-66EE012770C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453105$332D439C-2432-4847-9D5E-17883D3A65EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac9a1e62ea6800f70b5643e7cc36371d5cc7fd96","datavalue":{"value":"6512409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453105$79B9FC0A-F2FB-4547-B27D-1D3C01E2229E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3453105$FCA27B1C-EB26-41AC-8BDC-1CD075199A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4752b484d49c9a2b93e0a9e10ae2fe7e85c97cb7","datavalue":{"value":"probabilistic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3453105$91F1BCDA-0E4A-4234-AC2C-790F76185283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3453105$5B12CBA3-6F85-4386-858D-5A663F78FDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63d514198b495cc3190d7d8c06e045263c302c87","datavalue":{"value":"satellite's solar arrays","type":"string"},"datatype":"string"},"type":"statement","id":"Q3453105$283DFF06-9D23-4FA2-801B-C61B5B9584AC","rank":"normal"}],"P1463":[{"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":"Q3453105$D40940D9-35FF-449E-ACEE-97DB95C848E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453105$680734DF-C145-4DC6-992C-4828B20AD5F4","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":"Q3453105$629BDE22-8A3C-4479-8A26-9CEB3C3D8F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d11c2f3249318b4e371762a6544475d647f5309d","datavalue":{"value":{"entity-type":"item","numeric-id":37012,"id":"Q37012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453105$67913D15-18F6-409F-BA7E-898F239F6806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8150fde4f32c1805b4a5aa0a0b34311c61328a2f","datavalue":{"value":{"entity-type":"item","numeric-id":37013,"id":"Q37013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453105$55E348FF-4970-4A0D-85FF-1F247174AC63","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":"Q3453105$950A5836-E3E1-4E79-BBB9-F4C226FC9900","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85dd34b59a421e8b5bfa0137405bcf63c14c7ad2","datavalue":{"value":"W2963684489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453105$B0EBA534-801D-4EA8-850B-00CDE3B0117B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfc6615329733626bce9f1815a0b2348420e0db1","datavalue":{"value":{"entity-type":"item","numeric-id":3658792,"id":"Q3658792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453105$30AF6D6B-CB4F-4791-8658-839B5B5543AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7a9bfba56a0ddb68884c4e61928fcd91f88436","datavalue":{"value":{"entity-type":"item","numeric-id":5178999,"id":"Q5178999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453105$C83B6519-AB4E-4223-B38E-B18EC008EBFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cb8e50e6c3bd60a9a9a59407cf30e8e788baa4","datavalue":{"value":{"entity-type":"item","numeric-id":3618853,"id":"Q3618853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453105$E84B4D9C-C619-4425-A900-4B78AF81434B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a59763b3fb25129051745803dae70f5cf79103f8","datavalue":{"value":{"entity-type":"item","numeric-id":4484343,"id":"Q4484343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453105$5F0348BB-1F71-4627-9E48-25F5855AC204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7eccd59025ceba503cdbe2f4f93fd04c2921148","datavalue":{"value":{"entity-type":"item","numeric-id":3608759,"id":"Q3608759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453105$072E0314-5AA1-4DA2-B800-64F5AFD70AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa48240bbfb2b76bad6d4e0b2f1413f7e1feb479","datavalue":{"value":{"entity-type":"item","numeric-id":386029,"id":"Q386029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453105$D4EB0639-11FD-40AC-9E3E-89E6EF3C2132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1e49d74090d77a773896f7b2be0970d01b92ca","datavalue":{"value":{"entity-type":"item","numeric-id":5747663,"id":"Q5747663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453105$85E70257-6134-4E0A-A9A2-9FB8E3110E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34dd873a66486e9e38fc156a4b8aa6ba19960bb7","datavalue":{"value":{"entity-type":"item","numeric-id":3088003,"id":"Q3088003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453105$BE469BDD-9822-4523-9159-1B25BF26100A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76087333aed3606eaddd6e343564bf571ba59ec6","datavalue":{"value":{"entity-type":"item","numeric-id":5495912,"id":"Q5495912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453105$5CCD4E57-F702-45CD-8066-93FC09209F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69ca06956d12cdd8fbf2e47a620d3092d301008c","datavalue":{"value":{"entity-type":"item","numeric-id":3257866,"id":"Q3257866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453105$DD77A228-0AB7-4A3B-9869-4B4BC8504E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9bb2f466ec6a6cea7719ddeee6b92abc6ada578","datavalue":{"value":{"entity-type":"item","numeric-id":1282899,"id":"Q1282899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453105$64454307-55A4-4DA5-989A-66DDDA3CFBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b5467bac8c2b14c65957d9305470ea5fcf1d67","datavalue":{"value":{"entity-type":"item","numeric-id":3911403,"id":"Q3911403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453105$A4B278F7-9B4F-46B7-8F63-E86B3E53B3E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"788b6b231fa9974851d6e32de7d3a787c11b6d14","datavalue":{"value":{"entity-type":"item","numeric-id":5178999,"id":"Q5178999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3152d49b295fc95cc9ddfb1be7b2bac53c4931f","datavalue":{"value":{"amount":"+0.9100723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3453105$3283FB5B-5971-4395-9626-1841B05AFC23","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":"5616cfbeb4b2d2a2dea0e759cae506766f45d11d","datavalue":{"value":{"amount":"+0.90719855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3453105$DDF3D84A-6F6F-4318-9016-86FD00B6AD1F","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":"b93516057705cb7be6d22dab1d3c034c5b501bd2","datavalue":{"value":{"amount":"+0.89917886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3453105$0D0BA86C-2EAD-4C37-8F35-5E36E6DEEF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e20e15f6a6b6e638ee8f8bf0be6f4469e63ec918","datavalue":{"value":{"entity-type":"item","numeric-id":5280761,"id":"Q5280761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b0c6bb97971d0bae87b3d793dfb1e47e361ec2d","datavalue":{"value":{"amount":"+0.88609743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3453105$240A0A0C-9BEE-4360-B050-804260D23EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"186fc0871416148cc3716ba2812f24dc0f800187","datavalue":{"value":{"entity-type":"item","numeric-id":411450,"id":"Q411450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d81a817cc4e320386dea006b60982aef81bd22d","datavalue":{"value":{"amount":"+0.8802203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3453105$3FC2AC7C-0762-4144-B3B8-7900D80148BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84bfa8ee284089def5699887da810c3a63dd4d4d","datavalue":{"value":{"entity-type":"item","numeric-id":879708,"id":"Q879708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ceafd58c2853c42d23e40e4f75a495ebdb64747","datavalue":{"value":{"amount":"+0.8703462","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3453105$5DD7716E-6CA9-488F-906B-8F323E65A39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"361c1f680adfd5400d22f3c9979b7f24b9de13c6","datavalue":{"value":{"entity-type":"item","numeric-id":2352775,"id":"Q2352775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b26b6992f30586bf8ca9e4f2f10005dce600ed6","datavalue":{"value":{"amount":"+0.86919224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3453105$E328F85A-8C53-42F5-AD00-727D4F4C42DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"840413a97a81c5aae3b4b290eef25c08019e7976","datavalue":{"value":{"entity-type":"item","numeric-id":2730080,"id":"Q2730080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"876b6bc01ab113e2baf62659e5718f6b4f3e5ea8","datavalue":{"value":{"amount":"+0.85903203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3453105$A95EE93D-1543-4D18-8666-36B384BAD59A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3453105","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3453105"}}}}}