{"entities":{"Q1884929":{"pageid":1895671,"ns":120,"title":"Item:Q1884929","lastrevid":73264023,"modified":"2026-04-14T15:12:04Z","type":"item","id":"Q1884929","labels":{"en":{"language":"en","value":"Principality and type inference for intersection types using expansion variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2111017"}},"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":"Q1884929$314B9D19-5E67-4885-BCAF-5793EF5F7D76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebe6559c8e5968b37f141e7e616f08d655d21304","datavalue":{"value":{"text":"Principality and type inference for intersection types using expansion variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1884929$35DAEE59-5736-4251-BCFA-E305B21B5A76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6332e5a9cf8c757b5a03da48b1223c2ebd9e1ac4","datavalue":{"value":"1070.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884929$94F4F6CC-BC63-4BC8-AE11-8AD6FCABAFFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51d9747839bcddbd973b100af1b34777607177c4","datavalue":{"value":{"entity-type":"item","numeric-id":801664,"id":"Q801664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884929$FDF60F7E-1714-4568-ADF4-D85951E21C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a2269dc8ff52b10e3d04be8d12a89f73e958388","datavalue":{"value":{"entity-type":"item","numeric-id":334148,"id":"Q334148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884929$EF96E62A-9443-45C0-A0B9-E871B398E71B","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":"Q1884929$90C74EE8-9CFD-4329-9FB2-CB768099548E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7e0e3052327d95a916620b2fc1dace533c4c66d","datavalue":{"value":{"time":"+2004-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1884929$7040845E-2316-4BB3-ADAD-12DD80197767","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884929$F8A6930B-8AA5-4D02-9F61-3EE7D06A02EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1ca6c6884869b910ef8a0f26ef55b72b454cf32","datavalue":{"value":"2111017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884929$0D3D729D-0B54-42C1-BA6B-F685E2148BEC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e85686c88b6675116cec177bbafff890f9021164","datavalue":{"value":"rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q1884929$D6AB9373-7383-4AA6-88AC-842BDDBC74D9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3566ceaa607ff2880dbbe400f3e2dbce0394438a","datavalue":{"value":{"entity-type":"item","numeric-id":18773,"id":"Q18773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884929$F9C8EDAA-2F4F-4482-B014-AA7F257E72E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884929$144FD436-F5DC-46AE-AB61-97D18114C64C","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":"Q1884929$EA3C6DF1-C43E-4D4B-B119-2B80061FB54D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"200cad218e37495402c11d2ea439de3b196a1e7f","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2003.10.032","type":"string"},"datatype":"url"},"type":"statement","id":"Q1884929$7720A88D-FC95-4C09-8A18-FE897FDA5683","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46452e224d20f956ef70f01e9c185a9211c44575","datavalue":{"value":"W2087381628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884929$A7CDAE38-0375-4DDA-A6C0-DA68D33C7F83","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13e2c7bf7641da29d842a6ebdecaddddf4b9405","datavalue":{"value":{"entity-type":"item","numeric-id":4222034,"id":"Q4222034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884929$3EEA77C5-7D89-4AAD-B262-EFD73B14B7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc897497575e269c146c425c2f5a9577ab8e552","datavalue":{"value":{"entity-type":"item","numeric-id":5348860,"id":"Q5348860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884929$D237B8E2-4F59-48A6-A8C5-994718CB935A","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":"Q1884929$0F1D8C3D-F7C5-4906-929E-424C3A611988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f434d785ed24cbcd005c3f7acdcb5c12ab96aa52","datavalue":{"value":{"entity-type":"item","numeric-id":3936713,"id":"Q3936713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884929$BCFF2EB9-4DCB-4574-BF66-5636AF5C077D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472cf19de10139786f8a962564dd8595fa33649b","datavalue":{"value":{"entity-type":"item","numeric-id":3122694,"id":"Q3122694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884929$DAE1C4AF-9547-48DD-BD24-73D0262C6826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884929$DFB13632-359E-4C11-9A9D-1BC66C84D5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd7141de1460cb4e482a5b2d5e472a00fe45932","datavalue":{"value":{"entity-type":"item","numeric-id":1186431,"id":"Q1186431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884929$78ACEC68-989E-4A79-AD15-9944E800193D","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":"Q1884929$D8BF22E7-06D3-42E8-A152-C84846F67817","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":"Q1884929$16E5E441-067A-4764-9C5B-F88504AE70D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4436008312f50bedb48fa8d06ec6ec3a3a0daa26","datavalue":{"value":{"entity-type":"item","numeric-id":1327694,"id":"Q1327694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884929$A7DA5F69-97DD-4F9E-90AA-ED17E5A3E1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f416b5bcfc200e5c8ed939a8affe19aff4a5498","datavalue":{"value":{"entity-type":"item","numeric-id":1110311,"id":"Q1110311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884929$183114EC-AD8A-49A7-BB5B-BFDE11643832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68dfc4a44943c6fc1906d97837725b5ac79535e","datavalue":{"value":{"entity-type":"item","numeric-id":790801,"id":"Q790801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884929$2615C73B-95DB-4A75-B045-0FE0C0380F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926336abba0524ccb1cb3e54cc99d238b8657591","datavalue":{"value":{"entity-type":"item","numeric-id":4163188,"id":"Q4163188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884929$84599E95-9A44-4E13-8B5D-66539F906E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15b625ac467c4927a4c34880af3d511b62c2bd9f","datavalue":{"value":{"entity-type":"item","numeric-id":4708431,"id":"Q4708431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884929$E77F9474-EED4-44E5-9729-3248D410B574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e943059f11e6052ed511d609da082d75ab2cddfb","datavalue":{"value":{"entity-type":"item","numeric-id":4347376,"id":"Q4347376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884929$1B056426-C081-436A-8D5F-AD7FA53D6466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2164d9f560fc5705ed93dc8247e6a73994bf8ce9","datavalue":{"value":{"entity-type":"item","numeric-id":4281463,"id":"Q4281463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884929$DCB36B11-78DA-4E38-BCB9-9150301F0D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac0238542245b8dba16f4222440bcd83dd0e8d5","datavalue":{"value":{"entity-type":"item","numeric-id":1302292,"id":"Q1302292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884929$907575F9-27A0-4D7B-B20B-5F8763782AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a2ded364cc88fce2ea077a5ded73db95a95620","datavalue":{"value":{"entity-type":"item","numeric-id":4737219,"id":"Q4737219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884929$F2017F02-9DD3-4609-8654-A5E33FE2852E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca25804bd8bda31d04b2ec6d5cce651a699cc82b","datavalue":{"value":"10.1016/J.TCS.2003.10.032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884929$E09116AF-2C06-4AE1-95BE-5D2B53F7746A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de130555eb69cf97ad1ff27332a93c8b10c7601d","datavalue":{"value":{"entity-type":"item","numeric-id":2851085,"id":"Q2851085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6474b9ac41590d5f09fa7e5e7ca85789f6f534f8","datavalue":{"value":{"amount":"+0.8329470157623291","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":"Q1884929$297370F0-A350-46BF-BB1C-9113BDA31A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9ad3ae406a2c925ed49825c3d6fe3596eeddc94","datavalue":{"value":{"entity-type":"item","numeric-id":1900315,"id":"Q1900315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e92026606790454be29046c50339dcd4d37dddf","datavalue":{"value":{"amount":"+0.8328989148139954","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":"Q1884929$D14434D9-47DE-46F4-B9B5-3C3228FF4AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d89e111d8f675368f33ca07eb4cf03f54519d52f","datavalue":{"value":{"entity-type":"item","numeric-id":5098736,"id":"Q5098736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a0a05c364269d1219b8d3b83b7d0d22269b705a","datavalue":{"value":{"amount":"+0.8181886076927185","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":"Q1884929$2B14A09A-41CD-4C4D-8EB5-76DB85DB1957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a11b60a48fccce9bd2910309eec203ab697e0a9d","datavalue":{"value":{"entity-type":"item","numeric-id":930868,"id":"Q930868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc4b56255c48223b4366218bd4678473d98b2df3","datavalue":{"value":{"amount":"+0.8015714287757874","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":"Q1884929$F6D98E72-B26F-41CC-8FE8-85E3CCB526A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352ebd878bb922dd4f37b7f24b551b180f9c13f3","datavalue":{"value":{"entity-type":"item","numeric-id":2851092,"id":"Q2851092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d3ea408695ff9d649acd525bed8f739e3726a58","datavalue":{"value":{"amount":"+0.7958725690841675","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":"Q1884929$C1DC770D-ED93-48DA-BD1A-AEFE02F6AA48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Principality and type inference for intersection types using expansion variables","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Principality_and_type_inference_for_intersection_types_using_expansion_variables"}}}}}