{"entities":{"Q1680258":{"pageid":1690999,"ns":120,"title":"Item:Q1680258","lastrevid":68124801,"modified":"2026-04-12T21:36:00Z","type":"item","id":"Q1680258","labels":{"en":{"language":"en","value":"Shortening QBF proofs with dependency schemes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6807231"}},"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":"Q1680258$448F0025-6590-4BC4-AA0E-A50D3A7440A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ffa1164fcc8d8998c9a3bfd334ed926c21c970a","datavalue":{"value":{"text":"Shortening QBF proofs with dependency schemes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1680258$C23D3AB8-00C0-498C-9902-B2448F408E06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"736eae1e074885b9336bf5b2a2fb4b852dd36a41","datavalue":{"value":"1496.68364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680258$4F3EDDD4-85CA-4AB2-A297-93A6911CD767","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44541475a865a31c044b3d12b330bf64f529ed7c","datavalue":{"value":"10.1007/978-3-319-66263-3_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680258$4E6458BC-EE55-4D87-BF28-3D4143F18212","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ef950d398e713f13e50d18170d592f5e03fdd8d","datavalue":{"value":{"entity-type":"item","numeric-id":1680257,"id":"Q1680257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680258$2D0D2532-45A4-4229-8CDE-3B2F1F27C46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f204cca5cb3a5d17167bf45cc964ea1212f0eef1","datavalue":{"value":{"entity-type":"item","numeric-id":553295,"id":"Q553295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680258$DAC341A3-EDEB-417B-9457-CE2BEB4BBDD7","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":"Q1680258$0FDC0504-3566-406F-AAB6-0A73B4B5FF8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b89d18dbc81086081d47ce25354aacd0a72ce6a","datavalue":{"value":"http://eprints.whiterose.ac.uk/118501/1/JLBdynamic.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1680258$1AB69158-5B92-408D-B023-BFE3D4776B72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680258$1B33F599-96CA-419F-A9D7-7F6E1219E3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680258$98851BCA-AA42-4360-844A-068037C70153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680258$0FCEE7AE-6D11-43E0-AFB6-5CBE9E84F3BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f16bd78bd3b9c8462e1d50e3a7b9af9a8da50c2f","datavalue":{"value":"6807231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680258$E90CC08D-3514-4C7D-8BDB-6C34A2967F29","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680258$8D9E5819-7CEF-4AF9-9479-1CDF52F898AD","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":"Q1680258$9B76F2DA-B76F-40B6-AFC3-0EB738064894","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d104d38fc8daf63246eea7951b2cd48580fc67c7","datavalue":{"value":"Q59887551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680258$95BF1381-8642-48E4-A3D3-780927446F69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5828b80bdff1251f68b93f1137a0c3add60cc8fe","datavalue":{"value":"W2730075656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680258$BC2F7A3C-1CE2-46A2-9CBA-AA11A69DE56E","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"c0ef85989f520353d563e276c63eef6a2f7cecb9","datavalue":{"value":"conf/sat/BlinkhornB17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680258$0025C263-D0AE-4CCC-BFEC-048C97988A8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ff8464602a5033ddbcbed7710f98cb87c90ec1","datavalue":{"value":{"entity-type":"item","numeric-id":2181919,"id":"Q2181919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e586b7d1aceddb6f9ae27abc8a730083d77bc849","datavalue":{"value":{"amount":"+0.90176433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1680258$2439CB24-FF94-4416-9BCB-A1C3AB99C6E9","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":"50c20edf5eff207ce1c15fa3fa6aea56134210c1","datavalue":{"value":{"amount":"+0.89177185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1680258$1E695763-1D90-415B-B283-AC2AFDDFDAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a090f2d1e84f4f24a79560b94715154235eee41c","datavalue":{"value":{"entity-type":"item","numeric-id":2661365,"id":"Q2661365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9987b78c962f05c848d516f01d3e6272bb0268bb","datavalue":{"value":{"amount":"+0.88434446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1680258$B1CDC2AE-BD32-46CD-9A93-C05D60F51190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc51c91a5e47a3b20ee19539a297cbb42ce11e6","datavalue":{"value":{"entity-type":"item","numeric-id":1680263,"id":"Q1680263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af45031805045ad004574e2d1453d4f75fd456e1","datavalue":{"value":{"amount":"+0.8796225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1680258$BC511A8D-ECC7-4A11-BBC1-1B8A809EDB8A","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":"e4a20b3ff28cb3515bf7bbe3199ee2612524c832","datavalue":{"value":{"amount":"+0.878642","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1680258$CCCA7598-D384-4908-ACA3-ABD2121F02A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"730b834bec1599997f08d32a85a55ab5e4b54996","datavalue":{"value":{"entity-type":"item","numeric-id":4972172,"id":"Q4972172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ff4a2ea43df6f88f13276076b0f7406d3e2fcb6","datavalue":{"value":{"amount":"+0.87842673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1680258$7FD30345-DF0F-4522-B802-87EC978911EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d06a54f9f58d70b750796b92f3947935b7f23d6b","datavalue":{"value":{"entity-type":"item","numeric-id":4930586,"id":"Q4930586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3d5a92f0ebd1e25fa93e3cf13e118e64b31ea56","datavalue":{"value":{"amount":"+0.8754894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1680258$A21239CC-473E-4E98-9EBC-EA7EE822CC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfce90d13d4e18b12fc2cb127f32b95c58d30a6a","datavalue":{"value":{"entity-type":"item","numeric-id":2954985,"id":"Q2954985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"babf64fd9f1cb3fd4d6f2dfdd37afadb768e1060","datavalue":{"value":{"amount":"+0.8724247","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1680258$F320C69B-1FDE-4F07-A6C3-8F9CFD380507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76ccfcb719718e5065a8b5bb0c73582eb2c13383","datavalue":{"value":{"entity-type":"item","numeric-id":2118330,"id":"Q2118330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3b808e22e8a0fd416b3cbb5fd44c1d3d189e3fa","datavalue":{"value":{"amount":"+0.8722488","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1680258$22CFBC0A-4313-4544-9F9D-F6C43AAA0982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f579c5174dbc904f2d81d8da1b65db3df333552d","datavalue":{"value":{"entity-type":"item","numeric-id":3304096,"id":"Q3304096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6f200dca5500d51effce601da7078cff23859da","datavalue":{"value":{"amount":"+0.86517483","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1680258$76418209-3C01-416E-B763-0FB04FC463D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Shortening QBF proofs with dependency schemes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Shortening_QBF_proofs_with_dependency_schemes"}}}}}