{"entities":{"Q2818018":{"pageid":2828756,"ns":120,"title":"Item:Q2818018","lastrevid":79746410,"modified":"2026-05-06T14:37:10Z","type":"item","id":"Q2818018","labels":{"en":{"language":"en","value":"Deciding Bit-Vector Formulas with mcSAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623516"}},"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":"Q2818018$D10D36F5-5260-4340-828C-AE095EB0CF3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8caa8f3c1eda62c062665097f3caf7ce7fe8484a","datavalue":{"value":{"text":"Deciding Bit-Vector Formulas with mcSAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2818018$06FA6D32-1F83-40E6-9E69-048C4CBF9C9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af00354a245c7792a3169cbdac40a7f33138690c","datavalue":{"value":"1475.68226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818018$055CEDDF-ACF8-40E7-A2D8-54912EB58402","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71db5240bab26e86360b4b35600d269bb1b42160","datavalue":{"value":"10.1007/978-3-319-40970-2_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818018$5DB8CBAC-E07D-4EE1-9C0B-8522FBC44E4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e43976b8c9ad662157777e51c8a66ba423076571","datavalue":{"value":{"entity-type":"item","numeric-id":1799083,"id":"Q1799083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818018$66729F37-F27B-4F7A-B5B0-67D2A440E1ED","rank":"normal"},{"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":"Q2818018$2A3DB20C-8B34-4727-8E3D-9BFFDAC8FC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c0a4237c509f19dceb169b6d7b433af280d355b","datavalue":{"value":{"entity-type":"item","numeric-id":300416,"id":"Q300416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818018$EF3D9B07-F2DD-40A4-81A4-19F39CE84BB6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0c83d828fab67264ee3effdcbdeab1b4c818c4e9","datavalue":{"value":{"entity-type":"item","numeric-id":2817996,"id":"Q2817996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818018$997617CA-AC01-418A-BBD4-357F60A69F62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-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":"Q2818018$6F630B84-1A3C-499E-9444-6AB76C9227CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818018$75731C5F-8551-4C41-93AA-DC550FED69BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818018$9F3F019B-0883-4C57-8537-F52C782A326F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb7e4aa7c2a693bf65a924569a1bc03a3e96fd4f","datavalue":{"value":"6623516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818018$F69320F3-BD68-49D8-963A-80859B0ABA05","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5fa686058812d62cd4fdb582e175396a9f36cf7e","datavalue":{"value":{"entity-type":"item","numeric-id":21691,"id":"Q21691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818018$A7A61672-46F3-40F5-8844-0710817BC19A","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":"Q2818018$E76A79DF-7997-44A8-B376-6B481A1BE5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c68f838646040a47725898c45ccbdd7767d141c","datavalue":{"value":{"entity-type":"item","numeric-id":19197,"id":"Q19197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818018$FC318549-44D5-4BB9-BA96-2D46440B232C","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":"Q2818018$A7074817-EDB1-412D-8319-1193447A5ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818018$131042B7-8531-46AD-BB2A-A4BAB57257C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818018$A51B54A3-CC9A-4492-B86D-F8D2319539B0","rank":"normal"},{"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":"Q2818018$CEAA45AF-1BD1-4937-B890-9806F0CE2BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818018$C85B8307-ECDC-4095-A0B8-CA588E3D3B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42950e8602f0bf155e8f0e40e68f674e5831f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818018$C7975E71-BE23-4185-BD31-DA37D77AB755","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":"Q2818018$0ADA0C55-2BB1-4FB8-A7DF-C182AFE935D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50b8113b69ffc742c76c86720168a0119c704db6","datavalue":{"value":"https://doi.org/10.1007/978-3-319-40970-2_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q2818018$36071DC6-D7BE-4F30-9A7B-68EE3F8C9EBA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ffff6b55bd82398af3fde564b65e5c337f10e51","datavalue":{"value":"W2468832334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818018$ABE21EA2-3967-446A-A675-9FF466E29F73","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"524f6640482eca8a052d824a3f23f19734a331b2","datavalue":{"value":{"entity-type":"item","numeric-id":3557070,"id":"Q3557070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818018$E5CAFA7F-0F2F-4451-9617-79BA2DD13DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efeed698c61c9d4088905eab8917123fdb73bb41","datavalue":{"value":{"entity-type":"item","numeric-id":3100212,"id":"Q3100212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818018$5C7361E5-CD78-4B0E-A1B9-6252590EA08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818018$30BCE7F4-83A4-45BA-8A44-1CCD272BB8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818018$E7F34B65-7431-44B0-9216-0E1E4369C1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818018$614FE899-7CA7-49DA-8282-1D308CED196B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818018$B448FCD3-8C73-49CC-9942-098094980A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7df930a7271ffd5fbde145f2420863f456e120d7","datavalue":{"value":{"entity-type":"item","numeric-id":4928502,"id":"Q4928502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818018$0B261B81-EE7D-4B46-B6E0-7328611119F1","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":"Q2818018$F2969E70-E53F-4AB5-851D-2CB4E48CF0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37706997c0e12650bf30406d5f3ef502cc6c8e28","datavalue":{"value":{"entity-type":"item","numeric-id":2351157,"id":"Q2351157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818018$66D0C7E3-0AA9-4A59-AD80-7ACC8ACC8D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c378b8af5c7f91f24adcc385725e6205d9b426f","datavalue":{"value":{"entity-type":"item","numeric-id":2922635,"id":"Q2922635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818018$A611AA8D-0AA0-493E-A73B-4F502D930BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dacb907dd9697f1a762f9a4806c2c91d826f7e19","datavalue":{"value":{"entity-type":"item","numeric-id":2848683,"id":"Q2848683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818018$AFE11E61-81F3-411D-8B07-265EBCDBC7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818018$A772DDDC-47A1-4BAC-AD44-0A276F5435EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddeddf292e13fd796c5c20e153357856b636f89","datavalue":{"value":{"entity-type":"item","numeric-id":2926635,"id":"Q2926635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818018$6C1B621C-2282-4F0D-ADBD-E87B68383A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818018$31FE3806-DE7F-4CA2-884D-8064D18EE575","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c1f18903cec3aec53f7f02be09bd5eae33b4eb3","datavalue":{"value":{"entity-type":"item","numeric-id":2096440,"id":"Q2096440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a91d1238102ee317c288ae20ac81277b684bba4f","datavalue":{"value":{"amount":"+0.9287785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2818018$68893929-76CC-4F26-9C7C-1567942BF4AF","rank":"normal"},{"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":"c07f46aac272e4e8ee2dcdf1d60b7d4ec2f24473","datavalue":{"value":{"amount":"+0.8865849","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2818018$0F4EFA80-7074-4CDB-8F70-619E10E32696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db243c484ecbe4c8541c0b4871c0e63c2dfa456","datavalue":{"value":{"entity-type":"item","numeric-id":2051567,"id":"Q2051567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5438cc39a155656ecc70a21722f805fbc5421f4","datavalue":{"value":{"amount":"+0.87754184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2818018$40DBC82E-CEB8-41FA-B277-2D12A2212DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f8ed5f0834313a48c682658eaf443b0c09a99d8","datavalue":{"value":{"entity-type":"item","numeric-id":3557070,"id":"Q3557070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94154d53f0d45e7b7ac56df1ea5bf9d6e498a293","datavalue":{"value":{"amount":"+0.86995816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2818018$A5812FDE-481C-44FA-BB70-BF7B07EAB147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb02a597db6bc8fbefa867f8ca47e3ebda3cf632","datavalue":{"value":{"entity-type":"item","numeric-id":2441770,"id":"Q2441770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d0779f5f1f507ef02eee6f90eaf97b8ac23c951","datavalue":{"value":{"amount":"+0.8651424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2818018$D59D971F-57BB-4BDA-A448-0AF1A9F21D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"873a1445930348785a857813b9cea60c9fe0bc73","datavalue":{"value":{"entity-type":"item","numeric-id":2922635,"id":"Q2922635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4895c4ae6170d231a00596c9e94ef80979a9e6cf","datavalue":{"value":{"amount":"+0.86132187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2818018$1E54342A-4482-4F21-97F2-25CD44219F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8287d99d1edd1f53df8bda08a1f98956f7341002","datavalue":{"value":{"entity-type":"item","numeric-id":1656560,"id":"Q1656560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c3048c1799fde1e9aa5740c4a461462a00e3a3d","datavalue":{"value":{"amount":"+0.8564273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2818018$6AA3C7F4-7D79-47D9-B25C-736308E4E786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e52b6bbc7b3d12f64b8d0d20eadcfd8fa6c2d049","datavalue":{"value":{"entity-type":"item","numeric-id":2011567,"id":"Q2011567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ec0e9a03812c03d209bf49541a34758c7fc8017","datavalue":{"value":{"amount":"+0.85394925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2818018$CE7613D0-BD43-478A-9C3A-9E0530C6BA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b513f8345ffbdfaa04825de8d37af20fd232ec35","datavalue":{"value":{"entity-type":"item","numeric-id":2961575,"id":"Q2961575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a822235c3e338ba2e36c17120ecdb49adebaf23","datavalue":{"value":{"amount":"+0.84678996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2818018$746711E4-FB42-4757-B6DC-7F513238F225","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding Bit-Vector Formulas with mcSAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deciding_Bit-Vector_Formulas_with_mcSAT"}}}}}