{"entities":{"Q3543667":{"pageid":5573571,"ns":120,"title":"Item:Q3543667","lastrevid":50516567,"modified":"2026-01-14T06:35:03Z","type":"item","id":"Q3543667","labels":{"en":{"language":"en","value":"Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5378188"}},"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":"Q3543667$B8563126-872E-45CC-A3F5-7229F2925724","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e4faab5b7a22ec9549979b7a6bcedb5e35bc0fe","datavalue":{"value":{"text":"Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3543667$7E8AF7BA-F027-425A-ACCA-F0AC0DAD5741","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6dbdccefc5775e7e11aafd3e771fa5d0f3c3f36b","datavalue":{"value":"1165.68477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543667$93B2BB1C-2694-4E8A-8B05-7F8149F690B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"543172e30cf6c5f73bc7fc6431377c7647efabb4","datavalue":{"value":"10.1007/978-3-540-71067-7_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543667$E132EF2D-45A3-4774-8FA3-D0F24079870E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e1adde929f96c1d25ff29dfc7abcbca4d884246","datavalue":{"value":{"entity-type":"item","numeric-id":3543666,"id":"Q3543666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543667$7DB85CBD-2DA3-4F60-BB16-A6E74C244288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b18da065d50ce37e447f1f6708524421ab8f031f","datavalue":{"value":{"entity-type":"item","numeric-id":1663232,"id":"Q1663232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543667$E9A27A65-EA4A-4F49-848E-8B0E07B4C2B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543667$89FA9B77-6792-4EA7-9DA4-F0324AA7493B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9390341f6bd0adb4a80933997da5182af87828a8","datavalue":{"value":{"time":"+2008-12-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":"Q3543667$21E5E316-9E7C-4DA1-A80A-BD9BE388565E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ee3912498c20262f4c43ceb3d98522605bbd0ac","datavalue":{"value":"https://publikationen.bibliothek.kit.edu/1000008488/706398","type":"string"},"datatype":"url"},"type":"statement","id":"Q3543667$D457E616-BD08-4204-87CF-77D738CE2EF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543667$2B963AF4-AE26-4186-A2A1-EAB3177E46DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543667$4DD6712D-3C75-4495-8065-92D51D0873FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efaba06f8d0042be49483e93a996ec97e7c4a0ab","datavalue":{"value":"5378188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543667$7C5895A3-BB1B-4FA2-B9FD-FA5096AB0CDF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543667$ADF76DFB-CD2D-4DC3-97E2-10843C614243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543667$CFB1649C-7E14-4D74-A711-478499B228E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eefde9dcaf40dd82b2bda8a88e852958d8ca6f63","datavalue":{"value":{"entity-type":"item","numeric-id":41256,"id":"Q41256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543667$290CCF9D-074E-42A9-804B-80B2D8FEF91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543667$06449DF7-D86F-4FB2-87AC-E02B91F7E85C","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":"Q3543667$AB068A1C-BF3C-4796-A8AF-E4F01C76C1B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"edc5b62bd2aacc169b76f14b96807ba9533cf17c","datavalue":{"value":"W1578467191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543667$41A20EEB-3B1E-4326-B48C-6E91F569A745","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8399f1fd8fd60c2f545ea3c0d62101467f7b20cd","datavalue":{"value":{"entity-type":"item","numeric-id":963331,"id":"Q963331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543667$2AA2A41A-92E3-4A1A-B259-F4D6E311A132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a655377852f4fbc1e40cdceec18686655bda680","datavalue":{"value":{"entity-type":"item","numeric-id":5712320,"id":"Q5712320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543667$30F14D2F-BAF5-4F40-9161-BB0C4CF00F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a174caff7f800890e7523b0e525f9fcf96cac38","datavalue":{"value":{"entity-type":"item","numeric-id":4943502,"id":"Q4943502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543667$E1269D3A-3645-43B5-8D9C-0DD480EBE324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f85e494dbd114e7fc613fe2fb4b3a0f92bf6245","datavalue":{"value":{"entity-type":"item","numeric-id":3525644,"id":"Q3525644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543667$F8426739-9EA5-42F9-8104-5B73D51AF87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543667$2296A53C-9A76-40FB-A0D0-DDBA2976D50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543667$3DF4E4C0-E516-4C3D-8B97-08C73E32ABBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e2e2b3e51c505d8d4efe375433384fd23c183e","datavalue":{"value":{"entity-type":"item","numeric-id":4855368,"id":"Q4855368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543667$553D48E8-2384-455A-A49B-CEE5798348E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0713842485e6bfdbfa8ec8925fc13391745c9eb4","datavalue":{"value":{"entity-type":"item","numeric-id":2176673,"id":"Q2176673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32413e373d199662e99424d847b2508b6eecd00d","datavalue":{"value":{"amount":"+0.7835161685943604","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":"Q3543667$03E4712F-7FB7-4B4A-B816-0B68E6085499","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":"94ddecc9448265ed3826d09436e9d73585c66da9","datavalue":{"value":{"amount":"+0.7614111304283142","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":"Q3543667$E6CE3D8B-A992-4A45-BEDD-F6D1EC414E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"558b774e8bf358de68272cc1d3b439d9584b78b9","datavalue":{"value":{"entity-type":"item","numeric-id":1941855,"id":"Q1941855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad8852bca5b1af17a8834a5e2289c528d6502498","datavalue":{"value":{"amount":"+0.7509227395057678","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":"Q3543667$CD8E2EFA-283B-4C31-8A65-CF93CB0B14C7","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":"c05df786f6dc3bb6a2110d586b48f37b08932c14","datavalue":{"value":{"amount":"+0.7462600469589233","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":"Q3543667$6CDFE72C-90BA-4DA1-8A63-396A13952695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b11db45e72bbeedd1ec5e9f0b19aef8220edf007","datavalue":{"value":{"entity-type":"item","numeric-id":3431403,"id":"Q3431403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c64c15278ade25c81db11ed088137fa8a332bbad","datavalue":{"value":{"amount":"+0.7450817227363586","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":"Q3543667$66605EFD-10AE-4D59-B86D-F1A9FD7D8090","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3543667","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3543667"}}}}}