{"entities":{"Q2118283":{"pageid":2129026,"ns":120,"title":"Item:Q2118283","lastrevid":43520569,"modified":"2025-07-30T13:38:03Z","type":"item","id":"Q2118283","labels":{"en":{"language":"en","value":"Davis and Putnam meet Henkin: solving DQBF with resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7495564"}},"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":"Q2118283$92279809-1A5A-4B57-9876-7D8A070C4AE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ba65ad7fb0d6ce20ed051a8bdcb2c23bf200efb","datavalue":{"value":{"text":"Davis and Putnam meet Henkin: solving DQBF with resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2118283$B6F3BF03-0252-4B3E-8F98-3B25B3B4148E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08730e95aad64c4f654da67902acd6be29181fce","datavalue":{"value":"10.1007/978-3-030-80223-3_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118283$F7E75998-2257-4303-A7CD-68FF893B21DE","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":"Q2118283$B3E34955-DC2D-49CF-8617-B0A4FC39D003","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":"Q2118283$245A7EC8-F87B-4E9A-901B-0BDE13EDCC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea7245a8985e7729dbb2100021fb8a2a32efed15","datavalue":{"value":{"entity-type":"item","numeric-id":287385,"id":"Q287385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118283$1010EA71-B1EA-4FAC-9C94-6F8D4193936D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b1515277af1c7c28c7fc6f6f97d2379899717d","datavalue":{"value":{"time":"+2022-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2118283$F1E5636F-91CC-4143-8E09-4696B3FFAFFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118283$9A70AA28-75AD-4370-8ECD-C678202B938B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118283$125F6F89-72DB-41AF-B58E-3B253F1621AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118283$66DE7EC8-67D3-4272-9334-F333B11F29A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"047d36d8e49481e9fb1c7bdb7ffbea1695fee997","datavalue":{"value":"7495564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118283$8855A2CB-65B3-4DCF-B751-7A1D529C35C6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0df53c652e2fbf3e583e50626a3c4405ebff651f","datavalue":{"value":{"entity-type":"item","numeric-id":5974756,"id":"Q5974756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118283$C48A0B13-0E62-4EC2-A880-490994DFB604","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":"Q2118283$E6D29924-EDD3-45FF-A014-8883D7382278","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3797e1c2428b274f6c62f08d5a2c5bd4f9a689df","datavalue":{"value":"https://doi.org/10.1007/978-3-030-80223-3_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2118283$3D79C291-041C-473A-8279-7C8EF260A27C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59f3b956521d0e7f93e88dc43a97a590acfafb92","datavalue":{"value":"W3185782780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118283$0DD8B161-5926-4C87-99BE-E4271A4CB1BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f3bba5c5cfdb1a4354b8b050debbbdb9e016050","datavalue":{"value":{"entity-type":"item","numeric-id":5948765,"id":"Q5948765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118283$7A275F93-E92E-43E8-90DD-83E04D9CF6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f547f09f2d67c99fd8b8b432f051c8e240915b31","datavalue":{"value":{"entity-type":"item","numeric-id":2435315,"id":"Q2435315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118283$529BD4EC-A76A-48E4-B39F-CAC347648069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2720f4c8adc1662010147bef73f5a359a6284292","datavalue":{"value":{"entity-type":"item","numeric-id":2031411,"id":"Q2031411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118283$A2FC22EB-B550-4973-91A0-0E7514A5F7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5bf9fc55541c1464bbe73f0643185976695a3c","datavalue":{"value":{"entity-type":"item","numeric-id":5325870,"id":"Q5325870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118283$62AF3C79-3D1E-466F-B1EE-8D8F32CF7961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6e769fdec93991af3fb85e66c8e3e9bbd98bc8","datavalue":{"value":{"entity-type":"item","numeric-id":5756561,"id":"Q5756561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118283$4387AFF5-BC55-4A53-B2A6-DFB4A32D9F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae8e8c7e4d2f66af1d6d76f2c025c2520cd9b217","datavalue":{"value":{"entity-type":"item","numeric-id":3623009,"id":"Q3623009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118283$F1E58084-50D1-4507-A374-14F27A6B54C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84102a92bcfe89c2725294b0a707cb9610fcd68a","datavalue":{"value":{"entity-type":"item","numeric-id":5495109,"id":"Q5495109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118283$00EC8D69-2288-49D4-A019-2C2E02378DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74710e9d2e1ae04d62da8162f48ee143c6479921","datavalue":{"value":{"entity-type":"item","numeric-id":4411139,"id":"Q4411139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118283$4468C1CC-FB05-4DDD-8D50-435F2C724C8B","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":"Q2118283$104A9A77-50F8-4AF2-917A-88511E35155D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792b8833b1e7f005667900de9120fb86dc0801c3","datavalue":{"value":{"entity-type":"item","numeric-id":3303904,"id":"Q3303904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118283$55C319AF-6242-472F-9C43-18CF749B0708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72df03d77e1bc06662d09c4718408a862df26da2","datavalue":{"value":{"entity-type":"item","numeric-id":1891159,"id":"Q1891159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118283$8B122E52-2E3B-434C-8664-D34EA67F0A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118283$DF05A32A-8875-4DA4-8A0B-3045D3081B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef50919836426633d57029f1a7fd047efdb7f298","datavalue":{"value":{"entity-type":"item","numeric-id":2818028,"id":"Q2818028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118283$A4AC740A-EE66-487F-B89A-38FE4BE102A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118283$0F3084F7-72AB-49D7-BE0B-FF6714E1F341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118283$4AB584D4-0B18-4703-810C-37C32255A70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6634fe5c56d92a8492dc0b14f99111a283a93ab","datavalue":{"value":{"entity-type":"item","numeric-id":2181947,"id":"Q2181947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118283$2D863464-CE32-460B-8D12-7BB4D1008AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98bea2faf0f1e7139247049b725eb54de257627","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118283$11B87655-BD08-468B-8B8D-4033CFF4C56D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2118283","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2118283"}}}}}