{"entities":{"Q4580327":{"pageid":6609913,"ns":120,"title":"Item:Q4580327","lastrevid":81999302,"modified":"2026-05-06T19:51:31Z","type":"item","id":"Q4580327","labels":{"en":{"language":"en","value":"Inhabitation for non-idempotent intersection types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6917942"}},"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":"Q4580327$5DF78203-3412-4FE8-B2FC-761BB0E1690A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a35353a900e430208dc40b4eb66d13d69eaa0a7","datavalue":{"value":"1448.68208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580327$7AE489CC-9340-4ABE-8820-F045A013C0FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d960a3d939f27f1d69d8b9d0aad558ef934d3ad1","datavalue":{"value":"10.23638/LMCS-14(3:7)2018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580327$A70E5788-E407-4550-A8B8-DEFB2EEADEA1","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":"Q4580327$0F6F650B-DB61-4867-AB6C-84FF6C1CCABA","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":"Q4580327$F2633E92-D8EE-4115-A283-8C361F9E0E9F","rank":"normal"},{"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":"Q4580327$1C33874A-FC4E-4C02-B104-0A68805E93AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db9626bb787427167dc8802eb63a193ac3c35362","datavalue":{"value":{"time":"+2018-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4580327$382B3574-8D2C-460E-B4C7-256E7EFFC884","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36e6e828a5f7ceb5b1313fb474c53aad70b6e25b","datavalue":{"value":"https://arxiv.org/abs/1712.03829","type":"string"},"datatype":"url"},"type":"statement","id":"Q4580327$F91697F5-611E-45BF-B610-61210A31FA10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580327$7BD1D6F6-8B68-4F29-BE8E-5F3D66C9AE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580327$7E34456A-5FFA-4CE1-B1B5-5387E13BFE63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50d13b35cff4caf35c7b8317102fc355d0364f85","datavalue":{"value":"6917942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580327$61BE9A3B-3A40-4368-AF9E-C59C6E9C8E38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580327$E1E5D95D-1CEA-406F-B0CD-519784F19355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86e8234487978a1a34c3870689959615708aa336","datavalue":{"value":"type-assignment systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580327$2541791B-CCE2-48B5-BB45-6BF0BFDF1B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5318fdce26bfb9f34f1453d685a98a3c24461453","datavalue":{"value":"non-idempotent intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580327$F11F32C2-3B09-41A9-86A7-6D2C910ACF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8e8dd6fd2e0967d6e30d1fedf4a6edc7cc3fd52","datavalue":{"value":"inhabitation problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580327$332D5E30-E4E9-45D0-85E5-54E4527CC964","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":"Q4580327$AC632862-DB5F-43A6-A252-F65A538751D5","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":"Q4580327$866E535A-F58E-4EE9-8949-6AA6A2CF2253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06d3a18112634d945f57a45436f6c38b7d9c07d1","datavalue":{"value":{"entity-type":"item","numeric-id":2851671,"id":"Q2851671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580327$6FC3C3CF-E523-4F5A-97A9-9E2551244840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ef8dc7d2f567a48fc717ebb6174dc3271c596b","datavalue":{"value":{"entity-type":"item","numeric-id":3608420,"id":"Q3608420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580327$15DF9EB7-E930-4D58-ABFF-CBF5A8357885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"396079bf6c00688a3a618a05bc699938cbbf9c06","datavalue":{"value":{"entity-type":"item","numeric-id":3190172,"id":"Q3190172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580327$EAD06A1D-8B20-4983-A760-AC621C4C171D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"806d61e380bbc012359f6b589f95e7cbddfc81f6","datavalue":{"value":{"entity-type":"item","numeric-id":4644585,"id":"Q4644585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580327$C0E55F34-E790-45A5-ACE7-519255F3BF58","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":"Q4580327$F74C4411-5975-4C45-81BB-3DEC3695B769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e978e7b088bf0a87c5581ef0646229ba3f218aaa","datavalue":{"value":{"entity-type":"item","numeric-id":4993853,"id":"Q4993853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580327$DBE28D22-2B25-402A-9BE6-C6197DC96143","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":"Q4580327$B21C711E-00AF-44BD-BFF0-D43BC225EC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd43ac4986854b99097e8636775d035d68a195f7","datavalue":{"value":{"entity-type":"item","numeric-id":5370899,"id":"Q5370899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580327$41A98B5C-0989-4095-A046-C45D190D827F","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":"Q4580327$C03E56C1-EA0C-4D0D-A0A9-1F7F1FFC7DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe655fe601c833ccc2e6ab28bbe353022bd1c954","datavalue":{"value":{"entity-type":"item","numeric-id":4490749,"id":"Q4490749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580327$66E435BD-6728-4E51-A110-22EDF7131C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b74c41ea929505ef6f565669a4cb2bb3fd37a959","datavalue":{"value":{"entity-type":"item","numeric-id":2811356,"id":"Q2811356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580327$AC41BE2A-9D39-4715-B9C3-E6225FBC225A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"994627a6700eea8d4646ee5db509d59197663511","datavalue":{"value":{"entity-type":"item","numeric-id":3190169,"id":"Q3190169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580327$83D41D6E-9C6F-4ADA-9EE5-83663FC368E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b785c0bb451256d53294bc267f11e79faff1dd5e","datavalue":{"value":{"entity-type":"item","numeric-id":5111320,"id":"Q5111320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580327$4FB7129B-A36D-4350-B86B-2483AAEABBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211633feba60e3b5d86f54253f1def7897daadb4","datavalue":{"value":{"entity-type":"item","numeric-id":4500177,"id":"Q4500177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580327$6371F5E6-A026-4F50-A244-19EA1D98D9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00e85818f5656fe54cf413d8e22228810b986efe","datavalue":{"value":{"entity-type":"item","numeric-id":1884929,"id":"Q1884929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580327$6DB20464-52A9-40B5-BE1E-62B5F4D59653","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":"Q4580327$9A8649D6-2FAF-4D6F-9323-CE2FE5A94D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"527bcf1e4b9e6e1421ac5b884dcd74140efa1689","datavalue":{"value":{"entity-type":"item","numeric-id":3024843,"id":"Q3024843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580327$EA5DAF4E-1C60-4EF2-B549-44D7FD032CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f49c058dcd38c2f3e91ae03ea2b79ab142af2a","datavalue":{"value":{"entity-type":"item","numeric-id":3612635,"id":"Q3612635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580327$B6169250-452A-4227-87E7-FD1D7BC62F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d7b6afaa91c3a7ade3ec03ca2b5dc4ec389e62","datavalue":{"value":{"entity-type":"item","numeric-id":5178032,"id":"Q5178032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580327$CC2B26E4-ACF2-4363-AF37-E70F9E832525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aa95545290a2160bb1d3baa35d5b02b90316272","datavalue":{"value":{"entity-type":"item","numeric-id":3557862,"id":"Q3557862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580327$81534E21-9BEE-4A45-AC8A-5387D173C7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfd232961d59adc4ac2298be421c4e8460b1c618","datavalue":{"value":{"entity-type":"item","numeric-id":5269000,"id":"Q5269000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580327$B8363565-FA31-4C0E-ABD6-1E1ED80AD526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ccd1dc38e2464cdf02f17fcf35ef843deabe6c","datavalue":{"value":{"entity-type":"item","numeric-id":5277832,"id":"Q5277832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580327$2203F9EA-7FFE-4DD7-BD4F-EEDE690409F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e568b85d2406ebc28d3afbc3e86804d63d2e2231","datavalue":{"value":{"entity-type":"item","numeric-id":4934035,"id":"Q4934035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580327$136D8CC8-1D9E-43CE-84C2-F7942BD679E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33bd33c2f01fd5845c732a74754cb9cfc81725a3","datavalue":{"value":{"entity-type":"item","numeric-id":3000287,"id":"Q3000287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580327$376CD743-8473-46B3-A48A-89A4C82797CF","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":"Q4580327$AC33E560-A43E-49D7-B017-6A0C17CE167C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aee0aa1999dbb03db2ff16be00d804e3fbf4afb","datavalue":{"value":{"entity-type":"item","numeric-id":5144650,"id":"Q5144650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580327$5E37D61E-91FB-40F0-AC82-6C685B0F99EB","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":"Q4580327$111504FF-7021-4634-9FB1-648704B91036","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59a228a4d8100a6da1e695652c701ca5d4fbf502","datavalue":{"value":{"entity-type":"item","numeric-id":3190172,"id":"Q3190172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09dbe32615544851252f55c338b2246c4579728b","datavalue":{"value":{"amount":"+0.9669994115829468","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":"Q4580327$CD4DE32D-3AB5-4089-B6EB-B75830CAEA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7055a05938c354e4ad8f49d58e8cbc238c8677a2","datavalue":{"value":{"entity-type":"item","numeric-id":3637206,"id":"Q3637206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80f0c2263be4e3c3f0f96cd154dadc83c8daad7c","datavalue":{"value":{"amount":"+0.8666853904724121","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":"Q4580327$6261B123-F4B5-4998-A5A9-C9C5B92E49CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b911e268c026e3c062c07b2367ec2f53e83f2ed7","datavalue":{"value":{"entity-type":"item","numeric-id":4286212,"id":"Q4286212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"608c3ad1459e90efa69bb68638e111206d13a0d9","datavalue":{"value":{"amount":"+0.8388911485671997","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":"Q4580327$B65C60E3-7892-42D5-AA2B-9E8F109964A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf9b23cbce427d5113fd50005e86a2535ab2b30","datavalue":{"value":{"entity-type":"item","numeric-id":3024919,"id":"Q3024919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a735bf4b725ac1ed8a75638088562066d4a489da","datavalue":{"value":{"amount":"+0.8291000723838806","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":"Q4580327$828CED85-21E0-4E16-9726-04D97ACFA495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2a19025d376cf0dd9730ec44964384f40e3d86b","datavalue":{"value":{"entity-type":"item","numeric-id":3024843,"id":"Q3024843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b67b01e3e5505b6232ac2e93a20801d35e46656","datavalue":{"value":{"amount":"+0.8239941596984863","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":"Q4580327$AAAE69F1-FEB5-4ECB-A4CC-5BD636201FE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inhabitation for non-idempotent intersection types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inhabitation_for_non-idempotent_intersection_types"}}}}}