{"entities":{"Q4592981":{"pageid":6622566,"ns":120,"title":"Item:Q4592981","lastrevid":58276827,"modified":"2026-04-04T13:07:01Z","type":"item","id":"Q4592981","labels":{"en":{"language":"en","value":"Unfolding for CHR programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6804546"}},"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":"Q4592981$E06A9943-19BB-491C-A5E1-43493CD83297","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f24bec623d3b7f100a37a0883c1aecfbf8261c87","datavalue":{"value":{"text":"Unfolding for CHR programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4592981$7113C6B1-12FF-42EE-A7BF-D3F4EFD041F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7604d7d537cec5b0e000ee660cd3a4277e3b0df","datavalue":{"value":"1379.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592981$2AAAADA0-2897-4774-A90D-E1283894251B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26154027af360d7500d7ffdcf3c72d9906812b6e","datavalue":{"value":"10.1017/S1471068413000288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592981$9632377E-4F91-401A-81FC-31CF047DD46C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4abf1cf11f5de92d0263da0760474f1adf0a61a","datavalue":{"value":{"entity-type":"item","numeric-id":276550,"id":"Q276550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592981$C7D51F0B-AF69-4D79-8D6F-B82A982838A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1faba4ab685495a35b56427fd7aa15d7c09eb130","datavalue":{"value":{"entity-type":"item","numeric-id":388221,"id":"Q388221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592981$A10504FE-C546-4845-AE6F-829EE934119C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5530aa363f5122dd68ebf650415d80657dd68b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3616885,"id":"Q3616885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592981$F8B8257F-6420-48C5-B0D7-5ADA8A551F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be24026bb8f11663f1e58706bb29fcb008aa3b77","datavalue":{"value":{"entity-type":"item","numeric-id":557886,"id":"Q557886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592981$B1F9B964-23F5-4077-866C-292A229C6264","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592981$57AFD3BE-FFD2-46AB-9804-49D3A2846543","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"643ded717d0ce40d496d15f1c6bbff7aeafb4a27","datavalue":{"value":{"time":"+2017-11-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":"Q4592981$7C81271B-4389-4F8B-8E9E-E8F2EDADB326","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8555d848b29b937f6586f892a1ef85feb5e7f56","datavalue":{"value":"https://arxiv.org/abs/1307.0679","type":"string"},"datatype":"url"},"type":"statement","id":"Q4592981$E81A2473-4AD5-4C19-B2BB-423174DE5982","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592981$B4CE8014-50CA-4FE6-BF9C-97C9A64FCEE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a79c2b2c21aaa9f21af510b072386575f7be4376","datavalue":{"value":"6804546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592981$45DFA1DF-5881-4F81-9D90-5329B568AB8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb75c8b2da71e553259aff3fb1e52bb574b20082","datavalue":{"value":"CHR (constraint handling rules)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592981$630F2925-98D6-4946-872C-AE56DA9DEF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592981$A95DB0F5-AF03-4A6E-BAA9-BB127E9DB7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25142d99e70f3e956d269c694dba0c0dca93e8fa","datavalue":{"value":"unfolding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592981$7B33EF98-0482-42B4-8696-2095957DCA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592981$F8B5D46B-BF45-4892-A378-1470B17E6F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592981$404C0589-7A55-4078-A43E-80F793083336","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":"Q4592981$D5AD4B33-5836-4C61-98B3-36601D5E734C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb90760645ec123d2d6c99324631211f0c402c32","datavalue":{"value":{"entity-type":"item","numeric-id":1890044,"id":"Q1890044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592981$28F2F9F4-EB92-43DA-A5FE-681765C327D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a801c04ff79526d158726d02751e41d598360e83","datavalue":{"value":{"entity-type":"item","numeric-id":5313181,"id":"Q5313181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592981$50874776-255F-4CAC-8726-55552BC54D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"461051b6e767f08fb11be910583fecd77b28fcd5","datavalue":{"value":{"entity-type":"item","numeric-id":4245936,"id":"Q4245936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592981$2EE58131-4B70-4500-A23B-523046E5CDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38997e90650e2c8cbbc33f32db6eaee6a53a236a","datavalue":{"value":{"entity-type":"item","numeric-id":5458799,"id":"Q5458799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592981$61B8CCC1-D71E-42FC-8427-02A3CC10CA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da243cbfc0d1b21b693c2d3e7acdb1031eb76ca8","datavalue":{"value":{"entity-type":"item","numeric-id":3639651,"id":"Q3639651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592981$2904FB9A-3DBB-4B13-AD3C-CB1ED0AA29B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9f1b4e0c7b24f4f7214a2429c9305e86616aae","datavalue":{"value":{"entity-type":"item","numeric-id":2701742,"id":"Q2701742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592981$09A22781-8063-43A7-9064-DFF4E854E7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592981$AB5806D6-B67C-47E2-A273-07BFE17A15F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc408e73dd25bbab355192d2ab0319f6984fd428","datavalue":{"value":{"entity-type":"item","numeric-id":5325765,"id":"Q5325765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592981$16715F8E-106F-4B79-9D3A-500374218F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"227ef03d672aa21a508543f2d474608c0a78ce64","datavalue":{"value":{"entity-type":"item","numeric-id":5504677,"id":"Q5504677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592981$381EA6FF-8460-42B1-9A89-A1A1574934B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf61012cc07fd0dd24919aba128dd83444129a4d","datavalue":{"value":{"entity-type":"item","numeric-id":3585158,"id":"Q3585158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592981$A6E8D160-55FA-4158-AE1E-EE3C4142B17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074539cbfe8ca19e19676d5978625472d7343aca","datavalue":{"value":{"entity-type":"item","numeric-id":5475771,"id":"Q5475771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592981$7D03788E-7FD6-486D-AA08-553FD7F34C2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2e95a95427c845726992d06642ce49bf6f9faae","datavalue":{"value":{"entity-type":"item","numeric-id":5475812,"id":"Q5475812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05ee2a35739612b9bfa3fc3462fc4d4c88a4e193","datavalue":{"value":{"amount":"+0.8129347","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":"Q4592981$0BE0F7F0-2450-4E37-A293-F5EAEBB1E007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6177721851d3eb538c9eb54036027c8dba344524","datavalue":{"value":{"entity-type":"item","numeric-id":4221353,"id":"Q4221353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c87aad53a3510beb1549b1bf193026ff2236dad5","datavalue":{"value":{"amount":"+0.8065943","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":"Q4592981$134875A7-170E-4409-A08B-DB6BD9EDD20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a8c9595ff9c2620074ae5ff7ad2665b1a026b43","datavalue":{"value":{"entity-type":"item","numeric-id":1177929,"id":"Q1177929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86f7c8071acdacecf0df03bc4659c4d47e8c35cc","datavalue":{"value":{"amount":"+0.8040963","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":"Q4592981$BAA6765D-6C2B-4CD1-AA8C-FF2773346ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"430fd0482eb849f118395adb9fd09baf288afd93","datavalue":{"value":{"entity-type":"item","numeric-id":3698293,"id":"Q3698293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4234ece712c79416bcd80a0dd339431c8587eac8","datavalue":{"value":{"amount":"+0.7853975","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":"Q4592981$B337720D-1DC5-450F-A9EC-01851A2CADA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33246deae842bc374d152e03831944208f4bd310","datavalue":{"value":{"entity-type":"item","numeric-id":5504593,"id":"Q5504593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a6d32e39730667895ec005bba0da1be4eb69e09","datavalue":{"value":{"amount":"+0.7821869","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":"Q4592981$44F24C91-30E5-466F-87C2-6A1FCF1DB729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5003b5d245ccca27eedf5335a75cd7277103247","datavalue":{"value":{"entity-type":"item","numeric-id":3163405,"id":"Q3163405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb7ab8cec9abc2150b434ab0f20bdf1c978027b6","datavalue":{"value":{"amount":"+0.7810789","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":"Q4592981$DAFCC9A3-CA53-4CA1-90C3-8F2A1D5F4112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cb0544cb1b399e5c692ae4c0c8e4a9f1f2d8d34","datavalue":{"value":{"entity-type":"item","numeric-id":5348904,"id":"Q5348904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b9b0809a44d275783ed01a2422bfea1d31cb7a0","datavalue":{"value":{"amount":"+0.7712312","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":"Q4592981$B9C754DD-0145-469D-A12E-F8AD1AE0E004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f43dd9c852cf867e617df44f7b06a7ba5f542fa6","datavalue":{"value":{"entity-type":"item","numeric-id":5234276,"id":"Q5234276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b9b0809a44d275783ed01a2422bfea1d31cb7a0","datavalue":{"value":{"amount":"+0.7712312","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":"Q4592981$83430C6B-E1D5-48B4-B9D2-079BBD9B8469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fc59c62bf70003988c31797490b08c2fe237e72","datavalue":{"value":{"entity-type":"item","numeric-id":5398049,"id":"Q5398049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c371ee4d483101eb50b879c66a1c26ce0f27a6b9","datavalue":{"value":{"amount":"+0.77049327","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":"Q4592981$A13269D4-7B70-4FAD-AFA5-E4FC43574830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81b362385c7503110467cc20f8a0e787f2d8b64e","datavalue":{"value":{"entity-type":"item","numeric-id":4764611,"id":"Q4764611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10466e37caca9d767069e8085a1c6480b98da816","datavalue":{"value":{"amount":"+0.77010965","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":"Q4592981$528C8D6C-C025-4DB4-9932-4A22B63E7D41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4592981","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4592981"}}}}}