{"entities":{"Q428882":{"pageid":430649,"ns":120,"title":"Item:Q428882","lastrevid":61766187,"modified":"2026-04-11T01:31:29Z","type":"item","id":"Q428882","labels":{"en":{"language":"en","value":"Internal models of system F for decompilation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6049398"}},"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":"Q428882$1F16D34A-EEF0-4D09-ACE0-744B310E9895","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75bd41014684a2ad488c44f8509003b57d52af19","datavalue":{"value":{"text":"Internal models of system F for decompilation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q428882$86E3180D-876F-4F5F-B38D-9D09E98C5323","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5c201b5bf07b8c9322f78cbaae6d89dfc95b8e0","datavalue":{"value":"1244.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428882$8C575C44-5A9F-4F6F-8095-9A827F7745C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b83ed7e99eb27f1c55fbf572cae2ecab18119ca4","datavalue":{"value":{"entity-type":"item","numeric-id":428881,"id":"Q428881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428882$55D01B35-9C08-4D9D-8714-05FB9E163F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26d759a8f15177451aa97ef2fc9836978dfb443","datavalue":{"value":{"entity-type":"item","numeric-id":278746,"id":"Q278746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428882$BA440140-0FCB-46BF-928C-2813BE929D68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428882$335FDF62-3FDC-40C3-95CD-2CAC4139FD37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f72164bd681bf7e905e9de5f982349bc17f0310f","datavalue":{"value":{"time":"+2012-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q428882$D89B62B3-1416-47AC-9E57-950D0A8E6DE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428882$DC10A9F8-11BE-46B7-AB1D-C0D53AC826D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428882$210D4F14-629B-488C-BAF4-598C7555CE20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b08392b286c06805c7195521309742abd398b74","datavalue":{"value":"6049398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428882$CB57F20F-55AD-43AB-A26F-552D3F41F070","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2fcdabc34faec2b0acf7add19f8dba3e97fa0c0","datavalue":{"value":"typed \\(\\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q428882$8B2A13E2-6B13-48B4-904D-66624BE71979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"826cb17a61389397478ca005848e294acb35a0eb","datavalue":{"value":"system F","type":"string"},"datatype":"string"},"type":"statement","id":"Q428882$6E819D80-D91E-4368-9661-54432ED13380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60dfa2866d1589bf025ec3c2683a42a103092066","datavalue":{"value":"semantics of polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q428882$EA6D757A-2CCA-49FB-8581-14B753C091FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"901c6d511d35303a6a968c1174234f4350020c8b","datavalue":{"value":"compiler","type":"string"},"datatype":"string"},"type":"statement","id":"Q428882$20CB4592-6422-4B2D-B730-FC14BFF136EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c0d9da5fe1d637bfa89415cf9141cffd157adb","datavalue":{"value":"decompiler","type":"string"},"datatype":"string"},"type":"statement","id":"Q428882$90C20A7E-2171-4E3D-ADEF-8B938F91F3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae8a6efce72e207a385b011ae686f24bb28eddfb","datavalue":{"value":"de Bruijn level","type":"string"},"datatype":"string"},"type":"statement","id":"Q428882$38EFBC1A-BEBE-49F1-91F8-11172A7BABC8","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":"Q428882$236E1F8B-FBC5-4208-AAAD-E7AB3E61433F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ed790b1b71129ad6cab033e20ee253ea3787c04","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.02.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q428882$1D603FE3-F32B-48EA-A301-3A043BA482DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5df54b4b82519c20a01352daa47970db957709f2","datavalue":{"value":"W2008950540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428882$4EB6904E-38E1-4FCF-875C-B9A76877B947","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ce707e697a20530a92b2f6202364b153c019a37","datavalue":{"value":{"entity-type":"item","numeric-id":5505577,"id":"Q5505577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428882$E5B59C53-C690-4A75-A52F-096EF549558E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82e82702a4b22d98959a9a92cab7d73afcce8a19","datavalue":{"value":{"entity-type":"item","numeric-id":3644739,"id":"Q3644739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428882$A1E3331F-7230-492F-A433-71B37BF383F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba169da5300e1854434b7f89c8efeea407859e4f","datavalue":{"value":{"entity-type":"item","numeric-id":4818938,"id":"Q4818938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428882$44314E9C-D985-42DE-95C6-B54714064349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428882$045952E2-F225-4451-B3AA-27E9561610A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5cb80a3b13675819fa706bffa877a1ebc75b1ae","datavalue":{"value":{"entity-type":"item","numeric-id":1853594,"id":"Q1853594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428882$3DD586B3-D33A-4B1C-8CC9-41188F6ACDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62f07188c1bb9801498dab72b6f622dc7e2912b9","datavalue":{"value":{"entity-type":"item","numeric-id":4405696,"id":"Q4405696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428882$DA20971F-3564-46B8-9C1E-94F021E18A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9611b661b90215b53dd2d8f482c926b9bfe5b8a4","datavalue":{"value":{"entity-type":"item","numeric-id":1826624,"id":"Q1826624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428882$18419270-53A9-4BDD-9C73-01BC9CD09740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20078d69304e2df97ca3f40332c8d92086a6b541","datavalue":{"value":{"entity-type":"item","numeric-id":4179016,"id":"Q4179016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428882$AE2AD6CC-4D7E-409D-B2F7-E5AC6A7E50B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428882$4319283B-FAF7-4716-A831-9565D7D48EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e44b68834c1626dd2908b1f7e685d6d31abf0bbb","datavalue":{"value":{"entity-type":"item","numeric-id":3523188,"id":"Q3523188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428882$4DAAB586-AA8A-447C-B67B-8F0E8FCE56ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7caf2440e82f6e61ecf42115a8cdbb9be04adb31","datavalue":{"value":{"entity-type":"item","numeric-id":5055838,"id":"Q5055838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428882$25ADDC7E-CB8F-4F4B-A5E6-D2255246F73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94cf9631c9e91afb0e168451174422010e0452e","datavalue":{"value":{"entity-type":"item","numeric-id":4006232,"id":"Q4006232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428882$1A8170DA-93A8-4AD7-8414-E03FA047D05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f32e072b62ae8a8febbed4970d6ec11bdb2a4f40","datavalue":{"value":{"entity-type":"item","numeric-id":4205074,"id":"Q4205074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428882$11CADCD7-11CA-4C04-8246-E9F82DE190FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e67f520f5fb52040eac98cfc4bf6c4befe98153","datavalue":{"value":"10.1016/J.TCS.2012.02.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428882$D5857CBA-0EFD-4220-97EC-4C03A7D2A505","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd1badb9efcb9844eca06da02d800c989a5c50e7","datavalue":{"value":{"entity-type":"item","numeric-id":5175771,"id":"Q5175771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b859508b96ebde9666a1a52fc486c6630a775b13","datavalue":{"value":{"amount":"+0.8081175","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":"Q428882$16754E1A-09E4-4D32-8AC0-75D6F98B673C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"877dc855f2ca257564b144fce8a2b9b902da596c","datavalue":{"value":{"entity-type":"item","numeric-id":2961587,"id":"Q2961587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15beb3611f1d175ae81d9dffa823500c15d723ec","datavalue":{"value":{"amount":"+0.8005651","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":"Q428882$F1D9A991-24AB-497E-B806-AFC2449D8CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1275978af42af90ca780c354eb3b4d78b31af793","datavalue":{"value":{"entity-type":"item","numeric-id":4421873,"id":"Q4421873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28f3a0f247832ffff66079743b115a804bf05a9f","datavalue":{"value":{"amount":"+0.7958632","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":"Q428882$15E98157-C5A9-417B-BF55-9D0A69CFB8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04ee3c6eca7ebb1b5981882e3da0bdd5d442107f","datavalue":{"value":{"entity-type":"item","numeric-id":2879248,"id":"Q2879248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fae7be40b3c2e4c7425c87235018f30d989a616b","datavalue":{"value":{"amount":"+0.7874717","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":"Q428882$E28F34C5-7645-4F48-B2D7-E34F5539B8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d1643809c1bca38a65385a05bb76d8f32c10ee4","datavalue":{"value":{"entity-type":"item","numeric-id":287369,"id":"Q287369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fae7be40b3c2e4c7425c87235018f30d989a616b","datavalue":{"value":{"amount":"+0.7874717","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":"Q428882$C60DD1FC-C332-4095-A6D4-7CA6CFEB0C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4b0e08fda8673a3ea7372832fe286dbbaecbf67","datavalue":{"value":{"entity-type":"item","numeric-id":2772664,"id":"Q2772664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0113a96eb31014d3161c207d57d064663405c69d","datavalue":{"value":{"amount":"+0.7858739","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":"Q428882$BF678779-4B1A-4C1A-9C29-03A9CE86CFE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Internal models of system F for decompilation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Internal_models_of_system_F_for_decompilation"}}}}}