{"entities":{"Q4644585":{"pageid":6674166,"ns":120,"title":"Item:Q4644585","lastrevid":53313599,"modified":"2026-01-24T17:18:36Z","type":"item","id":"Q4644585","labels":{"en":{"language":"en","value":"Non-idempotent intersection types for the lambda-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6998021"}},"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":"Q4644585$783C2B5C-241D-41C1-B31C-55D4A735F773","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46ebc885521bb8c1fad3ae797000079c44b441f9","datavalue":{"value":{"text":"Non-idempotent intersection types for the Lambda-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644585$B7DFD9FC-F4F9-4607-9E13-4786C940D8F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"568ec126f9e07a28d87c46e5aef28716fcabb5ef","datavalue":{"value":"1405.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644585$9C91C252-C4C0-4B06-97F1-89F6F075190A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1fd265ad2cd77bb56c0b60cc46c3c7530dfa4e0","datavalue":{"value":{"entity-type":"item","numeric-id":195005,"id":"Q195005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644585$A556B030-2FA0-4C7B-A5D1-8F10F63B8763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1dca62213c403be08a72765d5013cff559684e6","datavalue":{"value":{"entity-type":"item","numeric-id":654905,"id":"Q654905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644585$113D0C6A-5629-47FF-B6E8-1A7DCD912C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0039c5621955bbc74d242640f4d66a8ecad290b3","datavalue":{"value":{"entity-type":"item","numeric-id":1643144,"id":"Q1643144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644585$39D91E90-0BEC-465B-A438-DD67B23ABBD6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644585$F72EC74C-3834-4392-93C6-3FC2FD93C5C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34ad1c5244615701b343bddfc2f0d0c1bd63f8ab","datavalue":{"value":{"time":"+2019-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4644585$099F5C49-F3EF-4EA3-AE91-DB89A071C158","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644585$8E0C400A-14BC-40C7-8D53-3538DB175AA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5f0b1328a4a98a91cc2156df47e6a19cecf9cdb","datavalue":{"value":"6998021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644585$50B794D5-20BA-4FDE-9FC9-D1A7653035F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644585$3010EDEB-F6FC-452B-9770-FD1609F83D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644585$6432F2C3-6158-457C-A632-CDC4CBF2070B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6557f96c7331af6f8acbd886ca6331ad8977db4e","datavalue":{"value":"quantitative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644585$935F6757-2C1A-41E1-A8F1-539DF254C639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a65efa19a1afb8e3c4cd832f090fd9764fcfdc0d","datavalue":{"value":"normalization properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644585$D9DC7608-15AA-4F94-A283-BC2D09DEC25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccf8d5c300db75bb054626bf241ffbaa2fde446b","datavalue":{"value":"inhabitation problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644585$B50CE3DD-A78D-48CB-A638-8B147D877CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c51cf925ba6fa31daf1d9ec9d2cd203492fb59b","datavalue":{"value":"principal typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644585$F08AC464-2033-40A7-A458-4F1873A64A0F","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":"Q4644585$ADF8480F-3D1B-45E4-8101-C97D45F1C085","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"207d2b29a01d2e4c79314b04a3ff36c47d1626ee","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzx018","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644585$3A845C3A-EA73-4926-AD75-AF9F5801F5D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b50e508f20550cf29386134f84165c661cb16816","datavalue":{"value":"W2760585651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644585$8C3D4331-4593-459D-9A9E-0BCF085FCFB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c07120a78be42b5459238e3b6a040e2f84ea575","datavalue":{"value":"10.1093/JIGPAL/JZX018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644585$3F0A5B1E-6063-4BB8-9AEA-CB3B0AFED482","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a42cb534fb8531c56531c4f91c9dba294869cc18","datavalue":{"value":{"entity-type":"item","numeric-id":4405687,"id":"Q4405687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"942f8ad5bdb2c4491906725ef088d093295277c4","datavalue":{"value":{"amount":"+0.7895629405975342","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":"Q4644585$E666ACF4-6DBC-4657-B985-CEAE284AC15A","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":"84259683cbf825aa39cff20464a61b90a849dcc5","datavalue":{"value":{"amount":"+0.7884385585784912","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":"Q4644585$B364734E-99FC-40FE-8AFB-F65540F6B15B","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":"830895b4224a7e497fe73048cc169f3db6c87d9d","datavalue":{"value":{"amount":"+0.7727059721946716","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":"Q4644585$9E342B4C-1DCD-489B-BCEC-8313A5358364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f80de2c067997645fc3a69a447c2b4d09f8eb3a","datavalue":{"value":{"entity-type":"item","numeric-id":3000601,"id":"Q3000601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b3ff98083f97503319b0b57f2f761b895848432","datavalue":{"value":{"amount":"+0.7683767676353455","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":"Q4644585$0DDDF2B3-9E05-4CD5-9F38-4A41243A329A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b7425bc765e0a067664af8d4ec0a87045956ca","datavalue":{"value":{"entity-type":"item","numeric-id":2851671,"id":"Q2851671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3128902cc1c77b0c38896b23c94329e5c28704b","datavalue":{"value":{"amount":"+0.7679359316825867","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":"Q4644585$AF7C8013-FCE2-46CB-9E9D-FE26741A8974","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4644585","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4644585"}}}}}