{"entities":{"Q6572016":{"pageid":14183171,"ns":120,"title":"Item:Q6572016","lastrevid":42356106,"modified":"2025-06-12T17:06:20Z","type":"item","id":"Q6572016","labels":{"en":{"language":"en","value":"Classes of hard formulas for QBF resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7880726"}},"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":"Q6572016$9F216707-7767-4E36-AF5F-879A1529C478","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5901df44ceb0fd4c88d7aaf154d87051c679286d","datavalue":{"value":{"text":"Classes of hard formulas for QBF resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6572016$B82B1EB1-70FC-46BF-9FDE-3EC824363E16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3aef8f797a04255bb73a518195f943f5b3eac048","datavalue":{"value":{"entity-type":"item","numeric-id":6488806,"id":"Q6488806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572016$674F82AD-B306-479D-8A69-FDB9EEE634FA","rank":"normal"},{"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":"Q6572016$D7868949-1E54-425D-972F-BC79E473C0E1","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":"Q6572016$FD63B5BE-75D4-4EFB-A4EF-BE44210A697B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572016$04CAD706-BBD1-41C5-9F26-C576A8334F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572016$62FCBE0E-7590-4758-A4C2-12A267B7F36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572016$C5F597CB-E376-47B5-98AC-24BFA2BB3CEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7679193857b4cead0f6ae68e2de41b5c715e4dd6","datavalue":{"value":"7880726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572016$95076EB6-ECBA-400F-B5A0-5B60ACA5D2E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572016$381CEDE0-7A0D-47A6-9A6B-F00A9A4D797E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572016$CB29744C-2EFA-4D2B-B3A8-BC2669FEDFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572016$F6CD79E6-54FD-41CA-82C6-10726419841D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96b99193434b160c0229142e122a12419e6dec02","datavalue":{"value":"separations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572016$921ECFA3-C52D-46F8-8B14-F78EEFB6ABBC","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":"Q6572016$EBF1A47C-DB23-41FD-825C-21CE470DFD0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8fcdff422398d632422e7fc10c52dd6ac80b6927","datavalue":{"value":"10.4230/LIPICS.SAT.2022.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572016$72F227D4-3FD1-4E83-82C5-83166F46BF6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6572016","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6572016"}}}}}