{"entities":{"Q4600774":{"pageid":6630357,"ns":120,"title":"Item:Q4600774","lastrevid":58298115,"modified":"2026-04-04T15:12:31Z","type":"item","id":"Q4600774","labels":{"en":{"language":"en","value":"Intersection types for the \\(\\lambda\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6825412"}},"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":"Q4600774$F5CB0C78-4B8A-40D3-B5A8-E9CFE6BDA83C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64804e68f4e0f98ba33c3ed9cb2ab98a6ed6162b","datavalue":{"value":"1459.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600774$B5CF694E-8573-43FB-A533-C8849F0FD578","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e6bbcce67dc15a79f93b0d9c866e75894a6808d","datavalue":{"value":"10.23638/LMCS-14(1:2)2018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600774$358C614F-D253-41C2-B38E-68E4BC211949","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":"Q4600774$2492233C-7293-4DAA-8FF7-171920567AAB","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":"Q4600774$D85CB677-1C2C-42CA-9987-065BB65075C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71bd6d086c45e7565175127214e8d79bad475f0a","datavalue":{"value":{"entity-type":"item","numeric-id":315297,"id":"Q315297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600774$E673C7A4-2B27-4A24-ABA3-4E69A8A1C04F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7715282d0e47f132d02fb834b8feb7eb3b738e4e","datavalue":{"value":{"time":"+2018-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4600774$C0FA57B7-2C73-4DC6-8A63-175D748957B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e954b095f2f5c84964519629f25fe0b09ee7f395","datavalue":{"value":"https://arxiv.org/abs/1704.00272","type":"string"},"datatype":"url"},"type":"statement","id":"Q4600774$6284E2DF-4DDE-40FE-96AC-22BCE7315B19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600774$435CD426-6316-45C1-9970-ACE89F1AA9A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2980a802ecd7cbb46d99c6d9ed9868e62c755fe1","datavalue":{"value":"6825412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600774$8BB0BD1A-1365-4158-B0E0-765DE6DD8FA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9070650248892f99e4132bfd1d0fef05fd7f6d2e","datavalue":{"value":"\\(\\lambda\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600774$688D8564-F2BB-4243-8C34-32F0247B0482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600774$63F094DA-C92F-4739-93C0-F83164ED2244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2df822fd52b3a6968af13bbbbfd94791b13fae35","datavalue":{"value":"filter semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600774$25C898BA-EFEC-4019-AD31-EDDF0C8651F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d8bb84bd86abec9f57c8cf048201e810211b8ba","datavalue":{"value":"strong normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600774$6C7675A8-3951-494E-960D-BCB646B3D5D8","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":"Q4600774$ECAEF18C-A8AB-4658-A37E-DC81A8EEDD0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57c3a8a53bb7710efe782a2824ac22999194d1d7","datavalue":{"value":{"entity-type":"item","numeric-id":3007668,"id":"Q3007668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"322827fa7720be0014377eac94cd13406af02c8f","datavalue":{"value":{"amount":"+0.8900439739227295","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":"Q4600774$D4366171-A352-4DA9-8CC6-F9059252ECAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8233962fd49c5bd66fdd2bf3acc23a8f3975c30","datavalue":{"value":{"entity-type":"item","numeric-id":4993849,"id":"Q4993849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3abc597af2389deda6ba5ff5959910b759808a7","datavalue":{"value":{"amount":"+0.8852788805961609","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":"Q4600774$15989F31-1836-4D7E-B04C-3A3FC8064424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e609082a6969eaeba45bff67d00e487953599e5c","datavalue":{"value":{"entity-type":"item","numeric-id":2789043,"id":"Q2789043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"674b98ba5509205beb8010bb5f0f919b29cead0c","datavalue":{"value":{"amount":"+0.8811033368110657","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":"Q4600774$A399999D-F446-4040-B3B5-8CA58EDA186A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f32f30dd3f2a256638a3933b340079570b7052","datavalue":{"value":{"entity-type":"item","numeric-id":930871,"id":"Q930871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46532a14a7339e34a6f94d8b29e3795c7b193599","datavalue":{"value":{"amount":"+0.8413023948669434","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":"Q4600774$FAA4789C-7D37-48A3-BD7C-30E8EC920C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0acb101caf711151f31c2701eee28a11adec539e","datavalue":{"value":{"entity-type":"item","numeric-id":2851091,"id":"Q2851091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c92851fd3f991d2e227ed4a0ca6cb2ca11bf0402","datavalue":{"value":{"amount":"+0.8399919271469116","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":"Q4600774$3A36F510-9060-409B-A045-DA6BD37FF10F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4600774","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4600774"}}}}}