{"entities":{"Q2946613":{"pageid":2957333,"ns":120,"title":"Item:Q2946613","lastrevid":44767974,"modified":"2025-11-25T23:04:48Z","type":"item","id":"Q2946613","labels":{"en":{"language":"en","value":"On isomorphisms of intersection types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483121"}},"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":"Q2946613$61466B44-0D23-4B1F-B233-E40FD70C6F39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8da28ce793e417b741e1ef598f4d78000dd91e8e","datavalue":{"value":{"text":"On isomorphisms of intersection types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946613$EB2D14C8-5C7B-4B13-B9E9-BB84DE32647A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"726d560d9ed2b7ac7d970629f0e0db5f645f4237","datavalue":{"value":"1351.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946613$978DFCC8-C62E-41A6-8A1A-BE6B7FB6E0D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98a65aab6638bcf523e3f90e4950806ad02cf0f4","datavalue":{"value":"10.1145/1805950.1805955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946613$0160F910-CAD6-44DF-A6AD-0A900C677E8F","rank":"normal"}],"P16":[{"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":"Q2946613$38A5F6FF-0ACE-410F-BC08-5B448D1D4E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"486d099545b5d657b05fa44bcf3d0c8a1580d678","datavalue":{"value":{"entity-type":"item","numeric-id":476170,"id":"Q476170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946613$DBCC7691-0594-4C5A-9052-83C5F49B8A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa036ac71e4432af4595c2940a8c80a681ec2db2","datavalue":{"value":{"entity-type":"item","numeric-id":1105362,"id":"Q1105362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946613$F87BC06B-849D-49FE-B89C-F2AE1DBF5311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26d759a8f15177451aa97ef2fc9836978dfb443","datavalue":{"value":{"entity-type":"item","numeric-id":278746,"id":"Q278746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946613$12BF597B-98E5-41B1-AC94-F1D6AA3528E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946613$D923D5F9-5577-4B1D-9779-BCA604D50649","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946613$FD348478-0CCE-4A81-B63A-FB8C043572F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1310cc49bca2e73c1840d35ff2aa104ec3ff4f0e","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1000.8212","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946613$69CC176E-9991-4092-82DE-2514BE0987F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946613$C9329B05-6279-401C-BC1B-78C22A8C6B4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8177af27738a910508b7d3a5eae0db2cffc3af96","datavalue":{"value":"6483121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946613$27D13992-62A9-416F-85E7-ACAA048F571E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96c91c7c0e1050145142a02efaff3a9478404799","datavalue":{"value":"type isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946613$D59AA061-010B-47FA-9EF4-81E683FE635B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946613$3F6082B3-0B86-4741-9263-F92BACA5C8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946613$91DCA2D2-E8AD-4E3F-BE3C-013B5FBEE052","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":"Q2946613$01F892C3-3EFF-4E91-99CD-4FE971EAC795","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de7a9d20cdde0d5ce9d11f55494fec43b5b0fc0a","datavalue":{"value":"W1998616409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946613$5C61D00C-EA07-415B-96A2-CAD93B2BC7AE","rank":"normal"}],"P1643":[{"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":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946613$C9F605A8-F323-40D5-9758-A7AFF5CE3A93","rank":"normal"},{"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":"abcaae7be8c36b83d19e1217d63ae98107123947","datavalue":{"value":{"amount":"+0.95998555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946613$85379059-9247-4236-B710-996B1F07311F","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":"8a27f92ca7eee50937667362362fb547f11f8371","datavalue":{"value":{"amount":"+0.95170325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946613$D414BD8E-0566-4503-9B9C-0AB961FCA9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaa18a15819795d068adeced50140fb2ffd0ea30","datavalue":{"value":{"entity-type":"item","numeric-id":5268999,"id":"Q5268999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6f36e5faa3f3b3a37ed1c2ed5e9a21a10dd660a","datavalue":{"value":{"amount":"+0.94741976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946613$6498EC55-2DDA-4AE0-BCAD-5C1D040C76A9","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":"cd1182dd417b9a37c2e6cff4be006ac9e653437d","datavalue":{"value":{"amount":"+0.92728394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946613$48DB3A0E-DB57-41D9-AD4F-FFF8CC4530F0","rank":"normal"},{"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":"0f3669b3026d50f3135bc65f06ba0f3d48c5154c","datavalue":{"value":{"amount":"+0.9160727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946613$7BE5FE49-9CA5-439F-A31A-21484BAE6C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3bcec2300d72928343a038cc29924b55117a92e","datavalue":{"value":{"entity-type":"item","numeric-id":4708431,"id":"Q4708431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90d7792f6bf7b8009c16f6703de2108881d61f19","datavalue":{"value":{"amount":"+0.9157154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946613$E5AD9E28-C39B-49C9-BA67-C36EC6240D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58670239119ebcc87012c052b3b7ae67a9b5bf6a","datavalue":{"value":{"entity-type":"item","numeric-id":3372683,"id":"Q3372683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2204ebcf72db8fbfb1521e93a9c94019e700a73","datavalue":{"value":{"amount":"+0.9156314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946613$40B48677-CB20-4EEF-8692-17EC184F7481","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":"35a34fda661c93bfd49b1177aeb5b942aa1d96e3","datavalue":{"value":{"amount":"+0.90623814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946613$B6D55DA6-A8A9-45C0-9CEB-5DD388C8EA86","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":"35a34fda661c93bfd49b1177aeb5b942aa1d96e3","datavalue":{"value":{"amount":"+0.90623814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946613$725FF9A1-BA10-46F3-8F3C-98262D5709C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946613","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946613"}}}}}