{"entities":{"Q2271904":{"pageid":2282647,"ns":120,"title":"Item:Q2271904","lastrevid":73002372,"modified":"2026-04-14T09:18:52Z","type":"item","id":"Q2271904","labels":{"en":{"language":"en","value":"Dynamic slicing of lazy functional programs based on redex trails"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5589975"}},"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":"Q2271904$6F1D74BA-E7CD-4711-B08C-6BB60A9CCBF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37e7c4ec1a83f3554fc21457fc19d29acdb1509c","datavalue":{"value":{"text":"Dynamic slicing of lazy functional programs based on redex trails","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2271904$2FAE3336-F689-495E-B5EC-22AD5451C0B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d491313f8a2e4e832fe71ac28cae10a6de70e1d","datavalue":{"value":"1192.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271904$59E29597-1DF4-4688-9CF7-E2F9CD74E37D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a15d8dbf11820f8fd9671ba5af483111c13bc5","datavalue":{"value":{"entity-type":"item","numeric-id":2271903,"id":"Q2271903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271904$A9FED85B-0FE9-4106-858C-C6E8EA34EC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"884c78e9943241f0ff0b75178e68be61251a12f4","datavalue":{"value":{"entity-type":"item","numeric-id":418183,"id":"Q418183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271904$864892C4-A794-4F30-ACA6-AFA303DC097E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"018a45413fbb8c9259001dc9c55f052d2b61eb8d","datavalue":{"value":{"entity-type":"item","numeric-id":232929,"id":"Q232929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271904$CA47A5A2-92F1-48F5-90F7-4E4AADEA0665","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":"Q2271904$8EDDE1E6-F33F-4F3B-A483-24589255E7F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f946e7143a34243eee6c655d526c1b0b69f3bbf","datavalue":{"value":{"time":"+2009-08-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":"Q2271904$F505A802-E951-4776-9360-E0D546FD8DD7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e17a201e4c9c59a4e0ab8fd52014d473fa278716","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.119.9841","type":"string"},"datatype":"url"},"type":"statement","id":"Q2271904$A423CC04-26C3-4091-8F6B-60A8DB0FC852","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271904$2A55E49F-9F43-4E57-934D-C14EA89D59AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd59cc39244033ba4f12d18b49623e4a6f900ea3","datavalue":{"value":"5589975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271904$05AB558E-FE35-4573-BC3D-FB9DD0E4EC2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61bb683c268879ca513041543e9a086f3a50c74c","datavalue":{"value":"lazy functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271904$5334496E-93B8-4A8F-A961-72407BDC8907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e209e27ecbb3fc4e2dfd619db86ffda1231648d6","datavalue":{"value":"debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271904$890A0280-03A3-4E1B-9A6F-EB4C08E9ED7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a328af7ff1543bbca7dabe1fd934e14aca40f87e","datavalue":{"value":"slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271904$AAF4209C-0C70-402A-8FC4-14674CA50F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12f403ed625cda04d2f9daea4274b4a2ccdfd1c4","datavalue":{"value":"redex trails","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271904$E46BA430-348C-416A-A2AD-BFE76E8FE768","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ff86482fed94163d1931fec7a795318bc929b32","datavalue":{"value":{"entity-type":"item","numeric-id":25593,"id":"Q25593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271904$D04E24AC-E7AF-4FFE-9568-F8860C672570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271904$45788815-3123-4183-B5A2-81A0F03FD8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36f5026b55bb5cc68aa4d2933cfba0f3ca08a59d","datavalue":{"value":{"entity-type":"item","numeric-id":21791,"id":"Q21791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271904$5822ACB3-D039-4F4B-91B8-2DCC05448FBA","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":"Q2271904$4E96D556-2AAD-4B4B-A486-8C37E3854DF4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a194c1fae81100ebb36948f0923c2a791547f3fe","datavalue":{"value":"W2088821694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271904$ABE38741-1401-48DC-8C58-B57A33878DD9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6b5fa0cf67945c112778b5815fa23b445854a","datavalue":{"value":{"entity-type":"item","numeric-id":2456574,"id":"Q2456574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271904$E879C874-B277-4143-A27F-BD9AE745E718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27398fe54b806072f13f81eac8012e225a7f01fb","datavalue":{"value":{"entity-type":"item","numeric-id":2873792,"id":"Q2873792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271904$62BADFF5-87A2-46C9-8620-C5D5AFDD0958","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":"Q2271904$F40A6BDF-4F8A-4E4F-82F9-4C27D8A5AED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c3b89a09d0a3121a53d05d395c198853f4ccd7","datavalue":{"value":{"entity-type":"item","numeric-id":4256147,"id":"Q4256147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271904$584550CF-D5EC-4CBC-842C-E75AEDFE6AF7","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":"Q2271904$DB212704-C230-44E0-9B2B-0E0311F8EFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f54799e797b215e0fa787b92f1bce4d5cd66210","datavalue":{"value":{"entity-type":"item","numeric-id":1398677,"id":"Q1398677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271904$D12B87FA-DFF1-4033-A78B-64EA4B943C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ca6f1c5d9851666a65948f73702c6ffc435a39f","datavalue":{"value":{"entity-type":"item","numeric-id":2271904,"id":"Q2271904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271904$D986E6DE-A924-44B5-9F26-B959F3014D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271904$3CC2A2D1-BF37-48C5-88EC-A211E7BC5B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14630608c4637298e06b93ec7374558801ec2420","datavalue":{"value":{"entity-type":"item","numeric-id":2763389,"id":"Q2763389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271904$E68AA8DC-0868-4526-86AF-15848E3BAC93","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":"Q2271904$063D3FBA-7931-4693-A6E6-ABCB17582F20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f403c46a4e7a1ff280d14a8b8f0589d623d4f776","datavalue":{"value":"10.1007/S10990-008-9023-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271904$C1CD7DF9-0007-42D9-B1D1-93FE233BE570","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"add223cdcecc7eabcaf75111567d524b0073e8c0","datavalue":{"value":{"entity-type":"item","numeric-id":3591083,"id":"Q3591083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94c9665b5a00956a267015787fc7190ccf459b4b","datavalue":{"value":{"amount":"+0.7906141877174377","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":"Q2271904$A3737AF5-BA3A-42C5-8056-95BE56A15CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0f07833927454ea62080341667e1083298b967","datavalue":{"value":{"entity-type":"item","numeric-id":2867898,"id":"Q2867898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec3032a2da73f24197090cc1e61db837bbdf4acc","datavalue":{"value":{"amount":"+0.7741202116012573","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":"Q2271904$FF85752B-4205-42A0-8069-02EC0F796FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c04662862ead8de939d158c5f35dfa57a533bba","datavalue":{"value":{"entity-type":"item","numeric-id":5168916,"id":"Q5168916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7212d633723ac03de1ff78b04e54d2b8c74ed562","datavalue":{"value":{"amount":"+0.7732925415039062","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":"Q2271904$626997DF-3C2D-42DD-A880-72CE5E4774F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44e2746e024aaa6565b381cfaf6bd36775cafd81","datavalue":{"value":{"entity-type":"item","numeric-id":4433998,"id":"Q4433998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0c2c424914a987e7ad3acf9ee752b54879afdee","datavalue":{"value":{"amount":"+0.7697502970695496","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":"Q2271904$26EC7131-0E59-48F5-AAC1-E2E1A100503D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"895c7660030b68ea08b0ae4f7b5f226b4c5cf914","datavalue":{"value":{"entity-type":"item","numeric-id":5168933,"id":"Q5168933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd199b6c42fb55b991e37c0c038eb89f5986a098","datavalue":{"value":{"amount":"+0.7651169300079346","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":"Q2271904$E7F35B29-6353-4B43-9185-8C0DC9486ACF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dynamic slicing of lazy functional programs based on redex trails","badges":[]}}}}}