{"entities":{"Q2863874":{"pageid":2874594,"ns":120,"title":"Item:Q2863874","lastrevid":51885008,"modified":"2026-01-20T11:39:50Z","type":"item","id":"Q2863874","labels":{"en":{"language":"en","value":"Automatic implication checking for CHR constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235739"}},"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":"Q2863874$0E040922-1A28-4CBA-9115-A8499B37C930","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9180e9c41e0484d355422a2b50bbdb92c82d5e6c","datavalue":{"value":"1276.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863874$B5E88FCC-D930-4DC0-90E7-CF711FED0BB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9310327fb280e8510025a221163e66f379344f4","datavalue":{"value":{"entity-type":"item","numeric-id":487656,"id":"Q487656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863874$149F5298-F319-4546-B96F-6D41F52C9F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"458785d7f3e4170335c904a0c752e6acc0818f75","datavalue":{"value":{"entity-type":"item","numeric-id":1140836,"id":"Q1140836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863874$8ACF1C8E-11E7-4A1A-9FA4-89926950AA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcb9bf294a3c8d06051f7a0433cc43998ec1cc39","datavalue":{"value":{"entity-type":"item","numeric-id":2863873,"id":"Q2863873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863874$00425144-5F60-4401-9551-BC820FF5FFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863874$52CADADA-552A-4691-9211-D6AE3709DC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ca7df9d8e8b1ae65a92a26ca7eedb3253fec77b","datavalue":{"value":{"entity-type":"item","numeric-id":679328,"id":"Q679328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863874$6D45E3A6-D628-49CA-A493-F55B35826046","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2863874$2B238EF7-BE2B-4E81-99C2-813AA000F5FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c08650d3394cbbe11eaa55697c0becd09732c860","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106000363?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863874$017C28BF-8D09-46DE-AD00-321C579DD5CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863874$C815946A-503C-430B-931C-7DE934BB70F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863874$0B356006-ED8B-49C6-919B-D4ADFFC4BCFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24ab8fd76991cee9e87f61df9ed9c6b15ac15506","datavalue":{"value":"6235739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863874$983E69BA-318A-43B7-808B-E79DB26EF67C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa6c1af556f0abb9c251174f4df14ad1908b31ef","datavalue":{"value":"constraint handling rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863874$C7A0FE93-EB80-464D-9795-103EE3FF6361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99dea7d5499dc6ca4c8f8d649a5d68f4c36fee7c","datavalue":{"value":"implication checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863874$C9CC0A59-6179-407A-BA55-304EF1EA05AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863874$279B122E-15FF-40DB-ABA9-00FA46EF1A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77cc50cdb4d78079688a23d6fb243d014e38c741","datavalue":{"value":"constraint solver hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863874$224F6931-BD76-4AEB-8DFA-0C5537E767C1","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":"Q2863874$EEBA7052-288D-47C7-B1A5-4AC30292AADC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b46a2d21be6abcf21e54b36132ff6175416afdc","datavalue":{"value":{"text":"Automatic implication checking for CHR constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863874$4F6AAADB-01F4-4CB3-B929-F4E90A250E06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e7fecd3faa292d176e31cd322050366fd840254","datavalue":{"value":{"entity-type":"item","numeric-id":5475808,"id":"Q5475808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dea085656146eaced09b96f752e719a849cf5f83","datavalue":{"value":{"amount":"+0.8090402483940125","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":"Q2863874$9DDEFD53-0188-4278-971E-3D97BF4A1042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26d01de18dca00eb5ddcaf64457b0ef98200d8ad","datavalue":{"value":{"entity-type":"item","numeric-id":5696591,"id":"Q5696591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce9768aea0adda347bf9956a029bf12524931ef1","datavalue":{"value":{"amount":"+0.8000701665878296","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":"Q2863874$D19C0E9C-A224-4A82-B112-0C46DD84494C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c0c5c0035305f714d1781d4956ff1cd1a05cefa","datavalue":{"value":{"entity-type":"item","numeric-id":4245936,"id":"Q4245936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"295ae7a06628a809dc2e10c062d3a8d7689b7256","datavalue":{"value":{"amount":"+0.7931875586509705","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":"Q2863874$31B841B7-6E82-44AC-9E17-867D7AFDAABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46a303b48e26a3427015d4b8546470212fdef6d7","datavalue":{"value":{"entity-type":"item","numeric-id":4737134,"id":"Q4737134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49e120bbf9e649227e805df3cf7bbd4892e87094","datavalue":{"value":{"amount":"+0.7921987771987915","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":"Q2863874$7F7AD453-44CC-4158-B615-2BA0CB66F4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"148bd5d8a4b61cd703dcdb3e0a248d75f9ba0d07","datavalue":{"value":{"entity-type":"item","numeric-id":4911137,"id":"Q4911137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94709317aede688d912c559aa978e7645b845fdc","datavalue":{"value":{"amount":"+0.7886425256729126","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":"Q2863874$9B4E6D19-45CE-4613-BA04-5B54789FF3C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2863874","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2863874"}}}}}