{"entities":{"Q4928478":{"pageid":6958060,"ns":120,"title":"Item:Q4928478","lastrevid":51744830,"modified":"2026-01-19T19:38:30Z","type":"item","id":"Q4928478","labels":{"en":{"language":"en","value":"Exponential lower bounds for refuting random formulas using ordered binary decision diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6176247"}},"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":"Q4928478$9047EC41-255D-4534-8ED2-F24780FA02BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ec1fe1cffdaf3c2a515f1a3ff7cdf19342ed934","datavalue":{"value":{"text":"Exponential Lower Bounds for Refuting Random Formulas Using Ordered Binary Decision Diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4928478$1F027406-40A6-4CCB-9070-4F5D5B836522","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e4a668c12bbf9e5e58cee05135b35f2ecfe0c2f","datavalue":{"value":"1382.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928478$25FDD938-41D9-4C72-89E0-C9D0F23C1794","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c728231ec8b018c7705051f1bbaaef05ff8c279","datavalue":{"value":"10.1007/978-3-642-38536-0_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928478$F147BED7-6789-4FB6-9FB1-DA505FB151F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45ad482e09347b08164ded2bcf6573bf936298a7","datavalue":{"value":{"entity-type":"item","numeric-id":1951573,"id":"Q1951573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928478$BA5161F1-5C95-47E6-9C51-D6500D25CB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53d0e798b402b34ad59e294e3a3f45d712523350","datavalue":{"value":{"entity-type":"item","numeric-id":2279393,"id":"Q2279393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928478$4E7430C5-15C0-4589-B0B2-7585E3C9C30F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"41df48044034ceb6ef08b66017467a62c3d265aa","datavalue":{"value":{"entity-type":"item","numeric-id":2907481,"id":"Q2907481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928478$20BBF73F-A11A-4F55-89FC-AF957BB7B23A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4928478$D737FAF3-C354-486F-929D-EBE18C7A1B58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928478$7E1B749F-4619-4733-B8DE-8EB750644480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928478$7162338D-AA31-4584-B18E-7A8B2D7697D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcd2ba10738b5e457bc3ad92e3793d3273241b57","datavalue":{"value":"6176247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928478$BC8F9A63-C4B2-46DE-BB17-978CCD922196","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":"Q4928478$EE1ACE71-C6F2-480C-B42F-96868471A6DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"751c92a45bb785d10a6c71d6bef5713ecbcd1c95","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38536-0_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q4928478$FC796425-F641-4056-9CE9-AB9812781A11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c1b5ebfd8d4001146d41c86b981669c67cc3afc","datavalue":{"value":"W131902392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928478$AA5D8CA7-E181-4BE8-AE65-FA4FC822BDDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8480a23801b3bf7d1a9a627a353b0881ec4a867","datavalue":{"value":{"entity-type":"item","numeric-id":5387310,"id":"Q5387310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b2c5b1cc98b3e76cee04015b86a36436da800a9","datavalue":{"value":{"amount":"+0.8881297707557678","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":"Q4928478$85FDEED2-863E-4D50-BFD5-243E31699972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c50b715c23ea0b1141b9edcc72913cca92cba22","datavalue":{"value":{"entity-type":"item","numeric-id":4487092,"id":"Q4487092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"295ce11beff1873c40a13b032363f1c56c3bfff7","datavalue":{"value":{"amount":"+0.8746998310089111","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":"Q4928478$0EC35450-0E8F-4D94-9D48-28433D4109B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a031041be2d3201c96b1788bde5872167c8453b","datavalue":{"value":{"entity-type":"item","numeric-id":5056355,"id":"Q5056355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9454bbdeb4c31a3e99f032315340c66d52d9bfb7","datavalue":{"value":{"amount":"+0.8634728193283081","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":"Q4928478$125CC4AC-C906-42AF-A2F2-E1C265D4501B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6e7036203ff91a735f5ded6de1fedc2f4aaee29","datavalue":{"value":{"entity-type":"item","numeric-id":3006476,"id":"Q3006476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f75cbdf77cae9682dccaedbdfabced8f99ea55b1","datavalue":{"value":{"amount":"+0.8569284081459045","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":"Q4928478$9A1DECF4-2D11-475B-8AD9-8A810251C07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"391c1c693c44ddcc7bd2a422a8e7a3438960a5db","datavalue":{"value":{"entity-type":"item","numeric-id":4636642,"id":"Q4636642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"188424c64f8a11358bf237f409ac845e98c29b9a","datavalue":{"value":{"amount":"+0.8471213579177856","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":"Q4928478$606A8A68-221C-4F51-9030-7752EEC37E28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4928478","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4928478"}}}}}