{"entities":{"Q2946685":{"pageid":2957405,"ns":120,"title":"Item:Q2946685","lastrevid":85390385,"modified":"2026-06-03T07:43:47Z","type":"item","id":"Q2946685","labels":{"en":{"language":"en","value":"Linear-logic based analysis of Constraint Handling Rules with disjunction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483189"}},"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":"Q2946685$DF995081-0898-43B8-80D7-FBC7FFECA46B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0dbc929de3e0fbcfac6235cac71fc77a0c904fc","datavalue":{"value":{"text":"Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946685$7228DDD6-D819-48E6-8073-CF164C4C4ABB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c75f95fcb2acbf7947f4f3c9b1eed64e6077e046","datavalue":{"value":"1353.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946685$F36C4512-3EBE-48E8-9609-93F75BF7F07D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af3106d03cac4a60558b997f3640d88f739cb068","datavalue":{"value":"10.1145/2422085.2422086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946685$DE598A64-C391-44A3-8E1C-71CC5809E37C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2abf3a0085bd37829eb760d2e21195c4b58e3822","datavalue":{"value":{"entity-type":"item","numeric-id":2946684,"id":"Q2946684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946685$4E5F21AA-D388-49F7-A055-5210A8983E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ca7df9d8e8b1ae65a92a26ca7eedb3253fec77b","datavalue":{"value":{"entity-type":"item","numeric-id":679328,"id":"Q679328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946685$1DB1C818-C8B7-419A-A280-81B77BD171C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946685$6D926358-A975-4934-9A15-925EAD882C78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946685$6964ABD7-F95F-4AC9-84C3-B7758B777535","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a1e0f9dd6ad14f48cd432e0eed2e292aa2e01aa","datavalue":{"value":"https://arxiv.org/abs/1009.2900","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946685$C6D34C31-36F6-49B8-A11B-E974DC67E430","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946685$39408E12-FF21-4D17-86A5-349FCF6FC05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946685$C42B1D96-5AAD-45CF-9941-80D28B8A0055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946685$B43FA567-23FA-49B6-9190-D3EEA66A382C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946685$42AFF836-9D38-4B5B-9888-BFBF742DD081","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ec7cce0d23336dcbe252365831920d142da8626","datavalue":{"value":"6483189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946685$AEBB7141-0A7D-450C-956D-424E7F6B9AB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81b457c35186978ec7055c6dfaebb92dc96126fd","datavalue":{"value":"Constraint Handling Rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946685$58A781B4-CD8A-4852-BD7B-C5F2E86BF43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2c23285ea4b73fe89941dd1245c610af5fbadc","datavalue":{"value":"declarative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946685$5C557DCA-FB0D-43F1-8231-2F54D658D149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946685$67E48925-5761-483F-8D1A-640E1E05F05A","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":"Q2946685$97C4053A-0C44-47A4-98D1-8D2783C64348","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c46f193fa1ff791a5cc038b015e05700742f1bf7","datavalue":{"value":"W2149254449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946685$95627776-6233-42B0-9C71-05F455585F42","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8eb1ca524040e58688bc523cf55488f8ea18bad9","datavalue":{"value":"Q130860085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946685$D4881EE4-4220-4CF6-A2CE-37B4EA27650C","rank":"normal"}],"P1643":[{"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":"dc77fd46d89e9796009cb2e378843253193ac3ba","datavalue":{"value":{"amount":"+0.8876331448554993","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":"Q2946685$B05FBE81-DB0F-44B0-A663-CD7214D30093","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":"fa76d2c8e1474cf65cd82d04cec21b7980bfd421","datavalue":{"value":{"amount":"+0.8034465312957764","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":"Q2946685$13776546-E1C1-4102-A5F1-234B56E80B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"791d2487bcdc7e6c2d3810e360e6ca63785efdcf","datavalue":{"value":{"entity-type":"item","numeric-id":5425409,"id":"Q5425409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32fc58ed080fc84b533d504eb8a931d5cc4af9bf","datavalue":{"value":{"amount":"+0.7888500094413757","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":"Q2946685$4884EF97-AAE2-4D53-837E-8ABDB1981E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e7fecd3faa292d176e31cd322050366fd840254","datavalue":{"value":{"entity-type":"item","numeric-id":5475808,"id":"Q5475808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b6d0e4cc6a7f240ab63cf170a7ecd6c490ee517","datavalue":{"value":{"amount":"+0.7806641459465027","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":"Q2946685$23ACC8A0-B999-489E-92F4-CFFF41A6701E","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":"8a616b7da7de78be49fe9658555a0c6aa313aab7","datavalue":{"value":{"amount":"+0.7699648141860962","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":"Q2946685$710D7E66-B9A1-4B57-89BF-65B778A8E986","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear-logic based analysis of Constraint Handling Rules with disjunction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear-logic_based_analysis_of_Constraint_Handling_Rules_with_disjunction"}}}}}