{"entities":{"Q3558283":{"pageid":5588187,"ns":120,"title":"Item:Q3558283","lastrevid":49559263,"modified":"2026-01-07T19:15:39Z","type":"item","id":"Q3558283","labels":{"en":{"language":"en","value":"A Transformational Approach for Proving Properties of the CHR Constraint Store"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703468"}},"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":"Q3558283$0BFD4DB9-D3F5-4EB5-ABE0-C21303F55C78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f44dd8838152a7a501ddc5cb28fb54d7ad9e1e3","datavalue":{"value":{"text":"A Transformational Approach for Proving Properties of the CHR Constraint Store","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3558283$2F9970BB-05DC-4879-939D-47508F4E89B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1664d432c1218fae4d862b0225e6119dc0fdd31c","datavalue":{"value":"1284.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558283$70082AEF-F3A4-42A6-961C-44FFF029C06F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"058cea391a4567cc4e14db4a7cae157f4f7a691b","datavalue":{"value":"10.1007/978-3-642-12592-8_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558283$A3749419-C021-4BD7-AD06-074366720CAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"307c548161314a4db5b86f2a83c75f889ab5ea6e","datavalue":{"value":{"entity-type":"item","numeric-id":3558282,"id":"Q3558282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558283$8D983FEF-58E1-474B-9D8E-593016BC2329","rank":"normal"},{"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":"Q3558283$786E7110-2F5C-495B-BD62-535F31B67FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fad0a696a48629b32209d6a33edd7328bb65d41f","datavalue":{"value":{"entity-type":"item","numeric-id":582148,"id":"Q582148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558283$9C866CA8-8757-4709-992F-D58EB001A2AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558283$D3950390-15AB-41F3-A932-A27E2F1EA97D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0d489a41f5ce9c5a7b74a3f4e524032b8d5d571","datavalue":{"value":{"time":"+2010-05-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":"Q3558283$145D2AB1-9A07-4C15-90AA-BEDC8098296F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ee1afd7188b776edfd06dc5a6af248385ed3a12","datavalue":{"value":"https://lirias.kuleuven.be/handle/123456789/267708","type":"string"},"datatype":"url"},"type":"statement","id":"Q3558283$2F35321F-BCC5-4662-96FB-71360A2420D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558283$4AF62756-2535-4AF3-9D2C-2F0E191DC0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558283$1B42A5C5-5678-4093-BBE6-03215A883907","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49adb0853cb684ca199e8cd434339f0c09f58a3c","datavalue":{"value":"5703468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558283$3CD6DE91-0948-42D9-BCE0-0D08D93415C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81b457c35186978ec7055c6dfaebb92dc96126fd","datavalue":{"value":"Constraint Handling Rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3558283$1A457DB2-F4C0-479B-980A-919A34B4903C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3558283$B7F82220-27F8-4687-A072-1D467F509528","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":"Q3558283$7A90B16D-60EF-471D-96A3-4F85443BD9C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d520423df41a1e84f409362b5bef4fe58fb7c955","datavalue":{"value":"W1855780832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558283$21F06277-5920-4423-8541-A0DABCF59039","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6716d6ecc84eb79fa308b7a301b91dfa012d2c","datavalue":{"value":{"entity-type":"item","numeric-id":1941873,"id":"Q1941873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e929a527807d8f673c3ddc068b208a24fd4537a","datavalue":{"value":{"amount":"+0.8638352","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":"Q3558283$05E640C8-C517-442F-A781-A5EE7A4ECE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d0fdd75a45dfca390eeb59a04e76adba51f8ba2","datavalue":{"value":{"entity-type":"item","numeric-id":5493232,"id":"Q5493232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"002b379351694728208822e5b248c5c0c57a9334","datavalue":{"value":{"amount":"+0.8509448","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":"Q3558283$653A98DB-D498-4118-889F-85A7E2FF4294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2201f76c7b649b6f5740c5f69f5273a6976de54","datavalue":{"value":{"entity-type":"item","numeric-id":4264201,"id":"Q4264201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66d94c7a372ed8f6739a8af9415f49499a77318a","datavalue":{"value":{"amount":"+0.8381415","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":"Q3558283$ED665DBF-A2E8-4C7A-A1A0-FA95A306ED7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1c7bf7430022f24353a90eca5847b724de65527","datavalue":{"value":{"entity-type":"item","numeric-id":1274969,"id":"Q1274969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f5a2f5a79e767e307ffc8478d6bae68d48d4a2","datavalue":{"value":{"amount":"+0.8370744","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":"Q3558283$B40AFB14-5E62-4C38-9079-498D4CE8198A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c256d1c7ce38dfd42fe2bddcb2e13cd521662b1","datavalue":{"value":{"entity-type":"item","numeric-id":3092325,"id":"Q3092325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e72041400de35111722c4702027bbf4053bf91e","datavalue":{"value":{"amount":"+0.8367994","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":"Q3558283$D281F978-9224-44BE-BFD5-926C7009475D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f4a4198aa867d02c3d5d0f50d44e8c9771862cd","datavalue":{"value":{"entity-type":"item","numeric-id":4994693,"id":"Q4994693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8292dac99d2c73372ecf030be8beed10330eec3","datavalue":{"value":{"amount":"+0.83596194","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":"Q3558283$30AA464C-6D93-4D63-9238-9902611A81A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d025355c0d314e0f2bbfd7ab78335ce3e7e528eb","datavalue":{"value":{"entity-type":"item","numeric-id":6063893,"id":"Q6063893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3ba7b772223cebd3eba2e6891c3c6baf434c297","datavalue":{"value":{"amount":"+0.8351203","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":"Q3558283$01290708-2BFE-461F-856F-F8845EC8DA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d840e1ef5628f44b860d0d47d9959b3c01a2cfd0","datavalue":{"value":{"entity-type":"item","numeric-id":4495104,"id":"Q4495104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b63e1e87b3f65891500b4f9d71eccc94ed64994","datavalue":{"value":{"amount":"+0.829332","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":"Q3558283$18A1C70D-F07E-4CBB-B245-47965BE7253E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bbd95ed1c621897330e854c29a9d3ca0fae0b47","datavalue":{"value":{"entity-type":"item","numeric-id":5712537,"id":"Q5712537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b48eba1f400521ff427b6f91e7a4a54790975e7b","datavalue":{"value":{"amount":"+0.8261259","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":"Q3558283$D278FAB9-E008-494E-89D2-46534EB611B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3558283","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3558283"}}}}}