{"entities":{"Q1857275":{"pageid":1868017,"ns":120,"title":"Item:Q1857275","lastrevid":73572060,"modified":"2026-04-14T16:30:17Z","type":"item","id":"Q1857275","labels":{"en":{"language":"en","value":"Static and dynamic slicing of constraint logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1870084"}},"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":"Q1857275$F0B0204F-6EED-4AC6-AF30-7CE60DED12E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b11f891e6b1b92c7f565672df5a7e4f611c81863","datavalue":{"value":{"text":"Static and dynamic slicing of constraint logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1857275$410CA908-7B64-4C73-B79A-670B82286C58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d93b6023b59e70965a5662b78c3aa335a823e550","datavalue":{"value":"1034.68678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857275$53FA95CC-2FD6-4D01-A66D-66855EC988F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8659cea31668e605b1bf88279dfb8174cdddd42","datavalue":{"value":"10.1023/A:1013280119003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857275$674C6F1E-E4DA-4BC0-841D-D4B3B86CA9ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"314eaf81bb2fe003fe5c69e4273965edf274b00e","datavalue":{"value":{"entity-type":"item","numeric-id":1857274,"id":"Q1857274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857275$34A5549A-9244-45A3-9149-F1B983C81B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65622d39eea5a9bc38dcb6aa9580847b1e4aca0e","datavalue":{"value":{"entity-type":"item","numeric-id":1021460,"id":"Q1021460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857275$51E7EED3-69A7-4AE1-B16E-6B7662113C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7bd7e616697d922bbc0f3b3bfce444d3bbf7194","datavalue":{"value":{"entity-type":"item","numeric-id":789183,"id":"Q789183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857275$8EEA9A2B-1C99-498A-A7F8-9297FD136E5B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fcbe10a5fdb94bc84c83e33679ac5fc8287e6a8e","datavalue":{"value":{"entity-type":"item","numeric-id":185909,"id":"Q185909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857275$9E8C3DC3-7806-42A9-8F75-614FFA310334","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9a6bf7c8c9a70357d4c9fdf08598811d107086f","datavalue":{"value":{"time":"+2003-02-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":"Q1857275$C3B0BC4F-D4F6-4A43-AED7-A1670B35EE3F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e166e3d7c6dae12c4953a8b9623d322352d14a91","datavalue":{"value":"https://arxiv.org/abs/cs/0012014","type":"string"},"datatype":"url"},"type":"statement","id":"Q1857275$87BBAAF0-CF94-419D-BFAB-595D11866A3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857275$288F0D51-4DBF-48CC-B2D0-D78289019A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857275$182D0D1F-619A-458B-A235-F4289446F32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857275$FC4A854F-20F3-4A50-AF35-D0BDD2297692","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba0ef0c0dafd3e800cecf16feb0af8096ca6e8ff","datavalue":{"value":"1870084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857275$D8DBCD1E-9B3B-4626-B0BC-1EEF26838375","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0a3309bbd8219242b75169714009c967630cd70","datavalue":{"value":"Logic Programming (LP)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857275$4F434E2D-E97D-47A9-877E-4D100FE5F841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24ad61b4e28a00641ba66041ba34a0a0e6ab91c1","datavalue":{"value":"Constraint Logic Programming (CLP)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857275$94BD084B-F0C7-4423-83D1-B21D88FD74A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857275$FD77434F-63A0-4F7B-840F-E919B5936CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e209e27ecbb3fc4e2dfd619db86ffda1231648d6","datavalue":{"value":"debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857275$F84B8969-D37C-4D13-B653-CCE4DB1FBDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a328af7ff1543bbca7dabe1fd934e14aca40f87e","datavalue":{"value":"slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857275$976CCB59-F16D-4CB0-AEF6-6A75CA57421C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f900c00b9c1039bd7128859b5e56ec82deed0417","datavalue":{"value":{"entity-type":"item","numeric-id":20342,"id":"Q20342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857275$37AEC00C-CF1C-4F1B-9FDD-9DB3C87F866C","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":"Q1857275$A391B0B0-9BFB-4397-B6FB-5478465ACFD4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2284c05c71538eb3d1562a85cd41100c59dd3fc8","datavalue":{"value":{"entity-type":"item","numeric-id":3345745,"id":"Q3345745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dabd1afa92c8b13c893f0a73c698551e622e6a45","datavalue":{"value":{"amount":"+0.830885648727417","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":"Q1857275$ADDD4E2F-6AC0-4414-95B5-16E101D61384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a02f341ffa80a0f403c101fa658b76bbe67c11","datavalue":{"value":{"entity-type":"item","numeric-id":5030202,"id":"Q5030202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"749b0efd0d59b425536d623d060ba27295ebab27","datavalue":{"value":{"amount":"+0.8017835021018982","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":"Q1857275$44B781B7-B834-43DB-8383-E8D97359D6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fa7c9af4d130238eec9032f3cc35e60dc60ba21","datavalue":{"value":{"entity-type":"item","numeric-id":4793050,"id":"Q4793050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bb5ed50f198f3639b671e9b1164fd2777c59dbe","datavalue":{"value":{"amount":"+0.7980388402938843","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":"Q1857275$B799D8AC-CFF1-4EB4-8C45-BEEB8962E33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7fcb727a15f3632bfb1837223b68b485fb06587","datavalue":{"value":{"entity-type":"item","numeric-id":4913442,"id":"Q4913442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bb5ed50f198f3639b671e9b1164fd2777c59dbe","datavalue":{"value":{"amount":"+0.7980388402938843","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":"Q1857275$A1ED0CF2-EA27-4756-A4AC-BF24A4ACD8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af6ce2006bb5775bcf27559629f9e5c209618938","datavalue":{"value":{"entity-type":"item","numeric-id":5316584,"id":"Q5316584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3926f303985a0562d77389f90de6c438a9bb6962","datavalue":{"value":{"amount":"+0.7969877123832703","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":"Q1857275$D1E75BDA-65BA-4AE1-B0E9-5620DD8B3F58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Static and dynamic slicing of constraint logic programs","badges":[]}}}}}