{"entities":{"Q2656352":{"pageid":2667095,"ns":120,"title":"Item:Q2656352","lastrevid":44579484,"modified":"2025-11-24T01:32:45Z","type":"item","id":"Q2656352","labels":{"en":{"language":"en","value":"A simple proof of QBF hardness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7319596"}},"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":"Q2656352$BD687839-E7C7-4B8B-9041-167AFE9FCE60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"240632eeeab3bb6ebd55be74708766c3806bdaf8","datavalue":{"value":{"text":"A simple proof of QBF hardness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2656352$53977B99-7301-4535-ABDF-162AE0A3D539","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":"Q2656352$AA6DBE37-CC5A-439C-AACA-9DCE30E18A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ef950d398e713f13e50d18170d592f5e03fdd8d","datavalue":{"value":{"entity-type":"item","numeric-id":1680257,"id":"Q1680257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656352$E88CD1C5-B8FB-4326-987C-08CA42989B65","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656352$7A7395BE-AF8B-4396-A8DE-CEB8F302AFBB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c9c4fa66886d0d17e842ebca75fa9d9080ab5e5","datavalue":{"value":{"time":"+2021-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2656352$3C86EFA0-176E-4AD2-BFEA-DF37EEE0C99B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2656352$E9F7DD89-D79F-4C7A-8E8D-DF2B2E26518F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75b307c65059fbf61000d48225f82c52d19f9177","datavalue":{"value":"7319596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2656352$A4EB6AEB-2637-4478-8971-2EC0067288F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2656352$C8BF5480-A90E-41DD-870B-CFE04996BFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2656352$357B832A-79D0-4C96-BA5D-6B3F06F5C92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q2656352$EC9BA37C-F03B-42C2-A411-29E8C901DCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d2bc307fd2c88f5393329efed40fb2e06ad4cff","datavalue":{"value":"Q-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2656352$2F755028-4C64-4F52-AB54-4B56F70DAB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q2656352$E556A74E-3035-40B1-8F09-B5CD55AB53AA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8cc02a4d5cfe357c7398b8045c9b55b5580560aa","datavalue":{"value":{"entity-type":"item","numeric-id":19323,"id":"Q19323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656352$CE953339-7171-41F4-BA7E-B3C6FF9C1732","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":"Q2656352$252ECE66-8F0E-4C68-B18A-EF632B7319F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"998665b1c68e2ae95826327865495e17c07056b9","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2021.106093","type":"string"},"datatype":"url"},"type":"statement","id":"Q2656352$61A3CFA0-910F-45FA-988F-683AB3F1418B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9fb17bfc5dffb8b7ef4805ecc52fe9d34c6d08d","datavalue":{"value":"W3119804017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2656352$D3CECEC0-3D25-4A6D-874B-87CC08FF3BA5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"327b8b07bae5edb39d51392add68b3d240b76011","datavalue":{"value":{"entity-type":"item","numeric-id":4629797,"id":"Q4629797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656352$63C1EC20-AD8D-451E-BACA-D12F417715ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c07e39edb1ccb52e81245ff4646e9302f6b66c6","datavalue":{"value":{"entity-type":"item","numeric-id":2321317,"id":"Q2321317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656352$AEA62BA2-000D-4C78-B702-3B35D92B4768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca85511458d1e8ffc3112b636b30e90d46ee5ec8","datavalue":{"value":{"entity-type":"item","numeric-id":5133965,"id":"Q5133965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656352$E87D7923-63EB-4FFA-9722-C36C61220D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186fb58597719ba9662a9164df91ae3f701697fd","datavalue":{"value":{"entity-type":"item","numeric-id":5145632,"id":"Q5145632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656352$0C71A924-5D29-4813-83F1-4448922D81C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656352$B8D971C6-6EC1-4E7C-B16A-0CAEC66CB65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd902b6160e42565c7d2c676094d64283d352a8","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656352$4AC793D6-07BF-4FE4-81E7-C9790B87146E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652707f3c517fc0bc45fb7ef7e533228515c0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656352$B87E2464-078F-4626-8083-672BA1AEF0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"056dc5420e2fc7959d17ae88fc635923df61286b","datavalue":{"value":{"entity-type":"item","numeric-id":543613,"id":"Q543613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656352$2D50B4CB-930C-4CD8-BA04-79390CD3E3D0","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":"Q2656352$5AEF25BC-7E39-449B-9E01-970997A6D342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9def7d0498f9f5ca8cd1639afeef0ff4343ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":2818030,"id":"Q2818030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656352$9A27BCC5-8AB4-4CBF-B803-D1E852BB2175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656352$1C1188DD-2FCB-4D0C-BD24-C8E3ABB15B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa44e7477708cf15aafbeca2fb67e3a90886b530","datavalue":{"value":{"entity-type":"item","numeric-id":2870136,"id":"Q2870136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656352$A347681D-C44F-4BB7-982D-ED0211231CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df79eccf9b3fe480906a64470a2d0251e219797","datavalue":{"value":{"entity-type":"item","numeric-id":3192061,"id":"Q3192061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656352$4D36F004-4760-4763-8527-5FCDADA8094D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777869f77ea42374cb6bd56298ec9252c09c58d6","datavalue":{"value":{"entity-type":"item","numeric-id":2818032,"id":"Q2818032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656352$8635F83B-936C-44D5-8F76-8A8B2976BB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7034b36f7daf0d6e51d9a266fbf3c95707f17f6d","datavalue":{"value":{"entity-type":"item","numeric-id":1799597,"id":"Q1799597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656352$E4B03D39-5247-48B8-B196-174A7C71B2DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca94ae032d3cfe3b72112ec4150fa2e5f4c2395","datavalue":{"value":{"entity-type":"item","numeric-id":5205822,"id":"Q5205822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656352$02CA90D4-4DC4-4629-BDD9-28857B30A929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4c1425331244edab5d5c3eea9925db8c385ca69","datavalue":{"value":{"entity-type":"item","numeric-id":4625702,"id":"Q4625702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656352$E722CD2C-20AF-43FD-A6DC-594610C39631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58fee5e31c4438384877b269874fb6e747d09fd8","datavalue":{"value":{"entity-type":"item","numeric-id":2424676,"id":"Q2424676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656352$56C1C339-2BD5-45A7-A38C-2FA7E7D6B41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf2b7bc968d0022ba4821507b1570d3b6507fc3a","datavalue":{"value":{"entity-type":"item","numeric-id":5136303,"id":"Q5136303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656352$5F4EE552-85E1-47D7-82D0-EF12CCFCDD59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e52d8577359975ecff53cb75a5eaac57b25e6e","datavalue":{"value":{"entity-type":"item","numeric-id":1987510,"id":"Q1987510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656352$2A923043-633A-4023-823D-86DFF170C86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c9f74c9e2f323d6a6a8fb50accb2001547c77d","datavalue":{"value":{"entity-type":"item","numeric-id":2954985,"id":"Q2954985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656352$DD919A66-9EDD-4F29-829E-77CA6B43F7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c9dc9e7a7e7ba60691fd7bebd8fdd9e32563f8","datavalue":{"value":{"entity-type":"item","numeric-id":2922598,"id":"Q2922598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656352$A021D157-4376-466E-92C3-239102D84AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a64f5d8bb8796d929b170b9a451b694680664c","datavalue":{"value":{"entity-type":"item","numeric-id":2339467,"id":"Q2339467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656352$5E2E9968-ECBE-496C-9D6E-175532299355","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aeceea7947f0deaf887fe4dc1234459c330ebb01","datavalue":{"value":"10.1016/J.IPL.2021.106093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2656352$E55BA8A1-FD97-47E8-AAC4-14899560F36C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2656352","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2656352"}}}}}