{"entities":{"Q6039929":{"pageid":13121675,"ns":120,"title":"Item:Q6039929","lastrevid":93785801,"modified":"2026-06-05T05:07:20Z","type":"item","id":"Q6039929","labels":{"en":{"language":"en","value":"Generating Difficult CNF Instances in Unexplored Constrainedness Regions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7688308"}},"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":"Q6039929$71CE001C-2134-4A58-9BCE-27D1162AAAC3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6140705730d2d6792ef3522531f036c3951ec49c","datavalue":{"value":{"text":"Generating Difficult CNF Instances in Unexplored Constrainedness Regions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6039929$B63C6191-76CF-4F78-A593-B7CBBA64ABBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be35d08e1fb04234212aa0dcfc1b2faf5a05b875","datavalue":{"value":"1521.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039929$F617A349-FE7A-4B1F-BD66-F900FC55F17B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e520107611cbc97181d5484873c9cccfa4e1ca8","datavalue":{"value":"10.1145/3385651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039929$8797E8F0-76A4-4025-9AA6-2308B1F4B9A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c90b746a7b1534ad332105576696cb08087888f5","datavalue":{"value":{"entity-type":"item","numeric-id":253985,"id":"Q253985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039929$5F49596D-EEB0-4B9D-AEF6-5AE70D35BE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b96a278695e407816170ef58eb705a0748f3d1d","datavalue":{"value":{"entity-type":"item","numeric-id":511790,"id":"Q511790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039929$9D8F5981-5ECD-4A8D-8F8F-1D87159EE7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03ab97b536dc9c837ad44afdf7653dbf2a05426f","datavalue":{"value":{"entity-type":"item","numeric-id":6039928,"id":"Q6039928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039929$A3E26CD1-E70F-47E1-B999-B978019E999D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"559c31c5a2893c61b2386453e3ce7e57ea500601","datavalue":{"value":{"entity-type":"item","numeric-id":2828175,"id":"Q2828175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039929$3A8697DE-5EDA-4A31-BA4A-E6E41C3BAF55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df3e76aba048da6d60ed30c78f02969029aa9ede","datavalue":{"value":{"time":"+2023-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6039929$3949D03F-F1D1-4760-A64D-E3989CCA7FF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039929$4E19FF6D-9AC0-48E2-8D4E-A5270C4BDC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039929$9C8F4502-D731-4160-983D-CB1BF5E5C486","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de38579b4d72d610d993544f2a52d0c68289fc5e","datavalue":{"value":"7688308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039929$853BC093-1B7E-46BE-B564-7333B3CAA907","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6039929$21C2C13C-3237-490D-93DA-480A49EEA865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2582482b9113022146ca514e652c4d020bed5d08","datavalue":{"value":"constrainedness region","type":"string"},"datatype":"string"},"type":"statement","id":"Q6039929$B44FB3CA-007C-4AF1-AFE9-1BD9C5E5F840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27ad71d6e59611281f2e8f0f8ebc547511407351","datavalue":{"value":"instance difficulty","type":"string"},"datatype":"string"},"type":"statement","id":"Q6039929$B8ED3650-80CB-450F-BFE0-641D8EDBA459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8887db2cfae0f2de15d728bfbe170cf3d84cd83","datavalue":{"value":"instance generator","type":"string"},"datatype":"string"},"type":"statement","id":"Q6039929$DFE695A1-D47E-434C-8A19-4A125C606B7A","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":"Q6039929$63ECCF63-6C03-4B9F-8623-7C933BF5A37A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec5f9399d95e21dfdfd1793bd0f49fea66903478","datavalue":{"value":"https://doi.org/10.1145/3385651","type":"string"},"datatype":"url"},"type":"statement","id":"Q6039929$99840345-D03F-4B75-8110-5171AC5FD8C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83c2161ed142e5d01df39c37a3a78a4d94a5e55b","datavalue":{"value":"W3023742384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039929$6C95263A-4632-49BE-B6FE-FD3F6C1A7313","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039929$C9ABAC14-4768-4ED0-8DC3-B8B67EFD8C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56cf5c188bcce9490a2b63c18bca3c3259df4b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4012216,"id":"Q4012216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039929$F3237988-D4C6-4A83-8B8E-D113DAA2F56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039929$810D9762-CCF5-43DF-966C-2499728B8A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d979ba77ecfe53a8e36438976f85824016785a8","datavalue":{"value":{"entity-type":"item","numeric-id":2674177,"id":"Q2674177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039929$38C1B451-7E16-41B7-8BD9-BF7D0A63B330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad6c24d9e317ba6ce0e6a8c740ed8e341f7349cb","datavalue":{"value":{"entity-type":"item","numeric-id":3624048,"id":"Q3624048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039929$61602749-E446-424A-B75F-7CC1BF5535A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501aefe4754342fb8d5444baacca037714207964","datavalue":{"value":{"entity-type":"item","numeric-id":4999425,"id":"Q4999425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039929$C5CD31BA-EF22-41E4-9B87-4986AEFCEA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e9e5cea5a6e817d1dce64aea7c9dc0d68e013f","datavalue":{"value":{"entity-type":"item","numeric-id":5471051,"id":"Q5471051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039929$C2C96B2F-E607-4D22-B3B2-6EF0447D8348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe65bb605327207eb9f770b57bfc9ecc6a4cb45","datavalue":{"value":{"entity-type":"item","numeric-id":1656569,"id":"Q1656569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039929$D91B347B-8C3A-48A9-8D94-CD6387F11024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039929$AB3927D7-793A-48FD-8D5B-11CDA6DFB5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2296e4c061aa297b15b18e8b2ac7f4a7380c92ae","datavalue":{"value":{"entity-type":"item","numeric-id":5350224,"id":"Q5350224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039929$7174D9AC-B1BD-4185-A319-1C51811A0E00","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6dd9625cb59803390e02cf8ab07e821c039a251e","datavalue":{"value":"Q130992879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039929$2D9A23D5-19C4-43B7-A7E9-A552302CDAAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43f7840f195fba91b7d5665b94b21d22a3bbf2cd","datavalue":{"value":{"entity-type":"item","numeric-id":5881807,"id":"Q5881807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a0eaf6d0a1057ee1e41c0e859e637e12201afe6","datavalue":{"value":{"amount":"+0.7380244731903076","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":"Q6039929$82FE02EF-C1E6-4EF6-9B57-EE2AD1939681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d7f470638441c8536e9acea9af09605fb53b201","datavalue":{"value":{"entity-type":"item","numeric-id":5406224,"id":"Q5406224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17acdc9ac5f4e4412ecd2a2ec69d921bee2b3de1","datavalue":{"value":{"amount":"+0.7375066876411438","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":"Q6039929$CAD70F31-5757-4B78-812E-6B25C159DD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80a997dda7215aa07c5fd4b4dbd3dc3dce7eb496","datavalue":{"value":{"entity-type":"item","numeric-id":3624048,"id":"Q3624048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71ce5a9e4ddc5e232a63ff1dca40e95b5c59cdb4","datavalue":{"value":{"amount":"+0.7338801026344299","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":"Q6039929$DDBD2B1B-295D-44BF-97E2-DC3FD8DBDAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2384784e67b746c941848cc6fcfe27e81759712f","datavalue":{"value":{"entity-type":"item","numeric-id":4375756,"id":"Q4375756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a34a93b3f7b7c6dfc5f73edf5d54a1109c807b08","datavalue":{"value":{"amount":"+0.7326324582099915","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":"Q6039929$0D7B3183-73D6-4245-8FF1-13A2F969F0BD","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":"04a2de17911ecaae05011bea8783089553866ee7","datavalue":{"value":{"amount":"+0.7311731576919556","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":"Q6039929$B148A030-7422-4A64-BFD5-90D164ABBCC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generating Difficult CNF Instances in Unexplored Constrainedness Regions","badges":[]}}}}}