{"entities":{"Q2842834":{"pageid":2853554,"ns":120,"title":"Item:Q2842834","lastrevid":83849381,"modified":"2026-05-07T12:59:28Z","type":"item","id":"Q2842834","labels":{"en":{"language":"en","value":"Polar type inference with intersection types and \\(\\omega\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199139"}},"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":"Q2842834$AC311D48-A869-45DB-9D16-A812F7EA0C5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93b9788326120d66876d56f92f55f9cefd1a9c74","datavalue":{"value":"1270.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842834$2BB76C17-C6F1-4807-95EB-CE3DE730A387","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d30be955704095031f05cfb85f3d84102988d06","datavalue":{"value":"10.1016/S1571-0661(04)80489-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842834$1782C3F4-1DDD-4411-A498-6DD92F183697","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ad6c36eeadbaf812f18dab5a1c1cce93e853d8c","datavalue":{"value":{"entity-type":"item","numeric-id":2842833,"id":"Q2842833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842834$FC337D8F-FB70-4D01-A22F-AA815FF4FB42","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":"Q2842834$50561125-70FF-4927-A2F4-C88D0682DEDF","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":"Q2842834$9A6C1006-6B06-48ED-9EAB-4D31C541621F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842834$0171935E-9B53-4073-B26A-D11ADD653904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842834$5C64C287-6DF1-4590-99B9-EC3D60873AB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0714566115a96ee852ff03b8cbb2a9faa1247337","datavalue":{"value":"6199139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842834$BC3F8E2D-435A-4295-87B7-31802A26155E","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":"Q2842834$B1425063-1F97-43FD-8311-35E8857348AB","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":"Q2842834$B9B327BF-477C-4A30-AB49-CD7B46696B6A","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":"Q2842834$1FA7A842-6776-4A9B-A409-05763F66615B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c981e1f87c605bc2771b1a302028511e8fc3dd72","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842834$9C17B68E-0C7B-4180-ADAC-A230BF05AED7","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":"Q2842834$2959BCE3-C227-4CDD-8A5B-8510B691AC2B","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":"Q2842834$782768C7-9F09-4F40-9059-FA153ED8002F","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":"5e6ae3750f0f2434d06adcad4fcc43e137716b77","datavalue":{"value":{"amount":"+0.89843994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842834$65B8EF7C-3805-498A-BB33-8AE6FECEA34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83236883cf0d0ae66f75cfdd07db76567d701ce2","datavalue":{"value":{"entity-type":"item","numeric-id":3638250,"id":"Q3638250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc3139608805132c16538c40594dac22df0ae499","datavalue":{"value":{"amount":"+0.8829327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842834$E12B1BA7-B0EE-4B5F-814F-BD721C80671F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b48f9d0ebfc978a5fe4cd4be8fbcb592096f572","datavalue":{"value":{"entity-type":"item","numeric-id":4281484,"id":"Q4281484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad4a700a04127b84a1a0d8a0a076aed783b8e36c","datavalue":{"value":{"amount":"+0.8793613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842834$7CCB6ED6-C377-4C3F-B4D3-4B715F9F9FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dc9e6a6a1904b441389cd5fbc8e3076c003b0e4","datavalue":{"value":{"entity-type":"item","numeric-id":4340497,"id":"Q4340497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad4a700a04127b84a1a0d8a0a076aed783b8e36c","datavalue":{"value":{"amount":"+0.8793613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842834$C553E77F-63A5-4E61-9FF7-85EFE722349B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"837409f71ec4128b8b656ea5b8d0913f49cfd6c0","datavalue":{"value":{"entity-type":"item","numeric-id":4903721,"id":"Q4903721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"212dc468dc714002a9717bac2728bec64d242c1e","datavalue":{"value":{"amount":"+0.8775497","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842834$F0F7C6A9-450F-4E0F-B8CE-1DFA5456231A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca5f4e18249119867518c0c9c16b7ab557a8330e","datavalue":{"value":{"entity-type":"item","numeric-id":2842843,"id":"Q2842843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3607817f7932a230f5fcee771fea6aad29bb125","datavalue":{"value":{"amount":"+0.8769623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842834$0E55AC81-3AAF-497E-98D0-15AE6548C51E","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":"7f3e3d4b61d7e1b773d118d6bc51e1fa07772190","datavalue":{"value":{"amount":"+0.8757466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842834$335E98CC-92ED-4EF1-8740-55BDB5B3F9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5290c0ccb7aa8018a2f2bf6b931e4236417232f","datavalue":{"value":{"entity-type":"item","numeric-id":5096210,"id":"Q5096210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3ca57bc752c5627a3e2d6be2a179e6ef7c70c91","datavalue":{"value":{"amount":"+0.8754334","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842834$F9D0372E-167D-4CC2-85A8-13A873AEB83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39208f8c9e9f74c27f37ffded3604a402852b56a","datavalue":{"value":{"entity-type":"item","numeric-id":4600774,"id":"Q4600774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7371f899138c168ff9090de788ef0ae54a8137cb","datavalue":{"value":{"amount":"+0.87189937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842834$AABBED58-AD37-43CD-B8D4-BBE2A90149E8","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":"2d8ddd4b2f6855de53080c499993079e196268a9","datavalue":{"value":{"amount":"+0.8706077","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842834$3FC91BBE-2AF4-428F-A9A8-BC5CA3956F2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ebea97e7d94e066e56bce1ee85c25252a44b19b","datavalue":{"value":{"text":"Polar type inference with intersection types and \\(\\omega\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842834$7A60E510-542B-407F-9817-9A138A2C50C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polar type inference with intersection types and \\(\\omega\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polar_type_inference_with_intersection_types_and_%5C(%5Comega%5C)"}}}}}