{"entities":{"Q2441770":{"pageid":2452513,"ns":120,"title":"Item:Q2441770","lastrevid":74108379,"modified":"2026-04-14T18:23:47Z","type":"item","id":"Q2441770","labels":{"en":{"language":"en","value":"Efficiently solving quantified bit-vector formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6275287"}},"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":"Q2441770$12C33CFF-0CF7-41BC-B647-7144AE7B4054","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d56edc587e798e3b31ed7ae4a4a580f56846dbf6","datavalue":{"value":{"text":"Efficiently solving quantified bit-vector formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2441770$968EB5DC-9123-4B47-B8C5-3C0A25F91B8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"850c2d3b4030243e331ce0256f3872fdbf204114","datavalue":{"value":"1284.03212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441770$ADE737D2-2B9B-4074-ACFB-1B33034EBB31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ada47f60430f7f43a9dd2d117ab9ea6a873d3dba","datavalue":{"value":{"entity-type":"item","numeric-id":1799085,"id":"Q1799085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$5B25BD72-D44B-40D6-A461-44B5C2E127FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cda698754ec34aa18ba66c57a2afb9aa1743fae","datavalue":{"value":{"entity-type":"item","numeric-id":427557,"id":"Q427557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$B560420A-E4F7-4E93-8BE5-AD62C0873B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"899468d0fe4ec0ae9c5ef91b63881ae72bf40a46","datavalue":{"value":{"entity-type":"item","numeric-id":438532,"id":"Q438532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$2009769A-B829-4A58-A04F-B7DB2467A7E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$08603E6F-9E4A-4FA2-87A6-A87333DCB5E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8e12da0e8bd681f94b625e1ea013bf02fcfebe5","datavalue":{"value":{"time":"+2014-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2441770$EB9B53AF-6383-4282-9DB4-E8AED5BA746E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441770$38009C12-B10A-4A5E-A8A1-19434C17AD49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441770$979BB38D-6F7E-4D06-9C98-2C10E15C4806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441770$503BC0FA-7763-4505-9396-084E42C663D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441770$55B10167-9937-476A-8DAA-29804DD2351E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acb684f54ea41bf554d5059208d43821097c525f","datavalue":{"value":"6275287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441770$FC30142C-2A65-42AC-92CE-2C68BDA73527","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441770$4A0FC0B9-F6DC-4B22-B269-8ED73315D9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441770$B3CC58D4-24E2-4988-9EA9-F2B42AE55774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441770$A50D766F-FEE5-461F-8D61-9BB36E6497D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e8af2a650260ed14f9a2ecee0f16283c5e6cc69","datavalue":{"value":"bit-vectors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441770$B002A751-91B1-49B8-AAE0-285D853F78A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441770$5CC16452-4C7F-4F22-BE3B-F54B7BFCF5A0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$64E5AA03-3CF5-4615-A30A-E877CEB7D90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c9183463f88b5847f6cb1fa629a2f0b9ed00778","datavalue":{"value":{"entity-type":"item","numeric-id":23326,"id":"Q23326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$DF29380B-8BB6-4366-83D5-F7F452F67F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6ef83bc65a4e27e40a0f15cc6aef8f4086b5991a","datavalue":{"value":{"entity-type":"item","numeric-id":23327,"id":"Q23327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$296857B9-264D-4EB4-BA67-6029CC58AE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ca9a3b7221d86f39ba625c5cdafb4b84300080f1","datavalue":{"value":{"entity-type":"item","numeric-id":13515,"id":"Q13515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$ACB1ED68-8113-43D2-B4F7-DDBC7F5F7BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1b503d7c8f19634e207574177819c306621855","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$8ABB3729-21FE-464D-8446-4D65A72EA3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"842bcffb0bb918fd12447e4f670f8dc61d68f929","datavalue":{"value":{"entity-type":"item","numeric-id":21432,"id":"Q21432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$A855EDCB-76F6-4A38-B760-5D7A62B4E2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"075bd4f0d0f46efa06d0219c176262a3c479185a","datavalue":{"value":{"entity-type":"item","numeric-id":12856,"id":"Q12856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$8DDD6D6E-848F-45F1-BA7C-3142A455EFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$5E130B40-1C79-474A-AC75-5292BC6CF3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eabe837cdf5ac407f1205ea3065718ba4df6111d","datavalue":{"value":{"entity-type":"item","numeric-id":40095,"id":"Q40095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$9B69C2C6-D351-41E9-9EF7-66651A0C4170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f73b220ba5587942b20819a10a7828507204c03c","datavalue":{"value":{"entity-type":"item","numeric-id":46504,"id":"Q46504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$D6E8133A-3945-459A-877C-7FB41C4F55EF","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":"Q2441770$82484F03-42CF-4788-9CC4-B304F3863A68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4486e4b18fe4dccaf9bea727f929d245f533b85","datavalue":{"value":"https://doi.org/10.1007/s10703-012-0156-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2441770$C2C12BAE-3D73-4C00-AA68-83E48199BC96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2080a2865ba337eb7c800d03c6d289c59eff6cc8","datavalue":{"value":"W3137139687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441770$01F28501-D4EB-4354-BD15-27CFDA89B811","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed02573663da68744c881b10967b1f1f843cd08","datavalue":{"value":{"entity-type":"item","numeric-id":2864522,"id":"Q2864522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$BD6D1C1F-B1D3-4AC3-9CA5-6C58F55A412A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25a650df3daffe41a5463985884e68be23fb4743","datavalue":{"value":{"entity-type":"item","numeric-id":5705931,"id":"Q5705931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$18BB94E7-FD7D-492B-82FF-084A279805CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda68c490d3eacdbb4c205fd2cca76126f0a9248","datavalue":{"value":{"entity-type":"item","numeric-id":5714773,"id":"Q5714773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$BCCC6B8D-D91D-424F-B981-630DE8DFEFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d4d5df30bde2099983c3bf5f07484cf1031c989","datavalue":{"value":{"entity-type":"item","numeric-id":3181652,"id":"Q3181652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$70B35AA5-E2BC-4720-A922-5B05B573269D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a61c081846871c8a24b9271df7203466950baf1","datavalue":{"value":{"entity-type":"item","numeric-id":5458801,"id":"Q5458801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$8594996F-C70F-4873-9B63-1DDB48D3CCFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72218519db5d67e742c1d9933b547c92ef121134","datavalue":{"value":{"entity-type":"item","numeric-id":3557080,"id":"Q3557080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$75E85193-8A2C-4B14-AB39-FC68B42E9C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e0f9367fcada7729fe0f23d3b73250a0b1a897f","datavalue":{"value":{"entity-type":"item","numeric-id":1020501,"id":"Q1020501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$AB17A4C4-D7D3-4566-9378-2083FC2BDC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb644c5841dd8ef7fdeb2c27817dada70761fc00","datavalue":{"value":{"entity-type":"item","numeric-id":5429343,"id":"Q5429343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$DADEC67E-AE73-4394-BB8D-26E6E107065E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f426d61b5e73f09c762af22502a76e1d6d446b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3636870,"id":"Q3636870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$9946B2D4-B889-4418-A7A7-0D1E6CD41594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa3c7b6019916192168ed35411ab583608988f2","datavalue":{"value":{"entity-type":"item","numeric-id":5492981,"id":"Q5492981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$9DC550AA-96FA-4410-A03E-A7A3B43E0535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c29080afe6ea65229b5d1a0c0697db86e7d8d8c9","datavalue":{"value":{"entity-type":"item","numeric-id":3637177,"id":"Q3637177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$E79B23BC-1016-430D-92DA-379C5D7E6B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"705eb07356f3c57b6af5ee5160fdf7a239743339","datavalue":{"value":{"entity-type":"item","numeric-id":3600470,"id":"Q3600470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$CB169105-D0AB-4738-9220-EFA6EC7CA4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cb8e50e6c3bd60a9a9a59407cf30e8e788baa4","datavalue":{"value":{"entity-type":"item","numeric-id":3618853,"id":"Q3618853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$96C84A9B-B8CE-4E07-98BA-9466443DCB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$84725485-5AD1-4887-A4D1-A5C5F7423CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d6e5a2ec66a572177ef7c34d7ff9e3c5a3050d5","datavalue":{"value":{"entity-type":"item","numeric-id":1157324,"id":"Q1157324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$93303A3A-9337-42C6-843B-F41FAE0C5DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c980258a2b52c992d9a0c35b22f3411058f7ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4930586,"id":"Q4930586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$165A8A71-DFC7-4C21-98D8-1E8EDAD4A788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4f714dbb33bba32b50777c1d77c1cb7ff5fe56","datavalue":{"value":{"entity-type":"item","numeric-id":3608773,"id":"Q3608773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$6878BCF4-E035-4E66-954F-C5C8AE0B94B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$5EBEB194-7D1E-4525-8C23-6185761C80B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f035e7ce71fa36b05517fb3b1000527a247baf6","datavalue":{"value":{"entity-type":"item","numeric-id":5901912,"id":"Q5901912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$2C2D1F7A-A0A2-4E43-B12F-4D1CCE938465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0c92d03289446e128e8c1b5528c6f94929a65a","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$9FE918C0-2576-4F53-81FE-D25BD36F5957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff4195608d550bad4835ecef06e7efab3f8dbf4a","datavalue":{"value":{"entity-type":"item","numeric-id":3612477,"id":"Q3612477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441770$37C3CFB6-B1DF-41E4-80E3-77C15B1947F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60b3ea520284407adf0ae773c7bb841a6a254af7","datavalue":{"value":"10.1007/S10703-012-0156-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441770$0CEFB26B-1FB9-444A-A266-B8D70CAA58DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba2dd67d9904f8497b4b7b4ba2781e1ac9bb002f","datavalue":{"value":{"entity-type":"item","numeric-id":2818019,"id":"Q2818019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d1cafa272c1dda18cbad42e4f172a412fff4ac0","datavalue":{"value":{"amount":"+0.8144654035568237","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":"Q2441770$1F7E617C-5E10-404A-A68F-5BED5FE3300B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59bf2fa4d0d45ab69bdc33b9a3aa99fd55e8f3fd","datavalue":{"value":{"entity-type":"item","numeric-id":6039405,"id":"Q6039405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8648f8b86aab8bf8ffa2b462239a83102cd810c1","datavalue":{"value":{"amount":"+0.8020198345184326","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":"Q2441770$96982C29-FC8D-4E29-9088-D0D217F007DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"495af558e14b1494fb0c84718960c39eec5705c3","datavalue":{"value":{"entity-type":"item","numeric-id":2050109,"id":"Q2050109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdf0138f7ed5d28132158d3a52a023b5f9b80266","datavalue":{"value":{"amount":"+0.7770970463752747","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":"Q2441770$7D4E8988-F768-4AD8-90C0-585F5B388A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59b7b179af91ff79850e6500bf44206f23fadf51","datavalue":{"value":{"entity-type":"item","numeric-id":2815126,"id":"Q2815126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98182fb91cd8aa9cea47476bafedcd902911266b","datavalue":{"value":{"amount":"+0.7745657563209534","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":"Q2441770$7ED3D5EC-83CA-4F21-88A6-C964EBE20CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c467d1bef0c71c0ef6f36e5f629a92277c7f5ab4","datavalue":{"value":{"entity-type":"item","numeric-id":2961559,"id":"Q2961559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db62ef72c6fd21ae8174f258eb4244b86c8a9fdf","datavalue":{"value":{"amount":"+0.7723914980888367","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":"Q2441770$7479DAF4-5302-4746-8F38-5E018CF6893D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficiently solving quantified bit-vector formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficiently_solving_quantified_bit-vector_formulas"}}}}}