{"entities":{"Q2661365":{"pageid":2672108,"ns":120,"title":"Item:Q2661365","lastrevid":44590497,"modified":"2025-11-24T04:20:16Z","type":"item","id":"Q2661365","labels":{"en":{"language":"en","value":"Strong (D)QBF dependency schemes via tautology-free resolution paths"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7331035"}},"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":"Q2661365$EB100FAF-F043-4160-83F5-345E84A3F623","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"629e0dc9a4370e1057226f492e3d6953068cfe9c","datavalue":{"value":{"text":"Strong (D)QBF dependency schemes via tautology-free resolution paths","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2661365$1B50A568-53DC-4445-8DAE-A936632F4D1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3034143ca50856d73646ac50be91d92097e61189","datavalue":{"value":"10.1007/978-3-030-51825-7_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661365$9AC71F7F-D5A2-496C-8AE4-A96612D5FC40","rank":"normal"}],"P16":[{"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":"Q2661365$1B285C3B-798C-4D72-B191-2F8320BDA98C","rank":"normal"},{"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":"Q2661365$FEEE1A1F-6A3D-428C-87FB-7D7081F77DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44a7661dcb421346e6d54a3423b58fd3896ae0e7","datavalue":{"value":{"entity-type":"item","numeric-id":1656582,"id":"Q1656582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661365$ED447CC6-32B4-4615-8551-3CA26D3B2A3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d00bdcd19b4845662efa642e1e79b87a36e3395","datavalue":{"value":{"time":"+2021-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2661365$A7DCE28E-F1CC-4440-B369-1FF2E2B3FA80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661365$BE41AAA7-54D2-4C6E-A8C6-6FD5A5A6DB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661365$A858CF54-CEA2-4EC8-9423-249FE94B4F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661365$6EC4555D-0F8D-4B7B-9FD3-B964CCE8287A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a13bc2c189a61639c707999d4311bccff9f8b7a3","datavalue":{"value":"7331035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661365$1C1E5F8D-2537-4FCD-BF97-9956C44D7D0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fc356b40914456172576296546b6542f39cec55","datavalue":{"value":"DQBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q2661365$1950A47F-9599-4C72-8ABB-D0A529CD0455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b7c35f031fefb7776ff4b9cd725e564979be59b","datavalue":{"value":"dependency schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2661365$50C09847-542A-4F7B-9751-93E6CC34550B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2661365$98379AB9-85F7-4E0E-A48B-162CEDEE0C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q2661365$08619B9D-742A-4565-A899-0C3A58C971A5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6b38d41f42be9a63abc418d73603b2d531b26a9","datavalue":{"value":{"entity-type":"item","numeric-id":21713,"id":"Q21713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661365$E9188352-F3EA-4F5A-B6F4-8F42B77E7835","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":"Q2661365$A7CC8137-D855-448B-A6F6-EBDB56FB00C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96679b568b6c2f5c89a8d44278c1e0681e010601","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51825-7_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q2661365$CD055878-5098-490F-AFC7-EE9DB2905207","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6769217e4adb252e9f60c26c272ddbd7d512d2f","datavalue":{"value":"W3039621816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661365$D54FA75C-FE27-488F-AF3F-056BF8D84FB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05970c67c0d5013061bd4b341e553a834a8c2cfc","datavalue":{"value":{"entity-type":"item","numeric-id":896919,"id":"Q896919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88fe934edb5e5baa502612919f4de1380955ab60","datavalue":{"value":{"amount":"+0.8853866","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":"Q2661365$B1A03A84-DE52-4DAD-939F-C2F03666C973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e6e396fa66334b947dcd82b2b6879e797832123","datavalue":{"value":{"entity-type":"item","numeric-id":1680258,"id":"Q1680258"},"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":"Q2661365$F198471D-8C6C-4420-B8AA-630B5CB655AD","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":"7806bae58d7df66b0d03f6893b1f1e606f3b76da","datavalue":{"value":{"amount":"+0.88068336","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":"Q2661365$65C28002-B42A-4EA7-A346-BBF1F4E1B615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab45ed4ffa48184397643d2935acd78ffba209e9","datavalue":{"value":{"entity-type":"item","numeric-id":2843326,"id":"Q2843326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"004053326a9c893883be5ca5c08debbb83f12bfa","datavalue":{"value":{"amount":"+0.8744898","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":"Q2661365$BE7E40F2-EC5A-454A-878B-E82CF7E9E2E4","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":"0f6ec361698d96c8344b34ffed4d2f05ee3a2139","datavalue":{"value":{"amount":"+0.87438315","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":"Q2661365$24B813FA-368F-448F-A3D8-040293A62430","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":"cf478b55bd49dab61887d3dddd7a0c5ac04a7f2e","datavalue":{"value":{"amount":"+0.87152416","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":"Q2661365$0F29FF13-F700-4221-A6E9-1609B7DCDF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0168f567a5e2627419edf0d05b23e662370a8fe1","datavalue":{"value":{"entity-type":"item","numeric-id":6135750,"id":"Q6135750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dbc38cea64bdace73d1aa08c157c95d3e0c582e","datavalue":{"value":{"amount":"+0.8643501","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":"Q2661365$EB7805A3-1112-4FC2-A048-113340FA73CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e0e949ef861207124bf0a64f935cdf7909bc2e8","datavalue":{"value":{"entity-type":"item","numeric-id":1956380,"id":"Q1956380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f85c2f825fd72f9e335101145071af2b1fa2fe","datavalue":{"value":{"amount":"+0.8627735","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":"Q2661365$881BF668-A9A1-4E7B-BEED-0753D9509EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac5c2ee4c3f509aa1a1ed0bb37051ec4ca9f5275","datavalue":{"value":{"entity-type":"item","numeric-id":2323446,"id":"Q2323446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a5c33abb39a1d2b9070ca995f7a986ba16525e","datavalue":{"value":{"amount":"+0.8624239","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":"Q2661365$0EF0D050-B73F-4546-8606-9A2B31F4710A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a76d4b960130cce38d5661b43045d8c25c14a77","datavalue":{"value":{"entity-type":"item","numeric-id":2818031,"id":"Q2818031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c87885601317405066522293f43c7fc0994f83c6","datavalue":{"value":{"amount":"+0.85999966","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":"Q2661365$C2DCFBFC-00CB-40BC-83A5-C4F3B832ACE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2661365","badges":[]}}}}}