{"entities":{"Q882122":{"pageid":883970,"ns":120,"title":"Item:Q882122","lastrevid":65093211,"modified":"2026-04-12T00:16:58Z","type":"item","id":"Q882122","labels":{"en":{"language":"en","value":"A completeness result for a realisability semantics for an intersection type system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5156497"}},"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":"Q882122$15839F7C-0C2E-44B9-BB33-5D33E80B3941","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e5af6178353590df92aa1927a5f3dc44a1892ce","datavalue":{"value":{"text":"A completeness result for a realisability semantics for an intersection type system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q882122$5F9A40D6-9087-4785-90B1-AE67E7D2FDF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dab4c8a9755ccf2d1f0e1259a78aa7aac384e895","datavalue":{"value":"1127.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882122$9727B2C3-7387-40E2-B928-66BC133BC116","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789e7d13968ff4d1bb0c8502c94008354a07915","datavalue":{"value":{"entity-type":"item","numeric-id":195251,"id":"Q195251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882122$74106F89-FACC-4AA1-A815-B1079944F820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03475eec65c2e868e184cfa393bdf90d107cae1e","datavalue":{"value":{"entity-type":"item","numeric-id":636352,"id":"Q636352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882122$77F2BFBB-E2F4-4C7D-A0CF-18FE72908FB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882122$D97BCC50-1F93-406D-8093-D8E8ECC395BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fb79a3e0bfdcad0d17b112619a3508f5e6a105c","datavalue":{"value":{"time":"+2007-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q882122$82E0B670-0E87-4F62-B59A-330E59B82616","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d687e23feb968bb452fa6562cebeaa0aa7ff4fd3","datavalue":{"value":"https://arxiv.org/abs/0905.0354","type":"string"},"datatype":"url"},"type":"statement","id":"Q882122$D3BDA07B-4FF9-47F6-9CB1-017E9CBE749C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aeca4472c811abf9f0416fa85ab1201c4c3d7acf","datavalue":{"value":"The authors consider a type system with intersection types and a universal type \\(\\omega\\) where any term has type \\(\\omega\\). They provide this system with a realisability semantics where an atomic type is interpreted as a set of untyped \\(\\lambda\\)-terms that is closed under a certain relation. The soundness and completeness for this semantics is obtained using a generalisation of the method due to \\textit{J. R. Hindley} [``The simple semantics for Coppo-Dezani-Salle types'', Lect. Notes Comput. Sci. 137, 212--226 (1982; Zbl 0514.03009)]. Also, the authors find a set of types, called \\({\\mathbb U}^+\\), for which typeabillity and realisability coincide.","type":"string"},"datatype":"string"},"type":"statement","id":"Q882122$E33AE20B-0D8D-4114-8E7F-584E9F0A3B9E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5c634a7a610dc4a60ec0b802b8dd89a79b8a3056","datavalue":{"value":{"entity-type":"item","numeric-id":588686,"id":"Q588686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882122$7B37D439-DD36-4CF5-AC66-14A8F0047656","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882122$647748B0-BC1B-4C2B-9567-44B2777BE228","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e66edf030ec1347b045760e72e81ac2a48fff59","datavalue":{"value":"5156497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882122$236B88C5-53E7-43A1-95FE-5503975F9DBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30dd6521c1da0cd1b9247789ea9341678a2bbb7f","datavalue":{"value":"intersection type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q882122$65047A0E-3FAF-4BF7-91E7-AE52FCA97653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"052f645ca75595742d150f20ed9972514862e750","datavalue":{"value":"subject reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q882122$D925BB68-2260-4640-A447-213FA290A69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbd4b247341d3b664643f2c35b2f86d77a75d62d","datavalue":{"value":"subject expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q882122$9909BAE4-673D-4D6D-84CE-BBD2E6F96C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"678089bab64f26544a4d7e1040529288e766da2a","datavalue":{"value":"realisability semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q882122$4B8679E2-BE68-4F5D-B2EB-8892AE55AA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q882122$2CFFE0A1-1E49-4CEE-8019-EECEC673AD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q882122$D28D1CD6-315A-419A-B80B-B674A203FDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00134f94fae617052450fe78ce4e8e7c792fddd5","datavalue":{"value":"normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q882122$AC779C95-F40F-423E-A3FD-91EEB4BBD9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f91d5e1c7e5123d42b10c6d283795466e243d2b8","datavalue":{"value":"positive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q882122$20635980-9478-4BA8-8C3D-E8A8AAC20928","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":"Q882122$620231F2-249B-491E-89EB-589AACA3E12F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec9e35f90f7bf7047c06be3f6721b7e7a91a6ca9","datavalue":{"value":"W1964013598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882122$2AE17FEB-A95E-4542-B6A2-08F793201430","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba05a0e311e5019f3b9ffe419a12cc76d0b217b6","datavalue":{"value":{"entity-type":"item","numeric-id":2369008,"id":"Q2369008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882122$82B768FE-D891-4B79-9C0C-F76368C40608","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":"Q882122$EED9AFA5-E591-48BB-8900-E7A6D370451A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53659cbe4374fba43669a41966294053efdea479","datavalue":{"value":{"entity-type":"item","numeric-id":3728878,"id":"Q3728878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882122$1BAB6E42-813E-4D6C-B151-470EE5C9802B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1087c5ddf9b3da11077ddfc456e29ae27ac65723","datavalue":{"value":{"entity-type":"item","numeric-id":2851092,"id":"Q2851092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882122$CD317906-6E41-4B66-AD23-21820D3BF1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26c523496c35da0e6172865f48b61d150cadb9d","datavalue":{"value":{"entity-type":"item","numeric-id":3208623,"id":"Q3208623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882122$DB9348FC-36D6-4D48-BC9F-0CFED6904A0D","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":"Q882122$593F0AF8-4B6C-4AE8-B5D5-6FC22533E339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1d50e7abfb3baf92eefbc7accf694fe29ae84ec","datavalue":{"value":{"entity-type":"item","numeric-id":5704003,"id":"Q5704003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882122$164381EE-D0F0-4AF1-9A5D-76F4EE9F8271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89014fdaf1fabd43e47c8e235e2631fcd212f550","datavalue":{"value":{"entity-type":"item","numeric-id":1840460,"id":"Q1840460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882122$E3153861-0747-48D4-AC2A-814FFAA2BF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a549f38ef99bfd672336f5501bd0f7f91ebe41d4","datavalue":{"value":{"entity-type":"item","numeric-id":4219570,"id":"Q4219570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882122$8CAE7599-F5A2-40FB-9256-204EF51D525F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f13839e2eb1c1841ca6e6b07eb6f9393aaa84307","datavalue":{"value":{"entity-type":"item","numeric-id":4389762,"id":"Q4389762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882122$EBE7CCDE-62DD-447B-98D4-2290A661FC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1650ec8986b79af49285234bcb3522e3340bd0b6","datavalue":{"value":{"entity-type":"item","numeric-id":3659755,"id":"Q3659755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882122$B166B3A1-775A-4ADE-B782-2AEF6B305C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"706432819f6cf16b1a37d307080a71755ef9cfa7","datavalue":{"value":{"entity-type":"item","numeric-id":1839242,"id":"Q1839242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882122$6A60669D-42C0-4D58-BEFE-C14186E63396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c81ed1099943aeaeb1f4554d61ae2b7ae45129bd","datavalue":{"value":{"entity-type":"item","numeric-id":1839243,"id":"Q1839243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882122$D42585DA-7003-4863-A7F8-62213435AB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8803c9db4e8423ee7f977ad70e00b4dfff6ef4b0","datavalue":{"value":{"entity-type":"item","numeric-id":5442833,"id":"Q5442833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882122$A779719A-2ED4-42A7-AD53-8B38A35E8FC5","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":"Q882122$C9D569C1-7603-4A21-B5D0-875DE9475E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36687abb2d62ab286c2c8d8ccb605e76981a4fc1","datavalue":{"value":{"entity-type":"item","numeric-id":732057,"id":"Q732057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882122$601C00FC-3C15-455C-89C3-64BD503E2949","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":"Q882122$C32311D0-1185-4079-A325-D6142353F3B7","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":"Q882122$F2A7D3D5-A159-46A1-BC55-CD98F02C4787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a2ded364cc88fce2ea077a5ded73db95a95620","datavalue":{"value":{"entity-type":"item","numeric-id":4737219,"id":"Q4737219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882122$052AC8DA-BCA6-42CE-8789-00D385E69CE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8a362be88b67d7df0c666826b48afd6c73a4877","datavalue":{"value":"10.1016/J.APAL.2007.02.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882122$C852839A-18D3-4C7F-B60D-8017DE83249C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba7c6917a9455ca51f549bd39d4dccf9a6ef30cf","datavalue":{"value":{"entity-type":"item","numeric-id":5505601,"id":"Q5505601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"161639f29be4078c5b3d3af4d9a65de993d0018e","datavalue":{"value":{"amount":"+0.9385444","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":"Q882122$578D24ED-7807-4FC9-A93F-6A8977CC1E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac0a4630bcb45689e60570ff9bb7139f3d99679c","datavalue":{"value":{"entity-type":"item","numeric-id":5958301,"id":"Q5958301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91f0615e41f9acc14a51a4b0e4dc3c2f00a42bcf","datavalue":{"value":{"amount":"+0.9334587","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":"Q882122$B0EF26F9-20CA-4C98-861E-1FFADA84FF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81249822ca9f84e1177c7483b73865ca053b66c","datavalue":{"value":{"entity-type":"item","numeric-id":3179292,"id":"Q3179292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"747e66a4e4d17af0f784718ad47e00c614250f81","datavalue":{"value":{"amount":"+0.9321773","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":"Q882122$04801DCC-FA57-4180-9D3C-6E916050303C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"565e4b3737d792654d3469ad4ab8768df765b615","datavalue":{"value":{"entity-type":"item","numeric-id":4903717,"id":"Q4903717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51b219449085a54afb88b6ec7dcd04c3f678582c","datavalue":{"value":{"amount":"+0.9110435","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":"Q882122$5DA5B41E-3FFB-499B-A8D6-82B3B71EEA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975a1e465d9cf947edf3cb473af5303a9b11bb64","datavalue":{"value":{"entity-type":"item","numeric-id":4903713,"id":"Q4903713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8511b35e9ae05139bfbd6d054c60c8d6e8ae2a7","datavalue":{"value":{"amount":"+0.90820897","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":"Q882122$C66FF319-B383-403F-852F-58D7DDA4E6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2a19025d376cf0dd9730ec44964384f40e3d86b","datavalue":{"value":{"entity-type":"item","numeric-id":3024843,"id":"Q3024843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b32bd9a7302a76eec5fa504db9fa6873de34933","datavalue":{"value":{"amount":"+0.9054654","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":"Q882122$68F966F6-C51A-46E1-8340-9AD3B45C4CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"837409f71ec4128b8b656ea5b8d0913f49cfd6c0","datavalue":{"value":{"entity-type":"item","numeric-id":4903721,"id":"Q4903721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b91f5afdefdeff26046c26c0c8336735366a25","datavalue":{"value":{"amount":"+0.9044954","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":"Q882122$5B9CBB4C-7621-401E-AB69-BA320C6A4A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ec3d686b7e1524012a90132f36b31e908c6409c","datavalue":{"value":{"entity-type":"item","numeric-id":4499147,"id":"Q4499147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"079ba09126545e73c00cd711a1f42069cd74b8b2","datavalue":{"value":{"amount":"+0.89742184","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":"Q882122$EACCCF48-EBE8-4ED7-AFF8-C5AF5B8DBA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbb33f413d4b09584ea7da91f3d3cf2b41bf927e","datavalue":{"value":{"entity-type":"item","numeric-id":385804,"id":"Q385804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6611345b458ab124c933fb4b4b5a746f7e2cdc4f","datavalue":{"value":{"amount":"+0.8947605","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":"Q882122$DA98B308-2F86-4460-BAC0-C3DECCDABFB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A completeness result for a realisability semantics for an intersection type system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_completeness_result_for_a_realisability_semantics_for_an_intersection_type_system"}}}}}