{"entities":{"Q1426864":{"pageid":1437604,"ns":120,"title":"Item:Q1426864","lastrevid":67419771,"modified":"2026-04-12T17:30:59Z","type":"item","id":"Q1426864","labels":{"en":{"language":"en","value":"Non-standard semantics for program slicing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2057336"}},"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":"Q1426864$5910EA3A-5014-41D2-A23E-D7F56976C2AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f47583898f435470c6a77093ee2cc8cb8850867","datavalue":{"value":{"text":"Non-standard semantics for program slicing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1426864$953EF1A8-02D6-426E-9E8C-8957A78675E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7be8b12c2d913f27fca7a320d0aa1fe939c3a261","datavalue":{"value":"1074.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426864$0A6C1D14-BEA7-47D3-9ED0-16DC10890F58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0de7786d17f80470804ef4593a7b043292ce2d6","datavalue":{"value":"10.1023/A:1025872819613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426864$7EEAEED8-68DE-4639-8947-B7F1D8C3F328","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ffbc2222258f7a4fa78be49047dfe2a14b0df82","datavalue":{"value":{"entity-type":"item","numeric-id":511010,"id":"Q511010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426864$516BC941-A0CC-4E66-9A18-3072B38AE08B","rank":"normal"},{"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":"Q1426864$D3DFAC40-47C3-44AD-8E9C-0109C88D3CDB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426864$37F1BD56-0792-4AC1-B408-6AA2666E6F0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47829e28918d048336111de08a0f0c93aec92d0a","datavalue":{"value":{"time":"+2004-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1426864$5C8493EF-9425-4579-B2D5-8E334BC40D41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426864$0DDC7244-C158-47C8-9B6E-E8D35336C406","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d166eff303076fcc041140c6d296d1578a2aefc","datavalue":{"value":"2057336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426864$8164EFC6-A05D-4A04-9D1F-8C9124B369B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426864$33796E41-B125-4F5F-9B94-BFDB5E78A6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426864$C89A75B0-7DF3-41AD-A1A9-E845DF8AA15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7bcf1e4cbbaa7f7cc6adbe435297b08fac9fa4d","datavalue":{"value":"reduced power","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426864$8BB9C9E2-18A7-41C1-8798-27805D575C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"977eed6131dfef7e6e3cd1144bd76459fa17e188","datavalue":{"value":"compositional semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426864$716AA60D-FA7F-45BB-9FBE-17B499D8B118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12e51fd4113d823e594d1f872f147c310528ae7b","datavalue":{"value":"transfinite semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426864$AEDA271B-A3B0-40AD-8E5A-D4E4C7DCA354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6c9990507f590bbcc8cb65bfa579259b003fb4a","datavalue":{"value":"program manipulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426864$9D9EF8B6-9383-4C81-A32A-DC195C506F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fb6e19dca5c1dfa9f0da602d3d5d30bf4fc82dc","datavalue":{"value":"program slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426864$E09153E5-9F5F-4478-A79A-71089A2475E9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a3751245ace4bf06af885774412c2dc4bba807ef","datavalue":{"value":"Q62046244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426864$EDFB1B13-52AB-4BC6-8229-2D51349E5048","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":"Q1426864$8E6012FA-CFE1-4F30-839A-2D934A77A14E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c047cdab0fd68b1edaa7821ca4d90e323c350536","datavalue":{"value":"https://doi.org/10.1023/a:1025872819613","type":"string"},"datatype":"url"},"type":"statement","id":"Q1426864$689251A4-634C-4717-85F5-201FF5F0E194","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"251e22fedb59401d322b17113e8188f0bb40ace7","datavalue":{"value":"W2006802414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426864$2B5F2990-D583-4866-BA9D-D4AB8D981A2D","rank":"normal"}],"P1643":[{"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":"7e03f7078c72223c8b996554c687eaad6b832389","datavalue":{"value":{"amount":"+0.8452030420303345","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":"Q1426864$D7CCF925-37B7-46FB-B188-D2C97B0876F5","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":"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":"Q1426864$0CB60587-5D2B-4B63-B6E6-4D6C959EA4F3","rank":"normal"},{"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":"57af83b35b086962b830bf231d681341f1978b22","datavalue":{"value":{"amount":"+0.7890498638153076","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":"Q1426864$F68F65A5-DB5D-429D-B87D-30CC9EF6C89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe1d8445b71a8b629c4e0739c650408c921570df","datavalue":{"value":{"entity-type":"item","numeric-id":3623940,"id":"Q3623940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61a0c00299f12b7a6d90adea2a7bb2291748009b","datavalue":{"value":{"amount":"+0.7648151516914368","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":"Q1426864$20740B07-3165-45C2-9895-EEE0813A0A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c391683395b4c1372ddb89a59aa8ab0c627d51f","datavalue":{"value":{"entity-type":"item","numeric-id":3370737,"id":"Q3370737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58cdf6ef870978f3f3bc7752ae9cad1738d1db8d","datavalue":{"value":{"amount":"+0.7430217862129211","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":"Q1426864$B85B157A-307D-4FEB-A41E-2C02A03B0ED6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-standard semantics for program slicing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-standard_semantics_for_program_slicing"}}}}}