{"entities":{"Q1570838":{"pageid":1581578,"ns":120,"title":"Item:Q1570838","lastrevid":72217644,"modified":"2026-04-14T03:24:10Z","type":"item","id":"Q1570838","labels":{"en":{"language":"en","value":"Optimal ordered binary decision diagrams for read-once formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1474738"}},"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":"Q1570838$1BF588FF-E526-4EF1-83D6-5672A56284EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e5c4c2702c6096315e9a0afc59c31b804ff92ac","datavalue":{"value":{"text":"Optimal ordered binary decision diagrams for read-once formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1570838$7290652D-602F-4F5C-884D-DB749363DE7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbbc924507f2b71afe6c67c42febe09d61d37082","datavalue":{"value":"0983.94062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570838$52042894-50DE-4045-85A7-04E54074B75A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"729a55148cc4ab49a21ecf80d84c834326d77244","datavalue":{"value":"10.1016/S0166-218X(99)00210-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570838$5A68A7F8-9FC8-4AFF-9D1B-94753AEF1D99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3c2a06ab8d1a3dc39a91ba24821db39c7fefb0b","datavalue":{"value":{"entity-type":"item","numeric-id":234347,"id":"Q234347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570838$28D2ADD8-1A5F-4010-B9E0-1DC5EDFF5E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00b3e57da97cbc00a7ce7385e258f05ae9a6ec6b","datavalue":{"value":{"entity-type":"item","numeric-id":171935,"id":"Q171935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570838$AB56B31E-FD4B-446C-9D2C-1092746920A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33dbe9b670c4f12b90eb9eee6d7dd4b488f476aa","datavalue":{"value":{"entity-type":"item","numeric-id":672253,"id":"Q672253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570838$30DC6D46-6925-4070-B26F-5A03D146C1FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570838$B3570A43-DAF8-403B-916F-529EED56D4B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdb5a504359c0d924879fd97edc82d8bdc42beac","datavalue":{"value":{"time":"+2002-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1570838$9D1ADFDD-ABA3-4811-A77B-1437245F9918","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570838$F2EF03D4-9B6F-43A8-AF4B-CC43AB34E94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570838$A144FEC4-7B3B-4C4A-94D2-DF094E20000C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b7eae4b7ea61d8c909437de656831fb497f67b9","datavalue":{"value":"1474738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570838$7E992269-8401-42FA-85A1-59D063E17D0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7548428d15fa3ebd0c09a30299ff80b7c7017e35","datavalue":{"value":"ordered binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570838$035223F5-40F3-4E53-AFE4-F8BF3086C099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5a830579b475e59eaac799be7398a9142f423b","datavalue":{"value":"Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570838$B8F25FE9-E699-4D8D-8B3F-DDEC9F4770EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e859745c0d6b80bef059c87fde4f8885d0797d6f","datavalue":{"value":"read-once formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570838$B502AE10-9491-4537-BDFC-38CC0F55E4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2b8e3d029a998053b886b4313ffd2e45ebc5311","datavalue":{"value":"optimal variable orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570838$F5DA73C0-0BE7-4A30-9F70-E471AE9D10BA","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":"Q1570838$C1D1639E-59D8-454A-94E7-D24429E299B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e22855dab7df92356ea7d0cf7638b1a7e3a9c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4033838,"id":"Q4033838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570838$DB1740C2-1B12-4D7F-8FF6-5EDE16C8EA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d8532e245e1b6b904dff800eca1e56e7a861724","datavalue":{"value":{"entity-type":"item","numeric-id":4420841,"id":"Q4420841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570838$6CE8A062-1D04-4CA0-A8BC-6549E2F30308","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":"Q1570838$5AF87A95-3133-41EC-96F1-CAA015F293A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22a67f5dcdcf9042aaaf3d133ea2d18cb10529d","datavalue":{"value":{"entity-type":"item","numeric-id":1894458,"id":"Q1894458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570838$730FE2AB-814C-4B1C-B5C6-01B0011F3C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd78fd7539746ce39fface229dfdce943e7717ba","datavalue":{"value":{"entity-type":"item","numeric-id":4320535,"id":"Q4320535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570838$DD7F72A6-9FEF-4F5A-907F-40B22B8E9189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81a90c50bc4abb86a619212a102f7fadd95b29b2","datavalue":{"value":{"entity-type":"item","numeric-id":1208407,"id":"Q1208407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570838$CAF36AB5-0409-4555-9D44-4EE6AC70FDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e71cc6aa4f26e84d5067311c35aaa9955e645252","datavalue":{"value":{"entity-type":"item","numeric-id":4301239,"id":"Q4301239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570838$A55BE164-1467-4790-9824-91B19561EFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbafdc9c8cf34b0bc59214e39ac4d6007488759","datavalue":{"value":{"entity-type":"item","numeric-id":1909973,"id":"Q1909973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570838$B4D093F2-F696-4E37-8EB2-3C0F639EFBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34101ed4e8ce2c8bca9fc7197b2b3a43ba98e34d","datavalue":{"value":{"entity-type":"item","numeric-id":1854498,"id":"Q1854498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570838$81602DD8-FEE1-4B90-9748-2E1C79A372B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6920b71d99cd616ba0f011d50e64e40d8f0856","datavalue":{"value":{"entity-type":"item","numeric-id":4946959,"id":"Q4946959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570838$2BD37FE2-D2EE-4E79-BE15-74AF00730D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051e31d318f0376e85053fe968abb8358e938b5f","datavalue":{"value":{"entity-type":"item","numeric-id":3722429,"id":"Q3722429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570838$20CBDBB3-B183-4C6E-B87C-50ED1E39123D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c571eba27617c0ec107637183b8cde729958a703","datavalue":{"value":{"entity-type":"item","numeric-id":5375298,"id":"Q5375298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570838$22D697CB-A681-4FD2-95E0-E5F943D584C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee9bdbd9786926088840fd488fe60b509eb451c","datavalue":{"value":{"entity-type":"item","numeric-id":4485697,"id":"Q4485697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570838$C4756EE0-8FD7-45B8-8736-91AE32C30B64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d46b054fdbeda16c687b84166062540e53e9631c","datavalue":{"value":"https://doi.org/10.1016/s0166-218x(99)00210-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1570838$F715652E-96A6-459D-8ABF-EB3CB6A9C962","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"baf558195955a5577c6276ad79e291a29bb40e1c","datavalue":{"value":"W2071403142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570838$9EA6B833-ECFC-4AB8-A64E-D94E5954FD57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"739b66e23da840c3b1e8f4397e7ec6d13025cbb8","datavalue":{"value":{"entity-type":"item","numeric-id":5096910,"id":"Q5096910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5129150c8c0cb6004dccad5a529b0ef8659f1bdc","datavalue":{"value":{"amount":"+0.8889043927192688","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":"Q1570838$4C71ECDF-D2E2-401A-ADD4-1CBDBB881B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f8442511968101c0b715ad107915e98a3f357a6","datavalue":{"value":{"entity-type":"item","numeric-id":503467,"id":"Q503467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fab2202f2ebed5b7553571bac667a5d892bb0439","datavalue":{"value":{"amount":"+0.8658602833747864","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":"Q1570838$FE8FD50B-BDE4-4DDB-875E-8B332D64C070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"480c9b8fce0be595de666ef3297937e07fc74627","datavalue":{"value":{"entity-type":"item","numeric-id":4218141,"id":"Q4218141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5225d90347596586b8c95697ef992e16fceeecb0","datavalue":{"value":{"amount":"+0.8658230900764465","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":"Q1570838$4371F2A1-53E6-4598-8CE5-893CE61C61A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"368c5656b3170ac18fccb8cadfc0a65f2b4fda4d","datavalue":{"value":{"entity-type":"item","numeric-id":4420841,"id":"Q4420841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5225d90347596586b8c95697ef992e16fceeecb0","datavalue":{"value":{"amount":"+0.8658230900764465","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":"Q1570838$AF9F9E80-173F-4868-B361-877EC5CD106C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4790a1492f6e007c2ab89259245f47db30064e7f","datavalue":{"value":{"entity-type":"item","numeric-id":4419798,"id":"Q4419798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c784e5f5893c73ac3ec898512710bb6a4cc6e8f","datavalue":{"value":{"amount":"+0.8652489185333252","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":"Q1570838$C8FF5FD8-C82C-4E15-842D-E94912A2F79C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Optimal ordered binary decision diagrams for read-once formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Optimal_ordered_binary_decision_diagrams_for_read-once_formulas"}}}}}