{"entities":{"Q3058691":{"pageid":3069407,"ns":120,"title":"Item:Q3058691","lastrevid":85607981,"modified":"2026-06-03T10:27:04Z","type":"item","id":"Q3058691","labels":{"en":{"language":"en","value":"On the exact complexity of evaluating quantified \\(k\\)-CNF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5823279"}},"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":"Q3058691$7B846B0D-C76C-439D-87B6-88229C9D62B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fadbb9f42dfdc162cc1b271019b9bdab30ac9caf","datavalue":{"value":{"text":"On the Exact Complexity of Evaluating Quantified k-CNF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3058691$4036CD08-5D72-4B2F-BE64-FDE4455D1D12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8eba1c644a05a7fad89c30dcb696f5808161440","datavalue":{"value":"1309.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058691$DBEAE428-77F2-4676-9665-8B76A0E3228F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a109494e6a3cb6606bb6c033182c1a8b0b26cfc","datavalue":{"value":"10.1007/978-3-642-17493-3_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058691$864588EA-3386-42E6-9722-4F00493C7A4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"089e41c8f7ccaf5215cb8d787978dedbdccbc06b","datavalue":{"value":{"entity-type":"item","numeric-id":1949745,"id":"Q1949745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058691$14654362-7A7B-44B9-BEE1-5BE868CE3D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afbdf0b4b75e6a0dfd1ecc76c9480c04f5fced5d","datavalue":{"value":{"entity-type":"item","numeric-id":202088,"id":"Q202088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058691$AB98B39B-4303-495C-B972-00C8CF57FCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d72b6c9fa09679ee04e7df5acd3659b335857c59","datavalue":{"value":{"entity-type":"item","numeric-id":192223,"id":"Q192223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058691$F2C71DB8-4F95-43B1-BC95-4000B21C0454","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0c7444d43d742ff192f7c630ea625c103bfe4587","datavalue":{"value":{"entity-type":"item","numeric-id":2867067,"id":"Q2867067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058691$FE0B41F1-BCB6-4A57-94E8-524A049C59B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ff188bdc41d6af5e5a1fa5f0277840eaf9175bc","datavalue":{"value":{"time":"+2010-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3058691$5E1548EA-BF90-4D49-AEA9-D37DB09C1A79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058691$22517D1B-7030-4E42-9285-4D138D8D120B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d566b97c21af17cd413a63331f67a26d01e4f1c","datavalue":{"value":"5823279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058691$43C93E38-981F-4F34-9EAC-82F4DAAF9B7C","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":"Q3058691$B548B385-95E5-424C-B2E5-632B51D8BD28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9dd836f37716b4ae5fbe1283dd0cd78923e59d98","datavalue":{"value":"https://doi.org/10.1007/978-3-642-17493-3_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3058691$FE1BFEBB-6DBE-4ECE-85DC-CD6811512CE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0056dd285314760b58c54fbfe0279e8ba80e9f50","datavalue":{"value":"W2176897270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058691$C77AFBB1-A232-4C1B-8356-36D52AB21C75","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058691$D2469062-6C62-416A-AED3-DF6F467ADC02","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":"Q3058691$C4C4AD27-6EF8-4CF4-BFAC-012C73BE8DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4499573df44d9712a446393c09ec0d4557b50e92","datavalue":{"value":{"entity-type":"item","numeric-id":1013082,"id":"Q1013082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058691$B7FA0F87-ED07-4DEF-BB5B-9F3B5D1B37D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ae59d18a471764f9f7ca3b95b5752d8f8a2107d","datavalue":{"value":{"entity-type":"item","numeric-id":2475410,"id":"Q2475410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058691$587637D8-4ED7-4029-94DA-E6DE0D8EFBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a4c23b508911cd4dee06950b209c7fd3b1801e","datavalue":{"value":{"entity-type":"item","numeric-id":3656852,"id":"Q3656852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058691$CF1E1BEF-3026-47FE-B3F3-72A3FC7811B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66021cb46439beae19ddad25790201f8ebbd34a5","datavalue":{"value":{"entity-type":"item","numeric-id":5713730,"id":"Q5713730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058691$213FAA5E-4B59-4355-AE0E-0CC7608A60A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112fa1e16c28072d1b690d88a68f10e9a878f19f","datavalue":{"value":{"entity-type":"item","numeric-id":5943094,"id":"Q5943094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058691$C13E39A3-C6C0-4BEB-A004-EC35CF6529DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4548ea5d583917c0fa9b6aaa6b1d48c80c1e7e","datavalue":{"value":{"entity-type":"item","numeric-id":1604206,"id":"Q1604206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058691$6B4D7C2F-24BF-47F4-B89B-96CB03E179C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab505d079acae70f31b63226f0d6d40ff5b0dd0","datavalue":{"value":{"entity-type":"item","numeric-id":3546306,"id":"Q3546306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058691$E95F0DD6-8569-4EC8-AEC8-9A2865687490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bebba68dc7dfbaf1caac8cb5c43ad35be909acd","datavalue":{"value":{"entity-type":"item","numeric-id":4484662,"id":"Q4484662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058691$75129827-4511-486E-8D74-4E33E6D3C59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad2bd73955595d36fe57f13b231976283a1ca60d","datavalue":{"value":{"entity-type":"item","numeric-id":3507036,"id":"Q3507036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058691$5758C8FA-BB65-48C0-802A-FFD5186C80BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca2e18e22bdceb10ced114e23ee143c1222e350","datavalue":{"value":{"entity-type":"item","numeric-id":4651809,"id":"Q4651809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058691$E3EBA686-6929-4050-91F2-92336D223C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82530b7040775ab3eac2bb71fccc143475ec6bd5","datavalue":{"value":{"entity-type":"item","numeric-id":4828947,"id":"Q4828947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058691$96A0452D-7FBD-45D6-B782-A51E4B85901B","rank":"normal"}],"P1643":[{"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":"270ef4784ada9b51f8949feb9193dcd71947cb0d","datavalue":{"value":{"amount":"+0.971177339553833","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":"Q3058691$AFB2F001-10EF-4331-AC09-D1F5CFBA9F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"755bb9e2da3e04a3fdd2a172851bfa20892491a7","datavalue":{"value":{"entity-type":"item","numeric-id":5943094,"id":"Q5943094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2ce11bdc9e2160f9381598ad9544426fdfca012","datavalue":{"value":{"amount":"+0.8222004771232605","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":"Q3058691$871C4DE3-8754-415B-8CEE-C76B19D73C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a17f3aff92308a526cc2ef4914fef2fe8593901","datavalue":{"value":{"entity-type":"item","numeric-id":2182311,"id":"Q2182311"},"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":"Q3058691$D8DAEF4D-B77A-4544-A6A8-76F6536AE36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d6a9840034335c4de344169f12e12a5c7c6d978","datavalue":{"value":{"entity-type":"item","numeric-id":5741801,"id":"Q5741801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e88ad0b73e069cb34b58b9295bc7af3979d1d781","datavalue":{"value":{"amount":"+0.7845529317855835","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":"Q3058691$A3A266CC-1A13-4950-9399-931F42715735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c2a4a52a974f465051dfaad6d36ce2d5859a91","datavalue":{"value":{"entity-type":"item","numeric-id":4962605,"id":"Q4962605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3083999283e451631dc26a0e918157bdc68b3f08","datavalue":{"value":{"amount":"+0.7817562818527222","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":"Q3058691$C152CBA4-179E-48EA-BF99-4E9A4B6C55F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the exact complexity of evaluating quantified \\(k\\)-CNF","badges":[]}}}}}