{"entities":{"Q2507782":{"pageid":2518525,"ns":120,"title":"Item:Q2507782","lastrevid":73443915,"modified":"2026-04-14T16:01:16Z","type":"item","id":"Q2507782","labels":{"en":{"language":"en","value":"A formalisation of the relationship between forms of program slicing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5060663"}},"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":"Q2507782$C0E08F22-8AC9-4460-B71F-70D5D2971D58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16ed2de0c4378ef5249e01507dc4689e7f358df9","datavalue":{"value":{"text":"A formalisation of the relationship between forms of program slicing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2507782$DE01447A-2367-4941-A7DE-DAE4F18D53CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4934529e4881a9d540497b0538b84f285eb3b92","datavalue":{"value":"1100.68549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507782$51610C7B-DB5B-42DA-93E2-FB4D0D7A490D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abb05bfd70b2cf2241fd5917610ef548c1b7be8d","datavalue":{"value":{"entity-type":"item","numeric-id":2432230,"id":"Q2432230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2507782$E6442B96-5DE3-45F7-AB5D-F4A115DDFDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85e2e1feaae3f58d6f42b332871845e2e716f13a","datavalue":{"value":{"entity-type":"item","numeric-id":624384,"id":"Q624384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2507782$12968D9B-4E3A-412B-8442-E703B5F23805","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":"Q2507782$E59946D4-4572-4956-85EC-A99884D10FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47b43c51d36527a08ad015888ec278a59385f436","datavalue":{"value":{"entity-type":"item","numeric-id":650918,"id":"Q650918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2507782$6C35AF8A-4D85-49BC-BBFD-804E2CA266E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"68be497c221d2dcd3dc828709a6c1d45e065c0fb","datavalue":{"value":{"entity-type":"item","numeric-id":650920,"id":"Q650920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2507782$1CE9697E-1AD3-4815-ABED-641CD7837789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebb3f7fd3b42395ac9ebf44852198ad232c457d6","datavalue":{"value":{"entity-type":"item","numeric-id":1110306,"id":"Q1110306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2507782$BA375C9F-3AC1-43DC-B905-8016EDF989D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2507782$61D36DFD-AFE3-4A36-A161-A255C1EE798F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9941c6cb9bead4b9b06ed2bc3845b5f059597cda","datavalue":{"value":{"time":"+2006-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2507782$2F85535C-990F-449D-9420-CD23ED67FA28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507782$A4C53FE9-BD25-4BAA-9E74-C6E95DC2A00C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbd239f004f0c1dc46e48b9c3de0053b8aee9d7b","datavalue":{"value":"5060663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507782$C3431D68-4231-4A00-A04F-BB0C767AE021","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fb6e19dca5c1dfa9f0da602d3d5d30bf4fc82dc","datavalue":{"value":"program slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2507782$2A42A168-91D6-40ED-842A-47BB141D9931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b75312c7183bf1d220fe1287cc4d11ae32f6bce","datavalue":{"value":"dynamic slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2507782$0D5B5B27-A9F4-48B0-9A45-F4E46C6455C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17eb6032f5a9e5192a1420c753c973dcd0474a1f","datavalue":{"value":"static slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2507782$06F4897B-1578-4F03-BB04-78B44238B7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4962304637b11a14526a879b9fff39b58411af0","datavalue":{"value":"conditioned slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2507782$F5463CC0-D307-419B-817D-FA68493E8CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87277c7db3810163b04d2f8864cd8b08a4b71ffb","datavalue":{"value":"simultaneous slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2507782$D631AA9C-BA24-4A51-A847-DCC42C6FBD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2507782$747B80DC-84C1-4879-9468-2D1C76D98637","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":"Q2507782$A8066E54-E3AD-4A01-B532-F1D49F62526C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a01e3cbcd60cfc0da173da038e6bab56c15586a","datavalue":{"value":"https://doi.org/10.1016/j.scico.2006.04.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q2507782$60467445-92EF-48C6-82A4-0F3462FF00BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ddd7ed7f5538783017d6489b140f5776b98ae668","datavalue":{"value":"W2160578811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507782$0DE61F65-3DC9-4ADB-AEBF-1DC785E1D5CA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1ef3bc66730710202dbbeacefae3a76749109086","datavalue":{"value":"Q59610260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507782$0DB99926-FC48-4769-BF5E-E7FC7FCEA201","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea4cd63713af907096fb26c03e90c785375648ca","datavalue":{"value":"10.1016/J.SCICO.2006.04.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507782$4817D190-1EC6-4053-A9C1-1CD971AB7B13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"978d964f6942a8007f34032ea5992ba078c0d817","datavalue":{"value":{"entity-type":"item","numeric-id":2432231,"id":"Q2432231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21077fe5ca515ede68387e210bdb2ba43479070c","datavalue":{"value":{"amount":"+0.821770429611206","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":"Q2507782$ECECA0D3-48CD-4122-B588-D3BDF299B81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c553cbc710287021bb9ce5e19a88392a4af714f5","datavalue":{"value":{"entity-type":"item","numeric-id":2503318,"id":"Q2503318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7589816ef4a6363f983b3675653d5284cbf0e734","datavalue":{"value":{"amount":"+0.7962610125541687","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":"Q2507782$57F36111-E631-47AE-9ED2-786EA6A59FBA","rank":"normal"},{"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":"460b5114fda6f6c9fc2015cad616fd779979da9c","datavalue":{"value":{"amount":"+0.7945883870124817","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":"Q2507782$F589A690-8D97-41A9-BE7A-7DC4F97148F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2348b019cb88b12e37fc6be3b7d59c2a0a2bfbc4","datavalue":{"value":{"entity-type":"item","numeric-id":5278199,"id":"Q5278199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fb7a0e75ac740a95479301394c9872cbe7c15e7","datavalue":{"value":{"amount":"+0.7922114133834839","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":"Q2507782$9EEEAF89-B529-405C-A4B1-193F20A48FDD","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":"0ff52e616952c5f53f7c610e1bc9995a5627363f","datavalue":{"value":{"amount":"+0.7807028293609619","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":"Q2507782$8260DB81-9AE5-46E3-8D04-832AE5A8EAB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formalisation of the relationship between forms of program slicing","badges":[]}}}}}