{"entities":{"Q3430663":{"pageid":3441366,"ns":120,"title":"Item:Q3430663","lastrevid":86881652,"modified":"2026-06-04T10:05:52Z","type":"item","id":"Q3430663","labels":{"en":{"language":"en","value":"Removing redundant arguments automatically"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5136257"}},"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":"Q3430663$E56BADCC-0636-45CA-A091-99F78BF35485","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebda49b7a45fd28b652fedc7b72918a38dee3ee8","datavalue":{"value":{"text":"Removing redundant arguments automatically","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3430663$C24D8833-F1BF-4DBD-A920-D4F022E83CF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f903d8aa76844b0b24dc9a1b8969911f5fe8cae","datavalue":{"value":"1112.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430663$10A95257-4620-4F7D-ABDA-84318D562433","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d20e57a809c7bc7e899633f71a0177e0f66fe921","datavalue":{"value":"10.1017/S1471068406002869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430663$517EB5FE-37C8-4659-8128-52EDAA2AA0F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5805f02852c8c5214c4739c3a07407316889a81f","datavalue":{"value":{"entity-type":"item","numeric-id":462490,"id":"Q462490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430663$8EF9D415-9FAE-4D13-B305-6F6A00D57523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30c863fa396706b2f00b0e4efd36ab68137f900a","datavalue":{"value":{"entity-type":"item","numeric-id":293292,"id":"Q293292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430663$9232341C-5F9E-4C88-AB14-9AAD1F71AA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9ad0f43ee1ceda3dd968cb3b2fb5c858da6895a","datavalue":{"value":{"entity-type":"item","numeric-id":671507,"id":"Q671507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430663$AACAEF62-0092-4B5A-92AF-B81573E61F4D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430663$3EA20DD8-09E7-4CCE-B32A-442987CBECF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5429839a84a593b9970df3ce3618bd27979b9dd6","datavalue":{"value":{"time":"+2007-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3430663$83C9A2D1-4CA6-48B3-859F-1448FB6CAAB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430663$AA23F6AB-AF6A-4B05-A598-7AB806DF422A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430663$850AE15B-707E-468D-8F1D-188862D947BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce93cb5f69e42a64edd74044c6aa852146d45eac","datavalue":{"value":"5136257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430663$DBC7ACF2-9EEC-4766-A598-0CDC18CBFE42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b39e9689e3d43c7b97a213388408adc45196fb4","datavalue":{"value":"redundant arguments in functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3430663$DD09E6CF-64C8-4001-B563-1E8ACE47B86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f6e9903f8db65ac1182d787cdb6426a719a0f60","datavalue":{"value":"semantics-preserving program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3430663$5AEBF1E6-31AE-42F0-8940-E281F9372F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b74e065aa7d1ca5afa4709d74ffa7cc2500151c2","datavalue":{"value":"analysis and optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3430663$81BF4FA6-865A-4071-8E96-C9B47C454BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3430663$83CC666B-D10C-4ACA-ADA0-3B0EE24C6104","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e18d83b655b52fab00d59963ab4abf80444ffa0a","datavalue":{"value":"Q57978219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430663$57AED735-78DB-4617-A56A-EFFA4709C3E3","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":"Q3430663$3214D9C6-D3E3-453D-B11F-E4421401B649","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95895e5b496bac90a1ff5f23ab64ffe9b4624ada","datavalue":{"value":{"entity-type":"item","numeric-id":2996146,"id":"Q2996146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"725f0415444728246b39a0f70b0dd8c14f0e2038","datavalue":{"value":{"amount":"+0.98429673910141","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":"Q3430663$2421A3FD-9829-487F-844F-5314FF70991D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89c257ecc7c7c73e22a2f1ec80fa4501abe2f2d8","datavalue":{"value":{"entity-type":"item","numeric-id":5472907,"id":"Q5472907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa5259dfdde823ead9c742e3545a06cf1f2fa92f","datavalue":{"value":{"amount":"+0.7201559543609619","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":"Q3430663$A3D0B4B8-D429-45D6-BC16-5681325FF3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cef239bee690ff61d91146a814b975dbf462242","datavalue":{"value":{"entity-type":"item","numeric-id":5959584,"id":"Q5959584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40236c9716cc007a6d8cb7fb54ea2a31074fd50b","datavalue":{"value":{"amount":"+0.6855969429016113","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":"Q3430663$147EA2BD-C132-4057-9C9C-E7344A2CCA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"839bff1b5a006f06a3805bb15caa1338c3d231d0","datavalue":{"value":{"entity-type":"item","numeric-id":5277883,"id":"Q5277883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5c9491939257ae95086ee1a8f3d035cc375ff25","datavalue":{"value":{"amount":"+0.6815205216407776","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":"Q3430663$A786D043-6DC6-46B6-AF02-558F992591F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e849b317132b18142ecc577b628547ba295324","datavalue":{"value":{"entity-type":"item","numeric-id":2713364,"id":"Q2713364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"033259be159fcc14efc050fa79ecd8807d64413f","datavalue":{"value":{"amount":"+0.667188286781311","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":"Q3430663$BFB9501C-BF85-4B2D-8468-923B549C5E52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Removing redundant arguments automatically","badges":[]}}}}}