{"entities":{"Q5089015":{"pageid":7118591,"ns":120,"title":"Item:Q5089015","lastrevid":55415314,"modified":"2026-02-17T15:57:10Z","type":"item","id":"Q5089015","labels":{"en":{"language":"en","value":"lambda!-calculus, Intersection Types, and Involutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559281"}},"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":"Q5089015$885A816C-1AAC-4729-AB74-99A1A068B0A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d71615fb71a3a07e792b53a1795eab8ac6d26f1d","datavalue":{"value":{"entity-type":"item","numeric-id":817856,"id":"Q817856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089015$04814A9E-52AB-4807-8143-C23B5481408C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f97058f80ad0e559576a478b1123296489a1948","datavalue":{"value":{"entity-type":"item","numeric-id":817857,"id":"Q817857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089015$F8FF50DB-2A83-4B52-9E8B-AE0EE48692D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcbaae663fdd44dde18d8343056deb33f781162","datavalue":{"value":{"entity-type":"item","numeric-id":688568,"id":"Q688568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089015$D76E1E49-219C-40BA-B719-D42521DB4462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee9771119692ddffd69d111df56f64f5e92dbebe","datavalue":{"value":{"entity-type":"item","numeric-id":556820,"id":"Q556820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089015$9FD9A929-D421-4148-A352-6D3C9CDF751A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8432f88f23f21535a388b135123ce41d5ada4709","datavalue":{"value":{"entity-type":"item","numeric-id":897933,"id":"Q897933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089015$2C5802F9-51AB-42FD-AAEF-D72DBF478ECB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-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":"Q5089015$D18015E1-5769-4BE5-BDAE-0E9AA32D4CDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089015$225DD254-5D81-4EAB-BF19-46515CC59724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089015$584F4D50-907C-4F2B-A973-F403342580A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d580b32492b54184b2de59c6b641f7e95fdba704","datavalue":{"value":"7559281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089015$3DD776BF-0DD2-4634-88E7-D36C5728232D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c19bb9d60800693a3c5f4190bcac9a3b40faa2d4","datavalue":{"value":"affine combinatory algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089015$4AA785DF-1A06-480D-8C09-5D0CAE8D2B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28668d9394329c8bec018b1208c189c34b571a30","datavalue":{"value":"affine lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089015$5C00B3CF-8F51-4D90-8DEE-10C4382E507A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089015$480BEEE0-E34F-40B1-BA2C-614C32118E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76a82277bbe473528241978984f20c76f7f8f712","datavalue":{"value":"geometry of interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089015$8D151F54-02E4-4E1B-BA3A-43E40D264FB3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b687213a8375e65a3248834735a16b100440644","datavalue":{"value":{"entity-type":"item","numeric-id":19254,"id":"Q19254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089015$8253D972-704B-4FA5-B511-C6BCD80A6A17","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":"Q5089015$D64F2363-EA3B-4759-BFBF-BB90B4EDA9FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"87e8f1d3251dc697a715b119d84609f1fde60d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2581367,"id":"Q2581367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089015$2250B837-88EB-4DB5-86F4-0560588D9A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ee5d222aba101a0acbf527c26af2c58471ddfe5","datavalue":{"value":{"entity-type":"item","numeric-id":4792973,"id":"Q4792973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089015$6CD20D5E-8EC1-4A39-8136-40FF9D8DE115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b74ab20e3f34d9d17b4095b9d6f5595f6d6ee89","datavalue":{"value":{"entity-type":"item","numeric-id":4302352,"id":"Q4302352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089015$F7BCF77C-459E-4968-B556-27EDF3428E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889330d43eeabee0fdabbe31695a44bf8742a83e","datavalue":{"value":{"entity-type":"item","numeric-id":556821,"id":"Q556821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089015$E42B98B7-A625-4692-B50E-CB7C8FE83921","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":"Q5089015$E7E41488-9095-412A-B1D2-19C2BD59B014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd5d5afac9275b6814b6e3a2c4bf4bcbeac8844d","datavalue":{"value":{"entity-type":"item","numeric-id":5222959,"id":"Q5222959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089015$9CADEDA1-5AD8-4BC4-A557-B210D1C5AB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"908c2d6d461835203c51e37e45e860349a48c1cd","datavalue":{"value":{"entity-type":"item","numeric-id":2931793,"id":"Q2931793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089015$FE433E25-B3AF-4C5A-99CC-D689E81C85F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8082a0d69a71871ad1ccdc0c78230d77ca7baaa","datavalue":{"value":{"entity-type":"item","numeric-id":5482262,"id":"Q5482262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089015$D51BF990-8173-4DC7-99C4-EFAD7E9957DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2fdd1e5a57a12d3d5b7650b673fae31475453d0","datavalue":{"value":{"entity-type":"item","numeric-id":930873,"id":"Q930873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089015$A960F955-2EF5-452D-94F5-8A1D27D5ADFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e79a3bd9542e910bb8715a49b2eff8ea03cb180","datavalue":{"value":{"entity-type":"item","numeric-id":2958525,"id":"Q2958525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089015$2AA1B164-3AC5-4CF5-834E-1E2734FBC98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1bd80ab943fcd1494b0aadc3e5364b81327341","datavalue":{"value":{"entity-type":"item","numeric-id":3203017,"id":"Q3203017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089015$14B32475-80F0-4F4E-86F4-6BF928DD0FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a3d96665670ba04fa010c756d53babdec44ea88","datavalue":{"value":{"entity-type":"item","numeric-id":4842981,"id":"Q4842981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089015$BAD75EA9-FDAE-40AC-A2BA-F84D22430680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d5c23e3f5f7f6af57b8564d86fdef84705ef3e","datavalue":{"value":{"entity-type":"item","numeric-id":4487270,"id":"Q4487270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089015$8B60CCF9-25A6-4E3F-B0BD-40B011D63E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81397f0345ca4bcad82ce8e3e49409354adbd5f3","datavalue":{"value":{"entity-type":"item","numeric-id":5703851,"id":"Q5703851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089015$E39B262D-5330-4376-AB2D-CB500B57E60B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c7eea22b18ef018499b72d0254e67cf9f36c341","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2019/10522/pdf/LIPIcs-FSCD-2019-15.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089015$1D28DE79-7E39-4470-BEE5-6FFB24EF20F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76c79cb49c630194e468b0c0f0c04a1af776adc8","datavalue":{"value":"W2954585109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089015$8EEA3EE9-502D-4E63-B609-DEB49E0EF0EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8dfc696cfaab330144f67aa4b643e750d1b7ea88","datavalue":{"value":{"text":"lambda!-calculus, Intersection Types, and Involutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5089015$FE3D8776-2C62-4A22-AF2E-E9D12B6DDFE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"775c6b495def00a1c2f4fc64ec3a46a5b6ea093c","datavalue":{"value":"10.4230/LIPICS.FSCD.2019.15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089015$E823A8FC-E069-4277-8358-4B020C82EB1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90a4201cc1d764c512097381b7bcd9b06e593d15","datavalue":{"value":{"entity-type":"item","numeric-id":5222959,"id":"Q5222959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdd1d746f5643bae2f2c75cfad2bead416d53082","datavalue":{"value":{"amount":"+0.887553334236145","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":"Q5089015$1CFF20D3-F54A-4512-81EE-2DB19E3188F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a24d66b790e8bfe1c8aa1b1fb29d83d11908933","datavalue":{"value":{"entity-type":"item","numeric-id":2369008,"id":"Q2369008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bde40042906443be19053849240eae8957c2f6bd","datavalue":{"value":{"amount":"+0.7354211211204529","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":"Q5089015$30F34339-99E7-481B-88B0-2F49DDBD94C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5dffd85f8c92138c40208a85bb346781c2a3a5d","datavalue":{"value":{"entity-type":"item","numeric-id":2851090,"id":"Q2851090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccca30f9a87ee126a32f5e65a9a573669820ba2e","datavalue":{"value":{"amount":"+0.731816828250885","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":"Q5089015$4F090F32-0E46-4864-98DB-E176BF268E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94b5d11f0d4f95aee86083fc2c9905bb3a25cde4","datavalue":{"value":{"entity-type":"item","numeric-id":4924527,"id":"Q4924527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aa9de767aec1ea68b9578e9e94ffd0fbaa9b7e3","datavalue":{"value":{"amount":"+0.7259750366210938","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":"Q5089015$EAE76228-45C2-481B-B27D-719E264379D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"613681e0d19116b2c4f21ce3a48a98dc729429bb","datavalue":{"value":{"entity-type":"item","numeric-id":1887155,"id":"Q1887155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4627646022f3bd744af9c77904aae0085061744a","datavalue":{"value":{"amount":"+0.713921308517456","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":"Q5089015$5EF09622-D444-414E-854A-EC1507E5F00D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089015","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089015"}}}}}