{"entities":{"Q5168879":{"pageid":7198451,"ns":120,"title":"Item:Q5168879","lastrevid":58455732,"modified":"2026-04-05T07:25:21Z","type":"item","id":"Q5168879","labels":{"en":{"language":"en","value":"Elaborating intersection and union types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6318856"}},"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":"Q5168879$6A9763A3-DB0E-40DF-B140-D75FDE0D8470","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb6d53243dfb968252dece3195b44513f8f5d1d8","datavalue":{"value":{"text":"Elaborating intersection and union types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5168879$2DD3B2EB-A01A-45D1-9F7F-0046D95AD70A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a35172ccc0ae911b75f9adc7589f4f3916a3374a","datavalue":{"value":"1291.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168879$CC985495-10F5-4C8A-94FE-A2B7CCAA9871","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0ebcdd818fc266b2fdb840849ca5611fa40f8bc","datavalue":{"value":"10.1145/2364527.2364534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168879$B7F5EE11-1952-4D18-B0C5-C1D7FC06414D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a3dd97e3ae63113fc79622348c5b532c90422e4","datavalue":{"value":{"entity-type":"item","numeric-id":2804941,"id":"Q2804941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168879$92AB6D19-3613-45DD-ADF1-C5E164C501C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"124eb001557b71c36d00fbe6c3c8f1624c5e49b8","datavalue":{"value":{"entity-type":"item","numeric-id":5168876,"id":"Q5168876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168879$3C4631A9-E100-46AD-ADD7-B406156D0584","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5670447523ca0c92d2715e5586c267824127db6a","datavalue":{"value":{"time":"+2014-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5168879$279E08B5-5E32-4955-8586-238884E11FEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc23e7de2835651398816c90fb4e486c414a97b0","datavalue":{"value":"https://arxiv.org/abs/1206.5386","type":"string"},"datatype":"url"},"type":"statement","id":"Q5168879$8CB24FAC-4BC3-45A8-94B6-C5AB3D2FF469","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168879$12873379-FF85-431B-B071-15C0C2631621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168879$B6AE0800-CA15-45BE-844A-3D7790464841","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5645b65d30fa7440c38f68ac28101a62df168eb4","datavalue":{"value":"6318856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168879$7E6E99CE-78ED-4D0C-B31B-F82289A8F2A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168879$9A14A958-E3E8-4766-83E6-B14D3101347B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168879$BEBC097E-CD26-4483-BF80-7E431BD83049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5bbf77f7f6056d0e55fac094035de7178400fc7","datavalue":{"value":{"entity-type":"item","numeric-id":33175,"id":"Q33175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168879$3685C643-398F-45F0-B86F-EC2D6B117CD5","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":"Q5168879$D277C998-F567-4EE9-9194-8361B12A2784","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3cf07b45acd6aa56d6534dece6807e245f4f1cda","datavalue":{"value":"W2092120865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168879$2B919460-B4DF-4A5C-95A7-87229BE839DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acc7aa3f7328cccee010948e93ed020a63d52e2d","datavalue":{"value":{"entity-type":"item","numeric-id":2875228,"id":"Q2875228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15d4071825ba11e2590a726a6bacaa0eb8e8def6","datavalue":{"value":{"amount":"+0.99492084980011","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":"Q5168879$9C2CD18E-2D25-45A8-A3AE-E435C21EC1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fcc41b32ca24cb5011065d1804e842bea7d8482","datavalue":{"value":{"entity-type":"item","numeric-id":3365481,"id":"Q3365481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"725011dbe0633841c5d551a6dfc0be0d202fc237","datavalue":{"value":{"amount":"+0.7890198826789856","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":"Q5168879$067ADE8C-5D98-45EB-A383-77A4B1CFF991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d431a54fedd394db44def9deaa8dc8abd77b93d6","datavalue":{"value":{"entity-type":"item","numeric-id":2943370,"id":"Q2943370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b38a7b15f856b8bd286c0ef3eea28a9499968bd","datavalue":{"value":{"amount":"+0.762753963470459","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":"Q5168879$47869B70-F2EF-4B63-B75B-19433C0E9AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6b93420c7e2994d0369ec226b714f70e548b4f","datavalue":{"value":{"entity-type":"item","numeric-id":4417863,"id":"Q4417863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a36cecb28c55533fed68e41ba29da9dbf9523276","datavalue":{"value":{"amount":"+0.7605525255203247","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":"Q5168879$5E4859C5-2B87-4E37-B935-5E983AB0CA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11af6d69ff179f9290e188f403bcf8b563bbe1ed","datavalue":{"value":{"entity-type":"item","numeric-id":4964692,"id":"Q4964692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d326b1deae5900ab2c9751fe44cedf661248f18c","datavalue":{"value":{"amount":"+0.7588363289833069","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":"Q5168879$F924FFAC-5FB4-467A-9BBF-ADF7C067E1C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5168879","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5168879"}}}}}