{"entities":{"Q2674178":{"pageid":2684921,"ns":120,"title":"Item:Q2674178","lastrevid":44609568,"modified":"2025-11-24T08:20:42Z","type":"item","id":"Q2674178","labels":{"en":{"language":"en","value":"The satisfiability constraint gap"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7589957"}},"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":"Q2674178$718CFB6A-C276-4E32-BD72-8D7D8B340B50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2dca5a1eb1bbf8089f166e6a01d9c80240a62a99","datavalue":{"value":{"text":"The satisfiability constraint gap","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2674178$09F99F0E-6C1A-4DE6-AE08-96F00282A84C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a25552894910c8f9ac4a53e9846667accc78d40","datavalue":{"value":"10.1016/0004-3702(95)00047-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2674178$5C6F4075-E9EB-4E4A-9EF7-A52663D0D480","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6a5cb47bfb987a892c1ea29852a7967462f77d1","datavalue":{"value":{"entity-type":"item","numeric-id":215106,"id":"Q215106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674178$E4A49B85-277B-4049-ACDD-910642349085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e54e172c70c88d6a2ec63311e0c847ccd29c983a","datavalue":{"value":{"entity-type":"item","numeric-id":1203765,"id":"Q1203765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674178$6660D852-77AE-42D8-9FCC-74F05A9C430C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674178$3CDD9E18-0890-4528-A96D-8B6BC16690F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c95b7bab56df7de93fb565a41159eab77e3a3f6c","datavalue":{"value":{"time":"+2022-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2674178$581D984A-88F5-44D6-B91B-CAC5DFAC519C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2674178$AB0D6081-7740-4383-853E-D5DFE6587993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2674178$8B6A3706-7FAF-41C7-8BBE-28CF5DB2CE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2674178$8434204B-45C9-478A-B915-35FEDB5CA15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2674178$A1CB24CE-D255-4F39-BEB5-6ADC8D3EAB2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ca53054ef64694159a17b193e5c357f914158af","datavalue":{"value":"7589957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2674178$B1EB691D-32EC-45FD-8F0B-9FACCB62D21F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07cd98b4c74a0e64efc12b497ded1094787668fc","datavalue":{"value":"search phase transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2674178$D3AC7474-E693-4C11-80FB-574321FD434F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2674178$85600B59-78D4-4B36-9994-F212B1522BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05a7831e531e75b31a4af9070b239d7abd43620","datavalue":{"value":"constraint propagation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2674178$B94578DD-AB45-46C8-B23C-E8EB5EA0FE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddfa678240d0c9420f3bb6d7b98370f90ca6be21","datavalue":{"value":"hard problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2674178$5BFED972-1C6A-4C5C-A244-DF081E823E09","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":"Q2674178$2EC72B60-F690-48A4-B784-D314E2825A35","rank":"normal"}],"P223":[{"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":"Q2674178$715B30B7-7013-41B4-A4E2-138C5D6C2F51","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":"Q2674178$C0125139-8378-49BB-BFD6-7982770791C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674178$861DFF56-1018-40AD-BD0D-CCF9B998F067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674178$227DFC1C-AA99-4698-B27B-C560CCFD829D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a384833facfee1bed7555c136a9c348cab3dd0","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674178$4755C5C6-DACF-4D9E-B893-562BF92B59E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"622747366f4902ceec731cf1eef9724888dfca14","datavalue":{"value":{"entity-type":"item","numeric-id":1342226,"id":"Q1342226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674178$2A4D35FB-FEDB-418E-BDC9-A69A30CB9F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba2c55efc88a27dd0fcfde0f57952abec0d6d9fe","datavalue":{"value":{"entity-type":"item","numeric-id":1337687,"id":"Q1337687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674178$467A1031-A3A0-4601-96CE-5DC6AA3E74B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2261e03fb7a4b873cc7bf0aa682c707ae43c92d9","datavalue":{"value":{"entity-type":"item","numeric-id":1356213,"id":"Q1356213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674178$6F1EA50B-2641-4983-9A0D-CC39E05FF9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b266c721655122dbe400bbee292733bb46b20d","datavalue":{"value":{"entity-type":"item","numeric-id":1244202,"id":"Q1244202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674178$72DA3958-5F06-4E00-BF8F-9FAFAEF13551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"144c5dbf0f002f6663b3a18704ada90d96d5cf46","datavalue":{"value":{"entity-type":"item","numeric-id":1342216,"id":"Q1342216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674178$CA8662AE-995C-4DAD-A556-1DF223C9F3E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9312adf636bb26051ab388a63a08e0d2f2cad42f","datavalue":{"value":"https://doi.org/10.1016/0004-3702(95)00047-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2674178$98F017CD-01F4-4B31-AD8B-B6B2E25AA9A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38cc4d8b54300642e1404ccc14bf83b7b9f4d361","datavalue":{"value":"W2050430186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2674178$CADAA0F8-21C1-4A7C-9667-E82749DB0345","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df684ab8201b649acc8d339dca420dbf8bf70615","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7161dfe0b8274131996a8ddc328fcdafd1379b0a","datavalue":{"value":{"amount":"+0.8939178","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":"Q2674178$215A7EE9-2B0E-41B9-A816-1B7158614EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dce335ec8dd4c85325dd4205573bce438137cb5","datavalue":{"value":{"entity-type":"item","numeric-id":5901539,"id":"Q5901539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ed3099afb2dda11b41a4beb126fdfe952a54a70","datavalue":{"value":{"amount":"+0.8934582","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":"Q2674178$330EC8F2-B61D-4964-88E5-50D5E50BFEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a09c459d96a7565520e3756dc6fab8c65113996","datavalue":{"value":{"entity-type":"item","numeric-id":2675271,"id":"Q2675271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4a8001c6ab349d903f22985495a2e717921b8d1","datavalue":{"value":{"amount":"+0.89081043","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":"Q2674178$69E54DE5-0B31-48F1-B677-7C2349CD5ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7cbfc30883463b8f33020d98e1474c9385c9219","datavalue":{"value":{"entity-type":"item","numeric-id":2706139,"id":"Q2706139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06655fd9176e5abf662cf2de328fdf104b6f839c","datavalue":{"value":{"amount":"+0.88899016","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":"Q2674178$290EA43C-D429-4E72-9C65-3B99CBFE60BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16e2356fda2ba53321e54d1699aab91ed7953207","datavalue":{"value":{"entity-type":"item","numeric-id":1204865,"id":"Q1204865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c0b495f766e6aadb6c80edda36753536a3b4df4","datavalue":{"value":{"amount":"+0.8837718","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":"Q2674178$695A68E8-7BFE-4B2C-AF39-F4988652061C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a45957c5626845ad6a1b1e3fa9d14e8cf9c0bf9b","datavalue":{"value":{"entity-type":"item","numeric-id":2634500,"id":"Q2634500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4767aef1897570712fa7506a32e7f8afe5d79de2","datavalue":{"value":{"amount":"+0.8836015","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":"Q2674178$3EE378DD-B287-4F3F-8AF0-A4028EBCDBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0be797cf568eac61c70d1dcf6a6fc1fcb7c69b8b","datavalue":{"value":{"entity-type":"item","numeric-id":4277694,"id":"Q4277694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c16cc6b088072462f37bcc8df00fac6b340128f9","datavalue":{"value":{"amount":"+0.8833303","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":"Q2674178$1E80CE4D-3DA2-48E3-A2DA-041FFA62E5C1","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":"78033973cf50c31a4ff685d3a825ee7eaba8b1e8","datavalue":{"value":{"amount":"+0.88251066","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":"Q2674178$C05401AF-E4D1-46D6-902A-522026EE6D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b689bfd74d76eb525fad9fd9bd3b5988446fd369","datavalue":{"value":{"entity-type":"item","numeric-id":5307279,"id":"Q5307279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd97544e23a72ea5b07d1567a3b6806008eb22ff","datavalue":{"value":{"amount":"+0.88112354","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":"Q2674178$EB35163D-64BB-456F-961F-F90FAC9B81D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9bc4495214e6e28c4d832de36fa755aa7765b75","datavalue":{"value":{"entity-type":"item","numeric-id":1103421,"id":"Q1103421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2ef6838484bfaf74c8cc6d85fa74b14d54e1eaa","datavalue":{"value":{"amount":"+0.8780574","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":"Q2674178$DA0E6A67-154D-4C2F-852A-1703AD79A057","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2674178","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2674178"}}}}}