{"entities":{"Q3005896":{"pageid":3016620,"ns":120,"title":"Item:Q3005896","lastrevid":85981655,"modified":"2026-06-03T13:07:29Z","type":"item","id":"Q3005896","labels":{"en":{"language":"en","value":"An empirical study of QBF encodings: from treewidth estimation to useful preprocessing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5906476"}},"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":"Q3005896$6409EF85-CD5D-4F33-8BD3-A2ABDBA70A82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a345ec757a423e4679e469a77b0023165352f05","datavalue":{"value":"1214.68370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3005896$9EE80D19-9046-40BC-AA5A-686E9DEB3E2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef25a536e77eb935a4fc311a784de2ad12200bb6","datavalue":{"value":{"entity-type":"item","numeric-id":421444,"id":"Q421444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005896$360D7216-5FB9-4DDB-AD03-B9F29056E4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b27fb2de17ba7f26cc1dc0d940e72cb82218af6","datavalue":{"value":{"entity-type":"item","numeric-id":421445,"id":"Q421445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005896$E14C6A30-0E8E-4BF6-9426-0DB066F5DA95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17dbad52a0f817ae0f82292685951e6b502d167f","datavalue":{"value":{"time":"+2011-06-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":"Q3005896$D42FD1A5-FD76-43EB-81A9-DE26F509FC69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b70a6cf2125bd23be1a8b6004c1bbd03be8bcf71","datavalue":{"value":"http://iospress.metapress.com/content/q546437767700727/fulltext.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3005896$B7084B51-CED6-403F-A239-417AFD3AB43D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3005896$7C8D0EB8-D1E2-4E79-ADB0-9077E6266E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3005896$7D22085A-5D81-4C84-AA91-E6857E5B394A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76aeffc4f2e891cab1436c070489cc12c38716af","datavalue":{"value":"5906476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3005896$6979438A-C9F9-4C8D-BAAB-0D9707377FEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3005896$C7F544CD-3C16-4396-89D2-E5DC0E0371C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6b59d216e1f060b5def0ed3dd770127a0100e52","datavalue":{"value":"structural decompositions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3005896$395284D6-3A36-4B93-9B0B-1BFAB5C0AC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a289326dafedc1dddd2f378c5de6027ad2ade5b8","datavalue":{"value":"QBF preprocessing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3005896$9011AAB9-6808-4279-B9D9-7F1DEA17990F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8cc02a4d5cfe357c7398b8045c9b55b5580560aa","datavalue":{"value":{"entity-type":"item","numeric-id":19323,"id":"Q19323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005896$F8FFC6E3-BDEA-4250-A033-D8862E5EE562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005896$FD62C85A-2CEE-475B-AA5A-966B8F41E248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ca9a3b7221d86f39ba625c5cdafb4b84300080f1","datavalue":{"value":{"entity-type":"item","numeric-id":13515,"id":"Q13515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005896$6034B411-2AF7-454F-BDE7-BACEFF593549","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":"Q3005896$42B7E0EB-5F1D-4F07-B8BB-44EC6EA64C1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a15edea0d17989daf78195132718b8e8fd16e026","datavalue":{"value":{"entity-type":"item","numeric-id":5505579,"id":"Q5505579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60c63d56100e9366f7997ed90d0ab3f328acdcb6","datavalue":{"value":{"amount":"+0.895560622215271","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":"Q3005896$2931C3F3-77A3-4BC2-86EE-C8C3A9035B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"735e4a7593e2aec0066ffe9438847f1c6adb8fa2","datavalue":{"value":{"entity-type":"item","numeric-id":5200018,"id":"Q5200018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"596a8ecebb6e25840e03d34ffebfbc58ae6e7cc0","datavalue":{"value":{"amount":"+0.7772911787033081","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":"Q3005896$8F32736A-69FF-484D-ACE4-5E4AB648901F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3db7f57505a4a5149a46c14f89c4fb20314fac17","datavalue":{"value":{"entity-type":"item","numeric-id":2870148,"id":"Q2870148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1fc92afb3f79ec012c4e1ef4e39fdfbfe18a974","datavalue":{"value":{"amount":"+0.7650129795074463","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":"Q3005896$4B65E09A-18CA-446C-95A0-8A5AFD264022","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":"00e7db0d5f738fa6effd2f95b2b562e2aab05357","datavalue":{"value":{"amount":"+0.7583116292953491","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":"Q3005896$CFE342F9-D3CC-4D53-A7AD-A810C4537614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab30d1bbbf226610c8e8fb5b2c8eec941e4c676","datavalue":{"value":{"entity-type":"item","numeric-id":3566747,"id":"Q3566747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35cc9c16391b3e9e15c5021fb4c7dfbdef83536f","datavalue":{"value":{"amount":"+0.749955415725708","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":"Q3005896$1E252422-7EF6-4170-A27E-F7D67A15393B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An empirical study of QBF encodings: from treewidth estimation to useful preprocessing","badges":[]}}}}}