{"entities":{"Q1383842":{"pageid":1394582,"ns":120,"title":"Item:Q1383842","lastrevid":67308450,"modified":"2026-04-12T16:45:31Z","type":"item","id":"Q1383842","labels":{"en":{"language":"en","value":"A discrete Lagrangian-based global-search method for solving satisfiability problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1139643"}},"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":"Q1383842$CBEA2E20-EA08-4A0C-8018-5B8D94A824B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0679f6d17e4fb24b024cc687bda691fd7977d25","datavalue":{"value":{"text":"A discrete Lagrangian-based global-search method for solving satisfiability problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1383842$435B121B-647D-48FD-A789-61B899274644","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1518e71450a719fa20857815edcaace62ea596aa","datavalue":{"value":"0904.90154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383842$29959C4E-F54F-4E8F-A2A1-BA320F1465F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44e72d37a286a1883bdf44e10da8a1055af78f1c","datavalue":{"value":"10.1023/A:1008287028851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383842$5F7033F5-4D36-4486-A821-E21E6526BE9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b97b8eca1fa1ba476a1c6618bcf3fdf9fee9afc4","datavalue":{"value":{"entity-type":"item","numeric-id":209398,"id":"Q209398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383842$6AE1E50B-44D4-4DA5-BE75-53B1F13F99C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08dd938ef4693752d42ef6313d94bd33a02dcd6b","datavalue":{"value":{"entity-type":"item","numeric-id":1310958,"id":"Q1310958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383842$FE81C230-8F54-4F96-B57D-5AB2E1080F99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8c9a1d032b4dee05705e8b2f4f60118816c12892","datavalue":{"value":{"entity-type":"item","numeric-id":116038,"id":"Q116038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383842$0F5E05B9-27C0-49B3-80EA-BCC4272A275F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"72a1a598913095dde79e21dbf23a519334c405da","datavalue":{"value":{"time":"+1998-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1383842$98E9C5F1-1B35-4F90-892A-9D4B9EE7C309","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"52de7d4bf5a27d5ad252804eec58396bb3e40c44","datavalue":{"value":"90C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383842$35F37F61-CD8A-449D-BEFA-D1B22AABED3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9463311f8a6476aa39f9b7b226f752e3ba65e9aa","datavalue":{"value":"1139643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383842$15C80727-BB81-466F-A86E-960E78E386BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c2df4be61b42c15be02a284667cc79d17284cd8","datavalue":{"value":"global optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383842$E1146AD4-6460-470E-AEC5-4ADE1BD58A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383842$D62F645D-AC41-45BE-97CC-8B2810801377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c8c9e80036612c21ad2ec3b6579e3228fd2ea1e","datavalue":{"value":"NP-complete problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383842$115FD719-4FA9-4D28-ACC2-E000DAFD2ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ae2f70ab54373e371f556bda023f9353f070b81","datavalue":{"value":"discrete Lagrange-multiplier-based global-search method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383842$60BF1B29-3119-463B-BF56-95F51257D128","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5d77388685dafeb3e1aecced428ed52d145d6fd4","datavalue":{"value":{"entity-type":"item","numeric-id":16875,"id":"Q16875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383842$772969BD-F452-452E-BFE6-5ADC73517862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383842$EA38A937-E439-492E-93E9-ABCE064D37ED","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":"Q1383842$39860417-66FC-415B-BA0A-5E354BB5CF78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03934597cf21441c390308e45ec1412fc8a1d5c2","datavalue":{"value":"https://doi.org/10.1023/a:1008287028851","type":"string"},"datatype":"url"},"type":"statement","id":"Q1383842$E03E292E-7C26-4C8A-BCD6-008BAD709292","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd43ed91bab2def147394f9d64465438bf8166b7","datavalue":{"value":"W1526749820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383842$AFD1F5C5-2CF5-4732-A0B3-9CD7655916FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddc5205f257baab812adfa8dde558b7f73a53df4","datavalue":{"value":{"entity-type":"item","numeric-id":4375766,"id":"Q4375766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d897b77cb8eb3824a9f1ef9330b976e131d243dc","datavalue":{"value":{"amount":"+0.9723060131072998","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":"Q1383842$623CFA90-74EE-4DDF-AE7E-66A0C0E085E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bbe4e243fdd65891c620401b523621eaf0a50cf","datavalue":{"value":{"entity-type":"item","numeric-id":1359099,"id":"Q1359099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec12225b1ae90293e38b44842e1ac7d3abfb7b9f","datavalue":{"value":{"amount":"+0.7376939654350281","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":"Q1383842$4FF532C0-A6B3-4CCE-A41F-D6DC5DE1ACE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2a7f2af5d279abc5495c83dec5412ecaa82609c","datavalue":{"value":{"entity-type":"item","numeric-id":4415205,"id":"Q4415205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4666701d687fbdcbb9e34a056c9433e65ab900b0","datavalue":{"value":{"amount":"+0.7185037732124329","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":"Q1383842$183A921B-78F3-452C-B8F2-D3289514EE12","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":"ad6c5a83d4cedb088fe79a0d18b6e86da3333042","datavalue":{"value":{"amount":"+0.7157670259475708","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":"Q1383842$5C169F05-E8A3-413A-AF39-DE858C664F13","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":"0bc5b6ab4feae6364d4cf83b4e00a41276d51c2a","datavalue":{"value":{"amount":"+0.7142081260681152","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":"Q1383842$C4075F34-23EA-4EEE-A685-A102860307FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A discrete Lagrangian-based global-search method for solving satisfiability problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_discrete_Lagrangian-based_global-search_method_for_solving_satisfiability_problems"}}}}}