{"entities":{"Q2936786":{"pageid":2947506,"ns":120,"title":"Item:Q2936786","lastrevid":44744928,"modified":"2025-11-25T17:34:56Z","type":"item","id":"Q2936786","labels":{"en":{"language":"en","value":"Fast narrowing-driven partial evaluation for inductively sequential programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6383928"}},"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":"Q2936786$5D7AC2C0-2FB1-42E2-B105-B630FED85D17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b97ef16d16712aa31c1c232dc58fd29a4ad6fab","datavalue":{"value":{"text":"Fast narrowing-driven partial evaluation for inductively sequential programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2936786$D193272B-5910-4EC1-A331-0742D1D5ACAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a33803d8ca8051bc92a51cca72ded465c2937677","datavalue":{"value":"1302.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936786$3367A169-CEB0-414F-B91F-D360D770F34F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d74e7b27cadcd2e92e0b6f2b8669faa20da4c318","datavalue":{"value":"10.1145/1086365.1086394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936786$6CDFADA1-B6ED-4F83-BDFA-9D8538BD3006","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d7b1b0e1d72b89e90d6a4a65bcbf7689919b325","datavalue":{"value":{"entity-type":"item","numeric-id":845934,"id":"Q845934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936786$3461A358-5E63-472A-9757-68938CCD41DE","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":"Q2936786$9B313A25-9614-4EE9-A79D-B9FB1084FE35","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":"Q2936786$9F362E6B-CFD5-491A-A51B-0880ACAEE536","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"009f14fcff92f2b9864a3e960eefae33e15fd175","datavalue":{"value":{"entity-type":"item","numeric-id":2936758,"id":"Q2936758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936786$EE8E0C8C-B385-4639-83E7-E5FCD1CFECAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39d11daed231ddc9c09fdaf1d1bb16c5de77d47a","datavalue":{"value":{"time":"+2015-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2936786$F0C4DC8C-0ACA-45AB-BAF8-FEA0A90D5CD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936786$FE5EB9BF-3AB8-493C-9BAD-BCA64FAF60C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fe2f6661b3784d6fa2ecae9fd814e6d3a232129","datavalue":{"value":"6383928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936786$CDC8D75F-2F0F-450D-A61F-7794E4DB9EC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e20429622ec08ba47dc9e7a4c57de8bf8a42d9","datavalue":{"value":"narrowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936786$5B8F6FA7-BAE3-4A22-AAC4-8A3B64E350D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f66abf04a3244ea72330ef62dccef1a9ab880a52","datavalue":{"value":"offline partial evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936786$0E71C566-7941-4AD3-995C-F3402496261F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3030e36f73bec644cd6e7a20fca1df75df991e5","datavalue":{"value":"quasi-termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936786$4F31BDE2-A313-4A16-A003-34996027552E","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":"Q2936786$B90B5186-6EB1-4185-A3D2-ABB5776A8AC5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc4e410eba1e3d48bfe5f7cef91402d01ead663b","datavalue":{"value":"https://doi.org/10.1145/1086365.1086394","type":"string"},"datatype":"url"},"type":"statement","id":"Q2936786$056BF450-80A8-4D3D-8D68-FE7327ACB772","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c64ebc7fce45791ec644dcf7b318ddb403b7982","datavalue":{"value":"W2047867098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936786$CD90B635-FBFC-481D-A437-8075465DF7AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eb75f8d6a51695458bb9df7b14f181c460adb78","datavalue":{"value":{"entity-type":"item","numeric-id":3334984,"id":"Q3334984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebd8316477bff3fdddf60a525f3929a38fcb5957","datavalue":{"value":{"amount":"+0.8720492","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2936786$D4566E51-50AF-4A65-A8F7-C828615856E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad536d1035c9a820a9b3db523732911ea63c959f","datavalue":{"value":{"entity-type":"item","numeric-id":1599645,"id":"Q1599645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37cbb988953a0e76c33adabde84c66f78d5ff4a0","datavalue":{"value":{"amount":"+0.8478774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2936786$724C85CE-3E2E-461F-BF61-2F65BE67ECD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45fc5f2db42a45f508455dccccd0021c4a0804e0","datavalue":{"value":{"entity-type":"item","numeric-id":1670722,"id":"Q1670722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eb562df7165aa0bd9f3021f994ac80ed986ba24","datavalue":{"value":{"amount":"+0.8473926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2936786$44327BF8-24B7-4C8E-AC83-0DCBA8D21EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b55ed612ebaec6a26e767939e88b09fc851e84ee","datavalue":{"value":{"entity-type":"item","numeric-id":2933968,"id":"Q2933968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fa2654e0d0f838989c142863284ea7fc44951ff","datavalue":{"value":{"amount":"+0.844907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2936786$7190D497-FD94-40C3-8B16-F862B956A23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8d6a80cc447a5e7ef8a60d947cb6b79bd217e58","datavalue":{"value":{"entity-type":"item","numeric-id":1285864,"id":"Q1285864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2d8610748e1824bdc552dbe08bdc95488aeb552","datavalue":{"value":{"amount":"+0.84006464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2936786$2CDA058C-1436-45A8-BC8B-ACB34A956E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7fce69603a4eb3372a159e6640ce685584cb231","datavalue":{"value":{"entity-type":"item","numeric-id":2437798,"id":"Q2437798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"607c48e898d031316bbf1997a817ea6702e75882","datavalue":{"value":{"amount":"+0.8363961","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2936786$95FAEE98-53EC-4672-B272-9B6823CF689B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18a328e448204986b81408e9e84660e691501984","datavalue":{"value":{"entity-type":"item","numeric-id":3557098,"id":"Q3557098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0d639847f942d5956cb12cb1e92a1dd1b3ef8cc","datavalue":{"value":{"amount":"+0.8351416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2936786$F21FCD39-B8DD-457D-B035-F02952C77073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9774f46efdd6791cf52c07133c0131843d21f6d2","datavalue":{"value":{"entity-type":"item","numeric-id":3079913,"id":"Q3079913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e0b93ba6451935671290f302553c2ff069988ab","datavalue":{"value":{"amount":"+0.8344675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2936786$F1EAA784-8D89-4F13-9778-A7556CDC72F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2936786","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2936786"}}}}}