{"entities":{"Q5108517":{"pageid":7138093,"ns":120,"title":"Item:Q5108517","lastrevid":58450938,"modified":"2026-04-05T06:54:03Z","type":"item","id":"Q5108517","labels":{"en":{"language":"en","value":"Control-flow refinement by partial evaluation, and its application to termination and cost analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7196157"}},"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":"Q5108517$971281A0-FD94-4CE7-B087-2F9C9B720038","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b3eec808d1f2477e5978320e34d89d036a461cc","datavalue":{"value":{"text":"Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5108517$4DD70D48-1DFE-4375-817E-436306E16DEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9652d1c170375af27ef5e43000580132ab1c8a16","datavalue":{"value":"1434.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108517$D1113288-DE2A-4E47-94ED-CFFFEAB05F44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2fbc3d167e13f83ef0cd1790c073f6d0827f049","datavalue":{"value":"10.1017/S1471068419000310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108517$2BA137D4-B9BB-4DCB-AE10-61190BA31C3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2387d962ff81f2e33a5e47caad7a84e8e039c1bc","datavalue":{"value":{"entity-type":"item","numeric-id":5108516,"id":"Q5108516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108517$734181F7-DFF9-45BD-BD3B-5AAC8BDB8B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2c13ddb28c279be9eed2b39004f69512bab7c50","datavalue":{"value":{"entity-type":"item","numeric-id":238502,"id":"Q238502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108517$368D4C0D-D60B-4B39-A4DD-94957983E933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbe753b9d2f7eccff8413eb524ea7d9ea3f789dd","datavalue":{"value":{"entity-type":"item","numeric-id":407519,"id":"Q407519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108517$2C27DF36-65C8-4EED-A84D-D0AF73FD406F","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":"Q5108517$487ED1A5-57CF-47B0-A771-948D3D644D6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"266349113821a9568dc8e478c029e41016cf97fa","datavalue":{"value":{"time":"+2020-05-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":"Q5108517$37E2E11B-9B54-4DEF-B327-A6D5C2A043FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2dfe86ae4a6de91d68637a6d3fbe0d02cc9d19d","datavalue":{"value":"https://arxiv.org/abs/1907.12345","type":"string"},"datatype":"url"},"type":"statement","id":"Q5108517$6C2FB0B5-A882-4FFD-9EF7-BDA91CA56DAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108517$AEEB9D5B-CD53-4A18-B85A-81FF1D62E6EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5be89066425ab3816daaab5d15704c35709030f7","datavalue":{"value":"7196157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108517$B32D357F-D174-4DF6-9B2A-B1EFF78E8094","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b89f8ad65d7e30132b0106913dfcfe4c576df8ad","datavalue":{"value":"control-flow refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108517$D9735591-FFFC-409C-9571-89F1F2E10003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc31ada3e3f12a74e618e5c1565ffae33b3f6f70","datavalue":{"value":"partial evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108517$B87C0799-0C78-48E7-B97C-D16F1C0D2677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f2233143951bddc905b7237274c784a4a18186","datavalue":{"value":"termination analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108517$2805F6A6-D8E2-49C7-9A1C-B6D9ADB69905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d037028d3fecc5bbab88047226a606ec81ce9edf","datavalue":{"value":"cost analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108517$CE704246-DBBC-4255-B44D-42EA6B56DFAF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d6e5be1caf65c71c89690a3ad8c074f4739ce787","datavalue":{"value":{"entity-type":"item","numeric-id":21915,"id":"Q21915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108517$05D23A03-1660-428A-B8B9-F239F1A6027D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd8007490a248a080808f77e0123c492d98333d","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108517$014BE602-25B5-4B5F-BB78-60F1018A859E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60b30d4c595fd691e3f3327727345d1c8a590117","datavalue":{"value":{"entity-type":"item","numeric-id":15439,"id":"Q15439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108517$A151A911-7EBF-43AD-AE4D-812792C69D0E","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":"Q5108517$A3ABB792-5CA0-4D86-875F-F6EAEFEA6CE5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"63bf60cbca006242b39eb1e5d0017a27cf08d803","datavalue":{"value":{"entity-type":"item","numeric-id":2429987,"id":"Q2429987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108517$BFEF6B96-E748-460A-BD63-219F626B7F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0383da82b76a5590e0218b9b1e2ba239918753ab","datavalue":{"value":{"entity-type":"item","numeric-id":4930721,"id":"Q4930721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108517$3D1F504E-A8A0-44EF-A2EF-F5F56FC009F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2455f7dee77ffb217ffdc7b834f7a85175b71033","datavalue":{"value":{"entity-type":"item","numeric-id":714505,"id":"Q714505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108517$5D2FBE4B-9620-4720-AA84-E9D0A154390D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a20f291a9a3341de0403b70727b80dbcd8a798","datavalue":{"value":{"entity-type":"item","numeric-id":5501930,"id":"Q5501930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108517$DC64EFD9-E00B-4E02-89DF-EEDB1EA15EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"791505e27174c01c77279d856e0f9825c63c7015","datavalue":{"value":{"entity-type":"item","numeric-id":2164261,"id":"Q2164261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108517$FDF15C02-F168-4808-BFEB-CA8AAA6DE8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09206fde3d946f36f56cc0c3636d596e4c86a679","datavalue":{"value":{"entity-type":"item","numeric-id":3303892,"id":"Q3303892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108517$15C740A8-7033-4692-9195-722870FE56FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"336b7aedf9d82b46308adb534dadd2fc55ed3d57","datavalue":{"value":{"entity-type":"item","numeric-id":2848896,"id":"Q2848896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108517$33753FEC-D9C0-48FA-B825-0B9346F94B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20ed25a4cba0bd47c7429205b2f7b182b67fa89d","datavalue":{"value":{"entity-type":"item","numeric-id":5108517,"id":"Q5108517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108517$7CC018CA-BDBA-42C0-A0E6-5B010B709A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2e169995076b34bb098364dd98856cb404a4bd0","datavalue":{"value":{"entity-type":"item","numeric-id":5894983,"id":"Q5894983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108517$DCA1928C-38C0-4AD7-B55C-CE2B0542A3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4a525346570575a41a435d358edb96d63288341","datavalue":{"value":{"entity-type":"item","numeric-id":2789051,"id":"Q2789051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108517$75B0B2DE-8802-4530-A94C-C5B236273B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acb4997204bc98e36e5e60323b8e6d191c059c22","datavalue":{"value":{"entity-type":"item","numeric-id":4559813,"id":"Q4559813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108517$78E5CA0C-24A7-421B-9D37-DFAADD8BD168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae8271a7bb5e17c84c722fe910447f740c0c68d7","datavalue":{"value":{"entity-type":"item","numeric-id":2723916,"id":"Q2723916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108517$809F90A9-C57A-42D8-853C-B8D66D750076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f035e7ce71fa36b05517fb3b1000527a247baf6","datavalue":{"value":{"entity-type":"item","numeric-id":5901912,"id":"Q5901912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108517$32A5BA90-B902-465F-B2D6-0316E2D6BCFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa3d3be3ec5b2236a70027245a7bc4b849ec1795","datavalue":{"value":{"entity-type":"item","numeric-id":3613381,"id":"Q3613381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108517$8790C9D5-16E4-4B41-B7EE-C0FE7233D5C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b93905940c8fc2976790e0a9454d8ad84feaf93","datavalue":{"value":"W2973242263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108517$4D8B6BD7-321C-4CD9-9CEB-71E7BC986627","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"68146676e91c23198aa7e857731388290048d921","datavalue":{"value":"Q127225903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108517$7F1DB116-9BA0-4CBE-8BEC-BDA1B0B479DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7302cb43bac9da9d63bcf5d653ceedd0d385d3d8","datavalue":{"value":{"entity-type":"item","numeric-id":5108498,"id":"Q5108498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3876e8fdc290be5e6c4dd10af062c393cdbb3de","datavalue":{"value":{"amount":"+0.7023540735244751","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":"Q5108517$266B8780-2168-4E63-B3AE-B8971BA3447C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0682c5d5040ee5bd747e465e6ccb095337714c8a","datavalue":{"value":{"entity-type":"item","numeric-id":5030188,"id":"Q5030188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e3847fa818ad8c54883a24396ffafcf4c26d202","datavalue":{"value":{"amount":"+0.7016704082489014","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":"Q5108517$8BA79F8E-6F64-4C33-9BB6-6BDE0710DB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed137c566abfef48786f1b2cbd0e34a64b69a33","datavalue":{"value":{"entity-type":"item","numeric-id":4951174,"id":"Q4951174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"398ac7c9298e751c56dc83fbb9d58748b3a2c74b","datavalue":{"value":{"amount":"+0.7011889219284058","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":"Q5108517$53DBB496-ADDA-4141-A7E6-CEDA2EE0219E","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":"a49b6ccb38314cf2887ec9fa866305f7564f5939","datavalue":{"value":{"amount":"+0.7010024189949036","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":"Q5108517$965D4309-100D-49EF-9AE9-78926E808F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1e09c507e90b7e1e6632c6632a094b6ca107b5c","datavalue":{"value":{"entity-type":"item","numeric-id":4698363,"id":"Q4698363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50c033f82a46dce57a5a321a1c7cc8d74e1102a5","datavalue":{"value":{"amount":"+0.6995355486869812","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":"Q5108517$4C3CD83E-3899-46BC-A5C2-DCBF2CE360C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5108517","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5108517"}}}}}