{"entities":{"Q4930581":{"pageid":6960163,"ns":120,"title":"Item:Q4930581","lastrevid":51093257,"modified":"2026-01-16T15:31:17Z","type":"item","id":"Q4930581","labels":{"en":{"language":"en","value":"sQueezeBF: an effective preprocessor for QBFs based on equivalence reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5793448"}},"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":"Q4930581$3C30FAA3-DA26-4257-955F-494ACD66E812","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0570a1983d68ebcc3f45791fd216b50d4cc24f62","datavalue":{"value":{"text":"sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930581$6B9ECAA3-CAA2-414F-8BBD-4C088F92B0E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3b761a257e59c2ce00af10d2741c93636ba8726","datavalue":{"value":"1306.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930581$737D0806-9C13-419B-9D7D-2E7532EDEAC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4edaae238f3b515610489cc2e793dfb1bf0269a4","datavalue":{"value":"10.1007/978-3-642-14186-7_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930581$6786FAFF-DEA0-4B00-954E-1A902AA9D5E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fbf1d9c0b0e83239511c911eb40c1e2a2b73d12","datavalue":{"value":{"entity-type":"item","numeric-id":414854,"id":"Q414854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930581$421BF632-E098-41EE-8906-BDB659796873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bba63e34e3a8a202413de5666cba2bb459cfcdcf","datavalue":{"value":{"entity-type":"item","numeric-id":4589095,"id":"Q4589095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930581$CF6C95F6-0DF3-4F53-B7F1-76C4F0EF3B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50a184f8e1810a1ef5255b0ff0f33bfd71675e2a","datavalue":{"value":{"entity-type":"item","numeric-id":814444,"id":"Q814444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930581$272C11FF-C1E0-42DD-BD22-66D300DF33D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d1b19733acdd40acbba69ca5d986f1f385209d79","datavalue":{"value":{"entity-type":"item","numeric-id":4930573,"id":"Q4930573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930581$4922EF12-70C0-4630-9AE5-7CF3D82735DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4858cb14fe2ceb550c09f1dbe5241e082f5548d2","datavalue":{"value":{"time":"+2010-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4930581$3C1064B5-551D-4A13-AD43-63104428C033","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930581$9D8D489B-95EE-4C62-802E-CF3B03AFC072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930581$1DC20D39-9905-4632-9BF4-3EFEE9B523F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62797d0e2f2173b88ec2a4604211fd5c1e808277","datavalue":{"value":"5793448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930581$EFDC6445-CABC-4806-9E3E-4FB854CF898E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"45120f496696c5ab8d879a13c08450908f0acf15","datavalue":{"value":"Q62040548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930581$19F9FC8D-8B5C-4FEE-A0A7-39E82627E940","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":"Q4930581$43F10AA0-C018-4595-A41C-38E1A75439CE","rank":"normal"},{"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":"Q4930581$27E290F2-4763-4F98-A736-9A20F7F21281","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":"Q4930581$AE995FD7-7F8F-4606-8E70-8FADD401F888","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":"Q4930581$C8A3166A-8206-4DAE-914C-F3830D0A41B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b24d287330f96c1f315b8b68b94bed4e42bfef9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14186-7_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930581$E6226B88-ED9B-4CA0-BDA4-BEB5A1E6FFFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1fe230c2c8b23f06b1e4b5f98a6bace1c35a5a37","datavalue":{"value":"W1561543482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930581$0291479C-DADA-444D-8206-62D6BBFA27CA","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"5b6f8f7aca4068648462d7414ee8dda29aea2bc6","datavalue":{"value":"conf/sat/GiunchigliaMN10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930581$0EC35FE4-A367-4817-9FF2-D0CAAD959A08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"735e4a7593e2aec0066ffe9438847f1c6adb8fa2","datavalue":{"value":{"entity-type":"item","numeric-id":5200018,"id":"Q5200018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c758ef57fd156fda48abfa288e3cb86b233f2d9e","datavalue":{"value":{"amount":"+0.8353912234306335","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":"Q4930581$75F182F5-394F-436E-A1F6-0D895C5A2054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8665f6b016ba60a0892af208453c29c9c3e0f8e8","datavalue":{"value":{"entity-type":"item","numeric-id":3453223,"id":"Q3453223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"955d0cebf348a58db8196624970b4f959b13c853","datavalue":{"value":{"amount":"+0.8198078870773315","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":"Q4930581$74E26482-1788-4D31-9DFA-CA3686A52C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e59d74c8f419af2a941165726276746f5abbe5ac","datavalue":{"value":{"entity-type":"item","numeric-id":5015602,"id":"Q5015602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b1016498139d445ab686820a7854b1b211d8572","datavalue":{"value":{"amount":"+0.8113462328910828","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":"Q4930581$E3EB1751-DCDC-48B1-8040-AE6D41D0A31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f2caae3c88bd411f954346557b19767f2499a51","datavalue":{"value":{"entity-type":"item","numeric-id":2181932,"id":"Q2181932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06b11d537b2126043188e761f0703fb186ea8109","datavalue":{"value":{"amount":"+0.7984614372253418","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":"Q4930581$6B96F9AC-DB24-4A32-89FB-AB0F9AAC7DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3db7f57505a4a5149a46c14f89c4fb20314fac17","datavalue":{"value":{"entity-type":"item","numeric-id":2870148,"id":"Q2870148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2de88d39ddc454f31f411e6fbcc8bdbc0358f5ad","datavalue":{"value":{"amount":"+0.7904661297798157","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":"Q4930581$ACA3CAA0-C6F9-45C7-87D3-8146B1B79F4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4930581","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4930581"}}}}}