{"entities":{"Q4943436":{"pageid":6973018,"ns":120,"title":"Item:Q4943436","lastrevid":98210696,"modified":"2026-06-05T16:56:33Z","type":"item","id":"Q4943436","labels":{"en":{"language":"en","value":"Abstract domains for reordering CLP(RLin) programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1416308"}},"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":"Q4943436$3539D865-2D8E-4F01-824D-5B09F4FA1721","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d9c48411665e157a391ca351068d9fed85ab84f","datavalue":{"value":{"text":"Abstract domains for reordering CLP(RLin) programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4943436$89B1FD70-4D69-4C8D-9E19-C94B21ABDAA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cece15d32fa812857d906222de70ad92879b7f72","datavalue":{"value":"0952.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943436$75317B52-9E55-44EC-876A-AFFEFFAEB7CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9949e4f613a873ed0d26d4aa6922a65664b5467b","datavalue":{"value":"10.1016/S0743-1066(99)00011-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943436$855F3870-D7B3-4EE6-AC75-2CD5BB5AFCFE","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":"Q4943436$6C5EF1ED-8200-4FDD-B073-C9ED28E0A32C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cea4e04940bd3504f3c0f2b605e025bc106fb722","datavalue":{"value":{"time":"+2000-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4943436$A9420E6D-8FDE-41C3-A469-440897747295","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943436$F13CAC78-AC18-423F-9632-683FF4F2A54C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5230190c57040f01d916b6977a1cf5ee927b9f3","datavalue":{"value":"1416308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943436$8AF5C98A-F57C-46AA-8871-EA4886A5D97A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad96a3185f5faaf4b7601a070f365951d6e7cef2","datavalue":{"value":"constraint logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943436$262CE8DA-6311-46A6-8915-F92DDCE931F0","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":"Q4943436$98E43947-0502-4860-931B-757A37DD23E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"acfdd179bb3a710e82de32338c0fdc15873959f7","datavalue":{"value":"https://doi.org/10.1016/s0743-1066(99)00011-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4943436$28744D4F-D1A8-4BE2-BB77-BA4CFA0E22B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f647b1491962a304283e4f1ae0422f3d229dbd09","datavalue":{"value":"W2127885269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943436$74AC3FC2-D92A-4900-9F85-82C69239315E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f335eb971219eb39fa29dc8c1009b491ab07b14f","datavalue":{"value":{"entity-type":"item","numeric-id":2873775,"id":"Q2873775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8afaa2d1c26ea8a592cc3dbe8ada84d12a925a3","datavalue":{"value":{"amount":"+0.8615904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943436$A9069B55-0FCB-4AE7-933B-E342C44D68CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5561e0ee029e04ab464c67cb23349ca12eaac81","datavalue":{"value":{"entity-type":"item","numeric-id":1275821,"id":"Q1275821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573c6608af2f5e029679dfef992756d6ca373438","datavalue":{"value":{"amount":"+0.85834503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943436$C5538D7D-E5D0-406E-AF41-6C2F35031DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51dc0f1efb8b7d6bd9bfe9a4f575b2baaa7d9e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2642463,"id":"Q2642463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e794ffb1fdebd38a87c5164935246eae03f5de7","datavalue":{"value":{"amount":"+0.85802686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943436$FF00859C-4E4F-431B-A920-152DACC71E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d405a5291fae1b1b892930b28bd6696045e96492","datavalue":{"value":{"entity-type":"item","numeric-id":2811360,"id":"Q2811360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7d54cf453ccb3af655bc07c89e6264b5305f3eb","datavalue":{"value":{"amount":"+0.8486881","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943436$03095C94-A77B-49B0-9AE3-38DFC3470D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3dd91fa895f0e3dba265354d30d493035410717","datavalue":{"value":{"entity-type":"item","numeric-id":5096092,"id":"Q5096092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f03591f15e3fa6eb041125c386c7fee55e7c508","datavalue":{"value":{"amount":"+0.84208405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943436$C52A53B2-6069-42D7-9FDE-2B7F12F99F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6b04844e17eaf8e213efd46faa6d41e6de83f8","datavalue":{"value":{"entity-type":"item","numeric-id":1264441,"id":"Q1264441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcf7a85fe9b4eed513f993f4368694c76f741d39","datavalue":{"value":{"amount":"+0.84206486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943436$34398B30-5FF3-4099-B44B-70435BCF3F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"181a7fb68ff0c11950269760fc90228d76807ecc","datavalue":{"value":{"entity-type":"item","numeric-id":5055784,"id":"Q5055784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcf7a85fe9b4eed513f993f4368694c76f741d39","datavalue":{"value":{"amount":"+0.84206486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943436$0790B6C2-1CEE-4DD5-9E26-EEAA12C0930F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2aa14e7c85781bb89c2ccac9e84f76be6d2c20e","datavalue":{"value":{"entity-type":"item","numeric-id":5898607,"id":"Q5898607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd9fe948a02f59f3e1c37bcc551f82e8b35a7fa6","datavalue":{"value":{"amount":"+0.8380409","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943436$85491805-2FB7-471B-8A59-952A3159E671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ca53b16627d27d6f42a078d807ba4a5faacddef","datavalue":{"value":{"entity-type":"item","numeric-id":4452602,"id":"Q4452602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb0cea152381fb6cc94aed6297ef55f0e75df8b","datavalue":{"value":{"amount":"+0.83774245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943436$F3F8725A-DFB9-4A85-B854-D7E6CB25A7C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstract domains for reordering CLP(RLin) programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstract_domains_for_reordering_CLP(RLin)_programs"}}}}}