{"entities":{"Q3616886":{"pageid":5646792,"ns":120,"title":"Item:Q3616886","lastrevid":80823857,"modified":"2026-05-06T17:04:57Z","type":"item","id":"Q3616886","labels":{"en":{"language":"en","value":"A Compositional Semantics for CHR with Propagation Rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5533639"}},"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":"Q3616886$F4396483-53E0-42A3-B0C2-4FE56C854C39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb95834e510541620a8ebed17b10625078b6b0c5","datavalue":{"value":{"text":"A Compositional Semantics for CHR with Propagation Rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3616886$AEF28D2A-ABF1-42B1-9EC2-510DC109DACE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea112d8bd38bf5a46fce38d399f75c7133eaaad2","datavalue":{"value":"1229.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616886$41D1FC53-CCA1-49A3-87F3-EF02F560BCBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2187b94e1969ff090d41630753e26810edc0ec9f","datavalue":{"value":"10.1007/978-3-540-92243-8_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616886$EEEFDCFB-20CE-4F1A-A88D-EAF1365B4853","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":"Q3616886$4E6724F7-821E-4AC0-9475-0ECC84674226","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":"Q3616886$0176EBDE-F48B-4DE2-91F5-215BC09D55C6","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":"Q3616886$902EE3AB-2614-4AA9-8FAB-48183B6697D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8543c619ef7934bd28d777f90320541d5881266e","datavalue":{"value":{"entity-type":"item","numeric-id":3616876,"id":"Q3616876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616886$29411A60-408E-4BE2-85BC-DBE4A45FAACE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"928b264ace34efebecc8631b263762d6e421a407","datavalue":{"value":{"time":"+2009-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3616886$76DFE175-0DA3-44DD-9055-B3C5673C7197","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616886$5D0BF0C5-7F2F-4D7E-B23F-708D8B2FE852","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05f66a5de027e773b3bc4dc7777fbe18251218bf","datavalue":{"value":"5533639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616886$465439C1-5698-4BDE-8889-D9664FE14E20","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":"Q3616886$D266FD74-9EDB-4AE0-9992-CAE22A666886","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c097eeeef25783dbc8dc79dc70535271be06bc7","datavalue":{"value":"https://doi.org/10.1007/978-3-540-92243-8_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3616886$AD3A8C23-5F92-46DE-849C-462F7F790AAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"207e7f993e1fd46802fa606313c32a8b2d5ccd45","datavalue":{"value":"W1575094211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616886$2FE415B9-091F-4136-8E40-BE9ECE35B3AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"78bd4d37c74978248dc9e96b49498af42c4bab8b","datavalue":{"value":{"entity-type":"item","numeric-id":2736349,"id":"Q2736349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616886$6CF24E7D-C542-459E-BAA2-6247F5AB5565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616886$31395DCF-F053-4198-8748-2D40046F4CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cf038a52d62f654858c149d2da11c7c3f19af96","datavalue":{"value":{"entity-type":"item","numeric-id":5313213,"id":"Q5313213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616886$A4CE26BC-2005-4427-8596-58C9F9DAB431","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":"Q3616886$680793CD-CF8F-4A98-8A47-9806ACCC7E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f368db41c7dffee1d42b1bb0e5d33764ff4653f","datavalue":{"value":{"entity-type":"item","numeric-id":2946569,"id":"Q2946569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616886$5E7DB15C-57DE-4B5C-A15F-950F66BEF1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a7dbb5a9c7961af42302e8fbb363a1a3f7f4e50","datavalue":{"value":{"entity-type":"item","numeric-id":4409151,"id":"Q4409151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616886$5AB293EA-B3D7-42D7-87E7-56CCAE8CD893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3348d935c173cc77a64934cf4c837e8bc5dc0795","datavalue":{"value":{"entity-type":"item","numeric-id":5475808,"id":"Q5475808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616886$F4861AF4-B50B-4A25-A954-95B0B7EDB48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e059b546c1977a310be1997dad29aeef412e99d3","datavalue":{"value":{"entity-type":"item","numeric-id":3616888,"id":"Q3616888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616886$DAAA9C07-1D44-4AB7-B5B0-111C04B30CAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e935fae483cdd979bbe57424dafd09d67bc3bff5","datavalue":{"value":{"entity-type":"item","numeric-id":2946569,"id":"Q2946569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e53c2cc0dda8c69822d80b51425c9304c610dd","datavalue":{"value":{"amount":"+0.9319999814033508","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":"Q3616886$450C0B81-D7B6-4881-8238-57048CD6EC05","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":"f78b1b21911df0e98bd0327d08f1ad6ca987ce36","datavalue":{"value":{"amount":"+0.8417341113090515","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":"Q3616886$C53DCAA3-FB8F-4C84-8008-331950C826E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44b69c7b25e83005875cd3b0637de166a93e930f","datavalue":{"value":{"entity-type":"item","numeric-id":3087447,"id":"Q3087447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeb5f29f025c1ed3c85dab1ab56bd61d8509aaf0","datavalue":{"value":{"amount":"+0.8414430618286133","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":"Q3616886$32966A56-3541-406A-82C3-28BB0EEBAC12","rank":"normal"},{"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":"d1e0de8273576fbdc9dcf91a1c4fa0bbe33c29b8","datavalue":{"value":{"amount":"+0.827997624874115","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":"Q3616886$867BC32F-1E16-4700-9568-BBF2F55EFAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ff9cc259e417832dc0ec5f04cdadaa32a2491b4","datavalue":{"value":{"entity-type":"item","numeric-id":3524170,"id":"Q3524170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e90319851521b984b519e86ce34a473fc9f73af","datavalue":{"value":{"amount":"+0.8264232873916626","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":"Q3616886$838EE213-B01A-4A15-853F-B6610B77CEA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Compositional Semantics for CHR with Propagation Rules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Compositional_Semantics_for_CHR_with_Propagation_Rules"}}}}}