{"entities":{"Q2181777":{"pageid":2192520,"ns":120,"title":"Item:Q2181777","lastrevid":71491317,"modified":"2026-04-13T22:36:54Z","type":"item","id":"Q2181777","labels":{"en":{"language":"en","value":"Black-box optimization in an extended search space for SAT solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7202270"}},"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":"Q2181777$101D5D13-A3B7-4850-AFD5-E5404E92901E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a3e2d7e74d8706c984565bf89ee8d1eb57e5fca","datavalue":{"value":{"text":"Black-box optimization in an extended search space for SAT solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2181777$F38B6C4D-A217-4FA0-B5E6-354B82E7891B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adfa2afbfb1b220c0686c1d8f72df6561e1114f8","datavalue":{"value":"1444.90079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181777$D33E32A8-B005-46D1-B181-E04FC168A089","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"432f3c1ff271fb083c0114b935a8e398c1ed310d","datavalue":{"value":"10.1007/978-3-030-22629-9_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181777$D401FB72-87B8-4D36-8E12-7064F9A7C972","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"faede16c8be9f9a38cc3e0ec3043a268faa5e992","datavalue":{"value":{"entity-type":"item","numeric-id":1954038,"id":"Q1954038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181777$F81320F5-737D-45D8-8E64-236054CA1568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45417376983cca6190e61f8bc663860b8124252a","datavalue":{"value":{"entity-type":"item","numeric-id":510611,"id":"Q510611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181777$34D5BBB3-8279-4AB9-BDE2-1AD8E78E10DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccd9a67dfcea56ad030bda1886b978cf596490c0","datavalue":{"value":{"time":"+2020-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2181777$60276613-1E85-4BCA-B64A-0A25BA0A7F9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6958ea3363ca9244e0da0201efd237a8410f9a0c","datavalue":{"value":"90C09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181777$BE3EBBE0-23AC-43FA-A346-71164B56B61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d42ae7884b9335550c4d21f090798ce9c56a9bf","datavalue":{"value":"90C59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181777$C6BAA7B2-C6CA-46AB-8FC7-1CAA59EB21DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b78dee0d02576e41960eff6c3c53d1a1540aa4d6","datavalue":{"value":"7202270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181777$709AAE49-2B0E-417A-A18C-273D456EE430","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9680fcde0504970d2ba4499e22a644435f0d7098","datavalue":{"value":"black-box optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2181777$489BE931-FD46-4002-8FD3-A1BF2F66DE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48afb3b071c7136e218c82e61d79bf6875dea359","datavalue":{"value":"discrete optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2181777$C61D622E-74F4-4DF0-A17D-5D0583C36FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d52aea7ff51ef97ce73bc8495bb71dd754d0b1d3","datavalue":{"value":"Monte Carlo method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2181777$90A7D96F-CCC9-46A4-9CEF-3BC8E3F084AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2181777$B05631C9-CC47-40C6-A90B-C6B135F3529C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ca18a341e8b649b565a1d8f1ff707d449835862","datavalue":{"value":"cryptanalysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2181777$0A2E5729-0BEA-479C-B9B3-F4A7BFAD90AF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"94874e3d47702cbae713106381472e14544818a0","datavalue":{"value":{"entity-type":"item","numeric-id":28609,"id":"Q28609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181777$02514F58-6848-45E6-956B-8A28CF23F801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"deb481ab618b4313d2cc4e54da911d9eb08938c7","datavalue":{"value":{"entity-type":"item","numeric-id":33766,"id":"Q33766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181777$BE8095CC-229C-417B-9FB3-1A2016E3E5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4471d74dba0f082d6eb87b9d0e3918e9ef420175","datavalue":{"value":{"entity-type":"item","numeric-id":13299,"id":"Q13299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181777$5D5E4D7D-EE45-4138-B4C3-4E1D1E91C9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"69eda3b8c0675b51d0a92f554ce8da95fe453101","datavalue":{"value":{"entity-type":"item","numeric-id":37204,"id":"Q37204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181777$B25A9FC6-8BE4-4C7F-9DDE-739A278AB410","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":"Q2181777$954E63D9-160E-485D-B48C-AED3346D6DF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ba49dfdea5c7a03e6995e4589a6ca89dd303b51","datavalue":{"value":"https://doi.org/10.1007/978-3-030-22629-9_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q2181777$DB9C4DA5-568F-4ECB-9FA2-3798AEF02D9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d40d87c6e84ef9fcb03fe0d377709320b63c774","datavalue":{"value":"W2950327759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181777$E8F76C1B-8B79-45FB-BDB4-5452147C8A15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a130992bd1eed03c1ee07d66a9027da9e05be6a","datavalue":{"value":{"entity-type":"item","numeric-id":5085259,"id":"Q5085259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a605b5418952952d164ebb8647f10eb8ef92a92","datavalue":{"value":{"amount":"+0.93811136","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":"Q2181777$1BA05041-9CF4-4A25-84A6-3F1727F82DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"681d2e8ccf148fc2f1bc311b18a347fbf0400d49","datavalue":{"value":{"entity-type":"item","numeric-id":5153508,"id":"Q5153508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c11a2f8de2f7d3b9efeff19cc2e5238fe246dc4","datavalue":{"value":{"amount":"+0.9014045","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":"Q2181777$E3BB779C-2D87-4A45-8289-5AC4D918DC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f869269178846a8f00e504a066fa7b0e45ad4d8","datavalue":{"value":{"entity-type":"item","numeric-id":2455454,"id":"Q2455454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d7153e583c5781053118c313e59f38b47844d8","datavalue":{"value":{"amount":"+0.88334113","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":"Q2181777$A4646D2C-BD21-4079-A283-4125F7C5B895","rank":"normal"},{"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":"856f7e687e7eea2ff8c6e0a9b5ffbc3611ce5254","datavalue":{"value":{"amount":"+0.88092035","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":"Q2181777$D77659A0-B82A-41A7-B566-FE05B8035D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdc36e50df772f39d97d7f021dfd8f118fac7c25","datavalue":{"value":{"entity-type":"item","numeric-id":976017,"id":"Q976017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ba792931b8ffdae437abbde916fad65dea338ab","datavalue":{"value":{"amount":"+0.8720813","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":"Q2181777$8038E78B-358D-4870-B8DA-09C02C3531ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac715e929d260881a463221647ba26143f1be772","datavalue":{"value":{"entity-type":"item","numeric-id":3533153,"id":"Q3533153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bf86ed474af94a9d4b0ec3f9ec10d7f9f062bb3","datavalue":{"value":{"amount":"+0.86712503","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":"Q2181777$001D6F23-1746-4EA8-B9BC-42E4E0F33852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd21625843be6c5bec2a17ef2db4fb0462b6ef2","datavalue":{"value":{"entity-type":"item","numeric-id":4639475,"id":"Q4639475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bc3fd3e0386b5ed7fba70379d9f59c77471387f","datavalue":{"value":{"amount":"+0.860345","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":"Q2181777$6BB4A99F-5B9F-45BF-A166-9A46A94813FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22bdcdca4d8d41325bbd8e35be08b8ac85e833da","datavalue":{"value":{"entity-type":"item","numeric-id":1430296,"id":"Q1430296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bac3c541ab4b1d7a91a9066be5082643eaa5ab6","datavalue":{"value":{"amount":"+0.85853523","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":"Q2181777$68874B2C-093E-4D6A-8DB0-C47FAB5AF2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4821d4bff362e2efa9942740de3f55356f1d6f5","datavalue":{"value":{"entity-type":"item","numeric-id":2741524,"id":"Q2741524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ee09427a8cc26db4aef6cf167b2ffc9876ebae3","datavalue":{"value":{"amount":"+0.858093","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":"Q2181777$9B304693-4A49-4D2B-A9DC-0007BF473C10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Black-box optimization in an extended search space for SAT solving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Black-box_optimization_in_an_extended_search_space_for_SAT_solving"}}}}}