{"entities":{"Q334147":{"pageid":335914,"ns":120,"title":"Item:Q334147","lastrevid":61081575,"modified":"2026-04-10T21:03:29Z","type":"item","id":"Q334147","labels":{"en":{"language":"en","value":"Formalization of reliability block diagrams in higher-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6645880"}},"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":"Q334147$D824448A-706E-44A9-9363-584E284FAC3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5cbc34b20cc69ecde6147254ec74e23e7b023c91","datavalue":{"value":{"text":"Formalization of reliability block diagrams in higher-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q334147$6D21E1A6-B844-42A2-A163-1AB21EE4DD5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afdd201261f26540125be7ededae2ccad22813e7","datavalue":{"value":"1436.68390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334147$CE821AA4-EC11-469E-8A55-BF2197299C91","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":"Q334147$73E3E9DC-EDBD-41FB-8FA4-F878C52ECAD8","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":"Q334147$ED9B6113-6997-4444-B96E-4D2D821FAB65","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":"Q334147$8C5B1293-2B55-47D6-8E68-0213A3CBB10A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334147$00E4BDF8-AA6C-471A-9A13-C4BF4F487127","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cee2a0aa89d5d5272c4ec784db125129fdfc9efe","datavalue":{"value":{"time":"+2016-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q334147$8F012AB4-D933-4211-BCB2-2C1AFDED632E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334147$C6BCA531-F494-404E-9B23-986CF15BEC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334147$7A74CE03-6401-4374-B723-D5B021701897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334147$715DD5B8-79A4-4FEB-BDE0-5397F7A4AB18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b589f2819e1a13a043112ac4e8c18f8879d8261","datavalue":{"value":"6645880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334147$27529353-293D-40B5-8A42-337704FFBA75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a82f1ee6a82534fd721c2f647c3c2bc39bc7fe3","datavalue":{"value":"reliability block diagrams (RBDs)","type":"string"},"datatype":"string"},"type":"statement","id":"Q334147$35B7D3A6-0999-48D0-9BAD-A20371621E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q334147$3E7DAE76-3BB7-473E-99A6-7DDA693F00F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4d7ef2a1474c7a8bf3865cb84b00ed5b658d23","datavalue":{"value":"probability theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q334147$C4F943CC-BB51-4C44-ADFE-68320F3DE717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23ec5f0ca43af014eb1c41f7d8fa9299bef121d1","datavalue":{"value":"virtualization configuration","type":"string"},"datatype":"string"},"type":"statement","id":"Q334147$B339C55A-EC7A-4964-9EEF-C26A9ED4E6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ba6ad36527ae708bf24c9dcbbb2cf0e9a9263ec","datavalue":{"value":"virtual data centers","type":"string"},"datatype":"string"},"type":"statement","id":"Q334147$D4DEFB11-3E6A-462C-8403-F9696E41439B","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":"Q334147$D943D703-795D-42D0-9A6D-4B489CC5FCE8","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":"Q334147$44354ED0-7F42-4276-81E9-178B0DF49489","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":"Q334147$064265A4-238F-4044-BB5C-6FA1336DAD90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da667a20cd3081851c01b780f29c220b82935122","datavalue":{"value":"https://doi.org/10.1016/j.jal.2016.05.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q334147$E18D0F46-F88E-4F25-B912-59D1B9E819C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32fd327a3ff6a22b32922d3d637fe9bea49e8643","datavalue":{"value":"W2432950841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334147$8CB1A9EF-6859-46EB-B5C6-2B0B73D980B8","rank":"normal"}],"P223":[{"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":"Q334147$6A0C9982-42BB-488F-827A-39DA07DBBD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc710622144f6bf44a02106cb6de56a2b76bbbc","datavalue":{"value":{"entity-type":"item","numeric-id":4866641,"id":"Q4866641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334147$FA54AE75-08D5-48C8-8E11-5DC9C7A7DCB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1be11546637b463456ebcd2648ab10de0d55ca","datavalue":{"value":{"entity-type":"item","numeric-id":3586992,"id":"Q3586992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334147$11ADBAD8-3DE6-4591-86AB-6B66068ED0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334147$6385E05B-307A-4138-87D9-F7435CDC3DF1","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":"Q334147$27A43BFE-13AE-4C0C-BC39-77D3B0267391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334147$650C1BEB-BB92-4DB8-977B-59BD49896F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f4334b25d43b9293350a877e2d317280ca55a9","datavalue":{"value":{"entity-type":"item","numeric-id":3543646,"id":"Q3543646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334147$DCB14936-EF11-4ED1-8D2B-4800A2819AFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6ffda1acadac9c3f4b5edc513830c216eb3e36a","datavalue":{"value":"10.1016/J.JAL.2016.05.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334147$6EB69611-5EAA-4490-B80B-BE8732A86B7D","rank":"normal"}],"P1643":[{"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":"8dd920ed82346185cf62af8908a41cac7781511d","datavalue":{"value":{"amount":"+0.795577883720398","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":"Q334147$A7613DEE-AC60-4276-AEC0-178AA2F47C39","rank":"normal"},{"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":"88737614ca357c3e461dcc9afd4fc8f445591a17","datavalue":{"value":{"amount":"+0.7933740019798279","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":"Q334147$A002068F-4F2D-4926-88C5-11B04EE7671D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cb26958f5c0e10405af351819310bc700704afb","datavalue":{"value":{"entity-type":"item","numeric-id":2128793,"id":"Q2128793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"170fcc68d1ff487ebc6b4569cdf76eeb419975f3","datavalue":{"value":{"amount":"+0.7779350876808167","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":"Q334147$E5D7AA65-7A0A-4117-BBEC-0C432F12B50C","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":"0848d8f219227eae153a5d0414446fc54f2daa11","datavalue":{"value":{"amount":"+0.7574612498283386","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":"Q334147$857E34A0-8D8D-4753-8192-84680D3D3651","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":"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":"Q334147$188BDAA6-0377-4A70-A74C-5E5AFAC6CB38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalization of reliability block diagrams in higher-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalization_of_reliability_block_diagrams_in_higher-order_logic"}}}}}