{"entities":{"Q386029":{"pageid":387796,"ns":120,"title":"Item:Q386029","lastrevid":61448340,"modified":"2026-04-10T23:26:21Z","type":"item","id":"Q386029","labels":{"en":{"language":"en","value":"An approach for lifetime reliability analysis using theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6238118"}},"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":"Q386029$8A53B708-BC73-45EC-95DB-2D8F3E4BF3A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f7f6c1334580672eaca2dadea6bdb0772651585","datavalue":{"value":{"text":"An approach for lifetime reliability analysis using theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q386029$ADE4568B-07EE-43F8-BB61-F99D25DA673A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6be94c1474261b8cd53deaa9fb9b16bb81eb8852","datavalue":{"value":"1277.68216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386029$E056DD68-8F89-4EF4-A172-A3758DE10E97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f724c38e8e9eb9e22bc5aec56b93efd5367b2545","datavalue":{"value":{"entity-type":"item","numeric-id":386028,"id":"Q386028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386029$483F92EA-1B1F-4EA8-9387-3D70574B6F08","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":"Q386029$78D5F98A-ADD4-40ED-B966-092AF633B016","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":"Q386029$B36930B6-C5BD-4B89-A6CB-0AAC56BB9F91","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386029$E58561BD-7DDC-4558-BED3-16C4E5BD4BD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53717fa6c8d29b46d6a34473fd09757844b25aa8","datavalue":{"value":{"time":"+2013-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q386029$93B4F88C-940A-4874-ADCF-5A75C34DE941","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386029$AFE5052A-7160-4DC2-9353-720FC310964E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386029$2E61B0AF-E340-4DBF-87F0-557D819648FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386029$4E2F8CEE-6959-41E7-BCF5-BFCC9CE84293","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4d99c7c47090478eb7a5c6d93bb679ffa39e2df","datavalue":{"value":"6238118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386029$E63C10FB-0B77-41DC-B23E-F2078DB9D417","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9f7a31711d3f7635a7a238961297b46eb5d58af","datavalue":{"value":"reliability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q386029$59BCC1FB-2017-4C39-A4E9-9B768355A2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf80114939ac001944551467cdb28cb5f17611c1","datavalue":{"value":"lifetime analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q386029$BBCFCED5-5E30-481C-978A-110D362F5496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed0c30f9c5791cb68804191bebb030534a8add0a","datavalue":{"value":"failure rate","type":"string"},"datatype":"string"},"type":"statement","id":"Q386029$C768E870-DDE8-4635-A3FF-CAE8D959F2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e8c4136dca95e92c454b1c75dde20d8f8014c0f","datavalue":{"value":"hazard function","type":"string"},"datatype":"string"},"type":"statement","id":"Q386029$AF52D397-EBE6-4B66-A9FE-DFF988F74A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb08b8426e5582cb07f32b2d9ec3ddd4213d5e41","datavalue":{"value":"fractile function","type":"string"},"datatype":"string"},"type":"statement","id":"Q386029$7A21DAB4-A8F2-4D3A-9DF8-7805AB056806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd3b76af6ab3ef2e003c566290844f9eaf39c9cd","datavalue":{"value":"statistical properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q386029$19B915F8-1B49-4704-AA44-3289C10EA37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c415f1900952a45448736aacc3f87605bf27a5d5","datavalue":{"value":"random variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q386029$E2A26EE6-AE8D-4CE5-9A20-C2F3C8292241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q386029$745CC061-386E-4D70-9E75-3E4F62AE5467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q386029$FA094E29-92B2-4388-B530-780EF732EB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5343ecd15a8e87cb138c7d9e4c8f0d52a5afdb65","datavalue":{"value":"HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q386029$17919BD5-F9E2-4023-A909-DDCEF80F8264","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386029$D005C4AF-2770-465C-8F03-40B8C7C55BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a709ac7c97c67049e241e0b036253f1d955c589a","datavalue":{"value":{"entity-type":"item","numeric-id":13313,"id":"Q13313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386029$75CA549C-6856-477C-A0D9-8F6F42C8E60C","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":"Q386029$77756482-1B62-4E76-BF1B-70DCF1CBA5F6","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":"Q386029$DFF804E1-5772-4B32-A18F-99A7A23F5CA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a9bca4d95ba5e2227d9bbed550d8f215128c1ab","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2013.05.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q386029$D7C9342D-0A6D-4A86-AEE6-313EDC30A3F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e71d70983c8241a4105a8332dde3772994c979ba","datavalue":{"value":"W2007291179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386029$E322E8FC-F153-46B4-BE5C-68609C1E3A55","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"040249ae52980a0f78a6071647b015d7ce49abd1","datavalue":{"value":{"entity-type":"item","numeric-id":5280761,"id":"Q5280761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386029$2B19173A-2A4F-41C6-AD42-2D39455E18DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7465ba90f7a206bac96ab8b0ba9f7a4a2f269e7c","datavalue":{"value":{"entity-type":"item","numeric-id":4931592,"id":"Q4931592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386029$5D2E7117-457F-4D55-93E7-6C425552458D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386029$3D1BDD6C-CF70-43D7-842C-857B1BB7B978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de5feb4c46bee8b8f76000d9de8564377e360b7","datavalue":{"value":{"entity-type":"item","numeric-id":4261335,"id":"Q4261335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386029$52DF2DFA-2C90-414C-B3F9-AB1026EBB10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba557860f1c8d4e1a333ea395d8ad34a998cdea","datavalue":{"value":{"entity-type":"item","numeric-id":2390027,"id":"Q2390027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386029$D02D52A9-B017-414C-AD4D-39538EB5EB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc22eda20e13ae4c1f389d048db76ed6af41ab3","datavalue":{"value":{"entity-type":"item","numeric-id":2849848,"id":"Q2849848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386029$4A44E37A-2263-4282-88F8-766739A7B474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0013b511ea61f98a91c5d9a0683a8656f9dd75f5","datavalue":{"value":{"entity-type":"item","numeric-id":4821979,"id":"Q4821979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386029$5FDE2509-BBD1-45B9-81A7-FBFC091DB1FF","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":"Q386029$0B4C1CBF-DB13-41A8-AEB4-1F29A4C3809D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daf5097c53a50b73b1a0ab65f0d8ed9c757d672f","datavalue":{"value":{"entity-type":"item","numeric-id":4837114,"id":"Q4837114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386029$CAE85B69-E612-4ACD-B5CA-F930B212BD85","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":"Q386029$1DB977DE-9D7B-4E7A-BF03-710431286258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7aac6f68db2678a0e35ecd05cdb3833340b4028","datavalue":{"value":{"entity-type":"item","numeric-id":4497808,"id":"Q4497808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386029$626B8251-C5FE-40C7-AC19-3F836A4546E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6496304f13783e82d12a275120aa4626825ea47b","datavalue":{"value":{"entity-type":"item","numeric-id":4231030,"id":"Q4231030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386029$D9443B71-88D8-4AEA-824C-56B04B6127EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa03a13c1a95782c1e0ebed7509852ebc8ad9234","datavalue":{"value":{"entity-type":"item","numeric-id":3678481,"id":"Q3678481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386029$71F06C0B-0BCA-456F-B156-581A6E4B1661","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a39bcf04d27dcc3dce09fc30323ab48c910ac8e","datavalue":{"value":"10.1016/J.JCSS.2013.05.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386029$D61FF975-0284-4778-B147-8296B356FB64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02194ebacb5893ed7c62ed2452b5e688bfc10b51","datavalue":{"value":{"entity-type":"item","numeric-id":4931592,"id":"Q4931592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76bb4861ec6ee7d8eecbb5b44c95af1b8b427ae1","datavalue":{"value":{"amount":"+0.9524794816970824","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":"Q386029$A5DAB7F9-34D2-45D1-98A5-4F05F43B1C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3136c81ff0db64cbcf43b3cbed1bf1c96bf2401","datavalue":{"value":{"entity-type":"item","numeric-id":545153,"id":"Q545153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44bf2ba1d4ce0e979ae08b3b90325139c0a0f6f1","datavalue":{"value":{"amount":"+0.7422879338264465","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":"Q386029$A4E43894-3718-4626-85E2-5D88B9A830BE","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":"12ff97a31d4fca9600c4446d730c103beab9a55d","datavalue":{"value":{"amount":"+0.7221758961677551","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":"Q386029$32CA8A25-8D69-4043-9DC8-477C3B957486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b4ead23705bdfaaa4e0ce9dc579ae5855403ce7","datavalue":{"value":{"entity-type":"item","numeric-id":2817293,"id":"Q2817293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e6aa6051123a7a0527fd247ba6527ae29d9427e","datavalue":{"value":{"amount":"+0.7169628143310547","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":"Q386029$A1C2B356-D349-438A-83E6-0EE717C65221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c93448345afc93b565b16c5bc9cee15c13faf99","datavalue":{"value":{"entity-type":"item","numeric-id":667523,"id":"Q667523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e94d1bf9126e5039599b45b034c522daf4bcfc35","datavalue":{"value":{"amount":"+0.7149789333343506","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":"Q386029$82BB7A5E-D88A-4F77-B830-4B217C2982B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An approach for lifetime reliability analysis using theorem proving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_approach_for_lifetime_reliability_analysis_using_theorem_proving"}}}}}