{"entities":{"Q6167165":{"pageid":13302047,"ns":120,"title":"Item:Q6167165","lastrevid":55472158,"modified":"2026-02-17T17:13:05Z","type":"item","id":"Q6167165","labels":{"en":{"language":"en","value":"Proof Complexity of Quantified Boolean Logic \u2014 A Survey"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7722661"}},"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":"Q6167165$C4AC41C1-A950-4774-AF64-82E02B96C05C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11bffb25ab93a9f8b2882ca9b7609a02b3a9adef","datavalue":{"value":{"text":"Proof Complexity of Quantified Boolean Logic \u2014 A Survey","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6167165$CD5670CC-467A-498F-82E1-B3BF5EFED459","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cb60dd2e66e924a7da010bcb18559484ed02938","datavalue":{"value":"10.1142/9789811245220_0015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6167165$CCFEBF0D-4B73-430B-B97B-57B050C56C52","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":"Q6167165$8D3D4D10-97F5-4687-A3BD-308C6AB351F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8cd940c44909538628a2a2fe4df1cb89d334832c","datavalue":{"value":{"entity-type":"item","numeric-id":6111734,"id":"Q6111734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6167165$AA4BE36E-C15F-475A-B9D4-DA574D78CF9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a60f814f4badc35e7a02ecc8e495276c1fc39c5f","datavalue":{"value":{"time":"+2023-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6167165$1DDD7705-854F-4AE5-BEFC-0B65730C662B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6167165$3764AE89-0D10-4036-BDDB-828AB0644F0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48f8db636048a2c4396e682ee6e560ca8dd3101c","datavalue":{"value":"7722661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6167165$019F1138-E286-459F-89DA-F832288611C6","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":"Q6167165$B195F72B-B599-48FB-A093-47D08E4C12EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd83deda30fdc4d64c998a6f0514dce68fa0a819","datavalue":{"value":"https://doi.org/10.1142/9789811245220_0015","type":"string"},"datatype":"url"},"type":"statement","id":"Q6167165$772E120F-BA6E-4C1E-AF03-9CAAE8992944","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd0b0f2938a68c19fda26c55666b43893faceb0b","datavalue":{"value":"W4362237097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6167165$09981BB0-7510-4569-9778-AC7F0DC65AC8","rank":"normal"}],"P1643":[{"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":"c135ad9048c2d5e79f87ed7c352da03ef33d47de","datavalue":{"value":{"amount":"+0.8682503700256348","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":"Q6167165$D10F9E3B-CAA0-4B65-BB91-352AC56ECFBD","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":"d93a2e98d989a766d2eac2185dc62efa9b22b1b5","datavalue":{"value":{"amount":"+0.8505938053131104","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":"Q6167165$35570C89-E3F8-4254-8447-67AA428C09F4","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":"230b9ed9b84f3b2d9186f4c9f262637e119886a7","datavalue":{"value":{"amount":"+0.8430854678153992","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":"Q6167165$0C8D6D78-81BA-4E9C-89A0-637EBDFC5D7F","rank":"normal"},{"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":"4fa4ab3a7754fbab9ec729b598b6f28c077b860d","datavalue":{"value":{"amount":"+0.8402910828590393","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":"Q6167165$D1363F6E-3863-47C9-A890-4921373F3554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feddddb00156b6059cb4679c8b4ca0a56e6d2dcf","datavalue":{"value":{"entity-type":"item","numeric-id":5133965,"id":"Q5133965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c29e392f9d8dc1701fd5409b024113d90d1182f0","datavalue":{"value":{"amount":"+0.838344931602478","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":"Q6167165$9B453BB2-297B-43E3-9093-6D031F05F76B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6167165","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6167165"}}}}}