{"entities":{"Q5363030":{"pageid":7392604,"ns":120,"title":"Item:Q5363030","lastrevid":52919564,"modified":"2026-01-23T19:42:55Z","type":"item","id":"Q5363030","labels":{"en":{"language":"en","value":"Beating exhaustive search for quantified Boolean formulas and connections to circuit complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6786346"}},"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":"Q5363030$4C595A36-4EAC-4194-AAA6-37358B9BDA95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c377d21341a28315197c9d1a0488a31dc88ec7f","datavalue":{"value":{"text":"Beating Exhaustive Search for Quantified Boolean Formulas and Connections to Circuit Complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5363030$922D47CF-2B47-4295-8944-45EB7B4529E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c442bd666545e01243f5a68117b951d4ff1ea9b9","datavalue":{"value":"1371.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363030$50B5084F-B999-4D1A-AD20-3F8B22B8EE8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed0d14e37a7bb99ef57753d1fa08abfe7f1c0e05","datavalue":{"value":"10.1137/1.9781611973730.18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363030$B4B5975C-9A27-4094-A3DA-BE249BE7EC26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b23adbfc18cdc63b7e63348213f20b490e75c5f0","datavalue":{"value":{"entity-type":"item","numeric-id":488048,"id":"Q488048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5363030$3C74D586-108C-46A2-98E7-CE3FD53B645E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78a3ebf267830b34bb8ced5ebe00bd1ba645205f","datavalue":{"value":{"entity-type":"item","numeric-id":937200,"id":"Q937200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5363030$702CA3B2-F578-492C-83C7-7DEEFF999481","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f906c8fd5e5a589fe782b302dc040aa9fdb31947","datavalue":{"value":{"entity-type":"item","numeric-id":5362974,"id":"Q5362974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5363030$7BC982E5-84D9-49C6-83D9-45FEDA009820","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7be6e486ba98ac1c66d0c460f9b0cc5284ea28f2","datavalue":{"value":{"time":"+2017-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5363030$F48CF707-B1AF-4F94-A6FB-44D6C1CC49C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363030$3149BBFF-B111-439D-ABE3-ECAAFC8B09BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363030$BE244533-3B79-4FC2-82C0-BED6707316B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363030$D357F6A4-5376-4824-9DAA-6E1B077DB1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363030$AE6F2C37-7AB0-426A-93CC-B0D0FB3A6E33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fcc54fd59b2112abb88bf13862ce2f22a52bb8c","datavalue":{"value":"6786346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363030$C7D1B670-D428-43C1-85C7-90AB074FEFBF","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":"Q5363030$BC96EB0C-4414-447E-B4B1-9BA0063B400F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92ce78c442aa72cc2d6c7f0463280c8ef04e34c9","datavalue":{"value":"https://doi.org/10.1137/1.9781611973730.18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5363030$A4BF810D-0EAA-4E22-95E2-A651A5B20399","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa513e989f9c99ca7980595ee2302d6b8209fd66","datavalue":{"value":"W3136261533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363030$34C10FE3-8E4D-4CEA-BA29-4D32A77C1300","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c229517954d211b6f1c4f984dffa0b196a82702","datavalue":{"value":{"entity-type":"item","numeric-id":4828947,"id":"Q4828947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc92e07c9f9bef1dbd16403e12d8c5e82f1dfe56","datavalue":{"value":{"amount":"+0.8481789231300354","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":"Q5363030$8E423366-D6EE-4E4A-9C9B-B11FF2C479B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bd5fc3541cf271edf2a6c46ff972f5977d11384","datavalue":{"value":{"entity-type":"item","numeric-id":3656852,"id":"Q3656852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15949878bddce05dc820e02a9dfc7e32a78077c9","datavalue":{"value":{"amount":"+0.7916045784950256","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":"Q5363030$FB1DD89D-54FC-4116-8B10-6A32DFFD69AF","rank":"normal"},{"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":"5c18f85946675205447852c315171c42039931df","datavalue":{"value":{"amount":"+0.7866795659065247","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":"Q5363030$EB41FE9B-132B-4DDD-B468-CA2E840BF746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b65d4377b8003a3f40b1b6007d495d67e475f36","datavalue":{"value":{"entity-type":"item","numeric-id":3058691,"id":"Q3058691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56d4494e557797342ba2be1eb59690c04ccaf325","datavalue":{"value":{"amount":"+0.7802528738975525","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":"Q5363030$B87A3DA9-0DC8-4E46-8EF2-693546BA656D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87110f44440b93eecce5cf2d4ff6eb73eb518e40","datavalue":{"value":{"entity-type":"item","numeric-id":4607895,"id":"Q4607895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8e6393c16a8f439d494de2cd1cd79a15881a7ea","datavalue":{"value":{"amount":"+0.7738327980041504","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":"Q5363030$6FAFB672-A593-4CC7-9899-A391562E09BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5363030","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5363030"}}}}}