{"entities":{"Q6572022":{"pageid":14183177,"ns":120,"title":"Item:Q6572022","lastrevid":42356103,"modified":"2025-06-12T17:06:20Z","type":"item","id":"Q6572022","labels":{"en":{"language":"en","value":"Relating existing powerful proof systems for QBF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7880731"}},"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":"Q6572022$3D99721B-4455-43D2-B43D-86545B252124","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0845d82a451b5d2d77b6382c0453cdf0cc1c1a2a","datavalue":{"value":{"text":"Relating existing powerful proof systems for QBF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6572022$3AA97A3C-78C1-427F-8BF7-9C7F94A48CAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"797d737085edf99df070e3ed71108f1cc7edbccd","datavalue":{"value":{"entity-type":"item","numeric-id":1784952,"id":"Q1784952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572022$7E325AAA-28C7-4DA7-9F0B-E8BAE2DA3534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4545114e473836bad71ebea0181e527108d9e5ea","datavalue":{"value":{"entity-type":"item","numeric-id":352966,"id":"Q352966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572022$F9683495-FEA1-4612-BEFE-A5A06A1374F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4665cf21e28c8d8d6d68e1278341997f9619a61e","datavalue":{"value":{"time":"+2024-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6572022$E2F34518-84AC-427E-9C84-38E4B903CDBD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572022$0F11E701-7804-4486-84A2-B110BB5EDC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572022$E794A29E-BA9A-493B-8F23-0B7AFCB4F958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572022$775D47C2-2ED5-4FBE-BAFA-FE88A54ADADD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"213212ebbf5f513ed2d565911af4ef0569b93110","datavalue":{"value":"7880731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572022$239B83E0-D337-4119-9625-2A235A0AC94F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572022$F4C68301-B8E0-4825-98F1-0E730D140901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572022$ECA35F43-C0DB-4BC0-A76F-74FC93B0D064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572022$8FE6667D-E4BA-4782-9BF1-356AEF7A2589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e7fecd0563302884af049541e6f4b5d265346ac","datavalue":{"value":"strategy extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572022$7F7CF494-8A5F-47BB-8E2D-4DA6101B7465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572022$DC10E6C6-E724-456F-81C7-EB55BF66E880","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":"Q6572022$C23B5120-301F-4AB6-A5D3-6515FDB6472E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c4eec0085a639ac2f84696ad9ac7516dfb00050","datavalue":{"value":"10.4230/LIPICS.SAT.2022.10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572022$BDF8D5FD-0ACF-4A68-82DA-C3BF4389441F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6572022","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6572022"}}}}}