{"entities":{"Q3304126":{"pageid":3314834,"ns":120,"title":"Item:Q3304126","lastrevid":86844683,"modified":"2026-06-04T10:00:07Z","type":"item","id":"Q3304126","labels":{"en":{"language":"en","value":"Small resolution proofs for QBF using dependency treewidth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228419"}},"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":"Q3304126$DBDB5664-D8C0-4520-A305-D2BF7A361E2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85501b65658ac30b9b6044fb791d066e3dda6002","datavalue":{"value":"1487.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304126$3D57B451-66A8-4C69-B81D-B465BDC2A6B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"416cd20e0f673f2edaab6b6bee02296f19cf9c9b","datavalue":{"value":{"entity-type":"item","numeric-id":1647833,"id":"Q1647833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304126$FCD77840-0278-490E-8968-FEE71B174EB5","rank":"normal"},{"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":"Q3304126$32771ABB-1EBA-4EE6-9F2E-453BEF657AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbca0a8695640e57b3adfafa5a18c2abca385906","datavalue":{"value":{"entity-type":"item","numeric-id":261390,"id":"Q261390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304126$4B3E7700-89D1-4E60-AC7B-C606AE4649D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367b52f871d6b5e824ee75b3e7162a8cd956fdbd","datavalue":{"value":{"time":"+2020-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3304126$9755BC31-99E4-44F7-AE53-D1FF8D304070","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7eaac9f09f04e32ecfbf20d88d59c1d19f18a115","datavalue":{"value":"https://arxiv.org/abs/1711.02120","type":"string"},"datatype":"url"},"type":"statement","id":"Q3304126$A056EE47-C8BF-426B-ABA0-217268E2EDF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca84c0a1de3e8c9074706ad5adbc0b1d28c30279","datavalue":{"value":"68Q27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304126$CFADE3BC-1870-4063-A630-A1C90D144E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304126$0E202444-B12E-4B9D-BA7A-BBE6AFEF3B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304126$2933181F-F77F-40CA-9ED7-DEDF0691BC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304126$14A09355-BB82-4100-927E-E781E9177FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304126$81EE2967-6B8A-40FE-9822-DCA4F05DE244","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a782ecc640881cefd6f673391ed688f7d0579c4d","datavalue":{"value":"7228419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304126$C26634E6-EAC5-4634-88E3-350F5249D9D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304126$AB8D39A2-F673-40E8-B545-C5A43F441450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d57d68ed777850433efcc3de197edd817953ef26","datavalue":{"value":"treewidth","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304126$7595B735-7FFD-4A4C-AF1A-C51E4F790C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1520de8379415749656b1e95045c660d5b7f1330","datavalue":{"value":"fixed-parameter tractability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304126$C256AD73-4FE7-40E7-9BA6-464DC44356DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b7c35f031fefb7776ff4b9cd725e564979be59b","datavalue":{"value":"dependency schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304126$BFDDAA39-D3EC-4BC3-8B3F-CC5491B60B80","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":"Q3304126$6B871049-0D5D-487F-8CFE-639BDF9C13DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac4b5bdc5e1b1ff1701a427c1cf9279891beb1f4","datavalue":{"value":{"entity-type":"item","numeric-id":2453562,"id":"Q2453562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304126$9CF0DC57-85AC-4FD2-88B3-F82B239C28C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c980258a2b52c992d9a0c35b22f3411058f7ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4930586,"id":"Q4930586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304126$22632DF2-5A04-4450-8ED3-01FE779BDDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9bbe5a3415d1d0180896b0f42ae9ec1cbdc97b9","datavalue":{"value":{"entity-type":"item","numeric-id":5248490,"id":"Q5248490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304126$95E9DCB3-4CB6-4E05-A2AE-30180C1C5BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffb6849fcf0645265982be692887bdd1fd96861f","datavalue":{"value":{"entity-type":"item","numeric-id":5506695,"id":"Q5506695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304126$2BAD0F8A-7DF1-4FE2-8D17-8994F2DC1C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08cc9cdd9999a46859ae4f667ab34baac016718b","datavalue":{"value":{"entity-type":"item","numeric-id":5502162,"id":"Q5502162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304126$C1B37E63-393B-485A-A15D-9A5E5FA3FDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304126$E0977FA1-07EB-4B4F-ADE7-4F1F816EC59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ccbb66f253e8aabe9f774ba9414f12634b864d","datavalue":{"value":{"entity-type":"item","numeric-id":383833,"id":"Q383833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304126$44B75F0E-F735-4D76-9E1B-9485CC112C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ae86091fad6ffa8e96fac6d0429e7a19d2cd2fd","datavalue":{"value":{"entity-type":"item","numeric-id":1771253,"id":"Q1771253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304126$E91E1CBD-B63C-4D92-8B34-03E70D5199FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae35b42269b65df7a1c59338bf97c0ea301c5c81","datavalue":{"value":{"entity-type":"item","numeric-id":2488567,"id":"Q2488567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304126$32B59036-F6D0-428E-81EA-F235275E0777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304126$92EE11D8-F9D9-462A-B3FD-AE9A534200F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304126$C96CEE53-2870-4FCC-B14B-65E64D2B922B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130dbb6db379f2863eacc4d460357dee10cd38dd","datavalue":{"value":{"entity-type":"item","numeric-id":4488342,"id":"Q4488342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304126$38CB2A7B-8089-4B60-B056-431C62ED82A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3a0d4c2b83e2d1c052c87c581c72cdba8da38e3","datavalue":{"value":{"entity-type":"item","numeric-id":1338451,"id":"Q1338451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304126$6BB0A1F0-5AED-4352-9622-AD69924EA10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304126$511C1FA2-FA2E-4CB7-BB8F-90C33D782AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78b4c1979734563721a3c8a0cacaee721529532","datavalue":{"value":{"entity-type":"item","numeric-id":3005896,"id":"Q3005896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304126$A3A4C072-CBAA-4608-BD2B-107C8E7EEDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee217a6efb56bcafe9bc6e8f2cfa457703ce050","datavalue":{"value":{"entity-type":"item","numeric-id":4252522,"id":"Q4252522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304126$99AA3765-3D5F-4129-9A00-1D6CFF8EB041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb20c4d5610d34fe4f3c2f5acadd1e9233934561","datavalue":{"value":{"entity-type":"item","numeric-id":5756570,"id":"Q5756570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304126$206284DC-3532-4E6F-B94B-EA63AED3A1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a856eabfd48ba25e148be4fb9c4387f0a4d3d7b8","datavalue":{"value":{"entity-type":"item","numeric-id":1040783,"id":"Q1040783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304126$BA9E03C1-4B33-4EE4-AF26-EDF20E6B46C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58826a8b01814b8363ea979157afc0f35550e4da","datavalue":{"value":{"entity-type":"item","numeric-id":2843322,"id":"Q2843322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304126$5698C3EA-F016-4C62-AD51-BAF57AB60226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371105a8a2e0db33e21b510f5a07343442472d95","datavalue":{"value":{"entity-type":"item","numeric-id":287386,"id":"Q287386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304126$79B20231-EAB8-4D59-B663-FCA81C3F6229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1c6d0d596991bfe8d4d820bd3efbafa0c05d235","datavalue":{"value":{"entity-type":"item","numeric-id":896919,"id":"Q896919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304126$DAA74AA3-FD8F-4471-9468-EC0C7F5CE5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c9ccf1390b71d9e519c14302458b3071bedcccb","datavalue":{"value":{"entity-type":"item","numeric-id":1967117,"id":"Q1967117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304126$FD97CD35-1CDA-4C9B-ACEC-F19FB0388711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a23604afcb0364f670f2bc60da96b028577190ba","datavalue":{"value":{"entity-type":"item","numeric-id":5325861,"id":"Q5325861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304126$819E601C-F2B2-43D6-B779-C1B9DC44EE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4a6b652a56cc97a0cfb61529d9b614d8a0988c8","datavalue":{"value":{"entity-type":"item","numeric-id":3169452,"id":"Q3169452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304126$15F9652E-2840-4B2B-B3ED-0FEB21BD5A4E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"174372c500aaf1656175cf58cce507af27e3813e","datavalue":{"value":"W2963205836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304126$87A196B5-477C-4B5D-BA1A-9FC7136F0D71","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9550386b782ed6e27aa2471621b91d8d2bf5ebb9","datavalue":{"value":{"text":"Small Resolution Proofs for QBF using Dependency Treewidth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3304126$3EA35D87-0C8C-42A8-ACF5-0827475757C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4362c206af75747c2a96939735834df820f8da88","datavalue":{"value":"10.4230/LIPICS.STACS.2018.28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304126$92A1695D-C55F-4F98-8711-F1343D84FC3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f11e6883acb5a4ee0dc518461c6a12ab8c520e0d","datavalue":{"value":{"entity-type":"item","numeric-id":2304627,"id":"Q2304627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe131fb1df0f5d22d46edf1df52f67977e6dbc59","datavalue":{"value":{"amount":"+0.8180729150772095","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":"Q3304126$18E42EE0-E0AE-4619-B857-850360D12F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8de6f2e4e5712eb2f6d73b4affbab8354491cd9a","datavalue":{"value":{"entity-type":"item","numeric-id":5223208,"id":"Q5223208"},"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":"Q3304126$5962518A-7617-4833-8B35-921277F8ADF2","rank":"normal"},{"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":"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":"Q3304126$3EDCBBFE-C3B4-4F16-85DA-A328561AC458","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":"5f1166d5dea1dc7e04a1afd298038aa091437d56","datavalue":{"value":{"amount":"+0.799519956111908","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":"Q3304126$CAC047AE-A616-4B46-804D-92E2CBB58059","rank":"normal"},{"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":"8d79979c66f6d8d030ad71b5718bc1a02adea3ce","datavalue":{"value":{"amount":"+0.7965644001960754","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":"Q3304126$CDB28060-98FB-4058-A695-89DFE1CEAD5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Small resolution proofs for QBF using dependency treewidth","badges":[]}}}}}