{"entities":{"Q5223208":{"pageid":7252778,"ns":120,"title":"Item:Q5223208","lastrevid":53479037,"modified":"2026-01-25T00:50:32Z","type":"item","id":"Q5223208","labels":{"en":{"language":"en","value":"Expansion-based QBF solving on tree decompositions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7081388"}},"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":"Q5223208$3D18CEF9-A668-41D1-B2A1-D3A8831A18BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5340daf01740e175856300ba3169cf9c7a51c075","datavalue":{"value":{"text":"Expansion-based QBF Solving on Tree Decompositions*","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5223208$18FC8963-7F66-4D51-B903-AF24EC9A754C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a37aab474233b82e47a2f11e25d3ee141b5d96d0","datavalue":{"value":"1415.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223208$A90B8102-B75E-46EE-9510-F2B9FA1CD97E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05a306105c08dca37429ab7d876564233e0da0e8","datavalue":{"value":"10.3233/FI-2019-1810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223208$49181B58-706C-4DBF-AA0B-483AC8D38AC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c42f6fdf29c6f8bd9f985c7688b5a5a39fb17e5e","datavalue":{"value":{"entity-type":"item","numeric-id":2341831,"id":"Q2341831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5223208$37BE96AE-0FF0-423A-84B8-8412356D3381","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":"Q5223208$40655350-5E3A-4E80-8187-6B587C4B4397","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5223208$360CBA43-EC4E-4DD1-8D9F-F2CA8E741C74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76f7bc0f8da2050027b9f28cd54ad13e090567ab","datavalue":{"value":{"time":"+2019-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5223208$EF747D7A-6EDC-4B9E-8AB4-ED02B88C4E11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223208$D89D2A71-E3EE-487A-81E2-6D02D1C620E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223208$33D37EFA-E526-4269-905D-819AE235011D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa3ca91474fff28e420d9cace433f8447ec799b0","datavalue":{"value":"90C39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223208$79A6C59C-4216-4FEC-A692-11C5EC0F1C5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a7f8b0ec259d0015162bd874129d372f63b592b","datavalue":{"value":"7081388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223208$0BAE1B2A-F494-4771-860F-06A1F4D9E700","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q5223208$24C99202-6EC0-40E5-A256-ACF74D3D0AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a56e5793ea33870a204239ad40fe7f02bf24fac2","datavalue":{"value":"expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5223208$DACF9796-33E2-434D-847D-6D1AB755D72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d82cfa81638332a8c825bcbbd9d7f7f9c0c45be","datavalue":{"value":"dynamic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5223208$F8DBE002-9062-490C-B950-7CD4D016338F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9094ce482499179d6c47d21905fefcd35853c1c2","datavalue":{"value":"QSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5223208$1A80E92D-AB21-4F26-97D7-FC257C828151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d57d68ed777850433efcc3de197edd817953ef26","datavalue":{"value":"treewidth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5223208$32028046-6B00-4B16-82BC-3497BC8142E7","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":"Q5223208$A46687D0-BBF9-476A-A7C7-4C16AA67347A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a260b73a1872999e02e3bb99ef97c9de69b838bf","datavalue":{"value":"https://doi.org/10.3233/fi-2019-1810","type":"string"},"datatype":"url"},"type":"statement","id":"Q5223208$F50D47ED-B3C6-48AF-80C5-A666C56956AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"786c3227693290645f0f1e969b64893c076586fb","datavalue":{"value":"W2948333530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223208$DBE6840A-750E-4106-821F-AE18DEE22B7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c733211105b38a2a26b9dc19b8b9e469ed3ff78","datavalue":{"value":{"entity-type":"item","numeric-id":2058378,"id":"Q2058378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72f69be0547f60f108f0ed417ba2dd33b4adb3c7","datavalue":{"value":{"amount":"+0.8475611209869385","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":"Q5223208$3ABD0139-E2A5-4D5A-9EEB-0D527799FEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1758042405434138d14efb0c0f39ea4481adfe4d","datavalue":{"value":{"entity-type":"item","numeric-id":5714773,"id":"Q5714773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ede6d52aabe3c055d88ca777d94467bc1278e3e0","datavalue":{"value":{"amount":"+0.8348584175109863","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":"Q5223208$9B341230-E331-4751-B39C-F97151DBB37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ff8464602a5033ddbcbed7710f98cb87c90ec1","datavalue":{"value":{"entity-type":"item","numeric-id":2181919,"id":"Q2181919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cdb70bcf310407fb9896852aeec010ee11988b5","datavalue":{"value":{"amount":"+0.820370614528656","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":"Q5223208$50B47CAC-4424-41BD-9200-ECF593140176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd56edf54f27508795f985fdb8fe850a23e1491","datavalue":{"value":{"entity-type":"item","numeric-id":2164249,"id":"Q2164249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a52be26a3c634ef995705899dc7370c4487e0192","datavalue":{"value":{"amount":"+0.8165606260299683","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":"Q5223208$9093F3FB-7D54-451B-A57F-F67F34803E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce4d79417665ad48382e786fe4291ba05840f209","datavalue":{"value":{"entity-type":"item","numeric-id":3304126,"id":"Q3304126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb8823406cc5b335550c29b0f2b126e2b0c9bd3","datavalue":{"value":{"amount":"+0.814635157585144","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":"Q5223208$EB8D4C95-8C2D-4D93-9337-DB17B9F0064C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5223208","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5223208"}}}}}