{"entities":{"Q2200821":{"pageid":2211564,"ns":120,"title":"Item:Q2200821","lastrevid":73580268,"modified":"2026-04-14T16:31:56Z","type":"item","id":"Q2200821","labels":{"en":{"language":"en","value":"Non-idempotent intersection types in logical form"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7250939"}},"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":"Q2200821$F82FB46D-E365-4DEA-8F19-36D503DD7A3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"826a44135bdfd0133d7b5bed4cf0043971880fd5","datavalue":{"value":{"text":"Non-idempotent intersection types in logical form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2200821$B3BA2D7C-9CB2-4D4E-967D-C495B3E1751E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6537c408ecc51b11deab9e77737cfc9fb1795b5","datavalue":{"value":"10.1007/978-3-030-45231-5_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200821$2CED5EAB-A423-432E-921F-7E006DD60BE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b2a4f692ace663faa44ef268c457b0c011ed01c","datavalue":{"value":{"entity-type":"item","numeric-id":195006,"id":"Q195006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200821$36E18036-BF4A-4255-9EC0-B94393CF1B1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"675a5c487b4c2f0d035548f97f026fe5d0481979","datavalue":{"value":{"time":"+2020-09-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":"Q2200821$0FD127F6-E40A-46B9-9BA4-309A8E1A664E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2977b306f811c2d35a4ed617d09a6d9bd3ab28de","datavalue":{"value":"https://arxiv.org/abs/1911.01899","type":"string"},"datatype":"url"},"type":"statement","id":"Q2200821$7D3D243E-4822-45C0-8B19-244C07825564","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200821$01FAF6AC-776E-4DA6-824E-98FF3DE0FAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200821$8509BE09-9AA6-42BC-A54E-D6723F547BF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3050f4d8f4d86f4f243da7792e5995cf2ee380f","datavalue":{"value":"7250939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200821$0A98EFEA-723E-4DB8-A821-99930C8772C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200821$1889C269-A9B9-40F4-B8AD-35A6A63DD654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200821$58AD73D1-CB4E-4BD6-A4A0-7EE11314A11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200821$F270C2D6-86E6-4714-A993-CE13FDA3FB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200821$AC3F3892-9879-45AD-8573-1DF4BFA7439D","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":"Q2200821$6D635B2E-83E6-4D1E-8CD6-289F1C03EAA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c2abc2ba3a085d9667590da27ccba6fb1e625a3","datavalue":{"value":"W3022089194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200821$2197706A-339E-42A0-B30A-52CA91B87E4C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"94cbe6ca6705b2c8565aedd9e5e49845453438dc","datavalue":{"value":{"entity-type":"item","numeric-id":4580329,"id":"Q4580329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200821$C03AA8AA-1FCE-484E-AF27-76A4DE64C8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19cf1f7cf0461dc347c4976ffc8e3da8d98a45e5","datavalue":{"value":{"entity-type":"item","numeric-id":1971797,"id":"Q1971797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200821$85B7E66D-CB77-45B7-A18C-5DAE7E975A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c65688837f3fe5e8a2a04338ec66a6a3861e52d","datavalue":{"value":{"entity-type":"item","numeric-id":5939845,"id":"Q5939845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200821$FA317F1A-93EB-4F91-9BE0-D93332033822","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":"Q2200821$A045E4B9-1DD3-47E9-8601-D75A05216C0B","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":"Q2200821$889C8E9C-0E8A-4B74-B20D-3D9E600EB8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c99fad36f552f6c9f003614420eedba916456aa8","datavalue":{"value":{"entity-type":"item","numeric-id":4577984,"id":"Q4577984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200821$CC8186BB-4B22-4834-B5DA-7A06C6B58951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f03098e4e1ce88eb9dd426831b61463f3e9e4b55","datavalue":{"value":{"entity-type":"item","numeric-id":418011,"id":"Q418011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200821$348D6644-DAF8-493D-8C31-9F87385BA909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1209cc2519c0798504384b3a297a5def88b5a62","datavalue":{"value":{"entity-type":"item","numeric-id":944386,"id":"Q944386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200821$51A55664-8BD0-4EB4-98AD-F4B3496D9599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1440bde07a53009385a9a173fdd2df129d6e01","datavalue":{"value":{"entity-type":"item","numeric-id":1103618,"id":"Q1103618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200821$AD6F314E-D1E0-4966-85FD-9FA35B657E0C","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":"Q2200821$610A7D8F-64F4-4602-91CB-C2D20342BAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050744ad710b2732fc1db2e9f7bd06de890ca43f","datavalue":{"value":{"entity-type":"item","numeric-id":4274979,"id":"Q4274979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200821$243188C1-D927-4AD9-A356-A797130DA08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15d5a6af42d172b77b05b13c0c63ca4f9ebeb6dd","datavalue":{"value":{"entity-type":"item","numeric-id":2381503,"id":"Q2381503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200821$18E21D57-65C2-46A1-9BC9-E8B314AC4E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74806c6c7bfd8bba72c4d179d3db1c9db43ce8e2","datavalue":{"value":{"entity-type":"item","numeric-id":5089030,"id":"Q5089030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200821$7F9B3883-1DDD-4D1A-87C9-2978AD23380B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a14a996e0f34d6aec88250df446b0d0a0e27f0d","datavalue":{"value":{"entity-type":"item","numeric-id":4644585,"id":"Q4644585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"766685cde8cfa8dcf8f9233b36f9c793cecbfac9","datavalue":{"value":{"amount":"+0.7921667098999023","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":"Q2200821$EF0B1F66-595B-492A-992D-89E4AB8BDE24","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":"ee6414f09e850a9680627321d69b1e071c56aeca","datavalue":{"value":{"amount":"+0.7726405262947083","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":"Q2200821$B1F653E5-1CD2-4223-A514-CAEF11C5D827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b30c4f93427b71219cc6573041f6bbd7265d3225","datavalue":{"value":{"entity-type":"item","numeric-id":4783322,"id":"Q4783322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f6a53d692fdc437e271d4f509b2ea92350880f4","datavalue":{"value":{"amount":"+0.7717950344085693","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":"Q2200821$3EAD0F51-C596-44FF-87EA-62673FB87235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"858618e0b7907e977165de74c7a2f92772f504b9","datavalue":{"value":{"entity-type":"item","numeric-id":2875057,"id":"Q2875057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e95a9875fc8d51528d692df2b0463e464510b318","datavalue":{"value":{"amount":"+0.757043719291687","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":"Q2200821$EEAD4621-E4FE-4BBD-A7D6-60DBF002F7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47c40ebe9954b1b074b265bc98d08c5c1240089","datavalue":{"value":{"entity-type":"item","numeric-id":3510443,"id":"Q3510443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a02541494e8039d9696514500dbf27ccc61582fc","datavalue":{"value":{"amount":"+0.75582355260849","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":"Q2200821$A54E0129-CDB6-4030-B60F-2D293DC1B398","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200821$34249D3C-90E2-4C23-BE38-E5862829E75C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-idempotent intersection types in logical form","badges":[]}}}}}