{"entities":{"Q3585171":{"pageid":5615075,"ns":120,"title":"Item:Q3585171","lastrevid":58215003,"modified":"2026-04-04T06:36:20Z","type":"item","id":"Q3585171","labels":{"en":{"language":"en","value":"Decidability properties for fragments of CHR"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5773247"}},"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":"Q3585171$7B19431C-E1BC-4553-BF55-50113D2B7F05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2636ff89443dbcae85014204dca6d94327dcf8f","datavalue":{"value":{"text":"Decidability properties for fragments of CHR","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3585171$D877EFF6-DDB7-43AD-A827-6D832F7BF2BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf9f7566911366e249cd3bec4f3cdc7e58afdde3","datavalue":{"value":"1209.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585171$F69B35F6-CE6E-4E54-8122-3449DD170280","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac9c1cdec509a3293605cfd0f435835c8f43fd18","datavalue":{"value":"10.1017/S1471068410000311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585171$98E3F93C-7830-4053-BF6D-4AECACEF4694","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":"Q3585171$7B485C3D-0D19-4444-BE12-DDD7BD8A7D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"014e6a11b4e4c67ad43fb685b69918d5bb1be477","datavalue":{"value":{"entity-type":"item","numeric-id":276551,"id":"Q276551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585171$638744A9-2D6C-44E8-94C5-2778B064230F","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":"Q3585171$0A1F4C78-1741-43FC-958B-27AEA75B9961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f89451ec37a2723de4d26efc8aa2bec8f6806508","datavalue":{"value":{"entity-type":"item","numeric-id":3400958,"id":"Q3400958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585171$6F5EB5DF-96E2-4299-89CE-C676814AEC34","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":"Q3585171$A218738D-C8A6-42A1-A811-2DBCC8DA84E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6dbecd33995f2d948db2c506d7c0f2fb946d5112","datavalue":{"value":{"time":"+2010-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3585171$F38F03C0-97A3-4F9C-9380-2B129FE3438C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c28f18cb5986d92a9465e94054c192e7f52028bd","datavalue":{"value":"https://arxiv.org/abs/1007.4476","type":"string"},"datatype":"url"},"type":"statement","id":"Q3585171$981F5BDF-14D2-4D1D-92A2-E1E15413D1F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585171$B53C825B-C3EC-4479-BAB5-904A454EDC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585171$2F94F74F-D128-48DE-A72A-52019F42011E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e70e52c68b458a8719f1d2bb4cfc81fdf378a385","datavalue":{"value":"5773247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585171$32B83A34-CEFE-4245-A34F-CD9F364EF22D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86d4fb8ba2dc31bd4fef7b1a4f177458544ccfaf","datavalue":{"value":"constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585171$8AB56759-8B67-4B38-94AB-652419B78F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585171$1678DF24-2B31-486E-B471-A4E7B0AD8C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9ffb48a91e943ce3c733feac83ddb601e3b075","datavalue":{"value":"well-structured transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585171$C2E74E80-C43A-444A-BECA-6354011904B3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b17ff6bf45f82cbf74b9713714826feb30907959","datavalue":{"value":"Q62043709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585171$79B6A93C-8E4F-46D6-BD66-D029BAB3A724","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":"Q3585171$D21D14ED-8718-42C2-9586-3B5BE6D411C0","rank":"normal"}],"P223":[{"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":"Q3585171$A73F275D-8E22-45F8-880A-755413EDE945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58896131077e962d2f5cdffd0705f235c9780331","datavalue":{"value":{"entity-type":"item","numeric-id":1854359,"id":"Q1854359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585171$6BD5F1AD-BAE6-41B5-AE0A-E70E9FB7016E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5339296e035e26b22e9df3983b70535433a93ab1","datavalue":{"value":{"entity-type":"item","numeric-id":3400960,"id":"Q3400960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585171$EB88A1BF-C578-4CCD-AC30-2A2224EECCCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585171$37C37DD9-9E41-49B2-A282-7C01F40F9ED7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a489b3bba90e8d86f95cf163dcaf486c631bac13","datavalue":{"value":"W2021616063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585171$360E50CB-CE8C-4E11-90CE-5BAEFB280098","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"e8f6079f4674adec06726324046996f1dd558868","datavalue":{"value":"journals/tplp/GabbrielliMMS10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585171$2D2D04EA-B6F5-442A-B407-E0F27FB61694","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e17b60fad5d2afad51f3c6f63bbaac077e85d35","datavalue":{"value":{"entity-type":"item","numeric-id":1670748,"id":"Q1670748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77d91c386d8c73a5006e658f72fd6212b29ea2ab","datavalue":{"value":{"amount":"+0.82899284","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":"Q3585171$D29C0806-9DFE-455A-A013-ED0ABE1265DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fcc038c78f7a086a3f2e73a2999c05086032cc0","datavalue":{"value":{"entity-type":"item","numeric-id":1041587,"id":"Q1041587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2220b7ef49ddbbc0d7a7a9acd14aa5ae49afc5f1","datavalue":{"value":{"amount":"+0.8200449","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":"Q3585171$69246F77-3356-4584-A420-E4D1F56F1F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b953f0df74b274878c61a926b10656efc2c62f","datavalue":{"value":{"entity-type":"item","numeric-id":3498453,"id":"Q3498453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b3d59157e2fece2410ef741bd3640d55b9e64e0","datavalue":{"value":{"amount":"+0.8200448","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":"Q3585171$28C18762-F69F-46AD-83AE-8EC5C4E83956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f11d07890a1cf5e080bdfe75589fed9a59630250","datavalue":{"value":{"entity-type":"item","numeric-id":3028971,"id":"Q3028971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62be2b07fdd74bab4c2e430d8b0da814b31470e6","datavalue":{"value":{"amount":"+0.8135574","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":"Q3585171$2D062D70-09A1-4605-BC1D-E01A30F7A37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bce938ccf14270cddca319820686cd802bb4fe81","datavalue":{"value":{"entity-type":"item","numeric-id":4938629,"id":"Q4938629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76edbd211d8c3f5d8809c15186d1590da7991a25","datavalue":{"value":{"amount":"+0.8102604","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":"Q3585171$2C166B68-2BA5-447C-A313-E7505AC2BE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31ee3c6880f7d8316043474bdda98422c353b736","datavalue":{"value":{"entity-type":"item","numeric-id":5504695,"id":"Q5504695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0d2c0e77fe5e3d4a09c2c8e6f015e03440bfee3","datavalue":{"value":{"amount":"+0.80883473","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":"Q3585171$6ECB71BF-1D6E-4D5A-BB99-2C8E614200EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e028d417ce6ec8443bcbb523bc4cbce9a9a057e","datavalue":{"value":{"entity-type":"item","numeric-id":1066880,"id":"Q1066880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78e157aa08663f105806f00c5be0a18f8001f160","datavalue":{"value":{"amount":"+0.8037258","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":"Q3585171$B37118E4-AA46-46F9-944E-7330332D0160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd5b8d1739607a3c5d0c004a383a332ea526dfd3","datavalue":{"value":{"entity-type":"item","numeric-id":672375,"id":"Q672375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c01399eff049af89703f1593e0233dc307d77ce","datavalue":{"value":{"amount":"+0.8032901","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":"Q3585171$6935074F-F4F3-419F-8677-447C016B4140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ef264c81ad4e40ab22074417652c61dbd792d58","datavalue":{"value":{"entity-type":"item","numeric-id":5722258,"id":"Q5722258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"073ee6ab793494c7967a87fc8510175f4d70b771","datavalue":{"value":{"amount":"+0.8003414","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":"Q3585171$46A06652-4D31-44C1-8D85-DF17EAE5547F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd5ef8d8774816e9c7fc437dde64b82713a1ef50","datavalue":{"value":{"entity-type":"item","numeric-id":4913613,"id":"Q4913613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25a5e1e261dec478d24002fffd96f2c69382c10a","datavalue":{"value":{"amount":"+0.79937863","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":"Q3585171$C0E3401F-AA81-47CA-8444-A3C4402843D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3585171","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3585171"}}}}}