{"entities":{"Q3002779":{"pageid":3013503,"ns":120,"title":"Item:Q3002779","lastrevid":58097052,"modified":"2026-04-03T19:13:31Z","type":"item","id":"Q3002779","labels":{"en":{"language":"en","value":"On the hardness of satisfiability with bounded occurrences in the polynomial-time hierarchy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5899255"}},"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":"Q3002779$7E9596EE-3B3A-4312-B62C-17FDF8A92877","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6962740d9127bb683753e4c80fbc17456e4e0aa4","datavalue":{"value":"1213.68311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3002779$1F02E43F-5F3B-40FF-8BF0-2C535D069DDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3a50e8ff6f00f1f941a03b45dc18fe7798851c7","datavalue":{"value":{"entity-type":"item","numeric-id":1006406,"id":"Q1006406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3002779$E0B34801-4590-4580-A1BE-DF2676E1A42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6fce015a1448257e1b51552202e3fc2be212616","datavalue":{"value":{"entity-type":"item","numeric-id":764352,"id":"Q764352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3002779$7E26B32F-F0C6-4A65-9AA7-1C82458F4DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9f6b5d26f49366977cda1349aa1fe24902e4163","datavalue":{"value":{"entity-type":"item","numeric-id":375694,"id":"Q375694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3002779$ABF35D6F-F33B-46AD-B2CA-EC13DA3C2369","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"11632bef515b8b0af0e8d65098d262d28b5f8c42","datavalue":{"value":{"entity-type":"item","numeric-id":2816408,"id":"Q2816408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3002779$E6B068FF-6BD4-46D8-A853-C99B18416C4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"06770005a3ff7536cedbafe2a793f3c0760af601","datavalue":{"value":{"time":"+2011-05-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":"Q3002779$8E2DB2A8-E216-47D8-9DC7-E4B6C55C2595","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ff4e0e3232822571b54ffa2240285018ac34255","datavalue":{"value":"https://arxiv.org/abs/1806.04080","type":"string"},"datatype":"url"},"type":"statement","id":"Q3002779$E07D0CB8-B205-4260-A3B3-180C34B8049A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3002779$D8EF049B-1BEF-4099-9B04-C6EAE131F237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3002779$128E0BC4-601C-4BC6-AC6C-046380045F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3002779$B4984415-7891-40D4-A8A9-AE16B24A670C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a7844c13005fe29b1dbc939d6eed09bbf08cb92","datavalue":{"value":"5899255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3002779$B51614AF-D3F1-42FB-8445-B1BD74167FDE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3002779$53E6519F-C0F3-4E05-9F57-6510984D05D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"319f7aef6d48907b019428ced327b73484cf6132","datavalue":{"value":"polynomial-time hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3002779$5A2FD105-5753-4292-B551-B34E88983AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7eb7ce57864bad79eb8b1130037c18cbe7109e9b","datavalue":{"value":"expander graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3002779$776CCF3A-BF3B-4C46-824D-A3F2E801D94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6e9db4141a593b004819bd263367fe712b9963a","datavalue":{"value":"superconcentrator graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3002779$7DFA3DBC-E2E6-4F1D-8DDF-26B197F275CE","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":"Q3002779$9D6113FC-9D4F-4423-AB9C-7E49F783AE6E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87ae8450fa5e8fa44cb201f069f71a71da9fdad4","datavalue":{"value":"W2108645323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3002779$CD8B5B71-3354-4923-8E4F-322016278BB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c75ef681e4ef0c1b99a276416d6c0839fc50aa0","datavalue":{"value":{"text":"On the Hardness of Satisfiability with Bounded Occurrences in the Polynomial-Time Hierarchy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3002779$DDEDD07F-773E-4CA4-9521-CCBE1F923F9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61f958ccc772d02ca5149705fe433f1d23d3dd37","datavalue":{"value":"10.4086/TOC.2007.V003A003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3002779$737A0A92-E96C-4F01-B323-6978575E6934","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6033741d8c31c98a91aa90478da2af93b7583913","datavalue":{"value":{"entity-type":"item","numeric-id":5176001,"id":"Q5176001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c39cac603f87c80d73dcd37b3f1154b9d14a1ea","datavalue":{"value":{"amount":"+0.7766255140304565","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":"Q3002779$3FDE5686-9615-4FFA-84B8-7A0C187BD3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a032fc3ac14ef898ae6e55c93da9dd2269dded2","datavalue":{"value":{"entity-type":"item","numeric-id":4377125,"id":"Q4377125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4be97eb8a7b41f9f26c932ceb200586181d17d68","datavalue":{"value":{"amount":"+0.7662473917007446","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":"Q3002779$0A9409E3-983E-43DD-9D3D-534831E7E00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb6b6bcdb87c4692903667b4772f341680ad7c51","datavalue":{"value":{"entity-type":"item","numeric-id":4037693,"id":"Q4037693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4be97eb8a7b41f9f26c932ceb200586181d17d68","datavalue":{"value":{"amount":"+0.7662473917007446","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":"Q3002779$1FE95E17-5BF8-4F07-8B9A-7060D26D6C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55782ea698f1f7994f85db0053bc8d9657b86472","datavalue":{"value":{"entity-type":"item","numeric-id":875598,"id":"Q875598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6829590d4cde638476c93ddaf52e90a04a10c381","datavalue":{"value":{"amount":"+0.7543971538543701","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":"Q3002779$BDBFAE95-1FB7-4EB4-85CA-037EE40CBA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19fd2ec2c2928889a6e98cbeca2975f1f4d421c6","datavalue":{"value":{"entity-type":"item","numeric-id":5363382,"id":"Q5363382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f689b2a22ad0aa195c41aa6f8fe543abe8ee137f","datavalue":{"value":{"amount":"+0.7531639933586121","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":"Q3002779$14541292-02D5-4D94-8282-AF9A4E168580","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"6a554977dfac80e46d734f83d88900a7dc80a6ee","datavalue":{"value":{"entity-type":"item","numeric-id":6830589,"id":"Q6830589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3002779$59AAF4D1-6106-4F8B-80E1-1E4B16983A07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3002779","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3002779"}}}}}