{"entities":{"Q5268999":{"pageid":7298574,"ns":120,"title":"Item:Q5268999","lastrevid":58516404,"modified":"2026-04-05T13:40:14Z","type":"item","id":"Q5268999","labels":{"en":{"language":"en","value":"Isomorphism of intersection and union types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6731037"}},"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":"Q5268999$4E8182F3-1C33-4690-BBD1-16EC202E6576","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11c24cbfb05642210ca091ca4595ea08786de884","datavalue":{"value":{"text":"Isomorphism of intersection and union types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5268999$5A2A696F-59CD-48E3-BF99-81A84F3939BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb1cae67cff5dfd9a2f852d26c28161e8b5c546e","datavalue":{"value":"1364.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268999$FEBB5B36-5EA5-4EAC-84E1-F88BC5754832","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8cd38584bc9e38188c30c1eb88ed6a7e9e52c830","datavalue":{"value":"10.1017/S0960129515000304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268999$6FB4D4A3-A86A-4EC4-B95C-634A44E26755","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"078cfe53af569247617001143d839321dd2e8878","datavalue":{"value":{"entity-type":"item","numeric-id":235602,"id":"Q235602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268999$0CEFE7B7-DA15-4410-9173-AEB20E401D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69275045e726ef1c313be8e61b328d9b029abc4a","datavalue":{"value":{"entity-type":"item","numeric-id":235595,"id":"Q235595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268999$EBFA263A-9251-44ED-86BE-D3FF151E3A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0530af78a69085c7bfc0867e4b4548e1bab174da","datavalue":{"value":{"entity-type":"item","numeric-id":737094,"id":"Q737094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268999$0ADDD5E1-591C-4268-ADE0-DC540CA35E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c0a406e32bc293813ec17d6275bafcebd0b2af4","datavalue":{"value":{"entity-type":"item","numeric-id":737095,"id":"Q737095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268999$A4BFE16E-FDD6-49BF-ABA4-494B1C59A138","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268999$0939F03C-9B60-4D16-AAC0-F161C80FE841","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ddcf31b914fb89853eab25f40bb8eca88606da0","datavalue":{"value":{"time":"+2017-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5268999$B5675EE8-983A-444C-BB9D-CE732557E6B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9665f5c1ff6d4a8ae3974857bee01b3d519f5e5","datavalue":{"value":"https://arxiv.org/abs/1307.8206","type":"string"},"datatype":"url"},"type":"statement","id":"Q5268999$F74856BD-593D-4AAB-92EC-2316E843638E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268999$62B79DE1-B647-4C57-BC81-28DCE6806425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268999$E834F25B-F67D-4161-938F-F44A7627488B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"127b86d4305fe1720dc818f19ee6b846b8bfeb06","datavalue":{"value":"6731037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268999$9CB6C6A1-A164-4306-87F3-0BE34D2EE98D","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":"Q5268999$80AB5F7E-4294-450C-B9FE-68C7BD8027F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8a466b0817c40b5226b5f1eb36718a10287acd0","datavalue":{"value":{"entity-type":"item","numeric-id":1893736,"id":"Q1893736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268999$9D1D3AA0-4322-4235-880C-4A3461FFDE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308895c836b930be70b0ca58cc1956e776eb29fa","datavalue":{"value":{"entity-type":"item","numeric-id":4017461,"id":"Q4017461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268999$2BA39F8E-BC87-455B-A666-1C3CE4EFF2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a3d5985b453f1087afbaad8eadf928c62989133","datavalue":{"value":{"entity-type":"item","numeric-id":5268999,"id":"Q5268999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268999$9B1DB602-D9A5-4872-B734-2BCCB260A1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b695c85c08f3def86a4145b7705df5680d07a6a4","datavalue":{"value":{"entity-type":"item","numeric-id":2968414,"id":"Q2968414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268999$26B1FD07-FF1F-436D-8410-1C7507EB0C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d200aa475432d92cf0a3f614d470d87c0e4c91","datavalue":{"value":{"entity-type":"item","numeric-id":1242896,"id":"Q1242896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268999$71D47DD5-9833-446F-B06B-4F89833E27CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1ea964d03a2bd616e00980f46fc60f011439a00","datavalue":{"value":{"entity-type":"item","numeric-id":2946613,"id":"Q2946613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268999$03D49B55-D0C6-4284-B0BA-3AFBBBB19BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ec09aca9746bbd4b214f5d52be769c2527c4dcc","datavalue":{"value":{"entity-type":"item","numeric-id":1893735,"id":"Q1893735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268999$BA732012-F4E4-40B7-9358-92F800C02181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8bb2a4f0603188267aa3fd0208ee45953e029cb","datavalue":{"value":{"entity-type":"item","numeric-id":3372683,"id":"Q3372683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268999$5314EA58-1FC0-4D28-AE05-5A7D2F88215F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4cdcabd01cb5fccf5ebd1fbfa2fc6876593003e","datavalue":{"value":{"entity-type":"item","numeric-id":2875228,"id":"Q2875228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268999$A0D94EAE-29E5-4796-8447-2784CE5081EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"471e353343add3c4c1d2837c45f22a83e14aa042","datavalue":{"value":{"entity-type":"item","numeric-id":2498898,"id":"Q2498898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268999$6F780CCF-6B1C-487E-B8C4-FD8D79A9A23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46885738eb9c25c83e271ce0dd92e7e9f6b8d283","datavalue":{"value":{"entity-type":"item","numeric-id":3776602,"id":"Q3776602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268999$B2A216C2-BB91-4318-B5BF-6FB9415057E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268999$8A3959CB-2A3B-4DD7-BA98-30493106D71A","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":"Q5268999$CECF3B0A-7691-4292-B77D-521924E27E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c60d9aa764a441319bcc6ddab79cc77f2f6681","datavalue":{"value":{"entity-type":"item","numeric-id":1221740,"id":"Q1221740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268999$DCC0FDD9-35DF-4B69-A65B-22CD048A7DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf2db2ba829b037cf2efb18b93f4aa34513a9246","datavalue":{"value":{"entity-type":"item","numeric-id":1838563,"id":"Q1838563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268999$68A1B87B-D976-4FDE-9D09-D1110E14DB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c9b591ca1ee94f5ee2baab81b962ea12b59f911","datavalue":{"value":{"entity-type":"item","numeric-id":4282541,"id":"Q4282541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268999$0D551B8A-FD1E-404E-8753-9406DC7E1F20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"463adde72e750435797a56fc74cc4d77e1357f6a","datavalue":{"value":{"entity-type":"item","numeric-id":4993854,"id":"Q4993854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"029481f92cece1ebeacbd3c5c49969e68e4aa50b","datavalue":{"value":{"amount":"+0.9141965508461","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":"Q5268999$2C37ED54-C4A1-410B-9D08-40DCBF233054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e358532b076d3c4c7bcc86a5f82150aab23d78d0","datavalue":{"value":{"entity-type":"item","numeric-id":2946613,"id":"Q2946613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1ef65038ceccb99f2bc0c60ac716dba58c6faac","datavalue":{"value":{"amount":"+0.8385830521583557","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":"Q5268999$EA2E8D00-63B4-418B-8F1B-8277C3919A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62e324c09dae048cf69fd55bf4e676d247d7e736","datavalue":{"value":{"entity-type":"item","numeric-id":3540197,"id":"Q3540197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4711aec4ebc2ee91c748c0ad0198cf98349a0d1c","datavalue":{"value":{"amount":"+0.8255561590194702","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":"Q5268999$F9EC16D4-0349-43BC-9583-92B7E3FE88D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"150aeb168424a01ec52782806770466c64d5d3da","datavalue":{"value":{"entity-type":"item","numeric-id":2968414,"id":"Q2968414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac2c1e8554fe82caef25f3fcd7abf29c0c4c56bf","datavalue":{"value":{"amount":"+0.803946852684021","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":"Q5268999$0DA44C7D-80F9-4014-8AC4-40B4BCFFD21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0432942668837dbbf6b6329fb3fadb288681a06","datavalue":{"value":{"entity-type":"item","numeric-id":1893736,"id":"Q1893736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c6b8563ed68fe9df7dd221539ccbf1732f8ecc6","datavalue":{"value":{"amount":"+0.7702172994613647","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":"Q5268999$FCFC71A7-585E-4979-991B-65D555E5C98A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5268999","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5268999"}}}}}