{"entities":{"Q5278199":{"pageid":7307774,"ns":120,"title":"Item:Q5278199","lastrevid":58516653,"modified":"2026-04-05T13:41:57Z","type":"item","id":"Q5278199","labels":{"en":{"language":"en","value":"Abstract program slicing: an abstract interpretation-based approach to program slicing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744583"}},"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":"Q5278199$ABAABE2F-51D7-4D48-B70C-7F00C5A724D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d0cb0062dbef479a34bdfcdcbcda262fce1d8df","datavalue":{"value":{"text":"Abstract Program Slicing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5278199$E91AB108-41A5-42FF-8986-CF3E00BEF24C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1147bd6dfed3066e40f96ae6233fc79216d52a32","datavalue":{"value":"1367.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278199$7E0BCEF3-7CD0-4D2D-8E37-9B479C1F6515","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a86a9b5d0b9e6d3075e3e0bbbde5184bd13afd7","datavalue":{"value":"10.1145/3029052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278199$7A9754A1-4053-4F35-B47A-31FAE5069179","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"145dfc643b53f471cb50f045a5c8b4f60a920b97","datavalue":{"value":{"entity-type":"item","numeric-id":511011,"id":"Q511011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278199$48219F52-1500-470F-8CF2-08BB06D2CC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b61809f75c939ee59cf68728fdfb026a3ea59e5","datavalue":{"value":{"entity-type":"item","numeric-id":407520,"id":"Q407520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278199$DA48383B-5CE9-4AD9-93A0-793C8B46F7A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278199$38C8DDAA-897F-4974-8E31-2A8B000A4D6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"757d56442149c8e74ad624bf696390baa904ca56","datavalue":{"value":{"time":"+2017-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5278199$2B41BF07-53C0-45B7-9A8D-7336AA2A2029","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"966acf7bc91977f29110400b04d57bfe6da5d4fc","datavalue":{"value":"https://arxiv.org/abs/1605.05104","type":"string"},"datatype":"url"},"type":"statement","id":"Q5278199$EAF33D24-46CB-4B54-B40B-E0E14CDBB2F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278199$1C3377AB-B5AC-4E9A-905E-48840BACEDB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b25a37e800fd791d09cb2d7f93582119f5d121df","datavalue":{"value":"6744583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278199$C71FE11E-E78B-4EA2-B99D-4C52A05069EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fb6e19dca5c1dfa9f0da602d3d5d30bf4fc82dc","datavalue":{"value":"program slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278199$3DFBF525-5916-437A-A898-0667EC76C381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278199$A7BFBC50-936B-479E-94BF-0905A6ABE95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278199$08DE23B5-5F28-4CEF-B55D-CDF237804705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278199$2C940890-74B4-49DF-9582-6FF7FAC97669","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab0438882edf2914a6c70c6279266e0e0c57959b","datavalue":{"value":{"entity-type":"item","numeric-id":33226,"id":"Q33226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278199$DF697579-EE76-4967-A5CE-A1DAA207FFDB","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":"Q5278199$977C21E8-6151-4546-A51D-DFEBA87AB223","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9bd8210bbfe37c7590de38c9ea9ac95d7b4793d8","datavalue":{"value":"W2401455848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278199$74F118BA-33BB-4A79-A26A-666064B00A83","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e040be53b9dc937b6cf4f3520d5157b0bb094da","datavalue":{"value":{"entity-type":"item","numeric-id":859953,"id":"Q859953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278199$B571099D-EBD6-42EF-B6D0-5204F5314855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f47451834de21c4fd7588a68903f9f03b8ab31c2","datavalue":{"value":{"entity-type":"item","numeric-id":1941855,"id":"Q1941855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278199$B6F7B7C5-5BAA-4885-A66D-2A2754ABFD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8edde905d6dcae80e3cd5092c0bc88d0164089ec","datavalue":{"value":{"entity-type":"item","numeric-id":1284701,"id":"Q1284701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278199$48AA1494-CDF2-4B9F-BC42-E46A296AF8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30aff327e97df52374a9f29cdd9336bb2c167d6b","datavalue":{"value":{"entity-type":"item","numeric-id":2507782,"id":"Q2507782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278199$03C8D218-7E28-48E2-BD9C-246B4564BC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25703d5a4975db44cf6d3774f4a440318dcc9a8e","datavalue":{"value":{"entity-type":"item","numeric-id":2503318,"id":"Q2503318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278199$8DAFA10C-7D38-4FB2-885F-0BF97B498FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278199$20862E69-893C-469B-9354-BFC8B8AB6712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a7522726bb54d7cdc8e3fab968105cdd4cd2fa1","datavalue":{"value":{"entity-type":"item","numeric-id":650921,"id":"Q650921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278199$2C3A0918-69C0-4795-90A7-88C06E5F4CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278199$7605CB6C-488D-47D7-9007-DF3508AA1FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278199$CD4048E8-0C42-49CB-B333-6663940E3966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67206e8e63509fa86106ff211c5cd624ba376b5d","datavalue":{"value":{"entity-type":"item","numeric-id":1944776,"id":"Q1944776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278199$F5C7816E-0E14-4652-9E94-52172A26E201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41f8a8e4de435b8ee5d9a32f1300f43143475771","datavalue":{"value":{"entity-type":"item","numeric-id":3452260,"id":"Q3452260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278199$0764CE49-D27E-4737-B765-5E53436275B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e1e59c28bc7e0beacb30c0dced7e879e188a3c","datavalue":{"value":{"entity-type":"item","numeric-id":5311263,"id":"Q5311263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278199$CAC8FD3A-3EAE-40E3-867E-ECDBC283F142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1934c8bc6d45849a010a815a5562d5978a029","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278199$618D756C-901C-4947-B0A1-E423EE5F9CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278199$EA69ECE1-EB6D-4CD8-B5CA-7AEB04EAEC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8a24a36d8d345bf2ada07a0ccd658bd28699d70","datavalue":{"value":{"entity-type":"item","numeric-id":5897433,"id":"Q5897433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278199$C795EB9D-C613-40E2-80E2-98BF0F2A5DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"510c432f0ea15ce9c9e005a3d2df987de2fae3aa","datavalue":{"value":{"entity-type":"item","numeric-id":1110308,"id":"Q1110308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278199$B2CA7A57-FF5D-4CFB-9175-970639408139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81b8a8d68bab129fd326632de0a3eb69649c964d","datavalue":{"value":{"entity-type":"item","numeric-id":3507882,"id":"Q3507882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278199$76918FF8-1E03-4220-9029-54314B03BAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"870d6a5dd685d5c5cead455db2655a4f4b1ba90b","datavalue":{"value":{"entity-type":"item","numeric-id":4411975,"id":"Q4411975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278199$50D9A78C-B70C-4EF6-A17E-F91EA824BAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9f4f168e0ca7a72083cb83079f7d46c738d0eb7","datavalue":{"value":{"entity-type":"item","numeric-id":1183556,"id":"Q1183556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278199$BE34EC5C-74CE-47F4-9066-5C0493248705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21b6c9610ec8029f5e0350209de55999fe3a0745","datavalue":{"value":{"entity-type":"item","numeric-id":5898612,"id":"Q5898612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278199$F62647BF-8D77-4152-A90E-8158EDADB387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0154e0e7a8c353cd494b970aa089d960567542","datavalue":{"value":{"entity-type":"item","numeric-id":5897440,"id":"Q5897440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278199$705E9621-9EDA-4451-990F-24711EC892ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"841df77b5e5e2d994ab30d1be873a76e763763b2","datavalue":{"value":{"entity-type":"item","numeric-id":3345745,"id":"Q3345745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278199$917DBCE7-E227-45F4-B0E7-CB192DED9617","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":"67bf56b4f5faf1223959f55587117e56068ec89b","datavalue":{"value":{"amount":"+0.8056290745735168","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":"Q5278199$1C66C986-D68B-4760-A9FC-9AB00D250E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"124417ce167b19b981d9ed7ad7e02f0b3752e09c","datavalue":{"value":{"entity-type":"item","numeric-id":2463836,"id":"Q2463836"},"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":"Q5278199$954A7AC6-41AF-4B74-9477-85178071EF0C","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":"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":"Q5278199$A8F67584-2157-47AB-9441-F406B1AF47D1","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":"433c50b23e74ba07ce29d55cf212a22c89a20ffb","datavalue":{"value":{"amount":"+0.7771559953689575","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":"Q5278199$637FD1AC-1763-4892-A14F-6AB88EF8666D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60c63f38057c468b16be3e2e5fc5232ef36e0e8e","datavalue":{"value":{"entity-type":"item","numeric-id":960858,"id":"Q960858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc6fff4825053022e405e4b9948e8f5e0e90a4f0","datavalue":{"value":{"amount":"+0.7759823799133301","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":"Q5278199$3AB7A4DF-A49C-4BC4-BD69-E2F053CB7885","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5278199","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5278199"}}}}}