{"entities":{"Q2327238":{"pageid":2337981,"ns":120,"title":"Item:Q2327238","lastrevid":71852046,"modified":"2026-04-14T00:58:10Z","type":"item","id":"Q2327238","labels":{"en":{"language":"en","value":"Core-boosted linear search for incomplete MaxSAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7116684"}},"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":"Q2327238$E7C5454C-6FFE-4BAD-B5DE-2995A21E8F66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b919fb19a1440f10d6eddbb18c8a5798746872d","datavalue":{"value":{"text":"Core-boosted linear search for incomplete MaxSAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2327238$AC24A23B-D8BA-4A82-9321-8D9B545B11D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78089c99f4e27c47d735c9264e31597ed465e2d8","datavalue":{"value":"10.1007/978-3-030-19212-9_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2327238$557CAB96-4383-4EB2-9E8B-40F670BCE129","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ec291fc5099378f73627d6e17cd33de333e7876","datavalue":{"value":{"entity-type":"item","numeric-id":511771,"id":"Q511771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2327238$07E2BE75-7AA6-4CB4-BD73-1474D9A1430B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2efeadb9b35b1e0ce306c96b61c0b61113d4d9ec","datavalue":{"value":{"entity-type":"item","numeric-id":1652068,"id":"Q1652068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2327238$EB8E4599-FDAB-4567-B6CC-B7842747D29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2327238$963761A5-F09F-4F66-807F-22ADF3CD6CCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac4edc9b7c1f9c7da7f9220a9c4be03d5c672171","datavalue":{"value":{"time":"+2019-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2327238$4F6D9A15-C071-4956-A9FA-3677749BDEB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2327238$60CC6175-A75C-4130-AEBB-E88BE15AACA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2327238$AEC814CD-E438-41E8-B294-9041115118AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d597fcc4710ccae13a6f941cae440cfa28f6ac77","datavalue":{"value":"7116684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2327238$834E2B72-6174-45B6-BD53-ED7D43B8B198","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7266802113187a96c78397ed692b735dee12e876","datavalue":{"value":"maximum satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2327238$AC562A67-F72F-4B95-9367-ACC163D1DB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f90035379f033d8c779548ef0daf0c9417d7c5a3","datavalue":{"value":"MaxSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2327238$42CB2D7E-DBE7-4C8C-A363-B71D953B9029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65254b1b876f59c89b19fb815ffa4b00a474160a","datavalue":{"value":"SAT-based MaxSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2327238$5F3D8C23-C4AB-48BC-8244-D60075EC69CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88ec972682d2f20c29c975111f03fc9cffacfe6f","datavalue":{"value":"incomplete solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2327238$6DB13489-563C-4CB5-80CA-4F87DC992246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a49464e2d7be3b5ec6afa9a7b997ccf87f3adaab","datavalue":{"value":"linear algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2327238$A61E8A76-DBAD-4867-A116-2A40A791D2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"875cffeec85b422b90f0e5363930fac8dd78efe6","datavalue":{"value":"core-guided MaxSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2327238$8A05D15A-EC65-4A0C-8392-A7FAAB15CC32","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":"Q2327238$9FB9535C-E993-4D2D-94FC-093B9C4AD145","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7e84be057f2112ad36658b73dbf2a67a1bfda8c","datavalue":{"value":"https://doi.org/10.1007/978-3-030-19212-9_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2327238$46CE3AB1-222E-4A06-98D7-840496F52E49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f49f1e4c398d7a00ac72b1a4c40531e4a2fa4154","datavalue":{"value":"W2945627032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2327238$A61E6CCD-EF8F-4A65-A9E8-EED0590BA8D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9921438c2a07bb80e04ae819c1b06940513e50f1","datavalue":{"value":{"entity-type":"item","numeric-id":2843334,"id":"Q2843334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cb60411778161d05bc3ef662c41e84cc818eb37","datavalue":{"value":{"amount":"+0.8999159","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":"Q2327238$BF2DDE8B-3A1D-4062-A49F-EC5C42EAFB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29d9e4774b7e1934b5f5fc21702e6649798cef0c","datavalue":{"value":{"entity-type":"item","numeric-id":3637181,"id":"Q3637181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6026dab9d5b59705d9e682ca6fb6d10fe7b7bf9","datavalue":{"value":{"amount":"+0.8907339","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":"Q2327238$EC590133-3F8A-4834-A898-7742A8885E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d94851d8563ba275202b8910bc97ac866bde4824","datavalue":{"value":{"entity-type":"item","numeric-id":2348540,"id":"Q2348540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a913b470edcaa5c9d71bf6b0015cce1dc5e3ed9c","datavalue":{"value":{"amount":"+0.87504005","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":"Q2327238$C284AC64-3853-408F-BCA6-D84905B143D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"944677192979990d1e36614027371852ce6358f4","datavalue":{"value":{"entity-type":"item","numeric-id":3192051,"id":"Q3192051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43d3e3a2a8b86307b84a8f890e79f35598ed3cba","datavalue":{"value":{"amount":"+0.8723318","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":"Q2327238$C862E3BD-9BEF-405D-8B03-03FB033629B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3a3dca448540365f225355a40e0bb09229cebaf","datavalue":{"value":{"entity-type":"item","numeric-id":2661355,"id":"Q2661355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a79b566d37bbd981ba258c71674f9a3641a14d","datavalue":{"value":{"amount":"+0.87172127","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":"Q2327238$62D6284A-92F7-481E-A317-B5E08EE3FED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c6730a2205fde772bc35658a940e19dca196459","datavalue":{"value":{"entity-type":"item","numeric-id":329035,"id":"Q329035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f06bf2b417445b0c5487410c8d8fc814be08f73c","datavalue":{"value":{"amount":"+0.8661301","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":"Q2327238$EE452ABC-DCE0-401D-BA1D-B1966570F571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b9b008697bfcf9ccc4f6c8247f5ea52c7ea915","datavalue":{"value":{"entity-type":"item","numeric-id":2457672,"id":"Q2457672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8b9efd5aea1780e26dadc3ac1b9fac4ee782434","datavalue":{"value":{"amount":"+0.85875297","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":"Q2327238$9A13C923-3ECB-4F5F-ABA8-FD4E3738C6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3f1ea5787bfd41891d3761ad7bebad46bb8f341","datavalue":{"value":{"entity-type":"item","numeric-id":5740179,"id":"Q5740179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80469c3fa4744eb4dc2a096576a3f8d695aed2cb","datavalue":{"value":{"amount":"+0.8585248","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":"Q2327238$F996AC91-B28B-4877-ACAB-4EDF991AC548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e3d8fce6b46784c4f4c3baf44be5de08c07d2e2","datavalue":{"value":{"entity-type":"item","numeric-id":2434567,"id":"Q2434567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7120d82777101b8d1b8fa33a62e2938d2de665c0","datavalue":{"value":{"amount":"+0.8579719","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":"Q2327238$B2F30CB1-E873-4D4F-B1C1-763284D1ED44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Core-boosted linear search for incomplete MaxSAT","badges":[]}}}}}