{"entities":{"Q5030188":{"pageid":7059765,"ns":120,"title":"Item:Q5030188","lastrevid":54225542,"modified":"2026-01-26T12:16:13Z","type":"item","id":"Q5030188","labels":{"en":{"language":"en","value":"Termination analysis for offline partial evaluation of a higher order functional language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7474224"}},"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":"Q5030188$62962DD1-B5F8-4850-9578-E096997E10D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8f178525c095d5bca6bec3c5fd9366e185735b5","datavalue":{"value":{"text":"Termination analysis for offline partial evaluation of a higher order functional language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5030188$FE44641F-0429-478B-A6F1-1CA07699A5F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5e9dcc283e7efe2f6e1e3052f2686a16e2d1315","datavalue":{"value":"1483.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030188$ECDD55F2-6EAD-4BE8-9DA3-43D4E1054F0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"baef66cd978d4e010c9cc9af076a2fdc10b3ed15","datavalue":{"value":"10.1007/3-540-61739-6_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030188$5EDE310A-9A17-4CC2-B05D-2D5469276A81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b233bace0040ec2f39b2878e772f8dcd76a3325a","datavalue":{"value":{"entity-type":"item","numeric-id":4951173,"id":"Q4951173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030188$B87A7042-E7B0-4C50-8F14-4059CE1A3E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef60aa3a19b565f254c3af897100fe892796ab03","datavalue":{"value":{"entity-type":"item","numeric-id":5030187,"id":"Q5030187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030188$E38770B9-9F72-49AC-811F-4574DA343227","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030188$A3B2A178-08F8-4053-A7CE-C38C3A94D014","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89ff05e6058196d79b1d3d881c249dcdb95e15a7","datavalue":{"value":{"time":"+2022-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5030188$10D1A6B2-1C81-4FC1-850E-665A29DCB8FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030188$CB427EE3-BEFC-4928-B616-D403BD1348A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030188$02EB9C39-1CB4-4595-B1C6-78466558A949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030188$4FA2677B-E6F0-4BCB-973D-7E48676A0912","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aea95570c5d5f427a88f6c52f8759c3baf8623eb","datavalue":{"value":"7474224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030188$FB9B43FB-86FA-4D9C-8E7E-6D296ED32F23","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc31ada3e3f12a74e618e5c1565ffae33b3f6f70","datavalue":{"value":"partial evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030188$A5B197EE-A518-4D8F-81C2-4E68FC1E0C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030188$F821EDC8-D0A5-4449-BF32-111756845178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030188$6B9BFE5C-F40C-4638-886D-28B1EB534021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41e2d7b9a6b707f9abc9fe7ac068c4b055066188","datavalue":{"value":"size analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030188$76682BF1-5315-42FA-8E10-0CC308CD645B","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":"Q5030188$84BCD1AB-61DC-4DB6-8D3D-DCEE4CAB572B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33c3afc441e5877c9ab529cc00ccd1b0da02791b","datavalue":{"value":"https://doi.org/10.1007/3-540-61739-6_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q5030188$D56BAEC8-F726-4C48-98A4-E18876DB86B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f55a7e964fb22ccea963cc56a8e55cd3bdc7b8e","datavalue":{"value":"W1563764837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030188$A5894FB1-48AD-486B-9575-ED131292CF55","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cbc201392d5ebe0aa970e49ed03648e42c93eac","datavalue":{"value":{"entity-type":"item","numeric-id":3255349,"id":"Q3255349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030188$B02D1EA0-94BC-4804-AE3C-EA5C50467A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b883aef2f89b9929efcf17e4c0c45eb5680b0008","datavalue":{"value":{"entity-type":"item","numeric-id":3922128,"id":"Q3922128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030188$D860591D-E669-401B-BE40-15AEA50559C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030188$D6CEF52F-B1D7-4CCA-9D67-2F76F8722183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030188$A58518F9-AF7E-420A-BAEC-7F439382CA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f4e251d3bca19894c0403fbc65c0e37e0e1694b","datavalue":{"value":{"entity-type":"item","numeric-id":4951174,"id":"Q4951174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030188$A1088F4A-09BA-4C61-A9A4-22463AC59D2A","rank":"normal"}],"P1643":[{"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":"6c57383ab7b7aed4f6e8dc8333fd12b9b9132b8a","datavalue":{"value":{"amount":"+0.9931312203407288","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":"Q5030188$5E17237F-A817-465A-BED8-B98FEAF3877D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bded158b29f8e938e4eb94d0f8e2e479a7e78e77","datavalue":{"value":{"entity-type":"item","numeric-id":4411980,"id":"Q4411980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aca19c813084caf5374a5a58a1491d9b0f7f562","datavalue":{"value":{"amount":"+0.7887518405914307","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":"Q5030188$B16849B0-FB5A-4B77-88DC-F1AC6AC4D11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb7db53ae5dfe42e2941ee36e1113e1a4338c18e","datavalue":{"value":{"entity-type":"item","numeric-id":5493392,"id":"Q5493392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2c3498a2f533f7c35fdfc09b1ae360ed5fd0c6d","datavalue":{"value":{"amount":"+0.7806772589683533","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":"Q5030188$D24BA346-C648-4B84-89A6-929E94B24EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beb8868a11d6a2e1cd44f77770654d27aa9422f4","datavalue":{"value":{"entity-type":"item","numeric-id":5030190,"id":"Q5030190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565f3aa7fda9661c5ea38631aa00cf922caca02b","datavalue":{"value":{"amount":"+0.7716124057769775","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":"Q5030188$256E6958-3910-41AB-885B-1B7E788F1CA0","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":"ecb488f6b6b72e5e3e8dd10da0a2da0f28d0cab1","datavalue":{"value":{"amount":"+0.7699486017227173","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":"Q5030188$284DE098-922F-444E-8B03-D5EE4C0CB554","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5030188","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5030188"}}}}}