{"entities":{"Q2954985":{"pageid":2965705,"ns":120,"title":"Item:Q2954985","lastrevid":52727714,"modified":"2026-01-23T09:12:53Z","type":"item","id":"Q2954985","labels":{"en":{"language":"en","value":"Proof complexity of resolution-based QBF calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6677386"}},"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":"Q2954985$42943439-DB9E-40AF-8334-4C9ADE6829A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aef762b3bb66cce0c77402d914b36d6c02d3a280","datavalue":{"value":"1355.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2954985$1983FA00-3775-40C7-AB8D-FC9646278666","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":"Q2954985$AF80F287-FC5A-4F87-9326-B4D33C0DCDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"797d737085edf99df070e3ed71108f1cc7edbccd","datavalue":{"value":{"entity-type":"item","numeric-id":1784952,"id":"Q1784952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2954985$ECF8F389-9DEC-4C50-82FC-541CACCF6872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e24c4e43654848209a68060f96d6b8df113db0e5","datavalue":{"value":{"entity-type":"item","numeric-id":253961,"id":"Q253961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2954985$8AF6AE3B-50BF-4998-84DC-3922338310CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39f74c103b9f673f455dbf7eb78fc5dbb359512b","datavalue":{"value":{"time":"+2017-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2954985$A555FB65-B4F0-498D-8B8B-A184A4E3B02F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2954985$04D53CEE-F2E7-481F-8DC0-800A52B3C16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2954985$CDCE5323-4C1E-4303-93F8-98013E1DCD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2954985$9DE99A2B-C2FB-4F09-ACC6-E9E6E7065AE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2df8b7f11ec0392f579308556f39d683ff1fb19","datavalue":{"value":"6677386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2954985$6AEB0D34-7269-4798-B659-465BFDB51438","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2954985$A046FDBF-13EF-43F2-B4F7-0B352E5A5DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q2954985$5E6084C8-EC5B-47D3-9B60-9FB927BA70AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7daec4ca65180985ce11628f27176a5337eb9355","datavalue":{"value":"lower bound techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q2954985$6DDFF365-629E-4508-B48B-24D86C4D702F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96b99193434b160c0229142e122a12419e6dec02","datavalue":{"value":"separations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2954985$FE947332-E6B3-4EF1-90C1-9A293D9074F8","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":"Q2954985$CED6A007-A386-410E-95A9-38C4D2DD800E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8684eeb93ff86927c715f08b0912db0e55fc030c","datavalue":{"value":"10.4230/LIPICS.STACS.2015.76","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2954985$73C9602C-9177-4479-AC9B-2BFB310DB4A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f21b62d6f5a132d14e9d9226e3f1ea566d331b8","datavalue":{"value":{"entity-type":"item","numeric-id":5205822,"id":"Q5205822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22fa155426220c458fefe1bfea4452ac1c513bb9","datavalue":{"value":{"amount":"+0.9656842947006226","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":"Q2954985$5E4E7BCC-013F-4C0B-91F9-6DE25128CE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5198cfa13681174cbc78a60ec4742ffc9b4b6a86","datavalue":{"value":{"entity-type":"item","numeric-id":5053061,"id":"Q5053061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7e6c0dc0d030b69cd138f9629153a2ae4e6073d","datavalue":{"value":{"amount":"+0.8594271540641785","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":"Q2954985$0365B621-7F3F-4F3D-9EA9-B08C7399E8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36552accf57401e43f029f0f3b2bcad86a873f98","datavalue":{"value":{"entity-type":"item","numeric-id":1987510,"id":"Q1987510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08554e750daeebba13ddd6c4e82ff8c8dc007242","datavalue":{"value":{"amount":"+0.8575673699378967","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":"Q2954985$312DF8C3-EE0B-4312-8426-0A518126A7E2","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":"267acd66bc36b5f180af267dc102e2463a57af85","datavalue":{"value":{"amount":"+0.8558390140533447","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":"Q2954985$43CCEBC1-3579-4678-96AB-9F8CEB33C78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cf41f596b930f7a683c9f042edf9877d0c3bb2","datavalue":{"value":{"entity-type":"item","numeric-id":2800571,"id":"Q2800571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"511edb758487efec0be3e6abc7dff20444897f18","datavalue":{"value":{"amount":"+0.8542342185974121","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":"Q2954985$88BC2A8D-1555-4E25-B46F-754215DE95B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2954985","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2954985"}}}}}