{"entities":{"Q2946031":{"pageid":2956751,"ns":120,"title":"Item:Q2946031","lastrevid":79644467,"modified":"2026-05-06T14:23:41Z","type":"item","id":"Q2946031","labels":{"en":{"language":"en","value":"No small nondeterministic read-once branching programs for CNFs of bounded treewidth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6482368"}},"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":"Q2946031$7BDFDF7A-9509-4351-A7B0-93FA63D7B45D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec71c1931e9f0731730e6e9d3a26623feeae8308","datavalue":{"value":{"text":"No Small Nondeterministic Read-Once Branching Programs for CNFs of Bounded Treewidth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946031$825FE5A5-E645-4CB6-86BC-12C5D5CDE15E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"337f46303c19eb1d4a04fd35b90a8939b9f6dde4","datavalue":{"value":"1341.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946031$AFED759A-6F66-43ED-9FBA-A43782636F0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc774603d4cc4e8d59eb03d06a089e04182a9555","datavalue":{"value":"10.1007/978-3-319-13524-3_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946031$9E806E33-D575-4521-8E69-394C06023C04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4baf1246ca3bd7d8e2e3b31627e33d8d26846674","datavalue":{"value":{"entity-type":"item","numeric-id":309787,"id":"Q309787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946031$84ACAF6E-09D5-48C6-8288-983B7D574623","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0c7444d43d742ff192f7c630ea625c103bfe4587","datavalue":{"value":{"entity-type":"item","numeric-id":2867067,"id":"Q2867067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946031$C36DBFA3-4547-4BC5-9262-D2A99D934E54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e1f4c45c20efe387142809b033c238de6f0855d","datavalue":{"value":{"time":"+2015-09-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":"Q2946031$A0AA603C-0B19-4675-8B8E-1C54B8120652","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27580863c7d70db65a35bad2bf5e13ad93fbcefe","datavalue":{"value":"https://arxiv.org/abs/1407.0491","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946031$B5AD2B72-1564-4858-B0E0-6DD6E48D5CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"666104d8f4dd40fc255bc5be3bdd7b81bb95e086","datavalue":{"value":"https://eprints.bbk.ac.uk/id/eprint/15410/1/15410.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946031$8AC1D5B9-3159-47A8-AA2A-FB6347E47315","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946031$9EBD497A-C657-4ABE-901E-8BFBF569A123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946031$B80DDCF4-B50C-4DE4-A66D-FB76049B69C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946031$5A0B9D18-D133-4DAE-8640-CB6E3DD7F65A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e31144810d77efe6ca6f2f803a5a39dbd913b6d7","datavalue":{"value":"6482368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946031$D9CBF485-484B-497D-A933-614421C6E01D","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":"Q2946031$48A3E210-8861-4ABB-ACBF-81BDC058FEB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2664fab928043f63559575161e8885597af6e0b","datavalue":{"value":"W1933346394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946031$7EB0F3C8-9522-4EAE-81A1-F6CE28683D36","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f4150d4584eafb8457c578c72e61f86894bc805","datavalue":{"value":{"entity-type":"item","numeric-id":2366719,"id":"Q2366719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946031$669921F9-A05B-41BA-B6B9-3B94F6D58000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"971ba83d7d765f79fbaf732cdd687bed4bd634fb","datavalue":{"value":{"entity-type":"item","numeric-id":5387860,"id":"Q5387860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946031$F8264F01-A492-4284-9E6C-89F958AFDD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e42c9128d887844233caee1df2a5e2ba33f6baa","datavalue":{"value":{"entity-type":"item","numeric-id":642463,"id":"Q642463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946031$41C57C51-E5BA-4247-9758-C1C9C7588689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cca51ed53316b4ad3082264c436bf6f35c32278","datavalue":{"value":{"entity-type":"item","numeric-id":4527043,"id":"Q4527043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946031$182EA271-F859-4CC4-A6A3-A4210369F783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2a27ac1359142dc877e852fc55fbeb35704441f","datavalue":{"value":{"entity-type":"item","numeric-id":2946031,"id":"Q2946031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946031$E8C3D381-3363-44CC-BD99-39E1895E99F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73e244f358b2e7951a14c546829e3f1de5cf9fd6","datavalue":{"value":{"entity-type":"item","numeric-id":309788,"id":"Q309788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"095727d4252bf2c0c4f7c103f4606e8254e1ebca","datavalue":{"value":{"amount":"+0.9254441261291504","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":"Q2946031$3406B114-23BA-459C-8418-5264CF51CCC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662b30c4e59af9bfeb7ddee6bf00ff1da631867a","datavalue":{"value":{"entity-type":"item","numeric-id":2408558,"id":"Q2408558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f9a1df55b21c2ea7997dd4ffc6b420717268f85","datavalue":{"value":{"amount":"+0.8326804041862488","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":"Q2946031$CEABF5F9-18D7-4288-AD7A-9F73ECDAF35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0446609fbf51d84f72179960efae06213341b5d1","datavalue":{"value":{"entity-type":"item","numeric-id":2330557,"id":"Q2330557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57107314d6b27b8a6dfd8b14c64fb424e8fb5026","datavalue":{"value":{"amount":"+0.8182517290115356","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":"Q2946031$D4DD4712-5172-45C4-93B6-541CFC180400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"512c7d73521495f6c28f8bb23ab51ac0e7cb0c30","datavalue":{"value":{"entity-type":"item","numeric-id":2043884,"id":"Q2043884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"279827b0239d6c26c06760a2dcce446acddc847a","datavalue":{"value":{"amount":"+0.8110438585281372","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":"Q2946031$59B75AD0-0E18-4582-8997-D1E0C5468ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c320b32069ad98310ee86500981e957c9c69682","datavalue":{"value":{"entity-type":"item","numeric-id":5111240,"id":"Q5111240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5949ca6ac523ed466eae4a30e9832be94b0899b1","datavalue":{"value":{"amount":"+0.7724713683128357","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":"Q2946031$3650D7BA-E40D-4D30-887E-45D7AEF72028","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"No small nondeterministic read-once branching programs for CNFs of bounded treewidth","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/No_small_nondeterministic_read-once_branching_programs_for_CNFs_of_bounded_treewidth"}}}}}