{"entities":{"Q5958291":{"pageid":8135093,"ns":120,"title":"Item:Q5958291","lastrevid":97724912,"modified":"2026-06-05T15:18:05Z","type":"item","id":"Q5958291","labels":{"en":{"language":"en","value":"Intersection types for \\(\\lambda\\)-trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715292"}},"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":"Q5958291$3823A0C5-9CE0-4416-8C95-F7A2449D1626","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7137114b3c7ee5f787d1379dc4d699adeeadbf1e","datavalue":{"value":{"text":"Intersection types for \\(\\lambda\\)-trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958291$8168830D-08B7-4DEA-8371-5D5DE4B6A9E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a793255a868d3421cc3d918783c51153e6e03c32","datavalue":{"value":"0984.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958291$A75C296D-989B-45B6-BF79-06666F192B20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0b0befe7606aed73d358cfa77c386909e67e666","datavalue":{"value":"10.1016/S0304-3975(00)00346-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958291$408BB8C7-B8FE-4323-A047-0B26967D66D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10ec95c9417991096363f0d0f0e5d9ea0afefe59","datavalue":{"value":{"entity-type":"item","numeric-id":235593,"id":"Q235593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958291$4FE0903F-C4BA-4A59-83C4-C43352EBE244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc9ea3edf0950b7709b905c390f4109373f089e","datavalue":{"value":{"entity-type":"item","numeric-id":235594,"id":"Q235594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958291$06810DC2-77DB-4043-8A38-ADD0943B5931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69275045e726ef1c313be8e61b328d9b029abc4a","datavalue":{"value":{"entity-type":"item","numeric-id":235595,"id":"Q235595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958291$E929E964-8C29-4274-9D1F-B5111D21A5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40c77c845fb94c505d2cfba0e9e71b55d375962f","datavalue":{"value":{"entity-type":"item","numeric-id":235596,"id":"Q235596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958291$CB87F4BC-EDF0-42FC-AD1C-E78C782296C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958291$B8A0A89E-B5BA-4C3C-8145-FE17377DBEAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5958291$0DC593F4-00D0-4AA3-8912-3FE2E4FA0CBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958291$58F4F8C9-F7F5-407B-B892-F53CA3896BEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"832b382fdf5c576e5d36b9ec56a22ecf56d1e4a6","datavalue":{"value":"1715292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958291$A9B375B4-CBF4-46E7-A3E1-45A1932D9695","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8442a7a4aa9bde166792df560549f38929af659e","datavalue":{"value":"B\u00f6hm trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958291$C45C844A-5193-45EE-8B0B-90CDFABD9A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd7b2355b3485a23ac9a45b0e8065bf145eef7cc","datavalue":{"value":"approximants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958291$118C4436-330B-47C3-9C89-FB8A0093A47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958291$4983D7A8-AB38-4AAB-B14A-1621C014A0F7","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":"Q5958291$968F3BC0-3BD6-47BD-A1AD-98DBB68081C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958291$D76CAAB9-3E51-46E4-959C-C42BB602928E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b59f0470868d890facd258dc61c1d63aa031f33c","datavalue":{"value":{"entity-type":"item","numeric-id":4286211,"id":"Q4286211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958291$E7237757-8617-4563-A0A3-7A7CD1659737","rank":"normal"},{"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":"Q5958291$959BB7C1-5A2F-465C-92DB-C5D22437D4B5","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":"Q5958291$8F309CC3-C883-4378-905B-010FE12E922D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebba86ed9edf4e56b67a148971a3ef285ab512b7","datavalue":{"value":{"entity-type":"item","numeric-id":4896520,"id":"Q4896520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958291$6108C57E-3ED6-4723-81CD-45A12A6292E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b992789dc6a373764c584611377191d36e19f1","datavalue":{"value":{"entity-type":"item","numeric-id":1275621,"id":"Q1275621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958291$762ED3EC-A12C-4B96-896A-36479ABC0629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afa831f2062bd418316f0ddf8d55a39363b94c1f","datavalue":{"value":{"entity-type":"item","numeric-id":1314269,"id":"Q1314269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958291$8A9EA786-F567-445C-9340-58960C4E8A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8dc2d6c2954cf41135437c0472b396d37414d7c","datavalue":{"value":{"entity-type":"item","numeric-id":1917097,"id":"Q1917097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958291$8AFB8F8C-F076-4C38-8AD1-C2C24C07A349","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":"Q5958291$D46E919D-382E-48E6-948D-505562058ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990108a31b9953b3f71220540ad95acb31d6907a","datavalue":{"value":{"entity-type":"item","numeric-id":1102936,"id":"Q1102936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958291$6858225E-65B4-4D8F-831D-DB2499A69161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc37ebf85b158f95e7a2fe63513f109810e5d01","datavalue":{"value":{"entity-type":"item","numeric-id":4210114,"id":"Q4210114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958291$C36D0441-CFF7-4CD6-8550-9641B1500E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f459d6e0bd4e0d14f508c3cd2c37e9acc7c3883","datavalue":{"value":{"entity-type":"item","numeric-id":4499287,"id":"Q4499287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958291$9731B202-8397-45B1-8AD7-C4BE94041542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd8cd2c987acab573f54af43cc16f71a471c22a0","datavalue":{"value":{"entity-type":"item","numeric-id":1854269,"id":"Q1854269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958291$CF5D7271-494E-4455-9D99-957F022C6D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"793537b40e35a4601ea9ee225d2ec2d162d6b4e9","datavalue":{"value":{"entity-type":"item","numeric-id":1162534,"id":"Q1162534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958291$6A3DEDF1-F3DB-4A4D-902F-1BDFE2331F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c401e46239dabb51683570f5525fdcd2a90e5d","datavalue":{"value":{"entity-type":"item","numeric-id":4094853,"id":"Q4094853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958291$5A27E682-39CA-4557-8DA5-D017DD9AABDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a5e7f94427d670644e085b2be0d1c199024796","datavalue":{"value":{"entity-type":"item","numeric-id":1392145,"id":"Q1392145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958291$B6EFDBC3-0A1F-4D1D-96CC-524A069E3F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a802643d47446f2ba0a2c18eb45ac08dd19cf51","datavalue":{"value":{"entity-type":"item","numeric-id":4259973,"id":"Q4259973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958291$9D53ABFA-70B5-4290-BDA7-E795A08060B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388d6d8bedfb9883d2de8ce73620980a36e5e759","datavalue":{"value":{"entity-type":"item","numeric-id":1229201,"id":"Q1229201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958291$86CB2AE1-2199-4BF7-9252-8759A5B2589A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb49d5ba8660e6f6ecb70d742d62a3c8fa7128ba","datavalue":{"value":{"entity-type":"item","numeric-id":1050334,"id":"Q1050334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958291$C0CD600D-3E4F-4A15-BF04-76D677ED5101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e06da8763ed513ecd7cf369290ac8349e5a36977","datavalue":{"value":{"entity-type":"item","numeric-id":4124819,"id":"Q4124819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958291$01E2A161-EA9F-4E99-8423-781737E0EEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e587331ca1c7f789a68739ade9f655f9c770d08","datavalue":{"value":{"entity-type":"item","numeric-id":3657969,"id":"Q3657969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958291$99F41842-51C3-4EE5-A1E5-8F37500127E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e2f25b593085008bb89b7f7a78c39c5e0b98eb","datavalue":{"value":{"entity-type":"item","numeric-id":1327395,"id":"Q1327395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958291$0C0F6A72-ED7E-419E-BDFA-71C5A2D6243F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958291$ABB67768-3923-4B5D-8A1A-7E7E3DFCFD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958291$B4A40197-2383-4EFC-8D97-1365449809B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958291$8A6B2604-24F6-466B-A3AB-1BAAEE2CC002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13a074e10182485b0efcf5cf7cfc43a7672c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4115133,"id":"Q4115133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958291$D756B371-F300-4821-9522-210DC4328194","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c837962002898bf13c84978866e8cca22cda49a","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(00)00346-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5958291$5D9DAB22-02C5-4A03-8D61-B0E9648369D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70541ade9a860ad0c5055131de8a7f68b668c0b0","datavalue":{"value":"W2168041414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958291$5686B5EC-8206-45D1-B220-36E382425CDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67f1b780cebde05557ec99994f3a49c1f3a4ef09","datavalue":{"value":{"entity-type":"item","numeric-id":1854555,"id":"Q1854555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf16aec9e1f21080270efcf4d9440511e46f7685","datavalue":{"value":{"amount":"+0.8289703726768494","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":"Q5958291$459DB69A-980B-4896-AE59-9B1FBFB915B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6f123e126a64c72d07e5d2e3f7dccca975e327","datavalue":{"value":{"entity-type":"item","numeric-id":3024910,"id":"Q3024910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d6a9e755e32668f6817f8925be528e3a2f4f154","datavalue":{"value":{"amount":"+0.8178725242614746","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":"Q5958291$236E60B8-A115-495F-81A9-FED18520FA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87464adade447c44c86ffcc5952f1b3510939077","datavalue":{"value":{"entity-type":"item","numeric-id":4699351,"id":"Q4699351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"825fad44ceb5ffb27fde9e40bb0988208a0c27ec","datavalue":{"value":{"amount":"+0.8017082214355469","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":"Q5958291$7D230136-9317-48B9-96BA-8A8824E6750E","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":"926ecd881dcd6cb4d89646bd8517d9525790de31","datavalue":{"value":{"amount":"+0.8013239502906799","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":"Q5958291$97972DE1-F854-405F-8AA5-51415147073B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c311fafdff78b3b5de9efc2de074234c5e48f34","datavalue":{"value":{"entity-type":"item","numeric-id":1350344,"id":"Q1350344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8209d84d4fa0a8986a1d84421de1f598a8efcf25","datavalue":{"value":{"amount":"+0.7818596363067627","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":"Q5958291$3A329AC1-4A34-4E35-AA58-0BDC2308D564","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intersection types for \\(\\lambda\\)-trees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intersection_types_for_%5C(%5Clambda%5C)-trees"}}}}}