{"entities":{"Q5015607":{"pageid":7045184,"ns":120,"title":"Item:Q5015607","lastrevid":54172547,"modified":"2026-01-26T09:48:46Z","type":"item","id":"Q5015607","labels":{"en":{"language":"en","value":"\\textsf{Open-WBO-Inc}: approximation strategies for incomplete weighted MaxSAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7441863"}},"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":"Q5015607$58882033-BC01-4D48-89E6-B2AD78F9013B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74fe3fbe53f8922f19268b3fb1cd83c1b4274fcc","datavalue":{"value":{"text":"Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5015607$932FF25E-CA30-48CE-9FEC-85D2943C2F02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b32308dc528e61765858d7b9789068ab005f0033","datavalue":{"value":"1484.68219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015607$E3584B81-9FF4-4F9F-8D77-5FBDA2CE75E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d79941ade90135106f34adc345a1d746f57e0ebd","datavalue":{"value":"10.3233/SAT190118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015607$85975B4C-7069-4ABC-8DB1-8FE2013B2984","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d626700d154a00ae6293d888a80f1fbae16062d","datavalue":{"value":{"entity-type":"item","numeric-id":2235288,"id":"Q2235288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015607$8D11BBDF-6F4D-4774-9440-78C8FA3F7050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e38955256865d83a4dded047abeafeac3e58eb6","datavalue":{"value":{"entity-type":"item","numeric-id":5015605,"id":"Q5015605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015607$C2006E9F-D7E5-4DDD-AA3F-22B57B18815C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"956f01e48d380c331a1ab640b22d369e931eca42","datavalue":{"value":{"entity-type":"item","numeric-id":5015606,"id":"Q5015606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015607$99C0AB3D-0253-4F29-8B83-899EC7C1733E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e35c1612b99def540c2af974a24bae384b973e6","datavalue":{"value":{"entity-type":"item","numeric-id":487633,"id":"Q487633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015607$2EF7843E-D8B5-4FC5-9E82-C13ED53EA9E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8ef780f8c191fed22e1ac9c059ebec4d3cf7c73","datavalue":{"value":{"entity-type":"item","numeric-id":5014281,"id":"Q5014281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015607$4C0B161A-8ED2-49C5-A8F6-A055ED968DFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"179d64d567eb65d7ced64a9cbb5733ee98b610d6","datavalue":{"value":{"time":"+2021-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5015607$489678AD-4EC5-4D12-833C-E56E2FD97D99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015607$9BCD98EE-FFC2-4B9D-BF02-95A007BB4739","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3be11540e391b8f24c8d17c9e4e95da3d0e82ba1","datavalue":{"value":"7441863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015607$E528DA50-CF42-46AD-A824-ABEB6C9004A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f90035379f033d8c779548ef0daf0c9417d7c5a3","datavalue":{"value":"MaxSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015607$122905F6-2FD0-4D06-80C4-3A8FC5BD841F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d478204284ea8704674b20e0b105b94931581824","datavalue":{"value":"incomplete","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015607$964A63F5-9939-44AC-AE01-D6EEB9E479AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6679df142daa5ab1c6555dfe8b32838423da19a2","datavalue":{"value":"weighted","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015607$79FCD712-469E-48B7-A12A-37B5756134CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc058f54aac0023b7543c366366b86bc4e72c56b","datavalue":{"value":"approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015607$04EDC54D-B7CB-4DBA-A481-3DA65DD7A7EC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b4080854e6c3efd73caa0f3157d5ed5b72457336","datavalue":{"value":{"entity-type":"item","numeric-id":21549,"id":"Q21549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015607$F633D36A-0F69-4F25-B5E2-071900B4094C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"93f1a2914044193bb2b0e667dc339cc00e256b71","datavalue":{"value":{"entity-type":"item","numeric-id":37197,"id":"Q37197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015607$439045C2-DF88-4234-833C-F172DCD58240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af7190300cc54c5089eaf27700698f6eb274b883","datavalue":{"value":{"entity-type":"item","numeric-id":5973734,"id":"Q5973734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015607$4758FAA2-DFB1-4EF6-B50F-264871E31D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b26b779cc09e21207a69b2ce242c136f84aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015607$DF2BA5DD-9736-4EFE-B6AC-38DD81951560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"45fa147ad24d78ff9111165d21eddec7203c8bfd","datavalue":{"value":{"entity-type":"item","numeric-id":20838,"id":"Q20838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015607$8BB4F7A8-41B8-46C0-823A-EB1C5ABCA5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c37ffd04dc5105d4d852e6e07d9dc8be2efe69f","datavalue":{"value":{"entity-type":"item","numeric-id":28606,"id":"Q28606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015607$F41B50D0-3924-4A88-8BA6-BE30F3161F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e24672fd2b7383bea2d8e146b0851e7ba67dce1d","datavalue":{"value":{"entity-type":"item","numeric-id":51750,"id":"Q51750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015607$87390974-29CB-4E35-B4DE-D835ACB89055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4e558e78bf7ae5246d1675f3a0fe05cd8c96cb94","datavalue":{"value":{"entity-type":"item","numeric-id":51751,"id":"Q51751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015607$17B90ECA-B74A-4954-A545-13BB04EC4560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"214bc1a8b13ad411149a4dfc27707ade6540c08f","datavalue":{"value":{"entity-type":"item","numeric-id":51752,"id":"Q51752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015607$4246E7EF-67BD-4124-A4F9-557AD067BC80","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":"Q5015607$2D0F4B5A-278A-4D6E-AA1C-5DEF94363A70","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57937a9c956d174d89caf7fdfb1456b3ee92b049","datavalue":{"value":{"entity-type":"item","numeric-id":1680676,"id":"Q1680676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015607$3812F7F5-06A9-4534-A7AB-1C74C38506B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8828146480c327d9a17971b5fa330d92b4921c90","datavalue":{"value":{"entity-type":"item","numeric-id":3429154,"id":"Q3429154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015607$7AD1271A-DBAC-4189-A639-14AAFC136BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9409f5b7aea10c20d6f973a1e120032a5614350","datavalue":{"value":{"entity-type":"item","numeric-id":1656601,"id":"Q1656601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015607$30C099A7-5799-4EAC-9DB3-23876594BDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b23be84fe3a80caf9de45c5ba219262074b0f02a","datavalue":{"value":{"entity-type":"item","numeric-id":2012662,"id":"Q2012662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015607$E83529A5-52B9-458A-B736-DF3940C93D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed4ece76f4ab904d4327d98033c70a14ec294ba","datavalue":{"value":{"entity-type":"item","numeric-id":2786911,"id":"Q2786911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015607$417A9D57-8DD3-4C3D-9644-40E3B3C9A05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c4fe03594ab8b419c366e16d6cb0510a7b8b955","datavalue":{"value":{"entity-type":"item","numeric-id":502391,"id":"Q502391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015607$1F4DCC9F-1B63-4C35-945E-C7EAA642B165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b56eb7553d40e29ba20c401fa27988e78d6fbe80","datavalue":{"value":{"entity-type":"item","numeric-id":2982183,"id":"Q2982183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015607$820A3B0A-7237-4466-BAB5-A31E94B40412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f472adf6f98b7ff0cf666c418ca949d6a2d2b5fb","datavalue":{"value":{"entity-type":"item","numeric-id":421451,"id":"Q421451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015607$DD97690A-BEE8-4ACD-844C-129521BA23A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0802a9e9650f39ffcd90892ce28352abdc01207e","datavalue":{"value":{"entity-type":"item","numeric-id":3192090,"id":"Q3192090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015607$5897DEC9-0BBE-4A4D-A2BA-05B18567C6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5a2584c3195c176ab45ed27c20886b3d7d1caa","datavalue":{"value":{"entity-type":"item","numeric-id":1656560,"id":"Q1656560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015607$733911C2-A2CD-45CF-8B4D-F344E4CB78CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d48738d1586389300da381482fb72ad8f6da807","datavalue":{"value":{"entity-type":"item","numeric-id":1656559,"id":"Q1656559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015607$AC838201-18DF-4954-BD1D-AD5516DF7A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d98daae7e04254fadc0c1e35621b16c8925c53","datavalue":{"value":{"entity-type":"item","numeric-id":2818041,"id":"Q2818041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015607$61E351C0-0E3C-4AE8-9E80-AF555FF3E439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f217d7c1a8591d173f7a390567150498d1528ee2","datavalue":{"value":{"entity-type":"item","numeric-id":293409,"id":"Q293409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015607$DB80720F-9258-411F-8345-478072A7E17A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab6b9734cc3d42c614089db151b583c27a3a712","datavalue":{"value":{"entity-type":"item","numeric-id":3624109,"id":"Q3624109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0175c3484af1f64d7c598a016fb513f4f0867b61","datavalue":{"value":{"amount":"+0.7921404242515564","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":"Q5015607$79E58A47-D79B-41D6-8BAD-7766581D29D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aba2ab3119bb58452c460bfdecd60db831e1c7c","datavalue":{"value":{"entity-type":"item","numeric-id":5900327,"id":"Q5900327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"315b7ef8ea140bc660b4246a32953e82e51f0bee","datavalue":{"value":{"amount":"+0.7790236473083496","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":"Q5015607$BB940033-0D14-40E6-B2FA-86D2C2223C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33250f260d9da800bf4da3a93eef7edbea6c93db","datavalue":{"value":{"entity-type":"item","numeric-id":3637178,"id":"Q3637178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc5cf4e3115eeb80b37c0633112082d5765289d0","datavalue":{"value":{"amount":"+0.7669713497161865","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":"Q5015607$5D7985CF-3BA7-4D7A-98C6-7FE6A3E0AA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2084749d0a6826dbbf256f652e959344d3aad6a","datavalue":{"value":{"entity-type":"item","numeric-id":933784,"id":"Q933784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da89c272e4b101cabf603caa24a6f39c352006ff","datavalue":{"value":{"amount":"+0.7649282813072205","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":"Q5015607$946D283A-0B49-4833-8205-5EC187DA5038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59b07b628a7ffb57c2d4b07c01985097998e6399","datavalue":{"value":{"entity-type":"item","numeric-id":1680676,"id":"Q1680676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2616bb65f7521366497ba02179214d5b3761d2c1","datavalue":{"value":{"amount":"+0.7602401375770569","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":"Q5015607$19641653-8158-4363-A292-1BC4D528AFC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5015607","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5015607"}}}}}