{"entities":{"Q2581547":{"pageid":2592290,"ns":120,"title":"Item:Q2581547","lastrevid":44405733,"modified":"2025-11-22T17:38:15Z","type":"item","id":"Q2581547","labels":{"en":{"language":"en","value":"SAT distributions with planted assignments and phase transitions between decision and optimization problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2244801"}},"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":"Q2581547$E5D7C725-58E5-4D78-BE2C-4F0CA1DF82F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93a559bcca89799776052dda394d0711f5bcb28f","datavalue":{"value":{"text":"SAT distributions with planted assignments and phase transitions between decision and optimization problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2581547$5810073E-4452-4A5C-83DF-77200F6FFB66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d6db89ae81a252dc5ee2559cde32760e4e8ebaf","datavalue":{"value":"1091.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581547$7FE2C28A-8D20-4D79-AB1C-F3CEAEB9B5C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cfa803389ec3376abe7ef19e76967355c15efdc","datavalue":{"value":{"entity-type":"item","numeric-id":389392,"id":"Q389392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581547$06B2147A-5995-42C4-88D2-AEA664647B53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581547$3A93E338-6B34-49DD-81C2-ABE24F267334","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e93cf8dacd1ede76e69913529f9bf4e8192e151","datavalue":{"value":{"time":"+2006-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2581547$FFFE1F0A-3246-4CF7-AE9E-6DC0F89100A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581547$8EC5C677-629B-4D85-8FE7-B6A11D82186C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581547$510C5816-B5C8-4294-BFA2-6CA2C71DDCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ad37711539483f94ecc5e7c9236f6acd7c19a03","datavalue":{"value":"90B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581547$3332E1BF-7374-49D9-A6B1-055A521BFD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"306e8f65eab4f086795d9337f8e86ca94ed2db57","datavalue":{"value":"90B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581547$646B4C39-48F7-4E22-A45B-B1B9FAB8191C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea7e6bcbbdd24e4bb502fa75bb1ec18542a6cedc","datavalue":{"value":"2244801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581547$9D1EA2E2-75C8-4E89-9323-66ADCF12C42A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27638d630e18a79d37aae3ab247a2d08a15508a4","datavalue":{"value":"decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2581547$D7A378D5-44EB-4348-9FD2-79631CB5BAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbbed66c32c17ab203854683686f7edccc7f8cbb","datavalue":{"value":"assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2581547$6C64C7E2-3CC9-425C-83D6-FE29DDFC72B3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581547$F6DFAF17-CB3D-4535-BBF8-2F4ADD2AD83D","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":"Q2581547$EE09F2CA-D614-4177-AC0E-249E049FBADB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea4a43784b50d4d6beaf4600a030ef0ed63b4bba","datavalue":{"value":"https://doi.org/10.1016/j.dam.2005.05.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q2581547$6F723CA4-4EEE-4F2F-9F33-B0FD5F705BE0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57663993566a3428f6aa5fe781885918d6425a2f","datavalue":{"value":"W2072912079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581547$5162D469-6E39-40AF-98A8-FECD38BF8BB1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9208528a9398d42022a83d3910fdcc8477ab6c6","datavalue":{"value":{"entity-type":"item","numeric-id":2784326,"id":"Q2784326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581547$6B4450BC-90C2-4341-836A-0CD729A83B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581547$6068E77C-65AB-44E8-ACFD-1184A73F6109","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":"Q2581547$DB9EE85E-DF5C-4C4F-A8F2-8BF1B43722AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edd227013a96dd65d0289b90d93ff4bba0dd80ab","datavalue":{"value":{"entity-type":"item","numeric-id":3286850,"id":"Q3286850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581547$CBCE7E51-01F9-4EDD-8825-90B4B3FC5312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e267610204f256de2e3463c79f6cebae528c8f3","datavalue":{"value":{"entity-type":"item","numeric-id":1391912,"id":"Q1391912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581547$6A8C6BDD-A452-4B04-A404-75BD0ACAFB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1eafdbadab6556c3d155308f91ffabae30954f8","datavalue":{"value":{"entity-type":"item","numeric-id":2674173,"id":"Q2674173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581547$4F95E9AC-5F11-4DD1-8DE3-4B8CCDB1E874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49347a96ea5f7172477fd3a5c9b8312b90cb768c","datavalue":{"value":{"entity-type":"item","numeric-id":3101335,"id":"Q3101335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581547$37F9F21F-EFDD-4F89-B0C6-7D7108AC2E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1075903201a7b5a96eb9e60933d437eac5400eb1","datavalue":{"value":{"entity-type":"item","numeric-id":5354392,"id":"Q5354392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581547$3C802F7B-A7EA-4753-A2BC-FBA9759469C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c1647842d2c4612622084a5b09fcbaf704ae6d","datavalue":{"value":{"entity-type":"item","numeric-id":5687271,"id":"Q5687271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581547$A88B6E32-B98D-460B-A939-471931C04521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f7a7ddc89cc967c7661f9274793c71f86755a8","datavalue":{"value":{"entity-type":"item","numeric-id":4475628,"id":"Q4475628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581547$893A3233-92B7-47A2-8816-EC9CCB525A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"878ab22805516ba1dc0f90f1db8fd0489c5bb204","datavalue":{"value":{"entity-type":"item","numeric-id":2674187,"id":"Q2674187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581547$D0902126-58FF-414F-806D-1983A5F2331A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5990903426415296aa58aa586e75b938a14b71c","datavalue":{"value":"10.1016/J.DAM.2005.05.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581547$F7509291-0CDE-433D-BFB0-F78BB0E71F05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48fe4848d927d72a19105740ed69b83b5daabdb1","datavalue":{"value":{"entity-type":"item","numeric-id":3439111,"id":"Q3439111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2438416d1f34c8bc2eefa08a9585b3d99a8dd606","datavalue":{"value":{"amount":"+0.9638115","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":"Q2581547$C51B81B0-F813-475E-875E-7F175B58B16E","rank":"normal"},{"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":"4d368a69eb7722e0597351b15b2bfc54d8d00954","datavalue":{"value":{"amount":"+0.89997935","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":"Q2581547$FCDE53B0-C5AA-459E-89EB-1D88A6E9FB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66ecbe22a0a5b78e36a23294820665746273fa63","datavalue":{"value":{"entity-type":"item","numeric-id":1025462,"id":"Q1025462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edd66dd4e46d50dabc653ccfdecde75095a0f244","datavalue":{"value":{"amount":"+0.888527","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":"Q2581547$34DFC963-34F1-49D6-B069-73B45B10AE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"965c98c40b11cd23ef6f57cc4a94dc8f72992b3e","datavalue":{"value":{"entity-type":"item","numeric-id":2946386,"id":"Q2946386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a2e8a3a48962ac259998da28be3119c5600144c","datavalue":{"value":{"amount":"+0.8816571","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":"Q2581547$219DB7D8-55FA-4E6F-AB40-2527F04EA43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"807a5b289c9ee294e210a6b40339bfb39fada16a","datavalue":{"value":{"entity-type":"item","numeric-id":4577186,"id":"Q4577186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d171a68125c56510827e5084c7cb752792ed75","datavalue":{"value":{"amount":"+0.8809823","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":"Q2581547$E9C8751E-BE28-42ED-B969-25BE61111F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e17062d1c5e49e244854e84d9ee454c336800f59","datavalue":{"value":{"entity-type":"item","numeric-id":2941491,"id":"Q2941491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6abd3071eff39ebc53d30acafc6fd16218b6eb3","datavalue":{"value":{"amount":"+0.87876445","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":"Q2581547$32738458-9DFD-41E1-AB6C-0CD5A061E6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d9f72206acc22c76e5bcdc2b92244c068577a52","datavalue":{"value":{"entity-type":"item","numeric-id":2118298,"id":"Q2118298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed8b2942696efbcc2d8432fd9496917c48b02530","datavalue":{"value":{"amount":"+0.87869656","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":"Q2581547$A92B1CE5-F2A4-4013-9BF5-D1C01B1D0CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"745a5f77e54438840883105b9482e45c12bdbb75","datavalue":{"value":{"entity-type":"item","numeric-id":4739584,"id":"Q4739584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9fc611b1338adcea9bf47ce59dd63403ba1f26e","datavalue":{"value":{"amount":"+0.8763812","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":"Q2581547$1FD52F53-A872-4339-B06C-33E834FA38DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e92a84a52bee0d3a787e03c04fb6f546d570ac10","datavalue":{"value":{"entity-type":"item","numeric-id":4471319,"id":"Q4471319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9fc611b1338adcea9bf47ce59dd63403ba1f26e","datavalue":{"value":{"amount":"+0.8763812","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":"Q2581547$B3C11D32-4E8F-4BAC-A274-BA93DD8ED99C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da460e40073d3a9020affa4f20d8e3153625fe34","datavalue":{"value":{"entity-type":"item","numeric-id":4666967,"id":"Q4666967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0717e05b5b1c919404406bb6b62ddd8bf8b45ef8","datavalue":{"value":{"amount":"+0.87333226","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":"Q2581547$78D0F262-910C-4644-ABB7-43FD12AA9337","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2581547","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2581547"}}}}}