{"entities":{"Q2908838":{"pageid":2919563,"ns":120,"title":"Item:Q2908838","lastrevid":51537731,"modified":"2026-01-18T17:00:45Z","type":"item","id":"Q2908838","labels":{"en":{"language":"en","value":"Better algorithms for satisfiability problems for formulas of bounded rank-width"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6073521"}},"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":"Q2908838$BDB9431D-6FD8-4047-88E9-167D943AC87A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6304e2935835c616e23a514e1806c6277de68fe5","datavalue":{"value":"1245.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908838$EEE13060-559F-493E-A6BD-6E32A70D75D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20032bcc84344d7c9c68c7fbf55beb604aad0a5e","datavalue":{"value":{"entity-type":"item","numeric-id":395001,"id":"Q395001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908838$6377DA36-EBDA-4090-A588-462951BC9821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f97addcae0de185068af846d9968c1df864cbf3","datavalue":{"value":{"entity-type":"item","numeric-id":175586,"id":"Q175586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908838$A31168FE-FCCE-46A5-8EAA-FFE38DAE49AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eaf352a32aa38da3c724a04881fe6df68b2c948","datavalue":{"value":{"entity-type":"item","numeric-id":281931,"id":"Q281931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908838$6808B9D1-137B-4B86-AE85-390E871BA533","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ce614070009b11291ee6b015c78682bf76dc525","datavalue":{"value":{"time":"+2012-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908838$1DFA34D6-02DA-4B6F-894C-6DADC4ABDA3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"481edeffd40aab3eed7a6f3a11f62d6996ee6d5f","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_eca3.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908838$A4A98DF7-3872-4023-B000-71A15C0C1A30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908838$A431F832-0A44-4C2E-BE66-EBCB2690BF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908838$204CE12D-2E15-4161-BF0E-FC303A51363E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908838$2B7EDBE4-C2E9-4540-8773-D358F71702A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2e5fa254e7dfe3c6bde62ae80788bac0ac780e3","datavalue":{"value":"6073521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908838$F576978D-266C-4E51-997C-21E0DBE96617","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ed4a649f4d39fab749ca19a80f58e70f49d4823","datavalue":{"value":"propositional model counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908838$72F30C92-0D47-4295-8266-D2C5EF0B66A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908838$7AF19744-6364-471B-B3EA-1664AB2E3655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9e67e88bd2345300d0633b669f5623f033e3f99","datavalue":{"value":"rank-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908838$C0D22B2E-0AB2-4D01-A63F-9790E974601D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eb03826ecb9d862c3a8c13a3c8eb36c4bc27ecd","datavalue":{"value":"clique-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908838$DE515B47-BE3E-4FC0-80B8-A06DB52121E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908838$1390946B-9606-4C0F-A5E7-219FDCB36B26","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":"Q2908838$C8A5FCB9-753D-4E03-B9A5-64F0D162E33E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"591755b21271affe32b737e02f47a1f5e5751a77","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2010.73","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908838$26FCBD24-4E73-410C-8FA8-D81F6BEAD8F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df58b088b7f424be27edd70ab31a501fffc8a969","datavalue":{"value":{"text":"Better algorithms for satisfiability problems for formulas of bounded rank-width","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908838$8D81FAA8-A0F9-4797-A142-5AA87186BC85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73a505666d5ffbf67d9cce8bb2a0f39608f8ee72","datavalue":{"value":{"entity-type":"item","numeric-id":4914311,"id":"Q4914311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"723d8bc08d56af276104a36b67a438f0aa0d51bc","datavalue":{"value":{"amount":"+0.9828757643699646","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":"Q2908838$1D35BF31-C96C-4E9C-AB28-24EA1850FB70","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":"af3a9f3700474fbe873d384d9cfdd59ddcd4a973","datavalue":{"value":{"amount":"+0.8229892253875732","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":"Q2908838$E6E4A50D-7776-4671-91B8-6C4A2FB36639","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":"8480423d14547053510439c23169c0cfa111a0af","datavalue":{"value":{"amount":"+0.8082398772239685","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":"Q2908838$0017925D-0A97-4A5B-B507-3DA1696CB5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"162c6598e23f5f8c881b1053ba72a442fff19a21","datavalue":{"value":{"entity-type":"item","numeric-id":2464035,"id":"Q2464035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4e3b55cd2569a95780559146eb8581eeaddc4e0","datavalue":{"value":{"amount":"+0.8062764406204224","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":"Q2908838$C0A127EE-C363-4E38-8A6B-8F6B7962DE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbdf96af51d9cd5b5e56a11bc165112f273fc839","datavalue":{"value":{"entity-type":"item","numeric-id":5756553,"id":"Q5756553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bae039254028188419b5c5571ae0753de4f832d","datavalue":{"value":{"amount":"+0.8011958599090576","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":"Q2908838$F188900F-D79E-4C1D-A85D-DA3B56CC4778","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2908838","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2908838"}}}}}