{"entities":{"Q1656576":{"pageid":1667317,"ns":120,"title":"Item:Q1656576","lastrevid":68252205,"modified":"2026-04-12T22:28:04Z","type":"item","id":"Q1656576","labels":{"en":{"language":"en","value":"Exploiting treewidth for projected model counting and its limits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6916306"}},"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":"Q1656576$E82CF5A2-10FD-4B6E-9417-70C2F8EBF5C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46e9b23936eb869a6065787e6146eb71f1fa342c","datavalue":{"value":{"text":"Exploiting treewidth for projected model counting and its limits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1656576$1A4C6872-7C01-4160-9F6B-5AC203DEBE10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57258d80b91322dda4b16c4a45a6765ed5780cb6","datavalue":{"value":"10.1007/978-3-319-94144-8_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656576$F006E192-D4E5-4F99-9E3A-DEBC03808BDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1231c9ffdd6fd18a27526f5f9b2ee5db0f5e7a7b","datavalue":{"value":{"entity-type":"item","numeric-id":1647689,"id":"Q1647689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656576$342FD145-3656-4BBD-8CD0-2286F310FCC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ad042a5aa549a448aea28a7c63c386d0f68b470","datavalue":{"value":{"entity-type":"item","numeric-id":1647690,"id":"Q1647690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656576$3A435D45-FFCA-4095-8CAA-078D524B3BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21125ee683c7f30480be8432ba6e610476a2a1e9","datavalue":{"value":{"entity-type":"item","numeric-id":1656575,"id":"Q1656575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656576$40F6ED74-695D-4D01-9D34-73861DF9009F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d60945846f47c381f94a775b3774656e226de61","datavalue":{"value":{"entity-type":"item","numeric-id":334819,"id":"Q334819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656576$662E33C5-01EB-450D-B3C9-BF795BB3558F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dfbbfe69f220779a8f4ee2aa35287f4eb47a1e3","datavalue":{"value":{"time":"+2018-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1656576$DA97DE40-933C-4840-839F-F42B0B579E44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4faf5658f899d1e431d809525a41400f6ef5535","datavalue":{"value":"https://arxiv.org/abs/1805.05445","type":"string"},"datatype":"url"},"type":"statement","id":"Q1656576$BD7CF570-784B-4F46-95EB-91796E378938","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656576$02DF4C2A-5720-4DE4-A362-B25A0F6FFB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656576$9E66B042-8885-4126-B58B-25B4FA040C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca84c0a1de3e8c9074706ad5adbc0b1d28c30279","datavalue":{"value":"68Q27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656576$937394A5-894F-47B9-AAFA-8E2C1462AF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656576$944B8014-8C4D-476F-8826-24EFDE5B9002","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d31b8e5fc58b0766ef0d75f641e9aea462edc26e","datavalue":{"value":"6916306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656576$57FE9239-40A2-400F-911C-126D2A7986D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39c9e86a8c0ac704e1de13a66a9fdebb1fb49be9","datavalue":{"value":"parameterized algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1656576$E9BEC889-65D6-4874-8D8A-531C465C3B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5dd8d16b0eb5b7b722b66d8bc1461199fa82519","datavalue":{"value":"tree decompositions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1656576$AE4934C5-DE35-4DE8-B611-94364BE02BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70e72eb4b81c491cc68e1e106ca9cdf4ed64322e","datavalue":{"value":"multi-pass dynamic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1656576$EFC82187-4D16-4E3B-87ED-9201F52FCC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b1a479e6e102b20fe07d84c0fd9b5e308212677","datavalue":{"value":"projected model counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1656576$877EED10-E254-42DD-A88E-6A7AD7AFAD49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1656576$40F6BF90-EDBD-4087-97AA-E95686BCB633","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":"Q1656576$7E09ED0A-BCD4-4BCF-8C9B-A25B2CF157ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9082f690c07916e423672b43b2487cbac95257e","datavalue":{"value":"W2804646084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656576$6806CBCC-0A1A-464F-BDA4-679528E69404","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e01f07a729f00bf7d8e68762a0464ac16b5d3ce7","datavalue":{"value":{"entity-type":"item","numeric-id":2326718,"id":"Q2326718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef77bb4434098d2f9a84957033504a44b8f4757b","datavalue":{"value":{"amount":"+0.848382830619812","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":"Q1656576$DF710CA0-ADF0-4E04-843F-ABEBC8755501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84425ee1a508d5a6f4eb3ecef5a847ae1cefa3b7","datavalue":{"value":{"entity-type":"item","numeric-id":3453218,"id":"Q3453218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34a13875956d8514312fe10e5f2e7c0f2e97f438","datavalue":{"value":{"amount":"+0.7607796788215637","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":"Q1656576$C7FF80B0-BD11-4A62-A6B5-2005F43D54CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a192b24a1298db03ba7d8044b4e3639c008c48e9","datavalue":{"value":{"entity-type":"item","numeric-id":5505573,"id":"Q5505573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"130793a774b955102c27169328a4d7399cb3f3ea","datavalue":{"value":{"amount":"+0.7586543560028076","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":"Q1656576$7D889903-EAA8-4CCF-8CC6-84E2E35F5025","rank":"normal"},{"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":"aa14bd3b0539ed4ec3db9a2950ff19e5d1b2ca5a","datavalue":{"value":{"amount":"+0.7515621185302734","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":"Q1656576$94C20C8C-DA63-4A48-97A3-3C1F5B08A198","rank":"normal"},{"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":"00ed79288bdf15a55ff662d8803ca699fd4256c6","datavalue":{"value":{"amount":"+0.7475193738937378","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":"Q1656576$695FBAB4-5EF9-4F13-A4D0-7B9CA3F0862F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exploiting treewidth for projected model counting and its limits","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exploiting_treewidth_for_projected_model_counting_and_its_limits"}}}}}