{"entities":{"Q2381503":{"pageid":2392246,"ns":120,"title":"Item:Q2381503","lastrevid":72664962,"modified":"2026-04-14T06:23:08Z","type":"item","id":"Q2381503","labels":{"en":{"language":"en","value":"Intersection-types \u00e0 la Church"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5191625"}},"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":"Q2381503$91E6807E-57B9-4CAB-BA5A-8BAB9B7A8F0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9bee9b56258e16c287cf122a180843bb3ab70ff","datavalue":{"value":{"text":"Intersection-types \u00e0 la Church","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2381503$AD6A4A42-E2C1-488E-9836-5A70D08032F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b19968d05fd7869cacd2651e6ff1f7f0006ed8c","datavalue":{"value":"1125.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381503$3F4F3110-1526-422E-8756-D9190736893F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84b1829080916ca34a6287f584b653442826b5b3","datavalue":{"value":{"entity-type":"item","numeric-id":930883,"id":"Q930883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381503$B8FA8B96-D67F-4D88-B0A3-81E15D7E0EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5548a7b3c7ed4d552de9e4afd56242ea9f22139","datavalue":{"value":{"entity-type":"item","numeric-id":1198660,"id":"Q1198660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381503$B196BE0E-B4FD-4D1B-9705-8F61375F5515","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381503$8989BBD3-3AB0-45A6-819D-6EE7842D541F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3427f56d08c951df09e6b7c5aba2137c7bb94a11","datavalue":{"value":{"time":"+2007-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2381503$2DF8E2C1-AB84-4916-9AFB-8ED79814B2B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a32836e1531358efb0aa14301a3698a1d4ca0c8","datavalue":{"value":"https://hal.inria.fr/hal-01148282/file/2007-ic-07.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2381503$4F18BDD2-3FC3-4136-BA7E-04EF09D964E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381503$22F46356-CA26-4676-8388-E8CFBBAD114D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f52c780d5e6e727e302953a3e5aeb2c6fbc4322d","datavalue":{"value":"5191625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381503$7DA469EF-87D9-472B-8BC4-45C833BCF5EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39ca00e66f4d24c946ce5eb0ef7d2913b6342c50","datavalue":{"value":"Logics and intersection-types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2381503$77354E6A-04CD-45C4-AA84-8ABC186B2B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b305048db304b9e530982da340b1289b5e7d5a2","datavalue":{"value":"\\(\\lambda\\)-Calculus \u00e0 la Curry and \u00e0 la Church","type":"string"},"datatype":"string"},"type":"statement","id":"Q2381503$5E9D9900-A65B-4C59-B377-15C4DB84A3CF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5bbf77f7f6056d0e55fac094035de7178400fc7","datavalue":{"value":{"entity-type":"item","numeric-id":33175,"id":"Q33175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381503$61605926-102F-4D5E-9E76-09802A8792CE","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":"Q2381503$84200684-412B-4D96-97DC-531D618E83DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a56172bf0ec4b8a72311672534f3e08d1d3b6361","datavalue":{"value":"W2042823881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381503$C1871A08-315E-4A21-AB87-21CA3240F8C0","rank":"normal"}],"P223":[{"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":"Q2381503$B2DFEC30-B0A8-4008-A111-3AE6F25473F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc0343de839be7c5c59920ec739c50db8afa672","datavalue":{"value":{"entity-type":"item","numeric-id":3221961,"id":"Q3221961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381503$7AB92AEF-CBF2-4F8E-9AA1-F067871FCA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbafce0e0473ac590923b4448ada51c0f5813987","datavalue":{"value":{"entity-type":"item","numeric-id":1365249,"id":"Q1365249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381503$657F758E-72F5-4D37-96AC-20CB70863F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af1648bdcfaee094ba2a2bd47f6ddea0e5fb136a","datavalue":{"value":{"entity-type":"item","numeric-id":4916178,"id":"Q4916178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381503$BC63A02F-2AAB-4FD0-85F7-A2404A17BBBC","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":"Q2381503$707D8DA7-99BB-4470-85A9-952CD5D98770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef1800e8bf2200f74fee53569f33dd921cbc5e0b","datavalue":{"value":{"entity-type":"item","numeric-id":4699351,"id":"Q4699351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381503$2D1A1102-5E26-4A65-805D-88FFD84555B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a617080dd13aff3798a44628b7edcbf9f79a272e","datavalue":{"value":{"entity-type":"item","numeric-id":3142164,"id":"Q3142164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381503$3326EC0C-52FB-45B3-B1B8-A805EBD29DDA","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":"Q2381503$3CC8DFB7-9454-4B3D-A1C6-B1893B5A6950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e650bcd8ac2cb860c8b65a185578a9fb209a5849","datavalue":{"value":{"entity-type":"item","numeric-id":787128,"id":"Q787128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381503$35D8705C-6095-40CD-AC6E-59634034DD12","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":"Q2381503$B36D80E7-F3D5-4EB1-B7AF-85C25CE90709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb3d6e415993a24834eb6711faa6c314c6b40a4","datavalue":{"value":{"entity-type":"item","numeric-id":4764619,"id":"Q4764619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381503$A780F4BA-B445-424B-86E8-F30B4E2509A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbce5de4c77185caa8d7bc5b184a55acd88d3bf7","datavalue":{"value":{"entity-type":"item","numeric-id":2842843,"id":"Q2842843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381503$3B3B7775-F389-4E20-AF0F-4549B9FB9410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c01a3a60293b8dcee3f22c6ba500443234c547f6","datavalue":{"value":{"entity-type":"item","numeric-id":4783322,"id":"Q4783322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381503$C2910751-9EE0-4590-A536-99FCA7DDDB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20042831b1f6c6ecd30f7c56ffcc730575175375","datavalue":{"value":{"entity-type":"item","numeric-id":4542147,"id":"Q4542147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381503$C24C3B85-9337-46DC-958E-B66F010056FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b829e11b7e086e434ca5f59894bd994b3f0b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4738350,"id":"Q4738350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381503$E6B65C36-EE76-4E4F-883C-52A012FEA3A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb3cb842da7aea8ec63a376d46969ef4bbda5436","datavalue":{"value":"10.1016/J.IC.2007.03.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381503$736A7B69-11B6-44E1-A09A-DCADE1D26489","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b58e657fa108ec92890277c2cfa9da6365ccd0e","datavalue":{"value":{"entity-type":"item","numeric-id":2851086,"id":"Q2851086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4273bfe72e0b67c13814d9964a4ddc6dccef1e8d","datavalue":{"value":{"amount":"+0.9485538","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":"Q2381503$1453C658-69D2-446F-BDA8-C1076257561B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be203ed5abb688a0620236e2ca983819edec5435","datavalue":{"value":{"entity-type":"item","numeric-id":5145614,"id":"Q5145614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b43940cd6c9243672461ce866fcacf90d552c384","datavalue":{"value":{"amount":"+0.8826212","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":"Q2381503$BCFC7759-C985-45B3-BE8C-E4754ECE0D2F","rank":"normal"},{"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":"2e7f2cb71c2dd5ee8993f2aec1508d7dd66a87c6","datavalue":{"value":{"amount":"+0.8742541","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":"Q2381503$BA89B39F-62F6-4C94-A9BB-370755D213BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a08dc9b4720d56ced47fae58521d24123f5abf1","datavalue":{"value":{"entity-type":"item","numeric-id":6176571,"id":"Q6176571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"665919064c20678dbcd0d13adf2f4e582036c95c","datavalue":{"value":{"amount":"+0.8707055","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":"Q2381503$22F5F84F-E8D7-47B8-BA12-C14786911C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e358532b076d3c4c7bcc86a5f82150aab23d78d0","datavalue":{"value":{"entity-type":"item","numeric-id":2946613,"id":"Q2946613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f33474df2e83a300abd370c7df2b72e065bc1223","datavalue":{"value":{"amount":"+0.8699643","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":"Q2381503$5438FD63-ABFB-4C8E-9409-4769EC7016B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62e324c09dae048cf69fd55bf4e676d247d7e736","datavalue":{"value":{"entity-type":"item","numeric-id":3540197,"id":"Q3540197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f33474df2e83a300abd370c7df2b72e065bc1223","datavalue":{"value":{"amount":"+0.8699643","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":"Q2381503$5770CE55-09E1-4269-AC0C-231F427F4943","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":"493e9b114f10cfa37676758fc8948b382ebabd3a","datavalue":{"value":{"amount":"+0.8693281","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":"Q2381503$D2D9A07E-1C50-4A0E-84CA-78C48AC5ECB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd9554e151a38f401b9e380bfdf8430f12c143f","datavalue":{"value":{"entity-type":"item","numeric-id":1201298,"id":"Q1201298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85c970360f39b1c64cec5b6895c9bc8b831bd6bb","datavalue":{"value":{"amount":"+0.8686226","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":"Q2381503$DBFA1F81-BC56-4AD3-B30D-00EC95C63922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6685c10b9067ba95d021418fc8e7b3825524dbc0","datavalue":{"value":{"entity-type":"item","numeric-id":5369484,"id":"Q5369484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8da22fa758291f5d847cce0d95f33eba91d1bfc7","datavalue":{"value":{"amount":"+0.86756045","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":"Q2381503$606DF8E3-BC10-4153-958C-89A942C36C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3bcec2300d72928343a038cc29924b55117a92e","datavalue":{"value":{"entity-type":"item","numeric-id":4708431,"id":"Q4708431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71938d07dc73ba69a054793c4e578336902a5083","datavalue":{"value":{"amount":"+0.8673929","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":"Q2381503$024AFE7E-E775-4E80-B455-DD9EDF8E3B61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intersection-types \u00e0 la Church","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intersection-types_%C3%A0_la_Church"}}}}}