{"entities":{"Q862403":{"pageid":864251,"ns":120,"title":"Item:Q862403","lastrevid":64939047,"modified":"2026-04-11T23:14:07Z","type":"item","id":"Q862403","labels":{"en":{"language":"en","value":"Symbolic techniques in satisfiability solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5118125"}},"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":"Q862403$1D77D28C-FD56-4667-B95C-0AE1B78B291F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4148605f34ba8981a74b2a4ece7daf16b1259f5","datavalue":{"value":{"text":"Symbolic techniques in satisfiability solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q862403$F93F62C3-676D-4BBD-80AB-A6BCAB210568","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46ff8f00ccd0b86f49ea4bc7df2acaf5265930be","datavalue":{"value":"1109.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862403$A0F4A7C2-7F3C-48B5-BBD0-8D56685F71D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b0956e5a041aa7d158d7ea12f83ea51b059dc5","datavalue":{"value":{"entity-type":"item","numeric-id":862402,"id":"Q862402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$92C125A5-08E9-4FEF-8F67-AE09FF71B9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$7A4F333B-210E-4C5C-A220-AF1BE578ED94","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$80A50D95-96A7-420A-8961-6F94329AD05F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b780548d1931bae4ac5b1caff374698a268a9351","datavalue":{"value":{"time":"+2007-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q862403$FDC8C4C8-D5FD-4905-A1C0-CA0976C6BD8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862403$B50CD599-E5DF-4D48-8399-1BDA7B4400C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27d41a23a76cca030ff5a93324537a1114f9be31","datavalue":{"value":"5118125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862403$3BC8D37F-2AB5-4C1F-8F66-A234713415F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbac5a45e0b9571ff9cbd6b3d48aea6247d42bba","datavalue":{"value":"optimization techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q862403$2C9C2178-8BA1-4251-B0FD-590A78952045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q862403$F288B244-2B9F-4BBB-B98F-C7A8A7C8DBA0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$94632007-2249-492A-99BF-947E1C1FF598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"062708eac0855ac292bafeab4450f99dacbff29b","datavalue":{"value":{"entity-type":"item","numeric-id":12897,"id":"Q12897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$E0EEC80D-8D44-4628-B656-CBC3DA09780D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d650a7af9fdbfa854d490255d18c32cbaf84928c","datavalue":{"value":{"entity-type":"item","numeric-id":16925,"id":"Q16925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$A41FBABB-EDA5-46F0-B501-3C8C93BD11FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"656dcb3eb788c3316c4e3a6808f3e7a570544894","datavalue":{"value":{"entity-type":"item","numeric-id":13575,"id":"Q13575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$B84F8BFA-DD01-421F-94BA-D48FE3942F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$5AF6B3CE-0178-447C-85A3-B149DE0FB910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fde14699ec3921b2ddfda23b9fc31ea095df40a7","datavalue":{"value":{"entity-type":"item","numeric-id":21011,"id":"Q21011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$3FBA0AA0-2577-4A1C-BF74-E40CF49D86C3","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":"Q862403$8271785F-C3DF-4F95-AE7A-091D38E23EB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d48fc1e4d66d9c9592698b0fd5a8e68c037b9a4b","datavalue":{"value":"https://doi.org/10.1007/s10817-005-9009-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q862403$5E9374BA-4697-45E5-B428-3981DAD89A1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2bb533165a88296d3255f80abfbac67a3e0ff69b","datavalue":{"value":"W1963535597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862403$160D4A78-693D-4776-8E45-9F827370F186","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0d45c01055f697d85430bbaa22270d0fdca6fde","datavalue":{"value":{"entity-type":"item","numeric-id":2741535,"id":"Q2741535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$6E3D5CF4-BFB1-4E3E-AEBF-B3F80BFA2212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770bb68de47752f527df3eb5fd0239815f0bd638","datavalue":{"value":{"entity-type":"item","numeric-id":3751595,"id":"Q3751595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$7FC74BC2-9D67-4CF1-921D-2D63723B1C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f18ac38b1221856a27141b579445c0152892a7","datavalue":{"value":{"entity-type":"item","numeric-id":2639637,"id":"Q2639637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$2FE80B04-E474-4F9B-99D3-ECC27B3DE39B","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":"Q862403$5A1C63C8-1AA5-4125-A3BA-041B37F07780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b22c5348b8b2641ae581fcd3bade1b996d4382e2","datavalue":{"value":{"entity-type":"item","numeric-id":4895809,"id":"Q4895809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$AEF3E104-1097-40AD-BD7A-3704FD85E2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$023151A3-4B5A-433E-A227-F2B0773155A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$10003C68-6931-4BAD-965D-461C6F371713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e676edf9a61c14434cc1c48090af5e6d67c733","datavalue":{"value":{"entity-type":"item","numeric-id":4527271,"id":"Q4527271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$3B38FD48-D379-48F7-BC05-26B0518EC714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f50552e7ef31fa4f0949096efa2729c9290d65eb","datavalue":{"value":{"entity-type":"item","numeric-id":1424763,"id":"Q1424763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$5D729479-F68B-401D-B4A2-A1018804C410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$2CE49EE7-CD5F-4ACA-AEE3-0CCC3D0F1A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$BE8C6A0D-B034-451C-9B94-80F87EE7FD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65109c64936b8d0126351ec0ec01a7833aaadc1b","datavalue":{"value":{"entity-type":"item","numeric-id":1424768,"id":"Q1424768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$407EC6F5-17F0-4585-A05C-384AE4BA1365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc61a2037feef2b958c658698dd68bdb6481612","datavalue":{"value":{"entity-type":"item","numeric-id":1102137,"id":"Q1102137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$B42D480C-A26F-4C6D-B255-2F95A835C22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"778337e94fc24740160fe8c27efa4893aff163c0","datavalue":{"value":{"entity-type":"item","numeric-id":5325878,"id":"Q5325878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$195C18F9-6F3E-4094-BDF9-C50A05F22C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3348c4f23a620a7654545e9e3737b9f755ba6069","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$5C8FF714-A7E3-462E-8B37-F9576582170F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"205c08696432fe6fb2aa4d60cba9d5ff5834412f","datavalue":{"value":{"entity-type":"item","numeric-id":5325867,"id":"Q5325867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$970B2546-9619-4E82-A155-47A7D37469A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13fd5b12609ec9cc071d46aa225544a4b115063e","datavalue":{"value":{"entity-type":"item","numeric-id":2816028,"id":"Q2816028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$7DB114B9-9C77-4EB7-9D64-98B5C6A1AAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66319efa68022a17b3f0d51cba4a6a8b45923c84","datavalue":{"value":{"entity-type":"item","numeric-id":5325882,"id":"Q5325882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$37C0E617-57BC-4CDE-B214-0AAA8A1A407A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8428f0fc96b22b52390f3bd7ced5caaf0972d20","datavalue":{"value":{"entity-type":"item","numeric-id":4864698,"id":"Q4864698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$781AF892-21CF-41C7-910E-F39E5E24FFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08561dfb2357106382e4ffef8f6c77f404f231a5","datavalue":{"value":{"entity-type":"item","numeric-id":4707784,"id":"Q4707784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$90187221-F12F-463C-92EE-C864EAA3012E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5843107a675ef426cb1b75becf5e9aa46b5362","datavalue":{"value":{"entity-type":"item","numeric-id":5900311,"id":"Q5900311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$6614611A-6B1C-409F-B965-195D251410BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82559a7915f9600d2daffe28b1e56e8eb867accc","datavalue":{"value":{"entity-type":"item","numeric-id":4475626,"id":"Q4475626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$6FCD6CC8-ECCC-426D-8EB2-50D3749ACACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$81C18190-3077-472A-98F3-9FBBBF7E74DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bba15cf4a9d2c986ffe8184ac3a6d051fff29cb","datavalue":{"value":{"entity-type":"item","numeric-id":3335007,"id":"Q3335007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$74B4A34D-BEEB-4745-B8E2-5392059587F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd902b6160e42565c7d2c676094d64283d352a8","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862403$95847AAC-7BE1-4B38-AAB4-58BD24FF0A81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fad54a4a026a764f474b9cb46903b551c6dfbea8","datavalue":{"value":"10.1007/S10817-005-9009-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862403$D01E1922-3A83-40F2-9BBD-38E331917C11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf86346218d91a2909d6e4b8ab510804fe2b90b","datavalue":{"value":{"entity-type":"item","numeric-id":5714754,"id":"Q5714754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3675c21a328b1cd0b4a55f583117275f6c233f63","datavalue":{"value":{"amount":"+0.9401691","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":"Q862403$6A6E78E1-3373-44C5-89C7-6FA09C56AF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb0810148c40a92c990df16da2d5e65d93968d96","datavalue":{"value":{"entity-type":"item","numeric-id":5268815,"id":"Q5268815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b9ad117a13a9d8e8348eb3731097672776be0d6","datavalue":{"value":{"amount":"+0.9325746","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":"Q862403$EB4D7209-04A4-4A60-9C2C-6CE3B7D53C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8185c638f112cbd253c828f2a16aeebeda3e4a4","datavalue":{"value":{"entity-type":"item","numeric-id":2729082,"id":"Q2729082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6da0d8fdd9767e0d2af7c6d53c9cbe519d753de0","datavalue":{"value":{"amount":"+0.90726495","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":"Q862403$8BB5E385-E1AE-4723-B986-5449F051C1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d19196d868b24766d5e4721a7fdb6c18d42baa92","datavalue":{"value":{"entity-type":"item","numeric-id":4933337,"id":"Q4933337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbfa1ff46532191eea243a87f41389f290ac8d5d","datavalue":{"value":{"amount":"+0.90686166","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":"Q862403$317F6FC4-B033-4BA2-B6CE-E7C2B03DC009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5aca6e851f727799fa1c8a1da566872cdb1f1df","datavalue":{"value":{"entity-type":"item","numeric-id":2819729,"id":"Q2819729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba4a24d70b2f616e3b991ed1b471bf92df5a081c","datavalue":{"value":{"amount":"+0.8989196","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":"Q862403$A3A3A702-1A23-4760-86AA-E4496BE6993A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff7971bb0d53dd6682991734c0c56234b675e6f7","datavalue":{"value":{"entity-type":"item","numeric-id":5408453,"id":"Q5408453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"347619efc4126d4f100d896b8bf511bb3a61c928","datavalue":{"value":{"amount":"+0.89070004","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":"Q862403$58259B32-10DE-4170-9494-FA27D26C0E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceb101889724353cd33618c660b8363d0833f238","datavalue":{"value":{"entity-type":"item","numeric-id":5756562,"id":"Q5756562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4fc82206ef906da54114d49ad424dd7ddd05f3a","datavalue":{"value":{"amount":"+0.8896105","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":"Q862403$198EDECE-B50C-42DB-BEE9-3E0488911361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ddfa845e0acaa3e7926dc596271e7773e71dedc","datavalue":{"value":{"entity-type":"item","numeric-id":6174522,"id":"Q6174522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a83d9c06c9dc79e02a35ec815d4d4e4ab0c66c0","datavalue":{"value":{"amount":"+0.88952756","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":"Q862403$6C777BBB-2040-4693-A0F7-A0412E7E654E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic techniques in satisfiability solving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_techniques_in_satisfiability_solving"}}}}}