{"entities":{"Q1767902":{"pageid":1778644,"ns":120,"title":"Item:Q1767902","lastrevid":74150769,"modified":"2026-04-14T18:36:50Z","type":"item","id":"Q1767902","labels":{"en":{"language":"en","value":"Computation of signal output probability for Boolean functions represented by OBDD"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2142432"}},"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":"Q1767902$5B826C38-528C-4FC3-B12C-9151E6202D2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c9f53a0735d7be11c49cc9aac2e71519e848b0d","datavalue":{"value":{"text":"Computation of signal output probability for Boolean functions represented by OBDD","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1767902$F1052915-C298-4AF0-9DB7-25E051ACB5BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c3c11bf442958b6f9d64b57f77223b52303cb32","datavalue":{"value":"1061.94555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1767902$45876381-4FF8-4904-815E-EC56CB71EE66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03a1af9b4084a2e9aa277de499ef399aef8aace0","datavalue":{"value":{"entity-type":"item","numeric-id":1040942,"id":"Q1040942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1767902$004FE321-6BEE-4C55-BC7A-F432BFB0B044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14836b3fd30966a3f06f3c46f6dfe7bf91dd9029","datavalue":{"value":{"entity-type":"item","numeric-id":646092,"id":"Q646092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1767902$2F705D28-63FD-408E-9E6D-DF3C9C6E2568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07abc0868bbf3c0352f8089c12b27e770f5814c5","datavalue":{"value":{"entity-type":"item","numeric-id":364476,"id":"Q364476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1767902$97FB4EF4-8FBD-4F01-91F8-C2AF5015E618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1106147699632bb95c1923635ff35119474fb757","datavalue":{"value":{"entity-type":"item","numeric-id":1129219,"id":"Q1129219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1767902$5C6EB7E2-B0E0-43D3-8689-E86DE2DA1B21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd47d06c0da02a3275cef5e1a053a13d04438c27","datavalue":{"value":{"time":"+2005-03-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1767902$98F580C7-3893-4B02-BDF8-E399AE53F41E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1767902$7CA54A53-DAD5-4BAD-959F-490074B066AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4db3fc3244f368e49336c7e23443d11b7d69297d","datavalue":{"value":"94A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1767902$3A43AECD-6248-4CCB-8F2E-8F855462CD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1767902$6DF5B833-95F8-47B3-8F75-A5364E4D67AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bfc345a7dd52da7c392649f0e88d82163b96f46","datavalue":{"value":"2142432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1767902$DDEB7805-E69E-487A-971F-0A2DDAC99D88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"312a2965a28d2bc44fe4d2ad10b81aa5bdd5a8c1","datavalue":{"value":"Boolean","type":"string"},"datatype":"string"},"type":"statement","id":"Q1767902$D8CA940E-E0E5-4DFE-89E1-40FE46882542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57a4b1615e32e8604d3c4a9da0728e8d509686a","datavalue":{"value":"Integer arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1767902$ECAB6E8F-9061-401A-98CD-F869159E75ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"019fe5dbaa04d87aa1941be9ff79847ba89eafc8","datavalue":{"value":"OBDD","type":"string"},"datatype":"string"},"type":"statement","id":"Q1767902$70CE36A7-BC96-4296-BCBC-6C668CE90678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c53ccd0cc5bcf91fd6eb1ec82d220801fafca91","datavalue":{"value":"Output probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1767902$DF1701AD-5DA5-453C-AE7E-1CE0B3224041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6473e8b200cf6dbb54eccfcd814faf9dbc0df721","datavalue":{"value":"ordered binary decision diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q1767902$0AF37E77-31A0-409E-A382-70839065E295","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":"Q1767902$F5D1EC74-3D7F-4BC2-9926-4CFC814FFAF9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d2ba7e749d6c0780eeef4d9dfc8e73b3a108364","datavalue":{"value":"https://doi.org/10.1016/j.camwa.2003.08.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q1767902$2541708B-8748-4027-ADCB-83A809430B6C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e0e4350144f38edc4cae980a180257faa9d545a","datavalue":{"value":"W2084213867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1767902$0F0A15D4-5C67-4BE4-AB0B-A6C4DB538725","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d21912b8a9776b80add908c72f6893de33f6b351","datavalue":{"value":{"entity-type":"item","numeric-id":4332017,"id":"Q4332017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1767902$27E3BD14-A3A4-4F9D-929A-CAB900CBBDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a808de03c76b2baf734cc4e75aa01d23520ce6","datavalue":{"value":{"entity-type":"item","numeric-id":4071171,"id":"Q4071171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1767902$3F628CAC-7222-457C-8A4C-833F53885B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0144faf3da4de6d410c51d8371e21d8e32667277","datavalue":{"value":{"entity-type":"item","numeric-id":4156322,"id":"Q4156322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1767902$98065BDF-DE9C-4E55-8EAA-8FEFCBDB816C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1767902$7CA5B49E-BBC7-44A6-88C9-938CECA83ED8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b73de78d0a80f2109812ff66b6b63f77d6b51e1","datavalue":{"value":"10.1016/J.CAMWA.2003.08.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1767902$C2C0AFC3-902B-4338-AF2E-55C16254AE65","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"293935db3834ff8b5d542ae1771b7c6cb66baa38","datavalue":{"value":{"entity-type":"item","numeric-id":85551,"id":"Q85551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1767902$188E417E-6E51-44BF-A1AF-C3AC369DB7D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29481a7cadcc8c753612932ad360f8be3403f9d0","datavalue":{"value":{"entity-type":"item","numeric-id":5311101,"id":"Q5311101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b8544168ce0ef9667126adfba22c1ce6b8170f6","datavalue":{"value":{"amount":"+0.763008713722229","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":"Q1767902$FAB829D2-C5B0-4D90-AFF6-E0448BF634BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85051722761fbec9019a04dca4a47a2658cbe695","datavalue":{"value":{"entity-type":"item","numeric-id":4412138,"id":"Q4412138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07ba2d2967ea3dbf4b151cec08fe67fef85d6ac9","datavalue":{"value":{"amount":"+0.7603750228881836","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":"Q1767902$875A6141-A1AA-458F-B3EE-45CF47893A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83e97a391d69930f0e0378e1cb55221ca2cdda10","datavalue":{"value":{"entity-type":"item","numeric-id":5932979,"id":"Q5932979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"551915c91504c58582878363e7917f4d1a3524e5","datavalue":{"value":{"amount":"+0.7602899670600891","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":"Q1767902$2C70E0BD-9B5F-496E-BF67-33E4F33DD236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8791d94672f877a62148c4639dbe543e35a753c","datavalue":{"value":{"entity-type":"item","numeric-id":1959388,"id":"Q1959388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"197bb1e69159f79ce4d59b67d374f7b845ee5f25","datavalue":{"value":{"amount":"+0.759177029132843","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":"Q1767902$2E9CC751-4664-47FA-B881-5B7DC200D0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f8ecc2cc5e0606751dfe32ccb7a2556cfb02f98","datavalue":{"value":{"entity-type":"item","numeric-id":685120,"id":"Q685120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a9b08f686778d727392a5de872542c36aad41b2","datavalue":{"value":{"amount":"+0.7584341168403625","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":"Q1767902$410BB71A-6ECD-4093-B359-17B2AF1B9076","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computation of signal output probability for Boolean functions represented by OBDD","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computation_of_signal_output_probability_for_Boolean_functions_represented_by_OBDD"}}}}}