{"entities":{"Q2181932":{"pageid":2192675,"ns":120,"title":"Item:Q2181932","lastrevid":57758610,"modified":"2026-04-02T09:54:37Z","type":"item","id":"Q2181932","labels":{"en":{"language":"en","value":"QRATPre+: effective QBF preprocessing via strong redundancy properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7202457"}},"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":"Q2181932$B12454FE-A717-4B73-9C1A-664C4AE2846B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e01aaf0a920a945c2df63ee115addd1e495d5048","datavalue":{"value":{"text":"QRATPre+: effective QBF preprocessing via strong redundancy properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2181932$8FCAF025-EEC4-4C7C-8BA3-157B58892C60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c933ac1416400e6b6985d8dc8b41312e681ed8e","datavalue":{"value":"1441.68229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181932$16407039-E44D-4907-80CC-92F6C39C4394","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d13bb73ecbe95a7bd2c60a6cf2e2420f92599a74","datavalue":{"value":"10.1007/978-3-030-24258-9_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181932$1AB75D99-8265-4119-ADDC-C05B24A0EA59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da0a3b9db4e00166cd3cb753494ad16f6a97e6dd","datavalue":{"value":{"entity-type":"item","numeric-id":286394,"id":"Q286394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181932$D8D75D7F-0C16-4BB0-8104-F162E8440CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d140f15ea14007eb49a1fd3fff371fc795569921","datavalue":{"value":{"entity-type":"item","numeric-id":229734,"id":"Q229734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181932$607FAD24-50FD-4433-B716-C6F7461E318E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d777a513c8a436f6b680a1e02c588f4cd3d39d0","datavalue":{"value":{"time":"+2020-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2181932$882EC3E2-090D-43FD-B0EE-891A4AFC49F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b6b21b3c330d9dc3be90456c88d250c1bf87d53","datavalue":{"value":"https://arxiv.org/abs/1904.12927","type":"string"},"datatype":"url"},"type":"statement","id":"Q2181932$8999F103-50D6-4BC8-B0D6-5161F2B46E37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181932$A84A2F50-DC24-4C9C-86BE-B1F92ADFA41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181932$1D9ED5A8-B5B5-415C-8B0E-F670BDF56679","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52f0d7c86460260a52727b4f077fe6db69bc0ce6","datavalue":{"value":"7202457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181932$6566ED88-136C-4BDB-81D3-4DB4268D1A17","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"57c2931ac566bc1e964786e0868c62bfe8d7ac0a","datavalue":{"value":{"entity-type":"item","numeric-id":1354193,"id":"Q1354193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181932$03517354-462D-4E7D-B869-8FD6B3C6CE08","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":"Q2181932$0490E944-3DE4-4C03-9F1C-618BC178089A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"202b1558afa4414c4f5c2a6b23a674685345208a","datavalue":{"value":"W3103634278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181932$5EB195E7-889F-435E-A2CA-208C750F2EB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3204d4469411f8b037473eba8255bf17fe0c2428","datavalue":{"value":{"entity-type":"item","numeric-id":1799077,"id":"Q1799077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c42a89464dd37162ef9572446852ab915f17ec12","datavalue":{"value":{"amount":"+0.8854223489761353","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":"Q2181932$B2D0CF7F-303B-4947-A07F-5C8C7108DBF9","rank":"normal"},{"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":"75a306b4d129f1d7b0d169ab24b5c2651fcd46a8","datavalue":{"value":{"amount":"+0.8466061949729919","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":"Q2181932$E66A011E-42AF-4266-B45E-4980788A9117","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":"59d97870de84d26f14e051b7d968b828f03f23a1","datavalue":{"value":{"amount":"+0.825282633304596","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":"Q2181932$86759B2F-B009-42C9-92E5-342EA415541C","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":"92a0d14b4e688c8316dc380385fa2e5bfd58ef97","datavalue":{"value":{"amount":"+0.8086034655570984","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":"Q2181932$4E5713D7-BA00-4B26-BF47-7144EFB3F91F","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":"d1ec05bd2d2261d9f6951829036e46ea6ba1d117","datavalue":{"value":{"amount":"+0.80624920129776","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":"Q2181932$A35AD051-D528-41B8-A02C-F495A610463D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2181932","badges":[]}}}}}