{"entities":{"Q6572025":{"pageid":14183180,"ns":120,"title":"Item:Q6572025","lastrevid":42356111,"modified":"2025-06-12T17:06:20Z","type":"item","id":"Q6572025","labels":{"en":{"language":"en","value":"MaxSAT-based bi-objective Boolean optimization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7880733"}},"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":"Q6572025$5EF9AED2-5E3B-4728-A09C-2F330F19CD83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"764573e5dcfece1a74d9c9406a4ffeaddfa7ddc4","datavalue":{"value":{"text":"MaxSAT-based bi-objective Boolean optimization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6572025$13C49E5E-2971-4810-BE58-35AB8C1A65C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63026884492eca87bce82086fd201d8bb7980af8","datavalue":{"value":{"entity-type":"item","numeric-id":6572024,"id":"Q6572024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572025$4839500D-A8E8-4818-A2DB-4054BF2AA0B8","rank":"normal"},{"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":"Q6572025$E24EEBCF-898D-45EF-8ACD-9FE68520859A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3535ea06d1b3d2712ed6420536eb2544745f3eee","datavalue":{"value":{"entity-type":"item","numeric-id":2124465,"id":"Q2124465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572025$CC39EBAF-97CA-47F7-8B40-3A4D284A12D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58d1d7d14c02d5fd66164eb2f51bc923e39cb8db","datavalue":{"value":{"entity-type":"item","numeric-id":269491,"id":"Q269491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572025$D42EACE8-C612-4673-A913-F143E5964831","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4665cf21e28c8d8d6d68e1278341997f9619a61e","datavalue":{"value":{"time":"+2024-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6572025$92C5E303-FFA7-414B-82CD-C45D94F221A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572025$72264E71-7B59-4D0F-BF60-C63C5A9EADD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572025$B787A72A-4004-4C90-8708-640990D73551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572025$EEFD0261-9A8D-4AAB-839C-73328D54340B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3340e98f79a4c0dde691ec03809f843779bc454b","datavalue":{"value":"7880733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572025$54BA41E8-F095-4087-98A1-9420C684E58F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63e94d32bf9eca2a3becffae779bd82dde40793b","datavalue":{"value":"multi-objective optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572025$D040D2C3-4C5D-4895-83B1-F0E96A705549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4d9b99066783247b19771564bee146225f992f3","datavalue":{"value":"Pareto front enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572025$59683FBD-9123-4966-BBC9-C531BB64E175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"819a6976212eebf96d99da5c2313d338d35f1f5c","datavalue":{"value":"bi-objective optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572025$F55A13EE-74D2-4F5B-AC8A-8138429ABA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7266802113187a96c78397ed692b735dee12e876","datavalue":{"value":"maximum satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572025$CDA6AB30-C702-49CA-A89E-E176C7ADE6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"632762b52d729f21e0acc6a42018f8e0d67fd225","datavalue":{"value":"incremental SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572025$ED93D802-FCE6-408D-9A66-4366B9BE4F1A","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":"Q6572025$E6062F98-BC16-419B-8C7F-C3F6D8E815BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1932ceeeba146783f9f1c6c76bcf3ca606ce52ac","datavalue":{"value":"10.4230/LIPICS.SAT.2022.12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572025$13C428BF-98F4-49D0-B85E-1EB4A49CF509","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6572025","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6572025"}}}}}