{"entities":{"Q930868":{"pageid":932716,"ns":120,"title":"Item:Q930868","lastrevid":65459715,"modified":"2026-04-12T02:44:43Z","type":"item","id":"Q930868","labels":{"en":{"language":"en","value":"On strong normalization and type inference in the intersection type discipline"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5292218"}},"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":"Q930868$71354D26-5D99-4FA8-BCC9-CC84E8EAC0D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d0ef35a779830a45fef35a04069ab339fa30ff5","datavalue":{"value":{"text":"On strong normalization and type inference in the intersection type discipline","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q930868$C52BED45-DDE5-48E2-AA21-FEBA815B3738","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f289eae94f4cec51fdeb82b7046502b0c2bae57","datavalue":{"value":"1145.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930868$7F1F614E-49E8-4D58-9016-E75D7E160237","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bd217ce1412a85115d044de2c17df9698399a47","datavalue":{"value":{"entity-type":"item","numeric-id":685357,"id":"Q685357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$1AAB23B4-0EE5-43C3-8E72-ABAB0EFA015F","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":"Q930868$EE8618EC-1AED-4507-B61A-0455963C7811","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1e5c358dfaf7831eeef2b1629a133ab38a6eded","datavalue":{"value":{"time":"+2008-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q930868$7FB20C3A-C18E-4297-A920-23A63D92FD53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930868$58AA7579-9A21-45D2-8D0A-719884FF03F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930868$16AD32B9-1F77-4F8F-BDE0-F8C14E4B51D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f8e68b1cc20ab9dfbbd847b96260a9fe777afa4","datavalue":{"value":"5292218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930868$7FD67081-E948-43D5-A313-BEE41FC5426A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q930868$08F1147F-2D6C-4D47-9AF7-251F536782D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q930868$A8F87E7D-9865-439F-AB29-3C6385FA9785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q930868$5DED73B3-E140-4E55-B350-C2EAA34B1E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q930868$6D845E3A-CD0A-4E78-8EFD-28B43DAEE182","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$8D14F6FE-AB29-4CE7-8124-64C20FF643A7","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":"Q930868$073B8215-076C-4B79-94A7-E2A7E35F1D95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"135c46366b993ae18b1c63123d8199ff98b0a5c4","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.01.045","type":"string"},"datatype":"url"},"type":"statement","id":"Q930868$354DF83C-7121-4467-9E56-0CFB86781BA9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd8dd5ae893a97428c16d62fdc3ba220792597b0","datavalue":{"value":"W2101641000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930868$2C89E375-403A-4D3F-8DC2-85B61FED5E39","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13e2c7bf7641da29d842a6ebdecaddddf4b9405","datavalue":{"value":{"entity-type":"item","numeric-id":4222034,"id":"Q4222034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$4344871F-948D-4C09-9FC0-67903087D79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2164d9f560fc5705ed93dc8247e6a73994bf8ce9","datavalue":{"value":{"entity-type":"item","numeric-id":4281463,"id":"Q4281463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$2C246102-67F5-44DE-B3A1-276F9DD2E434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b59f0470868d890facd258dc61c1d63aa031f33c","datavalue":{"value":{"entity-type":"item","numeric-id":4286211,"id":"Q4286211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$F296DFFD-BDC0-4F89-A727-68EDB7610916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b6ba999253464556d07386a325da245f321d282","datavalue":{"value":{"entity-type":"item","numeric-id":1350344,"id":"Q1350344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$B2371EC4-8F42-4A1F-A46F-FC970F702C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$2BE96C64-5E52-463A-B0B0-853764B78692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$3C19C036-5C05-44C0-92C5-3693CCF79C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3ca398d86991ad9800864d7580dbc9b0085110f","datavalue":{"value":{"entity-type":"item","numeric-id":2842834,"id":"Q2842834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$566A57CE-5210-47E4-92B1-E278D8CB4784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$35A4A1E6-1CEE-4484-9B93-E38E386D3DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f434d785ed24cbcd005c3f7acdcb5c12ab96aa52","datavalue":{"value":{"entity-type":"item","numeric-id":3936713,"id":"Q3936713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$D6EC0662-6165-4680-965B-B504240CD6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$436C5D4A-9A64-4B74-ACB1-61E0471148D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$4B5FF94A-330F-4811-BB9A-33242A96EEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a65515c2e37d29687eab299c05aa46a3d9a3df5d","datavalue":{"value":{"entity-type":"item","numeric-id":4281472,"id":"Q4281472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$EA23101F-B308-449D-B194-AD3DB8A72984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d3aebaf8da132831cb19649a72d3aee168fda54","datavalue":{"value":{"entity-type":"item","numeric-id":1201298,"id":"Q1201298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$62BDD48A-625B-4BA1-B66F-049F64FD71C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a11b849382be2fefcc37617d89bb31e4a381ef","datavalue":{"value":{"entity-type":"item","numeric-id":4522334,"id":"Q4522334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$F06C6562-5255-4F94-BBF7-DFA234FDAF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea5e1a76853670b580e77db2dea30ad1d8b5e856","datavalue":{"value":{"entity-type":"item","numeric-id":4249224,"id":"Q4249224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$6AFFD1D7-DD0E-47D3-9035-29CF177B2ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00e85818f5656fe54cf413d8e22228810b986efe","datavalue":{"value":{"entity-type":"item","numeric-id":1884929,"id":"Q1884929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$E10D1F3A-07CE-4143-AF2E-B5122AA5D795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ff25adea5208a8270d0fd1ca1108688b764488","datavalue":{"value":{"entity-type":"item","numeric-id":2778875,"id":"Q2778875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$8FAFDA74-A89A-4CCC-A1DA-413BA05F31BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$F128DA37-3A9C-42FE-A427-A311779A19C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$58D8B58A-7A4D-43D8-929B-A0480CE0844F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$8B6D5818-8080-40DB-B9ED-C40DA1163342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d7b6afaa91c3a7ade3ec03ca2b5dc4ec389e62","datavalue":{"value":{"entity-type":"item","numeric-id":5178032,"id":"Q5178032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$9286BB19-9514-4413-A0C6-83FA45A7A767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3a6d3de2d0641579f2f15f6dd12355598b82ed5","datavalue":{"value":{"entity-type":"item","numeric-id":3976042,"id":"Q3976042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$004753F5-3B06-4910-AB3F-3BE49A50EA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$983129DB-50DB-4F37-8AD7-36772E3E4B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db9d1ac17655f7d23b5941696fc397faeec07acf","datavalue":{"value":{"entity-type":"item","numeric-id":1286373,"id":"Q1286373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$AF5458F9-1F3D-41AF-AAC9-43A1E4506D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f416b5bcfc200e5c8ed939a8affe19aff4a5498","datavalue":{"value":{"entity-type":"item","numeric-id":1110311,"id":"Q1110311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$CE25C02E-FB39-4281-8C9C-5D639B63E293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68dfc4a44943c6fc1906d97837725b5ac79535e","datavalue":{"value":{"entity-type":"item","numeric-id":790801,"id":"Q790801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$FB863ED5-31D9-44EB-AC54-61487CCA5B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926336abba0524ccb1cb3e54cc99d238b8657591","datavalue":{"value":{"entity-type":"item","numeric-id":4163188,"id":"Q4163188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$319563E6-7CEC-4F7D-B615-9D5F596C9D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197fb31080d07279d6d4e707ba0db8b6fdc07c7c","datavalue":{"value":{"entity-type":"item","numeric-id":1357009,"id":"Q1357009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$C909812F-AE35-40B5-B66C-2757300625B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$1C3E146C-E03A-4E4B-B01F-0562A8E77EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd4384e04df05a6d681d8752a6931ccfe2df646","datavalue":{"value":{"entity-type":"item","numeric-id":4093416,"id":"Q4093416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$FD29393E-0306-4C11-B27F-4355DB97F159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5cf2d41d3bdd3a2e1e9bd55a8cbe561b025c53","datavalue":{"value":{"entity-type":"item","numeric-id":3735687,"id":"Q3735687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930868$D7F53AAE-D92D-476C-88AE-B9680C89271E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1b9cb4c3a9c53265db5f90832bf14b2c87bbaf6","datavalue":{"value":"10.1016/J.TCS.2008.01.045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930868$8E7B6A9F-DE9D-4EB3-A664-399B34A7DBEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de130555eb69cf97ad1ff27332a93c8b10c7601d","datavalue":{"value":{"entity-type":"item","numeric-id":2851085,"id":"Q2851085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e82289080345ae0dd77be5b60752531fc318b460","datavalue":{"value":{"amount":"+0.9191999435424804","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":"Q930868$F58D2DCC-25F1-4CD9-B864-A8935F905754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db2342ed2c626049bdf31040ee77033b181e8e71","datavalue":{"value":{"entity-type":"item","numeric-id":4457448,"id":"Q4457448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d09611f2e7362524747a5f9b83b546398decb93","datavalue":{"value":{"amount":"+0.8776460289955139","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":"Q930868$396CD350-2A45-4280-8446-1A612BCE0776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"268a44ec3a25b73c5d8b9fa3fe2cf2ec7046dee8","datavalue":{"value":{"entity-type":"item","numeric-id":3786467,"id":"Q3786467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3932d5c2f495fb8a3b59b55efedfc3563c201034","datavalue":{"value":{"amount":"+0.8396446704864502","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":"Q930868$4F2B7424-EAB5-4EE3-A9A8-4673259E031C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8627593d274c87dfc4fb4d4324791736791db2b2","datavalue":{"value":{"entity-type":"item","numeric-id":1407502,"id":"Q1407502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cf4d7724b6c0006ce5baee7296a9044c5fbfe4c","datavalue":{"value":{"amount":"+0.8163456916809082","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":"Q930868$7581C19E-56D2-45B4-AA06-FE84A4CEA1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a566b1d6a70d6aeb478a7fbe2b2db3c381d5fcb","datavalue":{"value":{"entity-type":"item","numeric-id":1924327,"id":"Q1924327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d9482a94cb3fa8fb0bc2fd44f632693709cdf82","datavalue":{"value":{"amount":"+0.8102896213531494","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":"Q930868$BC240D2E-2D65-4BAA-B34E-034409D7233C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On strong normalization and type inference in the intersection type discipline","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_strong_normalization_and_type_inference_in_the_intersection_type_discipline"}}}}}