{"entities":{"Q3128618":{"pageid":3139334,"ns":120,"title":"Item:Q3128618","lastrevid":86277947,"modified":"2026-06-03T17:27:07Z","type":"item","id":"Q3128618","labels":{"en":{"language":"en","value":"Generalized semantics and abstract interpretation for constraint logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1001267"}},"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":"Q3128618$B8966637-8173-4F4A-A7EA-4CB201499F6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55e49280f2fd308cffe2fa4c458b2c572b4940c7","datavalue":{"value":{"text":"Generalized semantics and abstract interpretation for constraint logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3128618$EF1CAC18-37F3-490B-8897-E5C1315425EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b8142fd5f1a93ccaf83e0f2d35cdaca674c8320","datavalue":{"value":"0871.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128618$E98B1AAD-5FA8-4DE3-8FE3-A5FDA5CD3C60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f02dacf83766470a121352293d82f26100046f32","datavalue":{"value":"10.1016/0743-1066(95)00038-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128618$E251FF41-85E5-44B8-96CA-01DE0BE13946","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ffbc2222258f7a4fa78be49047dfe2a14b0df82","datavalue":{"value":{"entity-type":"item","numeric-id":511010,"id":"Q511010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128618$5C87696D-EAA6-413C-A3C2-5ECB2D897EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc9f91512d0b27503ca900c6174d7c9baec34bef","datavalue":{"value":{"entity-type":"item","numeric-id":2339469,"id":"Q2339469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128618$93E8E11D-E8F1-49BF-B843-8E8E35EB8FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e5a5ffda3b91beac514a35e59d9924cc050864","datavalue":{"value":{"entity-type":"item","numeric-id":915475,"id":"Q915475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128618$58313185-8CB6-41B5-B4A2-922BB4FD7D51","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128618$95B535CB-6238-4895-87A2-F5B3CB3AA710","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9985cb860f2184717d10d6f3b4722371b257fc6d","datavalue":{"value":{"time":"+1997-04-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":"Q3128618$3CE632C6-1800-49E8-B68E-B57A8921B675","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128618$AD6A8C8F-2F5E-4A64-AFAC-BA8A3BE93A9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77e00dc4e4a42f159f7956f1adc181f92a6480d4","datavalue":{"value":"1001267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128618$E9AE45D0-65FA-4221-B961-8F8797CEF253","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128618$9379506D-710A-441A-9415-18ACFBFBF88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad96a3185f5faaf4b7601a070f365951d6e7cef2","datavalue":{"value":"constraint logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128618$693D4008-B20B-4145-9CDF-5ED847BBCD44","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":"Q3128618$E2145C78-8180-4243-96D5-C07D7996FA0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf7c27b31c1c9ea9cd0843c71f8c38dd67b83747","datavalue":{"value":"https://doi.org/10.1016/0743-1066(95)00038-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q3128618$98E69684-F381-455D-99E0-3B597CE524B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"316c08b887f2d650b0616bbd3b37a9fc64c49301","datavalue":{"value":"W2053616158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128618$67D88A05-DC25-4B66-8BAF-21AF78D9F2FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9d0cd9fa354ed49327af78d16afd2150a44e0a1","datavalue":{"value":{"entity-type":"item","numeric-id":5688900,"id":"Q5688900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"833082a27369d63736eebb9b51f9683ce158578f","datavalue":{"value":{"amount":"+0.9612850546836852","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":"Q3128618$D673F790-8158-4B5B-A192-9CD006358BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7914b5e80f8c1df864d12493294d455539c6498a","datavalue":{"value":{"entity-type":"item","numeric-id":1395430,"id":"Q1395430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3467c12b48c9a40dca44a3f0c671d3f0dfcd782","datavalue":{"value":{"amount":"+0.8268967270851135","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":"Q3128618$02F51A96-FDA1-4165-A025-9996E37F1F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec00b233c290ee07150de8174f0acc7738556e79","datavalue":{"value":{"entity-type":"item","numeric-id":4763533,"id":"Q4763533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db6a76b9502abf246b363c7914489550aeb35057","datavalue":{"value":{"amount":"+0.8228923082351685","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":"Q3128618$05298358-A87A-492A-A03F-A38C68252534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03ba9724e95b8afda62d40b34f6c4b60d82932ad","datavalue":{"value":{"entity-type":"item","numeric-id":4245932,"id":"Q4245932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aef056d7fd5775582c2801853720ce476b1739e2","datavalue":{"value":{"amount":"+0.8216940760612488","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":"Q3128618$793A8FFA-0AC7-442C-ACB5-085E0A7882ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bb1c73bd243b204a17bb34a22cdb2bf7f7b5e97","datavalue":{"value":{"entity-type":"item","numeric-id":2703757,"id":"Q2703757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f66ebcbdfe7612494c8b7c55390cd6ac9ab26cf","datavalue":{"value":{"amount":"+0.8194214105606079","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":"Q3128618$BCA4BED1-B7C7-4F80-BA42-4FC9312C7D9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized semantics and abstract interpretation for constraint logic programs","badges":[]}}}}}