{"entities":{"Q487654":{"pageid":489421,"ns":120,"title":"Item:Q487654","lastrevid":52178948,"modified":"2026-01-21T02:42:15Z","type":"item","id":"Q487654","labels":{"en":{"language":"en","value":"Reformulation based MaxSat robustness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6389808"}},"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":"Q487654$5E398812-2949-44CB-BEF0-03D899BB07D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9da1d98a9695573af0827db660b63363a8a2e269","datavalue":{"value":{"text":"Reformulation based MaxSat robustness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q487654$A1759CAC-64B9-43B2-A3ED-15F9895A7578","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"200a25975e641802a7d6165d6952d2fb15dc9c01","datavalue":{"value":"1309.90069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487654$A014EF09-2DDF-482A-8F60-20BDF9A79023","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ce8850632b90b69a6c289735cc288ece6fb9e1a","datavalue":{"value":{"entity-type":"item","numeric-id":352975,"id":"Q352975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487654$076C2500-BAB5-4FB6-9F30-C4C0FC38B47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba462ad8ce2d5360815162d78f75d92c0577eb26","datavalue":{"value":{"entity-type":"item","numeric-id":487652,"id":"Q487652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487654$701D6052-5A36-451C-A979-87495C317A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4647f34492141f1aec60893b9ed1a8ca71a24df","datavalue":{"value":{"entity-type":"item","numeric-id":487653,"id":"Q487653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487654$ADAAA0A7-40D1-42C4-881F-561C9462A8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"588ee65877f0d3e81836f8c13b96426bc0fd83a2","datavalue":{"value":{"entity-type":"item","numeric-id":487631,"id":"Q487631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487654$31DFFE6B-2D44-4272-A418-824094F4392D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a94d1d6f5ae333511fea1192115f95b08e9c8fb1","datavalue":{"value":{"entity-type":"item","numeric-id":202524,"id":"Q202524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487654$EFAF81DE-5CEB-4380-8F4C-BB51CAED2CE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8bb6c16b18fb3fcb7c20a96f2fcd94ae71f0f929","datavalue":{"value":{"time":"+2015-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q487654$D84E3D2E-EAB8-4B03-ADBA-5AE347E0B2AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dade3bc82a2f7e555fdd92f6a7aa24c002fcafaf","datavalue":{"value":"90C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487654$C5CA2341-AA1D-45D0-89BB-118048E7773A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487654$B30A23AE-7A0C-4AE0-ABCF-884D96F69A42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32fae2593a78c5d471cea364a8e6fad54828ee18","datavalue":{"value":"6389808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487654$F2D10C25-E4D6-451A-8E1C-55B31B2BF7F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762bc1a389b4540cd169b666dbaf1a8451c7cb2","datavalue":{"value":"robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q487654$1493B6CA-24EE-4404-8A34-6B5C303EAA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0b397f41b482fa333d94724754f88adfeff0e9a","datavalue":{"value":"reformulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q487654$E1C9D24F-0BDF-428A-AE64-181949F16153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9d06bae0e0ce516d850aa5b87785a8d2203c77d","datavalue":{"value":"MaxSat","type":"string"},"datatype":"string"},"type":"statement","id":"Q487654$9BD9A65A-2418-43D6-8B24-1EF8552558F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54fc13d85c90406af05dbef85bf312281300c830","datavalue":{"value":"pseudo-Boolean","type":"string"},"datatype":"string"},"type":"statement","id":"Q487654$A3FC6997-77F9-4235-91D9-17A0F91042A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c123c988a4455db85cc065f2e06e0a8051be65dd","datavalue":{"value":"combinatorial optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q487654$0587B958-B252-4160-91EF-2A53E76E20FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be94e0652db58f3504a5ea05be6df619cad5a25","datavalue":{"value":"resource allocation","type":"string"},"datatype":"string"},"type":"statement","id":"Q487654$23559588-6E7C-47D8-AEA2-353ACCBD6741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"167ea221b19460acc44f6df888de3abca5a16e3a","datavalue":{"value":"auctions","type":"string"},"datatype":"string"},"type":"statement","id":"Q487654$BA9F6510-29F3-4883-90E0-B8622687014F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3b163eb2acfaa09d2ebf57c54881fcc37ef41973","datavalue":{"value":{"entity-type":"item","numeric-id":22051,"id":"Q22051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487654$6856CB97-0DC7-416D-AD0E-BCB128A02534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c2ad928ef7e075a5826c42714da18f3ea07be26","datavalue":{"value":{"entity-type":"item","numeric-id":16292,"id":"Q16292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487654$CBCF930E-6639-4FE6-A0FC-FBF1DEE35373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d0306a541ac4d64d413698a8167f6dce4fa4ce8","datavalue":{"value":{"entity-type":"item","numeric-id":16269,"id":"Q16269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487654$BBA9791D-9822-4204-AA9E-4D330F13CA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91bca1c2a518a046e416057d3d71807670849859","datavalue":{"value":{"entity-type":"item","numeric-id":19059,"id":"Q19059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487654$B739BB14-4215-4C81-9F42-F6E40B66287A","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":"Q487654$529DB5E6-401E-4E90-80AB-EBC5DF3624F6","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":"Q487654$A67FC23B-F7E8-4415-B059-3D5326848B1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bec42dc1b93ea264fe1f17b83d75a62552fb9d3a","datavalue":{"value":"https://doi.org/10.1007/s10601-012-9130-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q487654$044012E0-0FEC-45ED-BE74-C0B93B046A8A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbdc52017637ed78d3b7f28ad1733d81ef31006a","datavalue":{"value":"W2018580185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487654$EFE05FFE-3BF2-40E2-A8AD-B78F420CD761","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b108418930b584868684728606ee00c06b86105","datavalue":{"value":{"entity-type":"item","numeric-id":3007689,"id":"Q3007689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487654$F29865B7-1E23-4627-8DAF-445DE68B4259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704665b56e53536dcd69ac6d4918592980b87809","datavalue":{"value":{"entity-type":"item","numeric-id":3637178,"id":"Q3637178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487654$64232DF9-6A70-46D6-AB52-B5DDE3D40EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aadf7db3c7630c45ad97b43df554a0724b4a7a40","datavalue":{"value":{"entity-type":"item","numeric-id":3502687,"id":"Q3502687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487654$515D0541-C609-4372-A4AF-2D2EC5CF0E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15e19170183c8774cb38196705806ca7e842e18e","datavalue":{"value":{"entity-type":"item","numeric-id":3604010,"id":"Q3604010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487654$736EE122-9915-444C-ACBE-86AD15606B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c2507b558cbf14814c9dd43c210690dd9fc4846","datavalue":{"value":{"entity-type":"item","numeric-id":3637409,"id":"Q3637409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487654$506A28A1-B925-405A-87C5-38E00395D38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6736966bedf05fe4b3f9c7f6b3db32907f3b70f2","datavalue":{"value":{"entity-type":"item","numeric-id":3588651,"id":"Q3588651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487654$D175E45A-8BF1-4C1C-9955-931F11C89780","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":"Q487654$7AE702AA-A058-41F2-A26D-454073278EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e56cc0ad7baa7eff77c156e697973d717687501","datavalue":{"value":{"entity-type":"item","numeric-id":3011296,"id":"Q3011296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487654$EB99F066-4DFD-492A-97F7-421A0F5CF864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7540f3671d86f8ea56c0771af46d4cd00976ffe6","datavalue":{"value":{"entity-type":"item","numeric-id":5713870,"id":"Q5713870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487654$94D740F6-9E2E-40C1-8CBD-08E4D2075106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f537da6b8a593b2b18ab381f8c399af916098b7e","datavalue":{"value":{"entity-type":"item","numeric-id":3604009,"id":"Q3604009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487654$FBF2B7A3-5F00-4B77-ACEF-8B5C073D23D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b90fd7e8bec3a1d149755202e1ef87662fb5f5a","datavalue":{"value":{"entity-type":"item","numeric-id":5703905,"id":"Q5703905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487654$1D7E4699-5BB5-40F9-9C16-37A4D0F68EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73e173d80ea67062ba4e37b23896d927fee1a63d","datavalue":{"value":{"entity-type":"item","numeric-id":2385178,"id":"Q2385178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487654$C8280912-0F3C-46E3-87A1-28C452A81509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd4afa29e020ea6bb9de6f599ede133d0d89b0e","datavalue":{"value":{"entity-type":"item","numeric-id":3637182,"id":"Q3637182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487654$F9677629-0985-4BD8-9C1C-73167D6DD2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7516fc65ecac37755fe011fe1711991dc2a48599","datavalue":{"value":{"entity-type":"item","numeric-id":3184605,"id":"Q3184605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487654$577C580C-1D1E-4474-A539-C6DD81CF57E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18fed5f70db0afa37dbd7dc175fda2e1e50cfa34","datavalue":{"value":{"entity-type":"item","numeric-id":3624006,"id":"Q3624006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487654$F5234786-C560-4662-B5F1-013E8A71D17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47417671db8825bf9c537eb8a895ccf14534d5d0","datavalue":{"value":{"entity-type":"item","numeric-id":4649020,"id":"Q4649020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487654$8268C051-1E87-42EB-8A4B-013C2631A404","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4af2b0146d42d128dfa9e7075b2cddebd8955b99","datavalue":{"value":"10.1007/S10601-012-9130-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487654$C5D377E6-01A3-4B9B-AD79-18854210FFE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5af65e51656ed54523a2eb31546f5defa18b34f","datavalue":{"value":{"entity-type":"item","numeric-id":4922903,"id":"Q4922903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5999f206cb304ad9223e8c517938bebb1b30d0d9","datavalue":{"value":{"amount":"+0.7781380414962769","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":"Q487654$006B84CF-0109-4925-8070-CEA747C388B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52409fc950ec9965c884941138c27a3f197c45cd","datavalue":{"value":{"entity-type":"item","numeric-id":2947586,"id":"Q2947586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db9ba57a1e3ddb37da6a359737990fa72cec8f1a","datavalue":{"value":{"amount":"+0.7496874332427979","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":"Q487654$57BF4BF4-BE21-442F-9217-BF82E2316CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9495f4d718a6a21cda8386bf16c5c91b848453d","datavalue":{"value":{"entity-type":"item","numeric-id":5897208,"id":"Q5897208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37af484497fbcd2371e26aed6c69c6f987344983","datavalue":{"value":{"amount":"+0.7395504117012024","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":"Q487654$927BD28C-54BC-4911-9A18-F496DBC7FE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e589f0a5b199531890a676211d7b89312374d0d","datavalue":{"value":{"entity-type":"item","numeric-id":5713870,"id":"Q5713870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff75f262573384cc8b8887c5984c91c671d1aee7","datavalue":{"value":{"amount":"+0.7287448644638062","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":"Q487654$D8F7819A-F813-407A-824B-D54BBA3B9D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b492a115c9e5ed589d21c17ca737db106e54085","datavalue":{"value":{"entity-type":"item","numeric-id":2874430,"id":"Q2874430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb330c2c9a30da25245e6100f543632abea72cca","datavalue":{"value":{"amount":"+0.7175678014755249","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":"Q487654$77265A74-36F1-4FB8-B804-78C6AD46B785","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:487654","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:487654"}}}}}