{"entities":{"Q960858":{"pageid":962706,"ns":120,"title":"Item:Q960858","lastrevid":65658891,"modified":"2026-04-12T04:06:41Z","type":"item","id":"Q960858","labels":{"en":{"language":"en","value":"A trajectory-based strict semantics for program slicing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5687502"}},"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":"Q960858$1720D8E7-CCB4-46E4-9678-F40046170747","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81ef964ef7c953c417ab2248a0afde300e3d8723","datavalue":{"value":{"text":"A trajectory-based strict semantics for program slicing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q960858$FBAFD7B5-5568-4A9F-BC10-4470F106AF19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"589622566dac3e8f925dc1a0a6b20ecd5634bff3","datavalue":{"value":"1191.68405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960858$BAA55CA7-2694-442B-B466-D764449FC250","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38225923331a9a74f2a396b34c8a889d5f111a87","datavalue":{"value":{"entity-type":"item","numeric-id":650917,"id":"Q650917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960858$BC276958-9516-4F79-BDBE-0A9E2270520E","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":"Q960858$F218198D-D35D-4231-BC01-12391F5AB851","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":"Q960858$A97636C3-2B6C-458D-9F3D-5C13CC35944C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a00842c97861ca85101f8ddc599167c70223ce4","datavalue":{"value":{"entity-type":"item","numeric-id":347399,"id":"Q347399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960858$9B78444C-2AC3-49E0-B5CF-0BDB50F53910","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":"Q960858$44B4FC41-55D0-46E6-81B8-037419BFEB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8367faa45053c6bec7f7fa5d703dcf68f8eac87c","datavalue":{"value":{"entity-type":"item","numeric-id":960857,"id":"Q960857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960858$E70C125A-2068-44C3-A5B8-08D1910E5F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78c0adf98e5a75d4f8611c2e7408a9ba3d2f068f","datavalue":{"value":{"entity-type":"item","numeric-id":452928,"id":"Q452928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960858$5C1ECE9A-BB64-4465-89BA-52E3B830822D","rank":"normal"},{"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":"Q960858$4C88C439-AF61-47A9-8B15-CC3818672467","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960858$6C495927-F756-415E-8FE7-7221D38E5B2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e7779b9b8e663f6e735902e827572a0b1b55abb","datavalue":{"value":{"time":"+2010-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q960858$99370A46-0B31-450D-9C33-209982A196F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"487506a8ae7e31e105b5194fdd5e001cdbcad9bf","datavalue":{"value":"https://research.gold.ac.uk/2442/1/itNew.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q960858$E188761A-81F4-4138-A9FE-880BD8A94EB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960858$5BCCE2FD-4BDC-417E-B2CC-A1F56AD358BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960858$F0DE241C-F8E1-4D9B-BB28-4C075E4F0B56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7351cdac251513e3597ad34ef9e2f2436e89dae4","datavalue":{"value":"5687502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960858$97C583D8-F6A1-4299-BEC0-20722D4A01E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fb6e19dca5c1dfa9f0da602d3d5d30bf4fc82dc","datavalue":{"value":"program slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q960858$32010654-693E-4BF4-B10F-57AA56DBC286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1478f0080b70574ea441c7d2a3b6db779c2f9c","datavalue":{"value":"program semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q960858$99C3CA90-E686-431F-8139-2043931B9B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54efe8b49a37b1aa489fb0e653d938725cf2fcaa","datavalue":{"value":"non-termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q960858$CBC3F08A-8081-4C13-9BC1-5E616EBDB864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8adfd4bead8403cf25d229d5471e4972f368491e","datavalue":{"value":"program dependence","type":"string"},"datatype":"string"},"type":"statement","id":"Q960858$0F2DCB4D-DB4E-42FA-8EDD-8D4818161638","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":"Q960858$C871D589-070E-49DC-8760-FD1D602E8C39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff85435eff142f1bf1be86c3d3aed1a36295fdda","datavalue":{"value":"W2147082313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960858$E8EB88EF-D03A-4EBE-B54F-33BFF75FCB0D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d5b43d4558778bcadc20e3859123f2dc9918df53","datavalue":{"value":"Q59609520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960858$8C5AEBDD-E043-485F-B7AA-BF4DBC346094","rank":"normal"}],"P223":[{"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":"Q960858$A0ADD1E6-4570-4190-95D7-1691A34106A2","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":"Q960858$345305C3-9FC7-40D8-80EF-EE4CB9AF471F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6464cae6ab37dc5a57672fa54484e831c77439b4","datavalue":{"value":{"entity-type":"item","numeric-id":875512,"id":"Q875512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960858$A79A7241-4214-4B4A-AD67-4D2F003BE14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670e7fe13bcbc5c54acb4fad832d020b824881a9","datavalue":{"value":{"entity-type":"item","numeric-id":997995,"id":"Q997995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960858$0BA8FD0C-950E-49C6-981E-634155297568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"427a050d6a10876443a15cfe34d5c026b05dff9e","datavalue":{"value":{"entity-type":"item","numeric-id":3761672,"id":"Q3761672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960858$2703174C-A2E7-43E7-A7F7-1069BF35200D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446632a47efa4a62cf764567cbfe493c44d2f90d","datavalue":{"value":{"entity-type":"item","numeric-id":1426864,"id":"Q1426864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960858$DFF9B743-A8FB-4ED2-9A29-514E4EA6C482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d189d5566bbdf8684108572f8e7b1cae5e8fb1c","datavalue":{"value":{"entity-type":"item","numeric-id":1595472,"id":"Q1595472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960858$1F2213F4-1FB5-4ACC-8401-B5AF772E25C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797a00330d9239dad7fe9082133bd59fee594505","datavalue":{"value":{"entity-type":"item","numeric-id":1893727,"id":"Q1893727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960858$D2BD1C62-DD46-4134-91E9-2AEAD331912B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71c2af70d109a5e9427e6bcfc057e47556afd72c","datavalue":{"value":{"entity-type":"item","numeric-id":5178850,"id":"Q5178850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960858$FB638B1E-CCBE-44DF-876E-7D2B62B75551","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":"Q960858$2737A67C-034F-4E07-9C20-0372F318E5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51aad2460247506927bc6270e57ca3ae85e63764","datavalue":{"value":{"entity-type":"item","numeric-id":1853616,"id":"Q1853616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960858$C2CBCD8E-E36E-4FFB-8536-F523C7E945A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050f3707aa11bf07edfe20793ab7ae197d6a54d9","datavalue":{"value":{"entity-type":"item","numeric-id":3370737,"id":"Q3370737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960858$98EFD85F-3739-4234-AC7D-CDD74ED9322F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"515eab03ce40e04f6808988f7db48138768eb0d6","datavalue":{"value":{"entity-type":"item","numeric-id":5316585,"id":"Q5316585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960858$921D2910-AFD3-4B17-AFE0-8B23C3FCDCA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960858$B8EFBF08-3CA2-4611-A458-DBF633F86FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82492b21c24abfdefd72b1558ed58e412cb1efbc","datavalue":{"value":{"entity-type":"item","numeric-id":2464947,"id":"Q2464947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960858$C8C5D997-265D-4DE9-97B5-90EF4DCFA95C","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":"Q960858$DCE3F318-E4D7-43E5-906B-45A84D39BB03","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8429663dfd3e3d39b8f65fc2f931e5c466a868f9","datavalue":{"value":"10.1016/J.TCS.2009.10.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960858$2DF2BC24-DF2A-4F13-8419-3134562CD864","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af59fb77937b5c728626a32a77ef74f41cb5c814","datavalue":{"value":{"entity-type":"item","numeric-id":997995,"id":"Q997995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"260cb9e5b1fd6edd6bcbc6d3f3d705f60fe860ff","datavalue":{"value":{"amount":"+0.8499921560287476","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":"Q960858$73308DC1-91E9-4231-9181-C26B99658488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e26e228310e293b7915ef216edc9828d29fc6e65","datavalue":{"value":{"entity-type":"item","numeric-id":1426864,"id":"Q1426864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9a5a870e6da5c8b9c4d6d58d48a46a4a8f999b0","datavalue":{"value":{"amount":"+0.8176009654998779","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":"Q960858$4C22F5F9-74C7-45DB-BF6F-D065BBACA527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d1bd551d603c6156c514709267c2f13005e0902","datavalue":{"value":{"entity-type":"item","numeric-id":1815347,"id":"Q1815347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c99b0d5935efd06aa8c648e10f930db8e26f3348","datavalue":{"value":{"amount":"+0.8158828020095825","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":"Q960858$87408F9D-DD24-44D8-88B9-B53A7A42AAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10846317468d40527a7401a0e49ca281d8dbd46b","datavalue":{"value":{"entity-type":"item","numeric-id":5310900,"id":"Q5310900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6ec62c2f7a1ff4f70cf894aadca899ce83ca380","datavalue":{"value":{"amount":"+0.8079434633255005","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":"Q960858$2A6D3DF7-B420-4CA3-A286-C1CC4B51BDBE","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":"2d8d405ef2e942549bb71db7d664c4e4f2f0c152","datavalue":{"value":{"amount":"+0.7784045934677124","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":"Q960858$46EE7A68-8EF9-440C-8D51-93CBE49248E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A trajectory-based strict semantics for program slicing","badges":[]}}}}}