{"entities":{"Q2842843":{"pageid":2853563,"ns":120,"title":"Item:Q2842843","lastrevid":51801839,"modified":"2026-01-20T03:01:27Z","type":"item","id":"Q2842843","labels":{"en":{"language":"en","value":"Intersection typed \\(\\lambda \\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199146"}},"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":"Q2842843$7E2966BD-B155-4740-BA90-B411508AC58C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf6800d6601eeeeea06b0d738f19fcbaea70e815","datavalue":{"value":"1270.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842843$E7994E5F-53E4-4C0A-A78F-45991BF4F227","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86fdbbf7af2c40296822316cbd56947404909d1d","datavalue":{"value":"10.1016/S1571-0661(04)80496-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842843$C7583978-6913-493D-82D0-2463F1220761","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842843$5B192DE1-3175-421B-A94F-0C1B6C34EF0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5e3c44c746061bd0bf2a18d344466d7ceacfe1d","datavalue":{"value":{"time":"+2013-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842843$5CD8E402-CE8A-4B8C-A088-9352F18DDCEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842843$5FE9D749-FE30-49F5-8272-0DECD0927903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842843$78CF056D-829D-42E7-818E-4401F09E60A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ef25ed4ec76da075b85888bfda24e4144d3488b","datavalue":{"value":"6199146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842843$25C96414-A5A7-4030-B4B6-946C0C60C2B3","rank":"normal"}],"P16":[{"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":"Q2842843$19C30FD6-4931-4E12-9D04-EC98A8FAC1E7","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":"Q2842843$7AC499A5-3D38-4413-9559-539A539636A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842843$41BB4ED8-DFDC-442A-963B-B4D140DA45D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d4fe919d519c3402703ac6aadb4151e37dd4e01","datavalue":{"value":{"entity-type":"item","numeric-id":1841429,"id":"Q1841429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842843$21A98F31-DE35-433A-AF82-B895F4565BBA","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":"Q2842843$B05CD405-4602-4CD6-95CB-DFB8DCFF6C33","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":"Q2842843$48836D73-A32E-4EC8-A980-BF6F53476E62","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":"Q2842843$ACE1B45F-0446-45CC-AAAA-06D67DC42A9E","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":"Q2842843$AFBBF893-1346-4A7F-8B1D-77DA85959A85","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":"Q2842843$92702FB1-5B31-4DF0-A5FF-C9FCE1480DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"651f3e68212cf82e01b75ca21e84f0e708df24c6","datavalue":{"value":{"entity-type":"item","numeric-id":1193654,"id":"Q1193654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842843$14051C13-FF0D-4B71-BF52-BB81AA51D94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2c30f25ec3cfab62eb3585cc72cd5d0d7469b4","datavalue":{"value":{"entity-type":"item","numeric-id":4291035,"id":"Q4291035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842843$9DC74DB6-2716-4586-88B1-71470A820BC4","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":"Q2842843$6CF148D2-80CF-4A10-97AF-9966401648FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60c1bc29c9c31754ff85fa79ab266bb2ebcf0507","datavalue":{"value":{"text":"Intersection typed \\(\\lambda \\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842843$DD66510A-63B5-4B17-AE0B-57F90BE87838","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b65cd5c5585f465ed8a880fa1acebbb85338c0","datavalue":{"value":{"entity-type":"item","numeric-id":2381503,"id":"Q2381503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba6d44b4af01ca43361856c9cf14435e3ee71105","datavalue":{"value":{"amount":"+0.8674615621566772","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":"Q2842843$DE2BA003-77A6-4DDB-9652-4112E32687C3","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":"9207748029e0e67dbd099d38757316d3af662d26","datavalue":{"value":{"amount":"+0.8559454083442688","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":"Q2842843$F26E0C92-2E27-4B62-BAF2-57AC3644BD27","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":"7c2204287723a612ded82b31f10edd7420db0445","datavalue":{"value":{"amount":"+0.8534942269325256","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":"Q2842843$C003A59B-C9F6-4C5D-9973-449578F840F7","rank":"normal"},{"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":"b3e1f50de0c5b7f7a625d55e74363ccb8137fc0d","datavalue":{"value":{"amount":"+0.8498443961143494","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":"Q2842843$D1FDC35A-7462-446A-9E2F-5F29F1680D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83fcf329f5684b3ff495be129eed4fab6a8f2699","datavalue":{"value":{"entity-type":"item","numeric-id":930870,"id":"Q930870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fc1d9cd2cbb09fc82a9ddbb172a60b0386be60d","datavalue":{"value":{"amount":"+0.8373879790306091","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":"Q2842843$5A319947-4D88-42DB-9FE2-DB6A93159A96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2842843","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2842843"}}}}}