{"entities":{"Q2954991":{"pageid":2965711,"ns":120,"title":"Item:Q2954991","lastrevid":58068954,"modified":"2026-04-03T16:36:48Z","type":"item","id":"Q2954991","labels":{"en":{"language":"en","value":"Understanding model counting for \\(\\beta\\)-acyclic CNF-formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6677391"}},"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":"Q2954991$D46AC95B-A432-4596-A5F9-FCD4FDBBF4CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8c98b456f1eb39018f38d429d59008272fa13c4","datavalue":{"value":"1355.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2954991$F16CF905-FF3B-4988-884F-45578EFF0B4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afd0b9146c048826e2e80db78aeea5ac72179e1e","datavalue":{"value":{"entity-type":"item","numeric-id":2954990,"id":"Q2954990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2954991$7D94E68C-5483-481C-BA24-8BB0076FEC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fecf80de58f31558ba8f1ceccc24d138affa8e76","datavalue":{"value":{"entity-type":"item","numeric-id":290897,"id":"Q290897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2954991$31034D9E-427A-4139-9958-84A561A02A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39a64a952a06abada0a21aa13e218a56ddab0066","datavalue":{"value":{"entity-type":"item","numeric-id":269341,"id":"Q269341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2954991$F5D3BA53-66AD-4A38-A01A-C49F9DEEA016","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39f74c103b9f673f455dbf7eb78fc5dbb359512b","datavalue":{"value":{"time":"+2017-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2954991$8A4CC81D-46CC-4DC6-B0B9-C538EF43A55B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb6b8bf8235828ffa8b26064285995329e1eeb11","datavalue":{"value":"https://arxiv.org/abs/1405.6043","type":"string"},"datatype":"url"},"type":"statement","id":"Q2954991$18D21350-6F74-4EA6-853A-687DA7391113","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2954991$D8DD43CD-F9D3-4397-BE23-E3E5303C2814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09872c507729d29e1c1613e820db567c4517089","datavalue":{"value":"05C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2954991$321C7CAE-5900-40A1-81B5-FF3A0EACE5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2954991$16515162-2880-4D43-82B1-845CD654B7EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35ed99943c378c6ea463780b57c3016179b2806b","datavalue":{"value":"6677391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2954991$F151A825-9166-46B9-80AB-0873B69CDD6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a29c4a5bfa3313a3ef8963adfeef39f010eff8","datavalue":{"value":"model counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2954991$54FF8AE5-4D4C-45D0-A385-2981EF1ED832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a20156b0f89e7e996ca8a037c116143760a0c5c","datavalue":{"value":"hypergraph acyclicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2954991$34C10D8E-4F5A-4D89-9D38-16CD3ECE6E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496f5f660e42779714b3b511386ec6b782849afb","datavalue":{"value":"structural tractability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2954991$5181A6B1-0946-4F7E-B089-B6C4DD3731F5","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":"Q2954991$2014F52D-1519-4D3E-BE5B-31F213F9FD97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7c06e8aacfea0c3531528776430af11d35f4d9c","datavalue":{"value":"10.4230/LIPICS.STACS.2015.143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2954991$66B080FD-F154-41FA-B96B-59C827F42869","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83e5ad32c89452602be7df297888f481df953327","datavalue":{"value":{"entity-type":"item","numeric-id":3007673,"id":"Q3007673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a9e15f0e70a99238d2250c94f0788b7b8f844bf","datavalue":{"value":{"amount":"+0.85152268409729","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":"Q2954991$72B84434-5A8E-46F1-99EC-C86D836C40FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"964b3feb62831eed51fde8a66b937819739b4f16","datavalue":{"value":{"entity-type":"item","numeric-id":2908839,"id":"Q2908839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b10f42d0fde53996f7447caefd216ecbbcbf3cb0","datavalue":{"value":{"amount":"+0.8447380065917969","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":"Q2954991$F44C51BF-6A4F-4A02-B2BF-04FAD7186586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f26fa14b06349bdf1877ace2d6f593ffb319acc","datavalue":{"value":{"entity-type":"item","numeric-id":385062,"id":"Q385062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26c4ff0a10856ebb8576ace5ab751b38441e98af","datavalue":{"value":{"amount":"+0.8389972448348999","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":"Q2954991$62A3004A-7CE5-42E5-AC51-B380F1F8D3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c0f6860681558f0c96d6c1c1d34084f6923d562","datavalue":{"value":{"entity-type":"item","numeric-id":5144668,"id":"Q5144668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"108bf61c0662c68b5eb909a3e4f13f80c79b3d61","datavalue":{"value":{"amount":"+0.8321102261543274","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":"Q2954991$9AA071A1-3795-4433-9928-1EAF372A1DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8201c9c045fe8327fa3d4756c1eba8fa0cfde881","datavalue":{"value":{"entity-type":"item","numeric-id":3192085,"id":"Q3192085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cd6c44c635ca310a6362fd5ea4050852ba46848","datavalue":{"value":{"amount":"+0.8009026646614075","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":"Q2954991$B8580EF8-1A47-4ABA-9048-15898E3CDE7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2954991","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2954991"}}}}}