{"entities":{"Q669532":{"pageid":671381,"ns":120,"title":"Item:Q669532","lastrevid":63681285,"modified":"2026-04-11T14:49:29Z","type":"item","id":"Q669532","labels":{"en":{"language":"en","value":"An upper bound of unreliability of non-branching programs in an arbitrary complete finite basis for one-type constant faults at the outputs of computational operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7036839"}},"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":"Q669532$1FAE51CD-E9F1-4C3C-9A12-4A124D7D5F05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df3295626475fbfdb909a120466d9af095038156","datavalue":{"value":{"text":"An upper bound of unreliability of non-branching programs in an arbitrary complete finite basis for one-type constant faults at the outputs of computational operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q669532$CE553221-CA7D-4E67-9C93-B091DB2BD220","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad67ce083e7ae1af36844a6f77f388032ab6101c","datavalue":{"value":"1430.94120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q669532$618B6DF9-EFA4-4DC1-9312-876B8AAAA0A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"121ed71b617ab7a71478499f18dc20a7e91f288e","datavalue":{"value":"10.1134/S199508021809024X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q669532$B30C6AC0-4539-4A9F-A421-E9A1D3ACAD16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78a8d7a9ae3a7cd53a34b572fd07fc5b0af82775","datavalue":{"value":{"entity-type":"item","numeric-id":669531,"id":"Q669531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669532$EE19DBA1-6DEC-4901-8471-7EB6B8451914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25de43768033a07e710546a8a05cee7ef64345fc","datavalue":{"value":{"entity-type":"item","numeric-id":309426,"id":"Q309426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669532$11F0CA9A-BE41-435D-B79A-113FF64AFE85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fdd8bc36a3bd1e23ed77b21c053f051997e685b8","datavalue":{"value":{"entity-type":"item","numeric-id":69786,"id":"Q69786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669532$3159D2DF-0A89-4724-BF2C-FE542F2E7A1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d99a99d302fa341637847c5e280e86ffac68daf0","datavalue":{"value":{"time":"+2019-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q669532$35BF5EDD-F718-4599-8C69-F1011311A601","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q669532$DFF99C10-4B76-4FE8-A79B-833438B76D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d65091154bcdcd55b19c17aadaa169aee2e3523","datavalue":{"value":"94C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q669532$7A1F9FB6-774D-4D79-9994-54C290D49317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q669532$1ABCA16F-FB0B-443D-AB0D-165DB49C924A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff645fa34c99a65b56a2596b794a608a5d725473","datavalue":{"value":"7036839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q669532$B554F8C2-DA78-4D3D-88DA-1F8AA7C209C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcaef8b48097d50a08be2219f6311c65284708bf","datavalue":{"value":"circuit","type":"string"},"datatype":"string"},"type":"statement","id":"Q669532$4076CFA1-54A2-40FE-8CA3-974106C14F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7d72879c41929b98d1245cbc2a1deed5c662fae","datavalue":{"value":"non-branching program with conditional stop operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q669532$6122B042-45F7-4E79-BEDD-6C98878E3227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d18dfc79d2ef044d81b96adab39fd5a77e81e76","datavalue":{"value":"output one-type constant faults","type":"string"},"datatype":"string"},"type":"statement","id":"Q669532$848BC9D5-5167-4F79-8A66-D899EF42D122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827abe88e78df4b8a04e25441f3487e9cb46a267","datavalue":{"value":"unreliability","type":"string"},"datatype":"string"},"type":"statement","id":"Q669532$F37133B5-123F-4729-8F17-4E328383A296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0062bff246f10874c360cb4d691bf5c2195f236c","datavalue":{"value":"Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q669532$B1CEE539-29B9-4BB0-95F4-D30928411841","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":"Q669532$FBCC4597-0073-46CB-83F3-BB90C00793C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"768b926d29a8699d2af8015cfd1c41242b8c41ef","datavalue":{"value":{"entity-type":"item","numeric-id":4345298,"id":"Q4345298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669532$753CD90A-7130-42EF-9FFD-E49BD799940A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d8b43b1e2bdcb7d97592c2463cb06ba7cefa13e","datavalue":{"value":{"entity-type":"item","numeric-id":4242300,"id":"Q4242300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669532$5FDC17F8-3758-4A6D-BAD0-CAAAC952AC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfcdc3f4e616888fed676425e5c31695b47ac49e","datavalue":{"value":{"entity-type":"item","numeric-id":3342368,"id":"Q3342368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669532$0DB36D28-64FC-4704-9552-B8857057F528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f600cf530d5ac11faf40c445390fef4ecedbfc37","datavalue":{"value":{"entity-type":"item","numeric-id":4830983,"id":"Q4830983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669532$D36C2418-BFCD-4C04-A55C-5DD338860DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36c2230941bafc4d50ebddcf54d2cbd493f3c4b9","datavalue":{"value":{"entity-type":"item","numeric-id":1759235,"id":"Q1759235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669532$80762CFA-93AD-437E-8DCC-D240AD921E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"789bdba1c99a0487b01dc799172956756cffd048","datavalue":{"value":{"entity-type":"item","numeric-id":4917406,"id":"Q4917406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669532$442634CB-7C27-4761-B28D-2EA4AD3F7562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d18ce050418ea118f62c2ad5147b4bc989aaf1c","datavalue":{"value":{"entity-type":"item","numeric-id":3197775,"id":"Q3197775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669532$E630D813-68B3-423A-8559-86AE153798F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1ac8331c89c6cb5b77e86c9e0ffd41c3a6c3538","datavalue":{"value":"https://doi.org/10.1134/s199508021809024x","type":"string"},"datatype":"url"},"type":"statement","id":"Q669532$1D752E39-181F-41D5-95C3-1A71128EBAE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6caa543983446dba0f87de9fe309b7b496265def","datavalue":{"value":"W2908970140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q669532$8938421E-A60E-4D57-94AE-082824AFDEB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c23eb38feddbfe9295d2a4e99ab66636496b087","datavalue":{"value":{"entity-type":"item","numeric-id":5264724,"id":"Q5264724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51d4ca66376d2541051426e344f16c067aa5b590","datavalue":{"value":{"amount":"+0.97253155708313","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":"Q669532$9F209B2E-9645-4F4D-A2BA-F6C337E2BBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3543c0adb483c17bacd972773eea741d92b5e872","datavalue":{"value":{"entity-type":"item","numeric-id":1759235,"id":"Q1759235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4b3c38491c4d8b3c32ec98cc579c01aad92a44a","datavalue":{"value":{"amount":"+0.9337949156761168","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":"Q669532$7DB106E7-5371-4B34-9E03-610BDEE31524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3462d3e290098ae789af66fed77146874fac9281","datavalue":{"value":{"entity-type":"item","numeric-id":5151256,"id":"Q5151256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a89300fa46c50f7e13561d22f3782c47b25c5dd","datavalue":{"value":{"amount":"+0.9192943572998048","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":"Q669532$E6A811D8-7D4C-4E8E-9D0B-B1BD52A7C7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbcef5426b47b6b2cbfc7eddbf4460cdafd3b961","datavalue":{"value":{"entity-type":"item","numeric-id":5263759,"id":"Q5263759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2ba11c054c1a97ba2d01a4d88361fd8f567019b","datavalue":{"value":{"amount":"+0.9056373238563538","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":"Q669532$8CB03431-3AA7-460A-A812-F18BB53D14EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c555e90bbae006d1ecfbd58930f1e1707752863c","datavalue":{"value":{"entity-type":"item","numeric-id":1703187,"id":"Q1703187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f82d23bb8b8e0040dfae095dd02d017548fbd2f8","datavalue":{"value":{"amount":"+0.8160843253135681","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":"Q669532$2B7C8F6B-2F8A-4135-AB7E-59994F938BE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An upper bound of unreliability of non-branching programs in an arbitrary complete finite basis for one-type constant faults at the outputs of computational operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_upper_bound_of_unreliability_of_non-branching_programs_in_an_arbitrary_complete_finite_basis_for_one-type_constant_faults_at_the_outputs_of_computational_operators"}}}}}