{"entities":{"Q2870148":{"pageid":2880868,"ns":120,"title":"Item:Q2870148","lastrevid":58046694,"modified":"2026-04-03T14:27:08Z","type":"item","id":"Q2870148","labels":{"en":{"language":"en","value":"On QBF Proofs and Preprocessing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247454"}},"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":"Q2870148$A888D4AC-A08B-4C06-B2E4-9446C81CD68C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7cfdd5f32665c90c3a318e1bec2a2894c4b018c1","datavalue":{"value":{"text":"On QBF Proofs and Preprocessing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870148$131D480B-FA1C-4EF6-81CF-7AA2197AC8D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42afa2913cdd54e2207256ef326190979e614267","datavalue":{"value":"1407.68454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870148$D9F69DE5-6E3D-4934-A70C-C23838B42F33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"734be9b7b7d32903fb103bc6a36cc42224dd22ff","datavalue":{"value":"10.1007/978-3-642-45221-5_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870148$64261528-8E8B-462A-BF3B-925D0DD9B5AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e24c4e43654848209a68060f96d6b8df113db0e5","datavalue":{"value":{"entity-type":"item","numeric-id":253961,"id":"Q253961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870148$E4FF0156-8F0A-46D8-84A2-1FA4C1C5D49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aad285152a322692380fe5b3a8d3a729355b6564","datavalue":{"value":{"entity-type":"item","numeric-id":2151233,"id":"Q2151233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870148$799767CA-5A2C-4F53-AB23-B4ED71DAAD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870148$DA73EAED-CA4B-4DC3-9F3A-BDB4B3572CC5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870148$E3112F82-7927-4CD5-9A2D-ED8C9A52BA97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870148$BD4C0796-DB31-4109-A588-FC54524A9E1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c4f58bcad06cb9dff23d37e91f883bfcabf3348","datavalue":{"value":"https://arxiv.org/abs/1310.2491","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870148$5DD75ED7-6D20-4728-AE53-0F6839B6DE33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870148$812947A2-5417-42E7-BA66-1B7FFEF3A8FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11e56a04e7f8320b9a5658ec9382f3bb919a33f0","datavalue":{"value":"6247454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870148$4ED2DFAD-AFD6-4604-A4C7-DBA23E7BB9C6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc87be0dd022e5665e0c2cfd60b320be87befea5","datavalue":{"value":{"entity-type":"item","numeric-id":19021,"id":"Q19021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870148$32C78529-229C-4C50-B5C5-F3366DC3089C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90bbf05b61d9b805bad3a7dddfdf703eeaec6239","datavalue":{"value":{"entity-type":"item","numeric-id":19022,"id":"Q19022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870148$14F43DA4-52DF-4964-A565-32BC7F3357F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"51a313bba85d083d332055ca3bb709d116ecc30a","datavalue":{"value":{"entity-type":"item","numeric-id":21559,"id":"Q21559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870148$2DD7B3EA-B3A5-4333-ACF7-CF053A8D6050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1ef66678d684041b8de78c7576de4cf0ad3466f3","datavalue":{"value":{"entity-type":"item","numeric-id":21560,"id":"Q21560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870148$0370865E-0C57-4ECC-A149-0A18FA240AAF","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":"Q2870148$55116BC4-1669-4ECE-B085-F18A252D3621","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"adb9e16f36807a2a7a97afa07aa0a1875793229a","datavalue":{"value":"W53088276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870148$E149D61A-6E5F-49D0-BFA6-6608557F8509","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"316f41812037143c55f949ca95fe8a48b96dfdb4","datavalue":{"value":{"entity-type":"item","numeric-id":3192183,"id":"Q3192183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8f1b47ffc54fe00f71491324f7def6387dcf703","datavalue":{"value":{"amount":"+0.9294982","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870148$03DEC667-5734-4D22-A9DA-0A35ADC72F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fa89057f4906c43e874fd26e87e45b702550108","datavalue":{"value":{"entity-type":"item","numeric-id":3192061,"id":"Q3192061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b052a4f106d073fca6cee544a251fddbe33c31ab","datavalue":{"value":{"amount":"+0.89741","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870148$6B4051D9-9796-4DC4-8619-8934A9D3E4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76ccfcb719718e5065a8b5bb0c73582eb2c13383","datavalue":{"value":{"entity-type":"item","numeric-id":2118330,"id":"Q2118330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"476cec534adf696a3c7fbfa26411c051b0a61512","datavalue":{"value":{"amount":"+0.897307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870148$C74DBEF7-E919-4AA3-82BF-8219E92562F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfce90d13d4e18b12fc2cb127f32b95c58d30a6a","datavalue":{"value":{"entity-type":"item","numeric-id":2954985,"id":"Q2954985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d5e6ea2d7d84106d55c1aa5c833737ca85b4db1","datavalue":{"value":{"amount":"+0.8933065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870148$00006CD8-CE1F-4B15-9AB4-67041DE2972C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7a868cd2603b131ad761af067f61d90fa9e26a","datavalue":{"value":{"entity-type":"item","numeric-id":4681896,"id":"Q4681896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"049c935da668a64030ef3126e2079e9cec9b3866","datavalue":{"value":{"amount":"+0.89220494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870148$4DCEAA29-1D45-4F91-9A0D-EBD46B4B047B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a0a198dbcd0f5e762a31f07682b48e6da4c9748","datavalue":{"value":{"entity-type":"item","numeric-id":5957922,"id":"Q5957922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b15eafcb46044b983d76df98758c140e77ad01d","datavalue":{"value":{"amount":"+0.89136493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870148$4803122A-D496-42F2-B87E-3F8A08852522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a76d4b960130cce38d5661b43045d8c25c14a77","datavalue":{"value":{"entity-type":"item","numeric-id":2818031,"id":"Q2818031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d8aff7b76afc08578d2a1a031e27c8cf14348ba","datavalue":{"value":{"amount":"+0.8899945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870148$1DB40DE6-58B7-4201-946E-53E4AC144987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fca0e7e93dd7042cbc7e59c47a83bea11c5a6406","datavalue":{"value":{"entity-type":"item","numeric-id":3612467,"id":"Q3612467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50306a5f0c4a03c54b989b8809d0e51967304034","datavalue":{"value":{"amount":"+0.8883243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870148$A0F1D2A5-C854-4FA6-AD5F-3F32A89A355B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7104838a2ac0256989af4a5bfe7d161ed6c115a1","datavalue":{"value":{"entity-type":"item","numeric-id":5326454,"id":"Q5326454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9afc20232e8779aad5384bcad45446bb022ed365","datavalue":{"value":{"amount":"+0.88616884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2870148$2FDAE6D0-653D-4DCC-9791-D1919538E14A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2870148","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2870148"}}}}}