{"entities":{"Q3616888":{"pageid":5646794,"ns":120,"title":"Item:Q3616888","lastrevid":80823875,"modified":"2026-05-06T17:04:57Z","type":"item","id":"Q3616888","labels":{"en":{"language":"en","value":"Guard Reasoning in the Refined Operational Semantics of CHR"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5533641"}},"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":"Q3616888$7AA27206-D1CF-40DE-B121-79A97FDE5595","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b56514f8b2415ae409c9d25e7caacf22b91900d","datavalue":{"value":{"text":"Guard Reasoning in the Refined Operational Semantics of CHR","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3616888$8BC22991-610E-41C8-B861-AAAD897B3923","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc6594a2aefc3e70a1bec852a8bbe4f2fe4e13d9","datavalue":{"value":"1229.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616888$2D9CF252-4704-4813-BE05-A58DB51B3A31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"879cf040f58fec9612e8d61caf91b529b9930c43","datavalue":{"value":"10.1007/978-3-540-92243-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616888$DA720BBC-D51D-4C6A-B533-E12660B5C829","rank":"normal"}],"P16":[{"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":"Q3616888$03C63B0E-D30E-4A7D-A144-7D97595FA395","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":"Q3616888$B9847DC4-6575-4E18-B631-85284C24EC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"458785d7f3e4170335c904a0c752e6acc0818f75","datavalue":{"value":{"entity-type":"item","numeric-id":1140836,"id":"Q1140836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616888$B21A7B28-35BE-4120-9ACE-301BC82F9E17","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":"Q3616888$5E376DA0-CF64-4063-82DB-27BAAA4FBFC1","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":"Q3616888$4E634A80-38BE-45C2-AF22-59E245C9EB37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616888$FBA0D811-5388-4A75-9DD5-04D27EBA4F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616888$0815C0BA-E241-44D4-9938-0A171CB787A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f7dd7e697276fee54e466a7f380438a44935eef","datavalue":{"value":"5533641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616888$ADDCDC30-77CA-4E5D-879B-45B982B347AA","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":"Q3616888$65619A74-D5AB-4CF0-8517-D4482788DCA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"930b5ee6139c10c0cdf39613e5f5f4ee19a002c7","datavalue":{"value":"https://doi.org/10.1007/978-3-540-92243-8_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3616888$FADE49C6-DB3F-4AA2-B47D-F04DCF7E3891","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93e6bf20a922fccbdf420431ec667a9739ce16f6","datavalue":{"value":"W1920028919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616888$001E82C3-5289-4F51-BF89-3842242D7D15","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fdcd455401f03eda5f2330c955d9baa0dcac29f","datavalue":{"value":{"entity-type":"item","numeric-id":4495104,"id":"Q4495104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616888$2AB04CF0-9E49-4327-86BA-AADEF09A5892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c579d1458079f2d7e29872f97550cac82fe396e","datavalue":{"value":{"entity-type":"item","numeric-id":5696591,"id":"Q5696591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616888$67E4C0B5-C151-4666-A389-E670CF3E97BE","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":"Q3616888$87F50C57-CF07-4536-9E9A-BE83463C6BEE","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":"Q3616888$D2CBED8C-2BED-4A3C-8B3F-DAB8E95F7CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30c42fdb9312591b56c5424d35b7aa2aaed6dd10","datavalue":{"value":{"entity-type":"item","numeric-id":4736505,"id":"Q4736505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616888$A582A99C-4417-44EA-A641-0351B99E6AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"799f4a816c2d713445ff700c4e048f3c89827493","datavalue":{"value":{"entity-type":"item","numeric-id":5696595,"id":"Q5696595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616888$8D20D79F-91E3-415A-9CB6-A0F7383D19E0","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":"Q3616888$B627300C-B924-48F9-87F4-BE47E5E5753D","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":"Q3616888$A923F9D2-2C89-404A-BC2F-21D79A00FEAC","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":"Q3616888$E0461953-E4B0-4CB9-970A-63D44C78ABF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de4f49240fd063b22482a02076285534a364c76d","datavalue":{"value":{"entity-type":"item","numeric-id":5191489,"id":"Q5191489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616888$B60E3F12-70D7-40AF-975B-BFC74EA9AED5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90cf9204433cf49f7ac2c47dd5a97d5a0876c8f6","datavalue":{"value":{"entity-type":"item","numeric-id":5475771,"id":"Q5475771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b70db3d09b96380ec047fbde74e3102403dc729","datavalue":{"value":{"amount":"+0.8566986322402954","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":"Q3616888$6B984F68-30E1-4D8D-9398-5AD66E1E8FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7afda306064912b8e0673f7fb556910ea2f6fb04","datavalue":{"value":{"entity-type":"item","numeric-id":5313213,"id":"Q5313213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d32dd9dcad4c4f5116a1d43d62ed08b67b000a","datavalue":{"value":{"amount":"+0.8327253460884094","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":"Q3616888$9D73D94C-98D4-4010-AC5B-B2A7A692FDE0","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":"32c3734ba1945b5ce01d9224bbc44a697dc41eac","datavalue":{"value":{"amount":"+0.8207000494003296","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":"Q3616888$F6245231-2961-4A6B-BA3E-35F5B5623562","rank":"normal"},{"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":"a3fcaab7c4d32148e5bac62a9b463ef82a3f9523","datavalue":{"value":{"amount":"+0.813359797000885","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":"Q3616888$09FC46C3-0A0D-441D-A9DD-D98C894E81E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a851bb9ff333690abcdd3ce6701758b4ade35b5f","datavalue":{"value":{"entity-type":"item","numeric-id":3616886,"id":"Q3616886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21bb95b4760f2f7e92af82a78f209cdecbd10cc3","datavalue":{"value":{"amount":"+0.797584593296051","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":"Q3616888$D72E9DA3-63FA-4A08-9B3A-40C23D15C40C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Guard Reasoning in the Refined Operational Semantics of CHR","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Guard_Reasoning_in_the_Refined_Operational_Semantics_of_CHR"}}}}}