{"entities":{"Q3169452":{"pageid":3180162,"ns":120,"title":"Item:Q3169452","lastrevid":86587712,"modified":"2026-06-04T01:50:53Z","type":"item","id":"Q3169452","labels":{"en":{"language":"en","value":"Variable independence and resolution paths for quantified Boolean formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5949409"}},"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":"Q3169452$7CA8D599-C859-44EE-A3AD-DFCDD0C58679","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1afc625307b3bf5973ead672a6de69f4858c8e0","datavalue":{"value":{"text":"Variable Independence and Resolution Paths for Quantified Boolean Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3169452$E3CDB11E-403E-4FAC-8D67-7535C41535FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4045b1909e18d2124689fe2221ad0f240f27924","datavalue":{"value":"1273.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3169452$E9D5E2D4-E55F-468F-9852-43F0FC0330EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1031ada51d466b738814574a036cb7a1b9e92243","datavalue":{"value":"10.1007/978-3-642-23786-7_59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3169452$57FB80E5-99FE-452A-9F57-48EAF397C5CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ab3f865023eb12880148e14265fddc187ba9bbe","datavalue":{"value":{"entity-type":"item","numeric-id":3169449,"id":"Q3169449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3169452$4F9F4346-53B3-4024-85E0-349939DA6BEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ad20a271018c849b2a78c47eca7a60649187367","datavalue":{"value":{"time":"+2011-09-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3169452$4304AA7D-F238-4733-993F-E9F847C6D142","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3169452$6CC648D7-1161-4479-A64A-0F85B775C6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3169452$0A4E54E1-FBEB-457C-8B03-3783A7F2B84C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92a30322317b535ce403fecf345f3be66308980a","datavalue":{"value":"5949409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3169452$DB0CB56C-72F3-4B9D-AD14-D56BD285F9D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efe49c25650dcd4febba639d323fee3054738fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1104094,"id":"Q1104094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3169452$2C32CD85-C599-4BEA-A764-BD5E52851CA6","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":"Q3169452$4D7660DB-C3F1-41D5-8ED2-74E17963DAF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c5f05e3b8302e3ef9eeeaf2a05759fe24c81b71f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-23786-7_59","type":"string"},"datatype":"url"},"type":"statement","id":"Q3169452$AE1C4A51-FB0B-422B-93D9-14AA615A8941","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3199718ddc4f1892a4c013949069f7d31ccc2a3","datavalue":{"value":"W182482375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3169452$B6475291-BB72-412D-BA72-A1DE3C09BC4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30ecc6b6949aea32936b478ec194782c98455988","datavalue":{"value":{"entity-type":"item","numeric-id":3192076,"id":"Q3192076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8acc1a83b2a4d1ec30a98fbdb8a8c813ee50a86","datavalue":{"value":{"amount":"+0.87082439661026","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":"Q3169452$88811A83-C43F-4CC7-861D-DB9108FD1CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c16e67361b0ef57ca8c0cafafecada84d814977","datavalue":{"value":{"entity-type":"item","numeric-id":2843322,"id":"Q2843322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2022f469b4a58b491cdccbc804b651c4cc338da","datavalue":{"value":{"amount":"+0.8654167056083679","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":"Q3169452$9FFCA7DF-9A47-4B18-AEE9-DE173E98D7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef9e04a5281dad58360fba33cee7ce694420be2f","datavalue":{"value":{"entity-type":"item","numeric-id":1680261,"id":"Q1680261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb1b34b0eeaed4132610b0477f8ec410c626c2f2","datavalue":{"value":{"amount":"+0.8519761562347412","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":"Q3169452$FA8A49FD-2185-40BA-8FE3-F875BE6C1CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"396e9f05d4ad3751d8cd083836d121e6398060a0","datavalue":{"value":{"entity-type":"item","numeric-id":4968372,"id":"Q4968372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"688a54e25d892aada4c15db5d2fa053f04e9025a","datavalue":{"value":{"amount":"+0.8344023823738098","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":"Q3169452$F275C3CA-C233-4D0B-BB2D-713258DE7564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deb61ea282983acf31e37fd5a0de564b807944ee","datavalue":{"value":{"entity-type":"item","numeric-id":2818034,"id":"Q2818034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c5433cc4d3ee41323301d53e35e124d70e81d88","datavalue":{"value":{"amount":"+0.8276439309120178","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":"Q3169452$47EE98AB-5A06-4D1A-A596-ACBB5DD3D89D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Variable independence and resolution paths for quantified Boolean formulas","badges":[]}}}}}