{"entities":{"Q2931268":{"pageid":2941988,"ns":120,"title":"Item:Q2931268","lastrevid":58077603,"modified":"2026-04-03T17:23:59Z","type":"item","id":"Q2931268","labels":{"en":{"language":"en","value":"On termination, confluence and consistent CHR-based type inference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6373650"}},"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":"Q2931268$12FCC458-812E-4B7B-B78C-2B15F60A4E4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b38e51dd747205aaf67c01f12bce25eaa50d889","datavalue":{"value":{"text":"On Termination, Confluence and Consistent CHR-based Type Inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2931268$F08BF790-E1B9-4079-987F-240087E842D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8de9302d8fda457534ef0fab2efa33f36e1b1a7","datavalue":{"value":"1309.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931268$795B8630-6726-4F95-8123-6643AA3B44C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eca45f011e3b579caf1c9bf1a3b8d56485b04607","datavalue":{"value":"10.1017/S1471068414000246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931268$4249454D-D2EB-4A58-ADFE-91689D47F7AA","rank":"normal"}],"P16":[{"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":"Q2931268$485EA1F4-B0DB-4380-8254-FB3FA5CAC055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f1b6a222d3c6d69efaf9289c10bdee6ce5d7607","datavalue":{"value":{"entity-type":"item","numeric-id":2798272,"id":"Q2798272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931268$C939A20C-2311-4136-9A13-58E50084EAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"076d15404ba892d1a4e6d8a1fb0f94521495e82f","datavalue":{"value":{"entity-type":"item","numeric-id":1623114,"id":"Q1623114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931268$95A3671F-94E4-49B5-8C9F-703B6B400449","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":"Q2931268$A25DDAF4-325B-486E-B35E-6482601015A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a882446bd128890a95a71deebb9cb2548da37a94","datavalue":{"value":{"time":"+2014-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2931268$38EACEF6-CE2B-43A8-8063-13E3EB208002","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89c00a2376dd3b6cb518540bbec0cbf378aaf63d","datavalue":{"value":"https://arxiv.org/abs/1405.3393","type":"string"},"datatype":"url"},"type":"statement","id":"Q2931268$07A6666D-616A-4D1C-8E58-C032DA3E3242","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931268$F866FBA6-107E-45AF-BE6F-F9569FD26E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931268$DD7040AD-5F2C-422E-8AE8-32C92AFF9974","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11ef94dff2256e49319c64e8fd3571e4acdb9cfa","datavalue":{"value":"6373650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931268$C3B5D1D5-5FBA-4C5A-9B37-9EAC80A6674A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa6c1af556f0abb9c251174f4df14ad1908b31ef","datavalue":{"value":"constraint handling rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931268$0B522562-D5A2-4661-B363-59C5B79BC54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931268$546E7C82-E16F-46BC-BBA8-BD63FD9BF25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931268$B9B5DB84-1A22-41E1-98CA-51703D3D2D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff33796796e98480bd831c12f8abdaa6ed1568ba","datavalue":{"value":"type classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931268$AED45C26-CC13-47F4-B99B-69FC1A0B53B5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931268$4969EE44-AFD9-4615-9E4A-FC3B1DF2D44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3566ceaa607ff2880dbbe400f3e2dbce0394438a","datavalue":{"value":{"entity-type":"item","numeric-id":18773,"id":"Q18773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931268$3E104B35-D3F4-425A-8C9E-6DB2BFDF9E8E","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":"Q2931268$6672A2D2-CE2E-4938-9249-BB24CBF95584","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"81cec6c49db5f12e0ec3e401cc0c8955db1ee6c9","datavalue":{"value":{"entity-type":"item","numeric-id":4339846,"id":"Q4339846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931268$8D780141-50E2-437F-87BC-E86011DABF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931268$03792DE8-F8A3-434C-A013-EE6C04D516E1","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":"Q2931268$EF8E98DE-C8AF-47CD-A30F-33AFAB8DF020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ab4d79323bfd42ec8d47b43f219783b8f3a1dd","datavalue":{"value":{"entity-type":"item","numeric-id":1300291,"id":"Q1300291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931268$D184F5AE-4476-4DA5-8E28-0C800B035F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea247b3691dddfe4722c687e57417d62cf0744fc","datavalue":{"value":{"entity-type":"item","numeric-id":3419813,"id":"Q3419813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931268$6677DED7-332E-4BFF-9925-EB1675819317","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":"Q2931268$8E552572-4F3B-44B5-ABC3-C416028ED99F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd19b0dfafeaa09340ed1ead9d7a32478a62563","datavalue":{"value":{"entity-type":"item","numeric-id":5899112,"id":"Q5899112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a1195f77e8d680f33f79bbbc19909f4bd80bae2","datavalue":{"value":{"amount":"+0.791547417640686","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":"Q2931268$23B39AAE-0662-493B-9DD9-D201FF8F0DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a296874524edd29c549fea0c8c6ebc522262489e","datavalue":{"value":{"entity-type":"item","numeric-id":2841285,"id":"Q2841285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dfe8345103d23c2f8d1069066df202f57c22cad","datavalue":{"value":{"amount":"+0.7897000908851624","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":"Q2931268$DE4328C5-3EA4-4484-81E2-01E265C2ECC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b6c9ba60a425af60af31253dbd216e1141963d","datavalue":{"value":{"entity-type":"item","numeric-id":4911146,"id":"Q4911146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31460ccebb036691a94e8477663cf66cad49fcf6","datavalue":{"value":{"amount":"+0.7678546905517578","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":"Q2931268$5F947B00-BD81-4DEF-B212-ED4B62C61DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b13059819718c92aa383090baf0adc656290b08","datavalue":{"value":{"entity-type":"item","numeric-id":511019,"id":"Q511019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33e4febcdf319943ae285e30d546a96ed5ebf6a0","datavalue":{"value":{"amount":"+0.7522504925727844","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":"Q2931268$7B17FAC6-904E-46D5-85D5-FCD149159C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c991114eac56227add10f5402c9e986afc8f2e9b","datavalue":{"value":{"entity-type":"item","numeric-id":5325775,"id":"Q5325775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed4c2a8d9e99083e95d36792379fc053aae2381","datavalue":{"value":{"amount":"+0.750697672367096","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":"Q2931268$6D48A3FC-2AEC-4F2B-BA1D-0F97114CF624","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2931268","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2931268"}}}}}