{"entities":{"Q5178029":{"pageid":7207601,"ns":120,"title":"Item:Q5178029","lastrevid":94383239,"modified":"2026-06-05T06:40:12Z","type":"item","id":"Q5178029","labels":{"en":{"language":"en","value":"Translating dependency into parametricity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6413041"}},"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":"Q5178029$B021FD3D-4845-4C01-B418-0C5E3CFC0FB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfc765b868537253e19053aa91d6e0caca92659f","datavalue":{"value":{"text":"Translating dependency into parametricity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178029$64A157E7-5542-4608-BE4B-92E93EC4F8D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd99b8d08e87adca6c88005dc9d0d373a841307b","datavalue":{"value":"1323.68168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178029$D462D205-CC9E-444C-8E67-302CA336D30C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0411c894fb427c77a9e4430b5a08b855504c4f37","datavalue":{"value":"10.1145/1016850.1016868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178029$3368BD34-1AED-4BAE-91FA-62AEEB230BC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26db9ecbf794a89a728da7791297209bc4d22f98","datavalue":{"value":{"entity-type":"item","numeric-id":5178028,"id":"Q5178028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178029$5A5F248D-F6D9-4819-8AF8-8849ED56402E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"009b7b8cbfea2fbcb395e57ee3935b49b0504fc8","datavalue":{"value":{"entity-type":"item","numeric-id":276493,"id":"Q276493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178029$2ED9E7EE-051F-4A5F-8D9B-E2833A2B2618","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f33a483a1a2d9de990034c7d88e54d11356b8521","datavalue":{"value":{"entity-type":"item","numeric-id":5178016,"id":"Q5178016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178029$444D3C69-3FB5-4759-B3F6-ED1D644D8A4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19529df7d3312773fdd8684f0485c293d53ec310","datavalue":{"value":{"time":"+2015-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5178029$696CF82E-85E9-4635-B4F2-8E64A70A6F7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178029$A2747D87-45B0-4D67-880B-5ED641C59407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178029$AD6C0532-F33B-4842-86A5-B5C50A857A8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a8f252ed41e121500b7524d31ee6827a20eef85","datavalue":{"value":"6413041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178029$D3578ACA-5A75-4F70-BAC6-23529363436C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d87505ccafc725317493fe58c9c75e1a356cd43","datavalue":{"value":"DCC","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178029$F5AD493B-E90E-40B5-BA4E-F27E649AAA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178029$0540576A-9EA4-47B3-826A-B827878FFE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"662b5350184818158d059bf43c917345a3d5cf34","datavalue":{"value":"dependency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178029$1D674916-4DCB-4E24-91E2-D64E482C9CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f443739aaf47befb8de516f78c7b4d8d4b14ff9","datavalue":{"value":"information flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178029$2DAD7E30-BFDA-4377-B676-17BEDFEC548E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178029$C2A7EAFF-7CA1-4CA3-BB3B-4505BB0DA4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178029$0CEF6CA1-3A7C-4EB0-9A31-ED551674ABCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178029$5EF46E30-F59D-4BC4-833D-3F881636BE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61870c981b19bcee212c9c2ebab0264994cbe384","datavalue":{"value":"noninterference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178029$ABCFA11D-F5BD-4D53-9E35-F32482E16A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe810434f585fa0203aea78467c3725c30107f8","datavalue":{"value":"parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178029$AB67F256-7FE1-4D35-ABE1-0E188D374FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178029$8687E784-72BF-4387-9BE2-D1EA9184EBE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f47f21c2e75f59260a1c785948182d102d704d38","datavalue":{"value":"protection contexts","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178029$8B2D6DE3-C65B-4D2F-A085-E1F6282BEE20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178029$7129958C-F64E-477C-8E36-7E09BED5F31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a6728e50cbaca75cf287bc48ae14f636315ae3","datavalue":{"value":"translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178029$3053792F-EC86-40A8-8A57-3E8FEB1AFAB2","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":"Q5178029$439E9CFC-ACB7-4C40-B05D-2882AFD4FF43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca41809a2134b94f4be7dc7cf59ae0e8eb36d53f","datavalue":{"value":"https://doi.org/10.1145/1016850.1016868","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178029$A44D2954-ABB6-40BF-9369-0BB9BA825E53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2c170c89c675f760934a269b5ad0ea8cc42d73e","datavalue":{"value":"W4235129884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178029$060785A2-FDCA-4783-A61C-4277852E60A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9c21b271818658ecfcea30b92406f966b0fff0d","datavalue":{"value":{"entity-type":"item","numeric-id":2981948,"id":"Q2981948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b820fee834871c08ede28df8f8e640f412f424f","datavalue":{"value":{"amount":"+0.8679200410842896","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":"Q5178029$4FDC2630-BFA1-4E13-97FA-8A138DD39A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3017708fb6e27394e9d16081f39b4713d97270c9","datavalue":{"value":{"entity-type":"item","numeric-id":4738359,"id":"Q4738359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d97ae2a633a9bd4225e29ac45376d56bd279c576","datavalue":{"value":{"amount":"+0.787028968334198","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":"Q5178029$DA2C74EB-2633-4874-95BB-DAF17751E3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64695bbc48a25a4fdba281044ff7c8a7bd78cdb5","datavalue":{"value":{"entity-type":"item","numeric-id":2864145,"id":"Q2864145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4b5f344773bc4493ea8202e5bd7637cd6497510","datavalue":{"value":{"amount":"+0.7609276175498962","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":"Q5178029$C6B07FF5-7F8C-406F-930C-56A8AE19254D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"966ae02883a5ac1998d54d9dd2ace67cc5b382be","datavalue":{"value":{"entity-type":"item","numeric-id":5501474,"id":"Q5501474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3027dc91d4575296f785214d5d70f3e9d5b49fc","datavalue":{"value":{"amount":"+0.7608838081359863","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":"Q5178029$68E92225-162D-4E7D-BD6A-F9CF507BA1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59780e1bc88df251db34eaae7866da9dea12755c","datavalue":{"value":{"entity-type":"item","numeric-id":5176953,"id":"Q5176953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7e636e5f124a78eea62ba7dc43f24a46c7c4269","datavalue":{"value":{"amount":"+0.7408149242401123","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":"Q5178029$EDD27964-94D0-40C6-80A9-4670C9A93D2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Translating dependency into parametricity","badges":[]}}}}}