{"entities":{"Q2957871":{"pageid":2968590,"ns":120,"title":"Item:Q2957871","lastrevid":85194365,"modified":"2026-06-03T06:13:45Z","type":"item","id":"Q2957871","labels":{"en":{"language":"en","value":"Model counting for CNF formulas of bounded modular treewidth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6678908"}},"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":"Q2957871$094A789D-E62C-4982-80B1-AEA11BA998BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10ad1b65969e060b92412a44d0478ccd73a889a6","datavalue":{"value":"1354.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957871$97D7B796-44A7-405A-9FF3-CE8838B3DDE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c8bda24e5db7031b811824423dc274be5147149","datavalue":{"value":{"entity-type":"item","numeric-id":170462,"id":"Q170462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957871$2D7FBA44-8121-485D-8945-154746840156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea7245a8985e7729dbb2100021fb8a2a32efed15","datavalue":{"value":{"entity-type":"item","numeric-id":287385,"id":"Q287385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957871$4A5F3F56-A86A-45AE-A176-C05848EB7826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957871$AEB812B4-ED40-41B4-B31D-39EEFC648197","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1d208a972848f97d8e4747f80e7fee369c4254c","datavalue":{"value":{"time":"+2017-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2957871$F24D77DF-3760-4AAC-AEE2-CBA9926A08E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957871$4B0254BC-2EBA-4EC0-AF71-AEF065A93CCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70e760b05d92ef77fe42e4b6ed547c2941af16e4","datavalue":{"value":"6678908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957871$F56A201F-C719-47DE-B955-14FA71D09A9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957871$5FA68293-EF49-4AE8-9A55-16773E59816A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a29c4a5bfa3313a3ef8963adfeef39f010eff8","datavalue":{"value":"model counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957871$3484FACA-02B2-465A-B3BA-162A209A1921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957871$0F3A961E-5BF2-4DFC-B2E9-70F07D89BD2C","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":"Q2957871$956F6C79-425C-436F-8BAD-AFADFE496F4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd44f6deac2dadceb926f4ba404138fbf1e84a26","datavalue":{"value":"http://dx.doi.org/10.4230/LIPIcs.STACS.2013.55","type":"string"},"datatype":"url"},"type":"statement","id":"Q2957871$1BDF2BD3-3FAF-4C06-8BC2-0AE5A5362C13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ecbf53a958a42bc5ac2849d21f1aefc49594e2e4","datavalue":{"value":"W2261855272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957871$AEF31A7B-19EC-404D-AE31-F4BC128535F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53accacc7a7ef369879c4afd1e7c0504055ba2f4","datavalue":{"value":{"text":"Model Counting for CNF Formulas of Bounded Modular Treewidth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2957871$42E0518C-0EA9-4752-8BA4-11023329E382","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcae15beebc02d41e01983167db94ece922c120a","datavalue":{"value":"10.4230/LIPICS.STACS.2013.55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957871$7BC9D73C-63F1-445F-ABCD-B5CE5E51151B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5859d4e9d54577d2b635828f62eb46bf651c86b","datavalue":{"value":{"entity-type":"item","numeric-id":334935,"id":"Q334935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f05aad9e25cffced47cd7ccbb4a50ce21e490a1c","datavalue":{"value":{"amount":"+0.9933798313140868","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":"Q2957871$156BB9EE-E03F-422F-9585-E664AA95CBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e93dd43b1172c0a92f2f3abd30a80e730559ddba","datavalue":{"value":{"entity-type":"item","numeric-id":2872132,"id":"Q2872132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eee1ec6539372aaafe242c970a83de9b3ebd387","datavalue":{"value":{"amount":"+0.891036331653595","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":"Q2957871$013AE09F-5036-43DE-BD36-3DB35C618119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"258c80fab1f94fc13ff1472f57ee8b5e3d036e95","datavalue":{"value":{"entity-type":"item","numeric-id":2238644,"id":"Q2238644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4b052ac1d1d253fbbc33a495b6a70e34938c091","datavalue":{"value":{"amount":"+0.835900068283081","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":"Q2957871$F86E1E6A-2090-45BE-8839-6427100CA7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913fbd704632b6ed04868eaee2d449e815a8228b","datavalue":{"value":{"entity-type":"item","numeric-id":2473047,"id":"Q2473047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1790c943a6cd3d6510c3e9e9bcea8cc235c4172d","datavalue":{"value":{"amount":"+0.8299232721328735","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":"Q2957871$F7299F16-10DF-47C2-B563-AB9964D39031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bfc6de8543516fd41a4aedbb0866be1ef41ccd7","datavalue":{"value":{"entity-type":"item","numeric-id":1680240,"id":"Q1680240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cb011ca022502f1d6563caca0bafdc3d614215e","datavalue":{"value":{"amount":"+0.823310375213623","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":"Q2957871$A1E446FE-4A89-4860-B6C8-151387C48385","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model counting for CNF formulas of bounded modular treewidth (scientific article; zbMATH DE number 6678908)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_counting_for_CNF_formulas_of_bounded_modular_treewidth_(scientific_article;_zbMATH_DE_number_6678908)"}}}}}