{"entities":{"Q2182311":{"pageid":2193054,"ns":120,"title":"Item:Q2182311","lastrevid":57764445,"modified":"2026-04-02T10:39:29Z","type":"item","id":"Q2182311","labels":{"en":{"language":"en","value":"Placing quantified variants of 3-SAT and \\textsc{not-all-equal} 3-SAT in the polynomial hierarchy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7203026"}},"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":"Q2182311$B15E3412-BB46-4C3F-A4B4-2C3DBF83A53B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"effc31e0c84685f95187808f0b6ddacd18eccda5","datavalue":{"value":{"text":"Placing quantified variants of 3-SAT and \\textsc{not-all-equal} 3-SAT in the polynomial hierarchy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2182311$C36A1BD8-C0EF-4ABD-A127-D12384911AB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b460c317c7f225c39412dab9b085b61b4e12aa7a","datavalue":{"value":"1440.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182311$6356849E-8BA7-4CCE-97F1-CC957050C437","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbe7cfd40a8fe18664670d6308153c4a18af9e13","datavalue":{"value":{"entity-type":"item","numeric-id":1694727,"id":"Q1694727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182311$D4090EE8-90D3-4D34-91B2-C37B29AA652D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d04829d68ef0cbbf1b27f91121e8a199c74bc9eb","datavalue":{"value":{"entity-type":"item","numeric-id":314425,"id":"Q314425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182311$B08F2A74-5BF8-4919-9F4C-4855B384C6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8a7ee244c1122e86ba92d723d3d934ebedcdf92","datavalue":{"value":{"entity-type":"item","numeric-id":383122,"id":"Q383122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182311$EDED97AB-1930-40F1-A640-25ABF88583A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08d76fdbd7a1376ea2d6519ca78a5fe6270d7a55","datavalue":{"value":{"entity-type":"item","numeric-id":234401,"id":"Q234401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182311$FA6DBAB0-D681-40A4-B8F4-B179D07949EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182311$CF966863-D5EB-428F-B5FA-5A2569A700E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7f157455450e9af34ed66ce1d308afc0b05988b","datavalue":{"value":{"time":"+2020-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2182311$B96488C2-5775-4E80-B781-51D16DEA4969","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad80412c2598a9b2d2c9fc691243417f38af0db7","datavalue":{"value":"https://arxiv.org/abs/1908.05361","type":"string"},"datatype":"url"},"type":"statement","id":"Q2182311$259EE068-1309-44DB-9AA3-E72A1BB73B75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182311$25A78740-9D83-449F-B001-D769FED69561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182311$C6FC8C31-7571-4A3B-8AE8-B2B78D72FBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182311$4B78D9C4-DA7E-4A9F-A390-30756940B34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182311$C962061E-78A1-4BA8-83C3-BFD3BB7B17A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9b7d6ec662aea1713e49d4e6f1d056bd5b27ef1","datavalue":{"value":"7203026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182311$60AEF89A-485A-4150-9B36-8652933419B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2348752ed9ac41037aee58c1d70ac8d0decfe670","datavalue":{"value":"3-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2182311$61AC4153-8EEC-48FC-8FB8-0DA6F220B647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b19cc2f6194938707073cde2902d97a48e39746","datavalue":{"value":"not-all-equal 3-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2182311$679D4930-2965-4715-AB18-D7041A8693DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09fac802f13dc4cbe78b2d293cbba412de4b80d6","datavalue":{"value":"quantified satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2182311$65079F1B-44F4-48D0-917F-29C2A2CAF5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"154ea0589dca3b50bef0f626c64f0e117c0eb521","datavalue":{"value":"polynomial hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2182311$17583E17-A293-4EE9-96E2-7D28A4D3F8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00d00f2ffd49a9319f4b4895754b2b2845eb5d9a","datavalue":{"value":"bounded variable appearances","type":"string"},"datatype":"string"},"type":"statement","id":"Q2182311$D6D4C598-450B-431A-973C-6D6CB37F23D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2182311$C25DCD8A-5C3E-4A43-BD1B-909F6D308CBA","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":"Q2182311$20FC5448-60AA-44F3-BF8D-CE6E7CCC8E22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"232a8ac5251ab13af309e0e4791dda68f4dc5927","datavalue":{"value":"W3017326705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182311$ABC1DABB-7B56-48D6-825A-56664E9A9E58","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182311$E37E38A5-B69D-48E1-81CD-9C51C540D211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36b42b281969cc247486ad758e619940ccb2d97","datavalue":{"value":{"entity-type":"item","numeric-id":4305362,"id":"Q4305362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182311$82CE37E6-2123-4A63-9011-10D554EC2B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182311$8B96BCF8-005A-46BF-BE70-820C40B68C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956f2c70aca3337a313c34143d495b7695ec08b6","datavalue":{"value":{"entity-type":"item","numeric-id":3002779,"id":"Q3002779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182311$B64DF4FD-5E63-4CFF-BF90-FABBF0E1F839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75880d031ba6c9d3cb47bc1bb2f972992c28580f","datavalue":{"value":{"entity-type":"item","numeric-id":1625170,"id":"Q1625170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182311$293B4A0B-DA3D-4E55-BC75-81668D5B8979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6363c63e69d72b64a431252e41a397731ff9f4e","datavalue":{"value":{"entity-type":"item","numeric-id":5325860,"id":"Q5325860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182311$80B909CA-9A31-4CDD-9AAA-50B38C00C421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd9423812d2965f1a6bae125f34f3457b20ad553","datavalue":{"value":{"entity-type":"item","numeric-id":2440094,"id":"Q2440094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182311$CDEE6DEB-F754-4CBB-9921-37A8A835687A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc9210880a969415d7fdac80f0196d4bc6894408","datavalue":{"value":{"entity-type":"item","numeric-id":5943091,"id":"Q5943091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182311$BE8FFD7D-70B5-4981-BF20-E1246DE05C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182311$6F0EDF96-27CD-48D2-9E42-B9763997EF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182311$8AB1785D-4074-4BE2-9A90-8EC9A872FE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50041fd827b9a880db5475227f379529c471731","datavalue":{"value":{"entity-type":"item","numeric-id":790612,"id":"Q790612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182311$C493C66F-AE8A-485E-B002-E1A00FB00BB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b81abad2d1a7f6b58f86105cafe3a8bd4554460","datavalue":{"value":"10.1016/J.TCS.2020.04.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182311$2D14F448-9567-443D-B590-34EC1F46AA33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1802191fa23212aae6e025f604a4353265a1266","datavalue":{"value":{"entity-type":"item","numeric-id":2310754,"id":"Q2310754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21f06b39dae5a29fdf6143fc8ae6a324f3501aa1","datavalue":{"value":{"amount":"+0.8226372599601746","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":"Q2182311$7605A12E-F57B-4590-873E-605333F376D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b65d4377b8003a3f40b1b6007d495d67e475f36","datavalue":{"value":{"entity-type":"item","numeric-id":3058691,"id":"Q3058691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa13b60088d3420482710384dc307e33c3641ca9","datavalue":{"value":{"amount":"+0.8097804188728333","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":"Q2182311$5D6FC489-AC63-423D-A7C4-D0490C37952F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5474d94e077936d6ac91cde4b55e3d28cae7011","datavalue":{"value":{"entity-type":"item","numeric-id":2223685,"id":"Q2223685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"359a5f2fadd478b1a9a384114685a2a9c7a00ba2","datavalue":{"value":{"amount":"+0.7854117751121521","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":"Q2182311$6B8E4760-F6EE-4018-A6B2-1FFB707BA158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"240213e1630cc0e6788ceddd4dd37b9c067e4ef7","datavalue":{"value":{"entity-type":"item","numeric-id":1949746,"id":"Q1949746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5767edcc32a971872ee574295edda2082e9dc44","datavalue":{"value":{"amount":"+0.7752148509025574","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":"Q2182311$887DEC33-EAD6-4730-8A96-D8FC95F92CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74ef019ff45542b2e9fb9aab563a2f0f87e7c660","datavalue":{"value":{"entity-type":"item","numeric-id":3599093,"id":"Q3599093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c26eba18605b392e54402bb40770c174d906d16","datavalue":{"value":{"amount":"+0.7578566670417786","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":"Q2182311$E8C296F2-69E8-4B0E-AA2F-B34F17F1D495","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2182311","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2182311"}}}}}