{"entities":{"Q2463836":{"pageid":2474579,"ns":120,"title":"Item:Q2463836","lastrevid":50229395,"modified":"2026-01-13T14:21:41Z","type":"item","id":"Q2463836","labels":{"en":{"language":"en","value":"A novel formal approach to program slicing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5218368"}},"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":"Q2463836$0174C709-CE83-4279-AB47-70F5F14DC5F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"463405d18b0a54fff717f8538ca38ebe7a4068c9","datavalue":{"value":{"text":"A novel formal approach to program slicing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2463836$FD91E4CE-4AD7-42EE-9B68-81FF83DCE6A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbc3932f265c1f8cafa05d3c9edbd1c1751926dd","datavalue":{"value":"1132.68345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2463836$4D5E4660-C294-4668-923E-85BB74C40EF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2cc5d297dd5d6b5604aef0dcf5aa6560bf5aa5c","datavalue":{"value":{"entity-type":"item","numeric-id":2463835,"id":"Q2463835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2463836$C1FCE43A-EC23-4609-92E6-776ECF982F46","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f98e7827e954b81f9efe2be64c5ae8ff8fac944c","datavalue":{"value":{"entity-type":"item","numeric-id":419702,"id":"Q419702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2463836$214BB2A2-BE64-434B-95DB-A6D475FD56E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0d38ad36a7199bbf27971172c7c13717406fd4d","datavalue":{"value":{"time":"+2007-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2463836$4564CE76-18B8-42CA-A431-5BFD47F5AAEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2463836$A5CECE75-E503-4780-85CB-68BC98B0581C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2463836$467F57F8-CC9F-4228-B01C-1C0EE9E81396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2463836$788FA426-945F-467B-B42A-410B67500E3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"081de938a587716de8c7119645542d157cc0455e","datavalue":{"value":"5218368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2463836$E9C02CA4-7CB4-432D-8BEB-CE0C3D3610E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fb6e19dca5c1dfa9f0da602d3d5d30bf4fc82dc","datavalue":{"value":"program slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2463836$557BF8D2-12D7-4C07-B6AE-4C093E93D114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q2463836$0525C07B-5A51-4C89-966B-37E35FCF6E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2463836$6E2681E1-62FA-4DB5-BF43-59B217D3C46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d773b91da82bc113898e01b2ff0b12a0ce4b880","datavalue":{"value":"slice monad transformer","type":"string"},"datatype":"string"},"type":"statement","id":"Q2463836$68F48727-1DDD-4834-80D9-8970DE3F05C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2463836$F58E0F8A-755C-401D-9CDF-E0BF23BDEAC4","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":"Q2463836$BFAB5A8F-6D73-4B5F-A130-0451B1553FE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7c8b0f1438d5ddc0baea9410382f92cbbd8784c","datavalue":{"value":"https://doi.org/10.1007/s11432-007-0061-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2463836$B193324D-5930-45C3-B94B-DFB6C57DD432","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1acb18954a216882ef10e19cb3f2476f0a01722b","datavalue":{"value":"W2157370465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2463836$17F2EB8C-C973-4E52-92ED-44E81FE54CB5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"047fc45cbe14d1e9eae4e0e45e36de2c70a775ff","datavalue":{"value":{"entity-type":"item","numeric-id":3341865,"id":"Q3341865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2463836$3765EABC-B127-4833-8172-693BB9AA46EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2463836$A3300FA6-F98A-4EB9-A65B-23082ACCBB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8cd30d26d8f7e31a137b035d05f62fc54a19a61","datavalue":{"value":{"entity-type":"item","numeric-id":4223005,"id":"Q4223005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2463836$D446A0BD-FCA6-4983-B811-A6BE9C583DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b78cda30b8bf7bbc1e02364c4dd5fa066a61862","datavalue":{"value":{"entity-type":"item","numeric-id":4279255,"id":"Q4279255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2463836$7AE9B5C9-A69B-424E-A422-825263C5BE35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32b88698049966d5f796ec85f3bdf1849bff66c2","datavalue":{"value":"10.1007/S11432-007-0061-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2463836$8760D350-83BD-4B30-939C-45E008D3DD39","rank":"normal"}],"P1643":[{"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":"296950df19ef67d609f777db9ceee3590a8c9095","datavalue":{"value":{"amount":"+0.8024881482124329","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":"Q2463836$F51C2355-EB07-4A51-ABCC-E52066A98155","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":"a984eabead2d14cc7a4119004911036eb275ccde","datavalue":{"value":{"amount":"+0.7854655981063843","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":"Q2463836$D7CCE630-6A7E-4212-9498-91BA72C187D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849a5aa4f1d5d427c031125bb868ca0526f9fac7","datavalue":{"value":{"entity-type":"item","numeric-id":2507782,"id":"Q2507782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28040007ae4487b54983fcf191b77eb2df0c9054","datavalue":{"value":{"amount":"+0.7766521573066711","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":"Q2463836$53571FF6-EBD8-4727-BCB0-16812AC0227A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e522a50d0ebec538b555dc3bafd95468b708c045","datavalue":{"value":{"entity-type":"item","numeric-id":2873792,"id":"Q2873792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"342dbf661c8c16a8cfaadd7fe93fdbf76eb64795","datavalue":{"value":{"amount":"+0.7711140513420105","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":"Q2463836$9628F13E-90B7-42F3-BF8D-805A52593216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4896e9be606fab0eed5b0051ad17a6851e195210","datavalue":{"value":{"entity-type":"item","numeric-id":2848888,"id":"Q2848888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03c9cbb04703005cb6a68e2752ed3a55b2dc8941","datavalue":{"value":{"amount":"+0.765375554561615","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":"Q2463836$2F7CF9A6-A5C8-41E6-BCC7-031B66803830","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2463836","badges":[]}}}}}