{"entities":{"Q334935":{"pageid":336702,"ns":120,"title":"Item:Q334935","lastrevid":52664183,"modified":"2026-01-23T05:31:39Z","type":"item","id":"Q334935","labels":{"en":{"language":"en","value":"Model counting for CNF formulas of bounded modular treewidth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6646537"}},"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":"Q334935$E8F888EC-3974-4D58-9397-5F61F2F9124C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb42966c64790f0d9915257f19509bfadbd82da2","datavalue":{"value":{"text":"Model counting for CNF formulas of bounded modular treewidth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q334935$8258C0B7-3827-4D01-AB91-4900F99BB7B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"459973a64db607d493d946d383ca8a684f7f394e","datavalue":{"value":"1353.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334935$5E576DC4-41A4-40B0-B2FF-A9D7C1F6D7B7","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":"Q334935$2ABDCF4B-21E0-49C5-B7D1-15D77D54DFF0","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":"Q334935$53684110-90E5-40F5-A22D-4B7BC0A17C39","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":"Q334935$5335BAA7-88BC-462B-B328-533BA32CBCE5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"65c8fa095fb5e7de7a6818fd747ab8b39647de93","datavalue":{"value":{"entity-type":"item","numeric-id":96582,"id":"Q96582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334935$280CC412-30F1-49CC-BFE0-2656D27AE5F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1e889f7549615622ee2318a0d7c37075384a627","datavalue":{"value":{"time":"+2016-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q334935$182863CD-8CDA-4295-9681-961285ED675C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"457843166bbd235a4e9d01891425b2f37bb1c7ec","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2013/3922/","type":"string"},"datatype":"url"},"type":"statement","id":"Q334935$CADDB398-3627-493C-9EC3-A417C0582CA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334935$8D4F921A-9207-49F6-A90C-99874B7A1587","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33beb99647792181e127f3a4331c97503918bbed","datavalue":{"value":"6646537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334935$D7C0AD36-9A93-4DD8-B71C-C07FCE4D90BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q334935$D21B498A-B44C-4985-94B2-649D6E377E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a29c4a5bfa3313a3ef8963adfeef39f010eff8","datavalue":{"value":"model counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q334935$86A9CF8A-94EE-4676-840E-A75B9BFE8FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q334935$27EEE20D-6096-41B5-A488-1240DE697183","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":"Q334935$F8A3F1FB-E6A9-4BAC-9662-EC67DF74F403","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea955881a7f0b16edde7710667a29930245677a9","datavalue":{"value":"W2309930662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334935$457C4E3D-0D41-43C1-994D-D51417CF5C26","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d889df2923f181d6ce0923a425cbb78c6fb0ac","datavalue":{"value":{"entity-type":"item","numeric-id":3624187,"id":"Q3624187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334935$C32CF62E-531B-4BEF-A0A6-3DB585D92753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"747a911f10480a7188a201d8808620458b2a3690","datavalue":{"value":{"entity-type":"item","numeric-id":5691297,"id":"Q5691297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334935$8335F52F-F87F-4ECA-8AF2-C1B4DF09A925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7bea2704d0848ac9380c7f38832a07943496511","datavalue":{"value":{"entity-type":"item","numeric-id":1874383,"id":"Q1874383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334935$DDEC92CC-9F23-40ED-AA6E-AB1C9C2D5A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7af2c5eca3bd22f8693a9ef2542f46a220d3edf1","datavalue":{"value":{"entity-type":"item","numeric-id":2366278,"id":"Q2366278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334935$29E54DB0-3E29-4E10-A213-499FB4D7C942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8fe56184955dbba620e4cb94dc309dfe37fcc19","datavalue":{"value":{"entity-type":"item","numeric-id":1974445,"id":"Q1974445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334935$F6EF5EC9-C5CF-4036-836A-F5CD6F914384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daf3e133365d57dfbd2c07919f3093669a42c66e","datavalue":{"value":{"entity-type":"item","numeric-id":5928867,"id":"Q5928867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334935$3E9A0CBE-7722-49ED-86AA-DFE5EDD1FC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211530a7d66720062b60e82cf130f31beea4a662","datavalue":{"value":{"entity-type":"item","numeric-id":1975365,"id":"Q1975365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334935$C7F20F17-9B47-4856-B051-871797864924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1b1a3469bcf85c5bdc034429e87442cc51f8c4e","datavalue":{"value":{"entity-type":"item","numeric-id":2473047,"id":"Q2473047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334935$02CCA858-93AA-41BC-985F-0DD3E241B845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"276e8a66235a10e3829c4b2abd3d940a89923ffc","datavalue":{"value":{"entity-type":"item","numeric-id":4914311,"id":"Q4914311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334935$BA85E4DC-BA4F-4A67-9F4D-118E73E2702C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334935$52EEDA51-A1CD-4AD6-B40D-0F82AD526D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b95e8db788066f0a57f57cd378efe0865f86dc5","datavalue":{"value":{"entity-type":"item","numeric-id":4651468,"id":"Q4651468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334935$94F242D6-3A25-46AE-8969-3DD40C39E478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ad84d0a1a74f90cb7eae653f4eece82f4d2372","datavalue":{"value":{"entity-type":"item","numeric-id":458504,"id":"Q458504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334935$F8F4EDE7-AF75-4761-8AE2-3B8EBDCC8FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeebe3ad7932d8a45640bea71e95c9a3c8af6c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4899249,"id":"Q4899249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334935$2C992600-5EBC-4CAE-8208-1B0AACBE3B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3a0d4c2b83e2d1c052c87c581c72cdba8da38e3","datavalue":{"value":{"entity-type":"item","numeric-id":1338451,"id":"Q1338451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334935$5A31AF6A-E9A8-4D60-860D-454F02409E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d59f94165f4c40f7e505b0c1b9c64e67f83f94","datavalue":{"value":{"entity-type":"item","numeric-id":385062,"id":"Q385062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334935$42E33F01-6D12-4C02-B96C-2934CAE9DBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea587c95b7231ee2f30c675a05e440be741861c2","datavalue":{"value":{"entity-type":"item","numeric-id":2496203,"id":"Q2496203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334935$0DC340C5-5409-468D-B6F8-71602709FA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4471bc1eb932bcbdd73cda9c24fbfacedc65fe80","datavalue":{"value":{"entity-type":"item","numeric-id":1877706,"id":"Q1877706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334935$54965EB4-D4E4-41D1-8E3E-5B33695DFF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e62926166610e171255ba7600cdacbb982331e7","datavalue":{"value":{"entity-type":"item","numeric-id":1179473,"id":"Q1179473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334935$36F34B8E-A2E7-4C84-965D-CE9353F3791F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52aa670414d4f6fec55d4a91be050421f173db46","datavalue":{"value":{"entity-type":"item","numeric-id":2674206,"id":"Q2674206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334935$50DB57E0-9B8C-4A37-840B-39D0AA6251FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744cc06de39b4daf6419488822f8874eccb75b23","datavalue":{"value":{"entity-type":"item","numeric-id":2266937,"id":"Q2266937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334935$E34BF763-3D07-4AAB-B27E-C2E9109AE3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1acd30f9dd198247af09d2459d223c8e67fe0aa8","datavalue":{"value":{"entity-type":"item","numeric-id":3214426,"id":"Q3214426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334935$DB9085E4-6675-4ED1-874C-270CCD0EAFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a23604afcb0364f670f2bc60da96b028577190ba","datavalue":{"value":{"entity-type":"item","numeric-id":5325861,"id":"Q5325861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334935$BE140BA3-5243-47C2-A5A4-CA846DECC6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c516460706e34bfacf776c096f40a576fd2116","datavalue":{"value":{"entity-type":"item","numeric-id":600247,"id":"Q600247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334935$5A1339B9-A00F-4B4B-B4D1-9A334EDA283C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2e25ff9043f6743836f8f0523966b016903ddd4","datavalue":{"value":"10.1007/S00453-015-0030-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334935$2975A323-4A76-44DB-9736-1004EB6DDE8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d1c7cda20e75fb59e79cb965d03762c57c0d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2957871,"id":"Q2957871"},"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":"Q334935$BBD73336-D650-4257-85F8-5DC4541A780F","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":"5a54a38756ea800c0866316b61af75a0c720871d","datavalue":{"value":{"amount":"+0.882853627204895","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":"Q334935$5738FB4C-746E-47EC-82F4-0B258828C6A9","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":"c9e1aa689905b384410fb1878932cbc36591f7d0","datavalue":{"value":{"amount":"+0.847453773021698","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":"Q334935$358897A3-832E-4F78-8FF4-CC803FFE88B4","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":"3389fe736ab9b9d01a451c858dfe004c07f68a6c","datavalue":{"value":{"amount":"+0.8317774534225464","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":"Q334935$794FE04C-B011-459C-A0C2-807AE39CB28C","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":"04aff7327990560ee20f342bf71bd26c4619a3e8","datavalue":{"value":{"amount":"+0.8298314809799194","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":"Q334935$8092FEDE-990F-41CA-A9CB-6C470FE79096","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:334935","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:334935"}}}}}