{"entities":{"Q2509039":{"pageid":2519782,"ns":120,"title":"Item:Q2509039","lastrevid":49945027,"modified":"2026-01-12T05:38:32Z","type":"item","id":"Q2509039","labels":{"en":{"language":"en","value":"Generating instances for MAX2SAT with optimal solutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5064679"}},"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":"Q2509039$F9FDF109-4C40-4197-B952-C2D2F59C7354","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"883d58bd103633cab0cfd5c99ff577b3df980248","datavalue":{"value":{"text":"Generating instances for MAX2SAT with optimal solutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2509039$455DC8C3-4C01-43AA-BF98-F7A8E122A64C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11e8ee32fc1137c6d115a10171ef91566981771a","datavalue":{"value":"1103.68998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509039$7CC84693-7337-487E-9A76-B7998ACA686E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f97a51a622b85ec168c56477568a201f1547847","datavalue":{"value":{"entity-type":"item","numeric-id":378220,"id":"Q378220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509039$48888574-A037-4CD5-B882-1943E971AFB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509039$337007D3-9B3E-4912-8B4E-4BB17795E18F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36b61222e6662b6e0a1be4caad9cdbe2627f3c2f","datavalue":{"value":{"time":"+2006-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2509039$BF792B89-3110-4D06-8C58-21440510E7EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509039$B3DE8066-63EE-4B23-936D-CF54549EDB6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ab862abbe0ad94aa092a7f3d5df1a52ea626aa0","datavalue":{"value":"5064679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509039$3DFAB233-EFF2-4DE1-BDF8-060A60AD8463","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":"Q2509039$0FD684BD-6EF9-4369-8ABF-7200B4938B95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b14fdf3631ddf9e9ae7e1e5427e30b64c45fcdf4","datavalue":{"value":"https://doi.org/10.1007/s00224-005-1221-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2509039$CA3B75A1-6C78-4D0B-A93D-DFA58BD01BA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c57e2a0d4d374ba2987c1ae2054d56f1288f08c","datavalue":{"value":"W2169060402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509039$54290956-C296-4CFC-BBB8-E24C46226B90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa136a52ce1addfd4cc06c2ff4c6f1edb759da9a","datavalue":{"value":"10.1007/S00224-005-1221-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509039$F17AC082-5177-4F40-A7A2-31D1EFD9133A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55ec8a39ef1e354be232f628ed94c480ac0e5160","datavalue":{"value":{"entity-type":"item","numeric-id":5897202,"id":"Q5897202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b14e911f69fc9848719ae9c594d644defc3c5281","datavalue":{"value":{"amount":"+0.764208197593689","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":"Q2509039$70DD09BD-CF02-4749-9B47-4C024F1334FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faf1e8af073249784d0235a40f2cadd29c4bfda1","datavalue":{"value":{"entity-type":"item","numeric-id":5448778,"id":"Q5448778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eb416f0979cab3bbce1f5e5d048c2f091d800a1","datavalue":{"value":{"amount":"+0.7462950348854065","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":"Q2509039$125ED13F-6AE6-408F-99D2-D28218B3DA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd2bc388c73043bbc799dc86cc52059d8a6d1b6","datavalue":{"value":{"entity-type":"item","numeric-id":964385,"id":"Q964385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60b7db337f6866978401d350275060a31e81e8a5","datavalue":{"value":{"amount":"+0.7420921325683594","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":"Q2509039$3A744C67-3105-46CE-BCAE-FDD304460EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31d1ff28b91f1f97e61fcd58f34e8fc60a79c4ca","datavalue":{"value":{"entity-type":"item","numeric-id":2674174,"id":"Q2674174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e55c80ddedb368c6c6f8f0e869a3d04542f0abc0","datavalue":{"value":{"amount":"+0.7327245473861694","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":"Q2509039$2CC5CD15-8461-4854-9539-38745288193B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deb54a6a1764ebcc837f3b419cf9ac3d223eda8e","datavalue":{"value":{"entity-type":"item","numeric-id":2749863,"id":"Q2749863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02b62c5a48ae65b0246ff140b88033a36b253732","datavalue":{"value":{"amount":"+0.7317492365837097","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":"Q2509039$E57095C5-3B9D-43DE-A25A-55C4146816C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2509039","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2509039"}}}}}