{"entities":{"Q6536143":{"pageid":14147286,"ns":120,"title":"Item:Q6536143","lastrevid":57344415,"modified":"2026-03-30T14:08:33Z","type":"item","id":"Q6536143","labels":{"en":{"language":"en","value":"Transforming quantified Boolean formulas using biclique covers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7827815"}},"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":"Q6536143$393FCF3D-F5B1-4DA8-9FA6-335438CB8A20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8357fd6cd0185af14784d70ba057178f1b122174","datavalue":{"value":{"text":"Transforming quantified Boolean formulas using biclique covers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536143$61B347D2-ACAA-43C4-B7F8-A2B33A61CC52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ffe1ee8b6b55580b248898681949e475c770384","datavalue":{"value":"1547.68529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536143$861CE84B-7BE0-4DA4-9A56-9ABE6CF18F81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64829a1942e4b1ae765c9a7d2312ab3077e4c66b","datavalue":{"value":"10.1007/978-3-031-30820-8_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536143$B42CBB45-9F57-4C39-BF51-598C7D0F5C66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec0087dd29e6cdd418da3bff00462ae1b309f6ef","datavalue":{"value":{"entity-type":"item","numeric-id":391123,"id":"Q391123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536143$1FFF5DFA-2A98-4175-BAAE-4E3D9609B333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36156a8bef2477d344e38cec20e92a8817bd6ed1","datavalue":{"value":{"entity-type":"item","numeric-id":1796488,"id":"Q1796488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536143$F11479E0-D258-45BD-B41E-EC8C738F84DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e8e2138029d873c628e2ef2b4ef309f65fdca9c","datavalue":{"value":{"time":"+2024-04-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":"Q6536143$CF20772A-6320-4C0B-89D8-2124F812F3B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536143$28554FFF-CFD7-4E9C-8A75-A08B12C46702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536143$D5B88D2D-540B-4033-BD11-051E998A5B54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca92b1ee615d1c4c0640609fc7f61b7cf565f347","datavalue":{"value":"7827815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536143$5D87C567-DABE-414E-8D19-A351491F91B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bf8dac977f854b3073395c3428fbb8d7bd24ee8","datavalue":{"value":"QBF solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536143$942130AB-801F-4904-A777-7CB9A4C22B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fc356b40914456172576296546b6542f39cec55","datavalue":{"value":"DQBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536143$0CAF472E-1C67-48C9-A4CB-5F6AE8259E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7545e1afeca90126dbe6ac4473504996d72b5020","datavalue":{"value":"2QCNF","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536143$43FDC788-9A49-41CC-B8E4-5C6BDCFAF7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da928d3d7c8ebada33fdebd691722e607ac4e156","datavalue":{"value":"biclique cover problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536143$1F73C305-A38F-4FFA-8CE6-685C9E905DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dd2d9c4e4d6c3dac4606c1f2b151c68637ccc72","datavalue":{"value":"conflict graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536143$FD99F345-A0DE-435E-BDDC-244343CDB171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36957d7e632ee938df3990fd3662ec253f74cca5","datavalue":{"value":"preprocessing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536143$55F9F517-A701-4E9D-932A-004EF9887C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c02e6231a4f00739acae1086a231c19337882cf4","datavalue":{"value":"Horn clause sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536143$9ED4C59F-4C1A-4D69-BC0F-CB8EDC680DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46bc1107713b7cb9537df133dc1c97d1f3a18c9e","datavalue":{"value":"minimal unsatisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536143$94C1012D-B469-48B7-81A7-B0D8E3FD2D8A","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":"Q6536143$FC670B77-0D82-4BE1-A627-CC170A603056","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef27cee2bab421086371d0e0747eeace048eeb59","datavalue":{"value":{"entity-type":"item","numeric-id":2818033,"id":"Q2818033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536143$A31AA051-5BE0-4134-AAD0-81DC354F1D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"945a6a0c0b7bf82a6d1f7629f7cfad8c6fd10661","datavalue":{"value":{"entity-type":"item","numeric-id":2118283,"id":"Q2118283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536143$523F0D11-E379-4BFA-A891-7EA6F56D23E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"272941b00e25f55ba957e3ff6204127d83e6ec84","datavalue":{"value":{"entity-type":"item","numeric-id":4634394,"id":"Q4634394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536143$EAED05AF-18AA-4CF8-9D77-1C65069B505C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c56aaf8ccd46e3192e050c0368f83b3d69dc51b","datavalue":{"value":{"entity-type":"item","numeric-id":1277336,"id":"Q1277336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536143$FBD4A9D7-F464-46AB-A755-1AC94F43D943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41ab95cfd69e10430c9e72fb53fae7f5a4250a3f","datavalue":{"value":{"entity-type":"item","numeric-id":4947393,"id":"Q4947393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536143$E785F86A-B4C3-4E54-BF4E-A26DF943F757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"929921ada713e09d55a1a3d80d09a14fda01f04e","datavalue":{"value":{"entity-type":"item","numeric-id":2331611,"id":"Q2331611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536143$D3771955-7BC9-4E5F-BEAE-13730725457C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"260c22fcc0b2b8fe73e22a5fc6d05d81b513177a","datavalue":{"value":{"entity-type":"item","numeric-id":1126290,"id":"Q1126290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536143$05B836A8-5408-47FF-BF32-6E954DCD4B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c9d5d05dcc08f4f12e5993b417e201832081863","datavalue":{"value":{"entity-type":"item","numeric-id":1019181,"id":"Q1019181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536143$DC155372-9D84-4DEC-A236-542DC9EC5D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52228055d4b078baffbb21e8d8bacec7a2f1c6cd","datavalue":{"value":{"entity-type":"item","numeric-id":5714776,"id":"Q5714776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536143$793C8197-BFE2-436D-816A-DA63D97C90FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536143$BDB41862-C3D6-476E-93A1-9BADBF88DE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4329c832aaeefb18d7073f9e13d9d92559128df4","datavalue":{"value":{"entity-type":"item","numeric-id":4930581,"id":"Q4930581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536143$305B0CCB-0AE7-44A9-A295-D9B019341D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82a9c8cc4cdcade87b9ccc515a00403d48d4459b","datavalue":{"value":{"entity-type":"item","numeric-id":5636776,"id":"Q5636776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536143$2D70CCFA-80C5-4102-9767-E8C16EC2D53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec479b568cfbb8c9d4ea7300d7a8255e8c196e3d","datavalue":{"value":{"entity-type":"item","numeric-id":2335697,"id":"Q2335697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536143$1F523C5C-EFA3-46A3-BBCF-A2EEC885E540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536143$1E8A1C6E-045F-4836-8075-067CB21E35B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"673c3d5678692681137b85515e0fa0ad94daa6f7","datavalue":{"value":{"entity-type":"item","numeric-id":5325880,"id":"Q5325880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536143$410E9FF4-C8C9-4817-AF37-48587EF5E272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a555c78e813a5bcccbb1c854682ba4748e2c2baf","datavalue":{"value":{"entity-type":"item","numeric-id":2405263,"id":"Q2405263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536143$C3264A17-230C-4299-A350-7596E5641BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c07e39edb1ccb52e81245ff4646e9302f6b66c6","datavalue":{"value":{"entity-type":"item","numeric-id":2321317,"id":"Q2321317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536143$A8AB26FC-5A80-4C21-810D-55D480D997ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef50919836426633d57029f1a7fd047efdb7f298","datavalue":{"value":{"entity-type":"item","numeric-id":2818028,"id":"Q2818028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536143$E3C6FAF6-3D5C-4951-8754-EE163658E37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"899461a572245b2cf5a23803b77c9785fe29f0b3","datavalue":{"value":{"entity-type":"item","numeric-id":6039407,"id":"Q6039407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536143$D9D98D55-0B62-47A1-A015-A4827C05DB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6634fe5c56d92a8492dc0b14f99111a283a93ab","datavalue":{"value":{"entity-type":"item","numeric-id":2181947,"id":"Q2181947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536143$4CBEA6AB-6F77-4DB8-89F2-CF60AFB7C819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379165d0c419d81119c3ed207acc17c41ac8d5ed","datavalue":{"value":{"entity-type":"item","numeric-id":1055790,"id":"Q1055790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536143$3A417284-F080-4C91-9A1B-D9CBF6B6C88A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab30d1bbbf226610c8e8fb5b2c8eec941e4c676","datavalue":{"value":{"entity-type":"item","numeric-id":3566747,"id":"Q3566747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce4cae67fe5e756ff0179d0686cc4d0a59ef509","datavalue":{"value":{"amount":"+0.7314087748527527","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":"Q6536143$D2304657-944E-453E-BD53-E439499F1E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc51c91a5e47a3b20ee19539a297cbb42ce11e6","datavalue":{"value":{"entity-type":"item","numeric-id":1680263,"id":"Q1680263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc3b4548b353dc3a5d3d97ff2fd08524d965a5a4","datavalue":{"value":{"amount":"+0.730787456035614","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":"Q6536143$1B756091-275B-44F8-9757-8C4797F98D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f002a6636018b0319d1ceede94e8f0110e1e151","datavalue":{"value":{"entity-type":"item","numeric-id":4930579,"id":"Q4930579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d5b89e12d3fe2cf58eac6521c1751fc45dcaaec","datavalue":{"value":{"amount":"+0.7288209199905396","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":"Q6536143$45B54754-9193-459E-8100-AE8D47BDC462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ec44ed579642d82379a860e1651dd6e3272909b","datavalue":{"value":{"entity-type":"item","numeric-id":1777405,"id":"Q1777405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c00393ee1543b0eb6c6430b285574cbe55b07a58","datavalue":{"value":{"amount":"+0.720586359500885","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":"Q6536143$24412A2C-6A4F-4962-B2C8-A8AAF09402AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"924e16b8b418aab51723a8cbb04096ef25ba7fcd","datavalue":{"value":{"entity-type":"item","numeric-id":2206220,"id":"Q2206220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89411188bd61e1c3d8bf59cf17d0fbd842bf3ee7","datavalue":{"value":{"amount":"+0.7162914276123047","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":"Q6536143$C9E14463-B6F6-4D1F-987A-BA507601E173","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536143$51AE932A-5B66-4E2C-B268-BE802D66EC12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536143","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536143"}}}}}