{"entities":{"Q3339645":{"pageid":3350353,"ns":120,"title":"Item:Q3339645","lastrevid":48743416,"modified":"2026-01-05T18:32:11Z","type":"item","id":"Q3339645","labels":{"en":{"language":"en","value":"How to Hand-Check a Symbolic Reliability Expression"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3873047"}},"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":"Q3339645$8FBB44C3-E0E6-427F-A2F6-72AA826BF9F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f9f0a4cf24f03d98edba0b64c48265e8bee6f1e","datavalue":{"value":{"text":"How to Hand-Check a Symbolic Reliability Expression","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3339645$9AA72CBD-A886-4F25-B616-A69F70F0FAF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70ec0850f2c18b83a257792751e5b6f1474eaa7d","datavalue":{"value":"0547.90037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3339645$62A427A9-D225-4B18-85EE-36DEDF9413BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc88ccfa69f55a713af8e7fa577ffe2b61632248","datavalue":{"value":"10.1109/TR.1983.5221710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3339645$118EB750-B64C-4CDA-A35C-865AA412EE89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d66e1dee2fdbcaf4df07239a067b4d234d98ce93","datavalue":{"value":{"entity-type":"item","numeric-id":507643,"id":"Q507643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3339645$803BE3AE-83BC-4BF0-85AB-FDCDE0E2A6B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb524409e4581763231eae83c024109df0b69451","datavalue":{"value":{"entity-type":"item","numeric-id":3026098,"id":"Q3026098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3339645$0FD73269-A682-468F-A5D7-FEB87369A3B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3339645$0B67B1FC-0C48-4EC7-BBE2-99EF5E0285DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6cb186f7c907ca60893d849df7e69a98dd343f1b","datavalue":{"value":"90B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3339645$225F0803-5C33-4A7F-B2B6-DF5FE0FAE9F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0390cf20d5573a28950b60067f983d1226ced823","datavalue":{"value":"3873047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3339645$D771F22D-385A-476A-996F-3E39119A1642","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"babeed5c11593deeaa86a0197c5a401d179bf3d4","datavalue":{"value":"hand-check","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339645$C716C5A4-E5CD-45CD-8000-5BD3FE90639A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"893d8d62fa555375af843d5e20236c6caf1bda5f","datavalue":{"value":"exhaustive test","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339645$434A5F4D-432B-4190-AFE1-3BCA01CF4DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2683ec6555a88ed3e22852d5c081a8d05f8fdf1a","datavalue":{"value":"success state","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339645$D5413DB1-7C92-4B17-BFE6-16F1F2E0EF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e9a3d4c0ec267742d4eea675c2ea202ea08afe","datavalue":{"value":"failure state","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339645$071BFD04-AF72-41A1-A9FE-EE07DFAE2757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daa5a720b9303b661dc79e2ba472f49f3f1baadc","datavalue":{"value":"prime implicant","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339645$67D95F92-0E77-473B-8B9D-54ACD7A3A684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"868e9f7a2e0c4d71bdd702ef9b44a407717c580d","datavalue":{"value":"Bayes decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339645$5585D53E-9172-48A2-BF41-3660AB4A4DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d79ad38f648688aca7124721ab7aa00da4d2782","datavalue":{"value":"symbolic reliability expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339645$9CC3CA7D-C532-4670-8ACE-7D28FBF3628C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca4d9c76121f32278d193d1fbafd768aad7734be","datavalue":{"value":"debugging computer programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339645$CE3D4044-BFF1-437A-B2BF-ABAE48150746","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":"Q3339645$115314F0-4AEA-41EB-9BA5-7AFCCACC69C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"117e21abdda0264d2f35d3639310f5029bc0cb13","datavalue":{"value":"https://doi.org/10.1109/tr.1983.5221710","type":"string"},"datatype":"url"},"type":"statement","id":"Q3339645$44790AD5-E272-4BFE-AE61-1A3F645CCBA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f26b62c9145e11a972548704dd9f237499e9c860","datavalue":{"value":"W2048357970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3339645$B58468E1-FA01-460D-879C-B5B709BACE7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f7c6e32fa14c25d56172d61233d216200c88c46","datavalue":{"value":{"entity-type":"item","numeric-id":5187053,"id":"Q5187053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72a0299b02d87c4099418b854d79ce795fee6eb0","datavalue":{"value":{"amount":"+0.7489107847213745","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":"Q3339645$3BF985E6-B8A5-4553-A2F0-8D928849321E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607758732af358626b0eee9134a8e20d710e45c1","datavalue":{"value":{"entity-type":"item","numeric-id":3471835,"id":"Q3471835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15c27e182b5a1d17dfb17b4dc365f4725366381c","datavalue":{"value":{"amount":"+0.7458949685096741","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":"Q3339645$822C3E3A-FAFB-4342-9909-9F54CF3CDCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"292b1e0255b2b04510fdde7ae4b90c16a53f3ab1","datavalue":{"value":{"entity-type":"item","numeric-id":3754418,"id":"Q3754418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b8762a67c74147d163215968142d3c58e14fd0a","datavalue":{"value":{"amount":"+0.7412824630737305","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":"Q3339645$0F96C4E2-2917-446F-88E3-D1F8D8D56176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a02688d1ff88545b1dcafe6794346eddd03eb279","datavalue":{"value":{"entity-type":"item","numeric-id":3738895,"id":"Q3738895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98fcaa5d139b470ac6ac03ab927363c9cd52653e","datavalue":{"value":{"amount":"+0.6958297491073608","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":"Q3339645$B4426CCA-AB4C-41C4-ACEF-B811E4AF0C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b962999f9cb360f2da333fd0e579f620289bf7b","datavalue":{"value":{"entity-type":"item","numeric-id":1018966,"id":"Q1018966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50a41773838d02bcab136c6f67e053878231213b","datavalue":{"value":{"amount":"+0.687368631362915","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":"Q3339645$8CB9F18B-186F-49FC-B9BD-789584D47F6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3339645","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3339645"}}}}}