{"entities":{"Q256655":{"pageid":258422,"ns":120,"title":"Item:Q256655","lastrevid":60398640,"modified":"2026-04-10T16:50:11Z","type":"item","id":"Q256655","labels":{"en":{"language":"en","value":"Set constraint model and automated encoding into SAT: application to the social golfer problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6553006"}},"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":"Q256655$90C7FF0F-6440-43AA-A7E7-C0E74DD3143F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91cddd094b4ca113c194be6fdcee4d87a967df8b","datavalue":{"value":{"text":"Set constraint model and automated encoding into SAT: application to the social golfer problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q256655$F496F75F-2E8C-43C7-9243-4C77507EDC26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81af6f2915c89adefd468eb77583bd511f1c51e3","datavalue":{"value":"1332.90277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q256655$4E8DF3B1-ED78-42BA-BD8C-165A16981CB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2af0791cf7b6acafab50c1b12f3f25201c32d377","datavalue":{"value":{"entity-type":"item","numeric-id":256652,"id":"Q256652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q256655$D48AADE7-FC4E-4418-A532-4D87C7390D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ca067d3ca8ae0b953261fe0d765e58423f80756","datavalue":{"value":{"entity-type":"item","numeric-id":256653,"id":"Q256653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q256655$94A957BD-2F21-4685-855C-0628AC879D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b2f7e06b8d63a98e8207635917e2b91396a9a2c","datavalue":{"value":{"entity-type":"item","numeric-id":256654,"id":"Q256654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q256655$6A814017-DD35-4043-B2DD-5125E3501BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23be20bd2ab1bba03807dc24489de6a54be26942","datavalue":{"value":{"entity-type":"item","numeric-id":432257,"id":"Q432257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q256655$7882A63A-4723-4B1B-8DA8-B7F2816C5174","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8f57d1123ebbbd10d621b3552a672e7729202712","datavalue":{"value":{"entity-type":"item","numeric-id":59875,"id":"Q59875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q256655$871B5D1E-A3F1-4DC3-95ED-C52CD327E011","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddcefc10613dfba994bca5094600721a8bb07857","datavalue":{"value":{"time":"+2016-03-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":"Q256655$147D41D3-ACCB-40D1-8875-28E6B5CF91C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07e161c59f7dbb1b6d863fd4e6ceab8f4577a4d0","datavalue":{"value":"https://arxiv.org/abs/1406.7196","type":"string"},"datatype":"url"},"type":"statement","id":"Q256655$3502F84C-828C-4457-9536-440D835DAB85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"52de7d4bf5a27d5ad252804eec58396bb3e40c44","datavalue":{"value":"90C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q256655$5E5B01D2-B2BB-43D1-94FE-D54F4F58A009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"418d4d19aa7c87e33d52e580c9c108a1bc2de096","datavalue":{"value":"90C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q256655$71A14437-E343-4231-93F0-5550D850F174","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b4b4bf646bef347f04d942ffb7c2a4b42f7f1d2","datavalue":{"value":"6553006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q256655$01F9FB75-A5A5-4557-8BE5-347A6CFD1D2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86d4fb8ba2dc31bd4fef7b1a4f177458544ccfaf","datavalue":{"value":"constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q256655$1076F948-77FF-4F77-83FD-B1A51CC296C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36cfeadd48cedb502527ee4107acfca776039e47","datavalue":{"value":"csp","type":"string"},"datatype":"string"},"type":"statement","id":"Q256655$D707499B-F62E-4C40-B37C-067C4C3DFDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4532818dca91c0a5ab224b4fe1077e3a94a99bbb","datavalue":{"value":"set constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q256655$157BCB5F-48B1-4DFB-BF07-A10CD3C83336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bdeacae6ea35d3c55028ade4ac93b6c7813f1db","datavalue":{"value":"SAT encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q256655$EA08B32B-4B99-45DF-897B-63147B139F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"123509f3b328a73a37fc32d8570a8ccefcd8b23a","datavalue":{"value":"social golfer problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q256655$25CBE9F2-A7B6-40CE-AF94-67454AAE76FD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q256655$8BD93C56-1256-40F7-94F8-216B594BA4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d03efbad9799f7eb17253cbf3517b0327b961fe8","datavalue":{"value":{"entity-type":"item","numeric-id":18394,"id":"Q18394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q256655$7827C274-8217-42B7-AC22-C57A64165F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3ede50fc4f4c1109ee9121665cf9062e9d42c04e","datavalue":{"value":{"entity-type":"item","numeric-id":18387,"id":"Q18387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q256655$04D4B2DC-81B8-42FE-80E2-D187AF9FF333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5c36222bb9a591f98e2043db31a25ee5a230d02","datavalue":{"value":{"entity-type":"item","numeric-id":16334,"id":"Q16334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q256655$9E30D6AA-294E-41F4-BE06-F133B8A45CB3","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":"Q256655$D95C9545-B8BC-4669-9410-2998F2DF9A52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7cd313220434b07c45edc78a1f4c400f038bb83a","datavalue":{"value":"W1788757403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q256655$3803F48F-C565-406E-B942-3E67C55820BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0587d8eb0a2598e65a4ba3e50b6f67f73bf68ffa","datavalue":{"value":{"entity-type":"item","numeric-id":3608442,"id":"Q3608442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q256655$772B4B64-1139-4B6C-994A-4FE12870937A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0136916078008f85fe85508dd536c62284b62696","datavalue":{"value":{"entity-type":"item","numeric-id":3523055,"id":"Q3523055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q256655$A9C71EBD-900C-4856-B413-7B6AE16DBB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c83eb0bb9c863c487d30856ad78d111fa5c91a","datavalue":{"value":{"entity-type":"item","numeric-id":5897193,"id":"Q5897193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q256655$5DFCEB57-1EBA-4D39-9B5E-717E08243F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5368364ce79b0e1d8db898bc5b40c9c76df5089","datavalue":{"value":{"entity-type":"item","numeric-id":4930575,"id":"Q4930575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q256655$B45335C6-84DB-49B1-B516-D29F0DC5EFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a071bbd33ff057d05df74aab8cd237f7b1de76ef","datavalue":{"value":{"entity-type":"item","numeric-id":5325869,"id":"Q5325869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q256655$862A2D03-DE74-483A-BB4C-26BBF3B78EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q256655$4A9ABBA9-B679-4249-ABC4-B85960FB64DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q256655$C0CF4B02-F7D8-444F-96AE-FAEBD58346D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"909143c78133c96eb5e8b7f4c4c8e891e309e546","datavalue":{"value":{"entity-type":"item","numeric-id":1861944,"id":"Q1861944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q256655$CEBECDF1-D3C6-4780-BC77-ABE52FF6AB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q256655$49774987-2E7C-4E21-A724-43636013E908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86644b9651da7d4dff4078d27481f9ba7d823021","datavalue":{"value":{"entity-type":"item","numeric-id":4922917,"id":"Q4922917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q256655$F7558B9B-1B87-414D-A9B1-058B19EB7456","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":"Q256655$58011ABE-A9E5-4051-8965-EBC00E3BF0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017fa4c11a3472605a63849feb7d6e8e1d5a8854","datavalue":{"value":{"entity-type":"item","numeric-id":1761920,"id":"Q1761920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q256655$33635010-98DD-4D6D-8485-370D78639C71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7eebbcb0b8f8f19e5d3879d719da84ac306eb3c9","datavalue":{"value":"10.1007/S10479-015-1914-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q256655$B1700CC9-6E48-492D-9537-1B5569C1137B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04e4ba954b243353ab03ab058f589adf2a1ee5e9","datavalue":{"value":{"entity-type":"item","numeric-id":1761920,"id":"Q1761920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d017e180700a77f61bf2b66f09304e518bd28e7","datavalue":{"value":{"amount":"+0.90366447","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q256655$90E2E838-D3CA-410F-B845-109D41C4EFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f4315323875c6003c6af0815b7ca79ecfa743b0","datavalue":{"value":{"entity-type":"item","numeric-id":487632,"id":"Q487632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89cb75a7a11345520b6bc9dd8e48acb1033a277d","datavalue":{"value":{"amount":"+0.81320703","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q256655$49DCBABB-35E9-49B5-A37A-4CB481B60FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"033ef03c880de987008f7109ceeb84e3929d4535","datavalue":{"value":{"entity-type":"item","numeric-id":1761919,"id":"Q1761919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d250c3eecf98b4f91de992ad61c9c9f136a7485","datavalue":{"value":{"amount":"+0.8078847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q256655$C635A17F-D9FF-4BCE-A9A7-626CAF326965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc2799947c6407dc7432016bafca53740910a329","datavalue":{"value":{"entity-type":"item","numeric-id":2670589,"id":"Q2670589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e14655a9e20ac7d49f2a0646eb3b5932f246af9","datavalue":{"value":{"amount":"+0.8025283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q256655$F486539E-9C68-4A94-99D1-6AD34E2E1614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80301423f2ed00db159b434b086a73ac036347bb","datavalue":{"value":{"entity-type":"item","numeric-id":5326466,"id":"Q5326466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e507a5afe81d0c9fd33d1a3992de4d546175e7a5","datavalue":{"value":{"amount":"+0.80238867","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q256655$D2A94E0F-9FFC-4482-8860-69A72B5C679A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd1d89e5c7144714cbc04d13ecc44f359334372a","datavalue":{"value":{"entity-type":"item","numeric-id":4281553,"id":"Q4281553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f36037f89b1dbb42a12b3955b048e008694d2ac0","datavalue":{"value":{"amount":"+0.8010719","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q256655$A630B36E-22AA-45EB-9202-CF1F2EBACB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80b796c4bac849eb9a553241c3c3ad943cdf07b0","datavalue":{"value":{"entity-type":"item","numeric-id":4221348,"id":"Q4221348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa5e832234a941b2e1198dcc3c77a5b14a18debc","datavalue":{"value":{"amount":"+0.80084753","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q256655$563BDC23-3C30-4F30-B763-4AAB55D59407","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Set constraint model and automated encoding into SAT: application to the social golfer problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Set_constraint_model_and_automated_encoding_into_SAT:_application_to_the_social_golfer_problem"}}}}}