{"entities":{"Q4420897":{"pageid":6450496,"ns":120,"title":"Item:Q4420897","lastrevid":48156724,"modified":"2026-01-03T19:44:56Z","type":"item","id":"Q4420897","labels":{"en":{"language":"en","value":"Convergence properties of optimization algorithms for the SAT problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1966825"}},"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":"Q4420897$3ACFAA51-B273-40DC-A42C-3EF4514851E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe21f9e7e7f59e4501799d40eb3cbb94b0ccc5d8","datavalue":{"value":{"text":"Convergence properties of optimization algorithms for the SAT problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4420897$2D58A9AE-B93A-4008-AB76-B5BE84FDD283","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b33f804205bdf639c503421ab369401c3a0fe5b","datavalue":{"value":"1048.68567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4420897$ADBA039F-B616-4130-9609-04BC2ECBEE60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df8a34ea52e8382cee8cbf3e76f305511e05d0df","datavalue":{"value":"10.1109/12.485373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4420897$0BCE261F-A6BC-4D90-88F0-4309162D38F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"673d424cd32a8922373044d7504d72be64f351fa","datavalue":{"value":{"entity-type":"item","numeric-id":192391,"id":"Q192391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4420897$8F6D808A-1B0E-48AE-B8FE-90BABD22E166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff0d802f5f103a06e6db215f432eee3bc982b220","datavalue":{"value":{"entity-type":"item","numeric-id":287063,"id":"Q287063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4420897$6365A827-0783-4C02-9C93-751CE7BA769B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d176dcf8014bfec2c4899579ee7ce9e18294338","datavalue":{"value":{"entity-type":"item","numeric-id":166203,"id":"Q166203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4420897$4D1C3737-9F90-4953-BB9E-F62812843EF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4420897$59BC227E-9B70-4816-949B-0298F29E3FFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffb759767da9e25ed180753251b692c5922c1d9d","datavalue":{"value":{"time":"+1996-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4420897$20EA9A87-C208-4C67-BFFD-2D6BDDC8788E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4420897$CA11B172-DDAD-4C9C-9E5D-6251379898AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c29f81abe94a19159ebc4a8b25f612dbc16b9f31","datavalue":{"value":"1966825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4420897$A5BFA630-A6C9-4BF5-93C9-B664302B61F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4420897$EE2C150E-5289-453F-975E-C32C1A8E3BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f96fbbeb1828b9a64a19e531c14e1e2e153edc32","datavalue":{"value":"convergence ratio","type":"string"},"datatype":"string"},"type":"statement","id":"Q4420897$B0838127-9A85-460D-B5B0-E8E1BBEE2710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53064f6609fb5177611c085d6f78e739c7e3f7f6","datavalue":{"value":"time complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4420897$6B10250E-F8A9-4ACF-8AE9-13221E484CC5","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":"Q4420897$7491E74D-96EC-40D2-9F4C-160171D13F76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26e52a094c8b80c2e6e3a8aa0ae9618c332a5af0","datavalue":{"value":"https://doi.org/10.1109/12.485373","type":"string"},"datatype":"url"},"type":"statement","id":"Q4420897$104B2F12-8F17-4AB3-AED4-D60BC97643A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c847dcb8789df4c4d81d9a660529c7ef76e05c89","datavalue":{"value":"W2132271599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4420897$054D2167-53B0-46B6-BAD0-D2AFE76FCA54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e86275cb310befcc18de5991c3b223f3099a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4840102,"id":"Q4840102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c656b4530e83e9b89fba4bcf3c463a388c2b910","datavalue":{"value":{"amount":"+0.8389171957969666","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":"Q4420897$2B60782E-44BA-4C36-AD91-C37941F6BA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e2d69121d2f15f6ed4ffe1858482cc331a96c0","datavalue":{"value":{"entity-type":"item","numeric-id":4375757,"id":"Q4375757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0be721b31aaf384a90a03f34336df56992073058","datavalue":{"value":{"amount":"+0.788163959980011","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":"Q4420897$C9281F94-F6ED-4D9A-964F-CCE8CA586391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651006af4f64a7c4bbcbdf5718f802833b4f6a47","datavalue":{"value":{"entity-type":"item","numeric-id":4651809,"id":"Q4651809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92b47ba7f8240e55be617a639a2e238ea91d1c77","datavalue":{"value":{"amount":"+0.7661116123199463","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":"Q4420897$B3B54208-382D-4C1B-83D2-D103E526FFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5dd9e0d949aa08c1a6ad144e821407e65ac0e8e","datavalue":{"value":{"entity-type":"item","numeric-id":3399958,"id":"Q3399958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5ff70a84958a2340d669fff01dd37861fb2640c","datavalue":{"value":{"amount":"+0.763169527053833","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":"Q4420897$858F2897-698C-4657-ABA0-599D24237158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a752c33abd4e8dccbc03502de1ffd633adb01577","datavalue":{"value":{"entity-type":"item","numeric-id":6487934,"id":"Q6487934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41fcb79318b6b36131875f6c6fbd5116fa2fdb5b","datavalue":{"value":{"amount":"+0.7625088095664978","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":"Q4420897$86C8F902-CDAF-416A-9192-D36EDEF0E3C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4420897","badges":[]}}}}}