{"entities":{"Q1680239":{"pageid":1690980,"ns":120,"title":"Item:Q1680239","lastrevid":68124639,"modified":"2026-04-12T21:35:56Z","type":"item","id":"Q1680239","labels":{"en":{"language":"en","value":"Backdoor treewidth for SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6807216"}},"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":"Q1680239$28EC988B-20FB-49E4-B304-A3FDCDADECDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff92102855b54f59633539526736fa160adadc3f","datavalue":{"value":{"text":"Backdoor treewidth for SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1680239$7448DD62-2681-45AA-BC19-033876B5C6D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6110cbb3aefefc0fa24a0f39ef14a5dbbf8f98a4","datavalue":{"value":"1496.68256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680239$77C27282-9DD3-47C5-AE9F-8AC93AF274CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62640572e4a2b43e6fae0a1b193d90da0dee4b1c","datavalue":{"value":"10.1007/978-3-319-66263-3_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680239$8B073FFF-939B-40F2-B461-3D4F88DB5F99","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":"Q1680239$8C3A0348-7EBB-43C4-9FA3-74A2D9485332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d78a82da698148056c3afd2babd570ff0a03b6b","datavalue":{"value":{"entity-type":"item","numeric-id":261391,"id":"Q261391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680239$7451539A-47C3-40B1-AF90-A0862D1A9355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680239$50854936-C1F8-4F78-8FAE-D45A95FDE0C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5de28599599215268e07ae07176d0509363e1642","datavalue":{"value":{"time":"+2017-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1680239$20EAFADC-3CFD-4B3B-A55A-33DD58178C98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680239$547C6276-1209-4C10-9BAA-7F44BE95265C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca84c0a1de3e8c9074706ad5adbc0b1d28c30279","datavalue":{"value":"68Q27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680239$FAF7CC5C-9B63-4858-B44B-5C359F2C6CFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d095cc51ef05591f5525c0b71122d1f0d11df6a","datavalue":{"value":"6807216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680239$E938D2BB-EB78-4CB3-BB9C-F344DC128AC5","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":"Q1680239$2B58890B-DA17-4566-8288-1A695F7E2639","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6137c44d038674b7fc85e25169b2ced1fa96a3d","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66263-3_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1680239$493E23E3-0810-41B9-8EB7-4A7BF470AB6D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"305628b834918f42618f2ad8e87fb9f3e4452de3","datavalue":{"value":"W2743104256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680239$445C157E-3F36-4DA2-8603-63282EFCE050","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78e5b844b2e9da16b59f97f70480a9010151ce9a","datavalue":{"value":{"entity-type":"item","numeric-id":2843262,"id":"Q2843262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d55e36fc9e73d7fdb64802b601a2feca10b5f78","datavalue":{"value":{"amount":"+0.8881143927574158","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":"Q1680239$0B560BE9-B35E-4FD8-A67B-8162F90B27EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f51dd08b451cfbe3fbda7ebfba933e62a59878","datavalue":{"value":{"entity-type":"item","numeric-id":5363089,"id":"Q5363089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7408c37e65763439cf85772c791e01dc8c6a0550","datavalue":{"value":{"amount":"+0.8873893618583679","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":"Q1680239$DAC5D79E-D26A-4EE4-BD5A-839E5D3738B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf12be1b8530a84b95feda33c6bb5b6c0a27dfbb","datavalue":{"value":{"entity-type":"item","numeric-id":4636635,"id":"Q4636635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5293f5578d2e086bd4a8f0e90f1f1cff3e36c2f","datavalue":{"value":{"amount":"+0.8388757109642029","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":"Q1680239$0E3E0EB2-C189-4E85-B32A-7FD8AB5FB301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e31b408ad70d783f76d95dcce1ac38ab1926cf3","datavalue":{"value":{"entity-type":"item","numeric-id":2843323,"id":"Q2843323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5c12e3a8f4a28ae03cf2a94096be7fcde988045","datavalue":{"value":{"amount":"+0.8275787830352783","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":"Q1680239$1BC0F0FE-D76E-4D37-AFC0-2F6296FCB60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f34c1f42d4191d8923d70130e6982526f6460bf","datavalue":{"value":{"entity-type":"item","numeric-id":2908542,"id":"Q2908542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eea8c21ec8eaa8d948dde940071617d982a7a7d4","datavalue":{"value":{"amount":"+0.8246051669120789","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":"Q1680239$D2BF6E6B-3DBB-45DD-AC3F-B7F6E2D37D30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Backdoor treewidth for SAT","badges":[]}}}}}