{"entities":{"Q4649551":{"pageid":6679132,"ns":120,"title":"Item:Q4649551","lastrevid":82273526,"modified":"2026-05-06T20:30:44Z","type":"item","id":"Q4649551","labels":{"en":{"language":"en","value":"Collapsing non-idempotent intersection types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109838"}},"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":"Q4649551$B6C9EBFD-F049-4212-BF10-78F77607F2DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03cb5c3a243a9327cff51ae59a26c9561948d6db","datavalue":{"value":"1252.03142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649551$540684BC-047C-477E-B725-A8DD40D33E30","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b2a4f692ace663faa44ef268c457b0c011ed01c","datavalue":{"value":{"entity-type":"item","numeric-id":195006,"id":"Q195006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649551$0A91FCE4-512D-4DC2-B273-B68F354F8AA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f3aa46d2f66375aad8f9f235cf6aa2da570e73e","datavalue":{"value":{"time":"+2012-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649551$8A6CF34B-83A2-4B69-BB5E-515B5C671FE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649551$F636FEED-E433-4DAE-ACDF-962C471F4B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649551$72B2E1E7-B084-4AE6-9FCB-B353225D748D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649551$4A2A0161-0805-437A-8417-A0BC46E50444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649551$86D3A675-FAFB-4082-A1DF-6C1D438AD7C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"181ec480c0a78fb8f8878e137b6064c6e2b27eb8","datavalue":{"value":"6109838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649551$3D1BE9F3-3ACC-4BE5-9726-49B51C4DE9F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649551$ED91E76C-49E7-4B33-B687-D590C03FDE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649551$38FE1CD9-BA76-451D-87C9-D316944C3F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649551$DE527E39-4FBE-4AE2-827C-1FC51E267E78","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":"Q4649551$24B76799-DB44-47B1-8AB5-0C9B4F6BC55D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0c0d73db6ad2cda8b19e09f249844e2d7a3c7af","datavalue":{"value":"10.4230/LIPICS.CSL.2012.259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649551$B3983135-18DE-4E4C-A25F-392E8AB44206","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"512a3cacd4d0ff64392095ad8f8e9bf925552b2e","datavalue":{"value":{"entity-type":"item","numeric-id":418011,"id":"Q418011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"308fd511c7a7da48d213e6dfe77f2d168d4fcd88","datavalue":{"value":{"amount":"+0.77582186460495","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":"Q4649551$71C49EE9-03A7-485F-B16E-D229D18D392C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b7425bc765e0a067664af8d4ec0a87045956ca","datavalue":{"value":{"entity-type":"item","numeric-id":2851671,"id":"Q2851671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5163b00c7f996ef19daa11627d31963d4fbb431","datavalue":{"value":{"amount":"+0.7421664595603943","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":"Q4649551$54330D4A-5780-4A66-80F4-4249359A130B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2083e8a04f24ae4244b105938838260c8a02124","datavalue":{"value":{"entity-type":"item","numeric-id":3105748,"id":"Q3105748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9ee425c7c07dd7b525c7df730bd240d1274a512","datavalue":{"value":{"amount":"+0.7343236804008484","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":"Q4649551$FCC4E390-5A92-47E1-BF6E-879F1C22166F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4849900eb7ad962a5fe6bdd4653caf38ebcb76","datavalue":{"value":{"entity-type":"item","numeric-id":5692152,"id":"Q5692152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54000ebd210a288d42dbe63211a8222a13295159","datavalue":{"value":{"amount":"+0.7325702905654907","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":"Q4649551$2A434B9A-7D4A-4E57-A3F6-17ECD6E83038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b71a47313e52689bd82659478855df7b5ba59372","datavalue":{"value":{"entity-type":"item","numeric-id":3190169,"id":"Q3190169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40f515ad89e142608b25f4189e1594310cfd039d","datavalue":{"value":{"amount":"+0.7246139049530029","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":"Q4649551$A68A5001-3F6A-415F-A871-6CBC5F70C43C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Collapsing non-idempotent intersection types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Collapsing_non-idempotent_intersection_types"}}}}}