{"entities":{"Q1288467":{"pageid":1299217,"ns":120,"title":"Item:Q1288467","lastrevid":46786095,"modified":"2025-12-25T14:26:55Z","type":"item","id":"Q1288467","labels":{"en":{"language":"en","value":"A two-phase exact algorithm for MAX-SAT and weighted MAX-SAT problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1286665"}},"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":"Q1288467$D6A76FAD-F3E8-4182-AE9F-03DE99FD28B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae6a4564647d2018182ba10cf9117fba0fb660fa","datavalue":{"value":{"text":"A two-phase exact algorithm for MAX-SAT and weighted MAX-SAT problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1288467$51B1FF5C-A2C2-42B2-9FDF-330A1C88F0F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59a8553c4a184835e9aecfc1e761bd092944760e","datavalue":{"value":"0954.90026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288467$41C06912-9AB2-4543-9313-BFC65D218DB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65c4143d508e6890b00f611cbf3b0e36339127ae","datavalue":{"value":"10.1023/A:1009725216438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288467$9A05EAD5-AC24-4248-AAEA-6C7D00B4334A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03ecb79b4d6ce9a15e99fa5edcea86eeacd51e0f","datavalue":{"value":{"entity-type":"item","numeric-id":1288465,"id":"Q1288465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288467$AFEB5EB0-544F-481A-A2EC-DA06344F9259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b50e4662988b9eabf3c7252668ce2569a9950f82","datavalue":{"value":{"entity-type":"item","numeric-id":1288466,"id":"Q1288466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288467$EF329D66-AFEA-4220-B301-B966765F0F08","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dcf8815e3b257674fa147da7a4e7c92c91c0b3e3","datavalue":{"value":{"entity-type":"item","numeric-id":185429,"id":"Q185429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288467$9DBC2489-81AC-4AF5-96FA-41E1B6BF01E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"73df23e416de4958b6f56706378345ff4bd60fdb","datavalue":{"value":{"time":"+2001-02-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":"Q1288467$5AF895B2-4BA5-4D26-A04E-2257E93791E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288467$F9FD4B20-5BE6-4FF1-8094-3AF4364E60E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"955a6ac68db8c67c1772255c707ed5eb1d2bad2b","datavalue":{"value":"90C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288467$FCEDEC4B-552E-4879-A7A8-BC1A709617E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d42ae7884b9335550c4d21f090798ce9c56a9bf","datavalue":{"value":"90C59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288467$4041A061-8C84-4FF7-AC63-BF4AEE1AA562","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c3a50af2bfecf83e10a3a9a7d2936cec3ac3329","datavalue":{"value":"1286665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288467$692236B2-39A5-4F06-BE36-E4D40B8BA64F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4400dbd91daef92668058db7546f4fdecc360ef7","datavalue":{"value":"MAX-SAT and weighted MAX-SAT problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288467$D6E41AFD-378C-4399-8E56-AFA52A82DC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f641bd239fe6f0d5fb2cc0d2b3f89cbc609bab87","datavalue":{"value":"heuristic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288467$3C453680-14E5-4A95-BB04-CF1ACFF48F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e0a438e9092bcf192a5c493b52b0717e88c2591","datavalue":{"value":"integer programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288467$AEA4E547-3CEE-4759-9FE7-2B5B959DE844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6fa83f3a026b88d7e3a00aaffb2f7402eb55005","datavalue":{"value":"branch-and-cut algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288467$91C0F33F-54A4-48FA-AA69-EB391FC43D4B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"593a89f4e8d8ace6f8311a7a449f6303610259e9","datavalue":{"value":{"entity-type":"item","numeric-id":16758,"id":"Q16758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288467$7E5ADD1B-87D4-42F6-AC05-30C8B1C8F75F","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":"Q1288467$4C55B189-7AE8-4156-94EF-637928976C90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61125468501d9dc10ccb40584a4a06ba543a413d","datavalue":{"value":"https://doi.org/10.1023/a:1009725216438","type":"string"},"datatype":"url"},"type":"statement","id":"Q1288467$374470A1-7884-4B1F-B8B9-4CDA9F51C602","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4aadd36c4a6d48484af9512e44a923f1b4933241","datavalue":{"value":"W1581661059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288467$8CB3BDCF-5079-4B44-9008-909B5EC090F6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"848f7ec36438bb3bbdce1ab696e84c33c903237c","datavalue":{"value":"Q60309085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288467$FFC8A2B2-A142-410A-A619-A5A961BFFDB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13cd0a4ad00a4517f36dc4ac17c86ba0db362fb6","datavalue":{"value":{"entity-type":"item","numeric-id":4375770,"id":"Q4375770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da3eb044bc82439bdd04b9f75057479624514e36","datavalue":{"value":{"amount":"+0.8517829179763794","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":"Q1288467$523BAE60-E367-4C29-BB81-E23FC61E4E1F","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":"946cc8918d3074555cbffbe750dcea70c4be3192","datavalue":{"value":{"amount":"+0.8239392042160034","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":"Q1288467$DAE63A16-1969-4790-AFE9-BEB8A0C70629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21b64cef7661e45ef48301978e45203d85ab3409","datavalue":{"value":{"entity-type":"item","numeric-id":4916231,"id":"Q4916231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c4506ae809eb3e1b7f34faca0db7ece932c7d6","datavalue":{"value":{"amount":"+0.8211264610290527","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":"Q1288467$F75663FF-63E8-4869-8318-238E36A40738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8fe987a1c93c427ee7f72d701a2da77f0bb0f2f","datavalue":{"value":{"entity-type":"item","numeric-id":535012,"id":"Q535012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"759cc29a1a6800d76e106cf0b22eaa93697ffdcf","datavalue":{"value":{"amount":"+0.8169519305229187","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":"Q1288467$B3795350-7B2D-4A3E-B402-7F3CAA9B1660","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1288467","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1288467"}}}}}