{"entities":{"Q5505579":{"pageid":7535139,"ns":120,"title":"Item:Q5505579","lastrevid":50550770,"modified":"2026-01-14T09:09:03Z","type":"item","id":"Q5505579","labels":{"en":{"language":"en","value":"Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498365"}},"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":"Q5505579$335F53C3-BC2A-471B-9914-ECCC794CE965","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f24730e584d34927f082ab95172acc6549fc5c7d","datavalue":{"value":{"text":"Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505579$1A5749D0-8D89-42E3-84D1-8F4F60320DFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c3a2768ae49d0c4f5a60069f5f17126d7edca41","datavalue":{"value":"1182.68263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505579$8787DF7D-28E4-488A-858B-ED4BD91BA04C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c28e9ccc0d4ae60b8f859dccdfb7f7d659acc51d","datavalue":{"value":"10.1007/978-3-540-89439-1_37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505579$B4CCAED0-D7E3-4AD0-9508-CCAC3672D165","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":"Q5505579$EAF0DCDF-21DA-4656-BCA5-443F30EC7B74","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":"Q5505579$7D85E6B3-615B-4025-9AEC-A153757613EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505579$FA219521-01FF-41C4-8EE4-7425665D71F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505579$068A8F89-3946-4E20-92C2-B480211EB49E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505579$C7367450-342B-4042-AEED-16BB119D3D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505579$47E732DD-28CD-4AB8-91B4-21E922F9CB42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31c2bfb0cde10ea495b8a9ca7bd7a4a0f535915f","datavalue":{"value":"5498365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505579$3B4FA2D2-FB23-4AA7-A580-41ADA68C64A0","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":"Q5505579$BAC82D12-D707-4EFB-8B09-F6A85ABAA0A4","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":"Q5505579$CAB5F00A-667D-49ED-BB10-816C0F7EEE70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"adf4439fbc1cc152f4cd5f8ce83e2be84e1d756e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-89439-1_37","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505579$2EB543EB-6BA8-4CDA-B876-86A7358A80A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c00a0a3552fa496e659fb0c492eecc09d0f6a9fc","datavalue":{"value":"W1560318357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505579$D350F274-B487-4992-AEC9-2B0ABA65086F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08036d47973bc9cfe1f1e1e2dd8bf3873209a1f4","datavalue":{"value":{"entity-type":"item","numeric-id":3005896,"id":"Q3005896"},"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":"Q5505579$EE2880A7-FFC5-40A7-8583-DE9C14C2EEBB","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":"efc9d1b1e399353848b5fb2595d3cb194f4c02d7","datavalue":{"value":{"amount":"+0.803695023059845","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":"Q5505579$EFC5A216-0020-4324-B9A2-3B9299F0B7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e12e04a2df8d2dbc28cae26919dbe590a14b3cc","datavalue":{"value":{"entity-type":"item","numeric-id":3637156,"id":"Q3637156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ab7f80fb49120bb500d8c5bec5d39d2eaec3b4","datavalue":{"value":{"amount":"+0.7984941005706787","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":"Q5505579$07659263-7CE5-4628-8C3D-F27325B82A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"874ad15df0aa3478d70d76d4f0ec60725ced2a9f","datavalue":{"value":{"entity-type":"item","numeric-id":2957870,"id":"Q2957870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7c11eef7a216cd91b3c4cde2d8e10bd0c928d3b","datavalue":{"value":{"amount":"+0.7802900075912476","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":"Q5505579$8160B4DC-6AEA-42E6-A1DC-2011A8033145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b359e247de57dc72d52b95262e72847480fc874c","datavalue":{"value":{"entity-type":"item","numeric-id":1656581,"id":"Q1656581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ed54b5349d4eb33572f5f2f6974f6e1ee5d1711","datavalue":{"value":{"amount":"+0.7766303420066833","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":"Q5505579$3245707D-8F35-46F9-8B75-CBA3D209D7CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5505579","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5505579"}}}}}