{"entities":{"Q2968414":{"pageid":2979139,"ns":120,"title":"Item:Q2968414","lastrevid":44886912,"modified":"2025-11-28T14:20:59Z","type":"item","id":"Q2968414","labels":{"en":{"language":"en","value":"Isomorphism of \"Functional\" Intersection Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6694182"}},"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":"Q2968414$5F8865BB-F742-4BE3-AA46-BB1EE18D6ED5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a40255b15a4540a2f3af4f64f1951e57f96e0a8c","datavalue":{"value":"1359.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968414$EEE45E60-25B7-41E8-954B-24482A767497","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":"Q2968414$E855911A-5989-4AC4-BE3C-471529FE5860","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":"Q2968414$704DEA2B-9648-416A-A9B6-D7A010ECD324","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":"Q2968414$DDCEA27A-A6D4-49C7-A69A-8D58E818BE53","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":"Q2968414$F95DBC2D-82A1-4652-B85C-CD9FCE094F05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"856edffdf82e86092e797d3b8ee58dc208c2c6a3","datavalue":{"value":{"time":"+2017-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2968414$5E81253F-06D8-4C47-807C-A9AAE26E347F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968414$3CEB3BD1-3B1B-4B61-B4C7-84E4B9061F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968414$F97F5B61-CFAF-4E9A-A705-BFD78348C146","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed45609e90f7b4f519473e567b5132e72259cd91","datavalue":{"value":"6694182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968414$68123EEA-6BBF-471A-B9E4-ACE9D6562905","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96c91c7c0e1050145142a02efaff3a9478404799","datavalue":{"value":"type isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968414$48637450-3E75-4F43-A8DD-4106E8678F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968414$4FFB4207-A96F-4FE2-AE51-9189569E57A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968414$0823EF09-55AE-481C-B53E-6C51CCD9B3AE","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":"Q2968414$AC0C96DE-DE42-4B58-AB19-B9A23909449A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db18a495f17f38b7ba0118cc1da0feac34680e3e","datavalue":{"value":"http://dblp.uni-trier.de/db/conf/types/types2013.html#CoppoDMZ13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2968414$AF68D27D-8AAC-4E5C-B2E5-21C15C5BB68A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ad637caefb255bd83aabd7b89b8ca58d76f6d24","datavalue":{"value":"W2266018886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968414$AAA9C0A1-F4FE-474A-AE7E-ED31EBD83E04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b0c8990a6d2f32926dfdb95e34cb7757ba3001a","datavalue":{"value":{"text":"Isomorphism of \"Functional\" Intersection Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2968414$EBBE814F-24F1-4C6B-B547-D2EAEA2DA344","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5eaa773e8d17cbdf05bb227e1446ec394039fac","datavalue":{"value":"10.4230/LIPICS.TYPES.2013.129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968414$34148496-22A1-4C84-9A09-B7059A759275","rank":"normal"}],"P1643":[{"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":"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":"Q2968414$6D34B73B-E158-4BAA-806E-D89E275D7EA7","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":"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":"Q2968414$83D4C9A6-A02F-446E-98A4-A846A73ADD49","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":"c274ecdae0ecb6a4361c45674c7af9cb05493008","datavalue":{"value":{"amount":"+0.9296786","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":"Q2968414$D03EACEE-E515-476E-884F-19E989FE875A","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":"701f740470de69cf17f372606b393e546aed4325","datavalue":{"value":{"amount":"+0.9262106","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":"Q2968414$439F5004-B098-4A83-8924-828166FCA0B7","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":"33ad1d96f0946ab18ec97b56f9d7693944217afc","datavalue":{"value":{"amount":"+0.89027405","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":"Q2968414$D225F54A-84E9-4A95-81AC-36F99B3640E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca5f4e18249119867518c0c9c16b7ab557a8330e","datavalue":{"value":{"entity-type":"item","numeric-id":2842843,"id":"Q2842843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c691bf1af6ec4953951d56e0bc88bfc18eb6db41","datavalue":{"value":{"amount":"+0.8834377","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":"Q2968414$1EA994E0-6EB2-4920-B675-963E51566827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39208f8c9e9f74c27f37ffded3604a402852b56a","datavalue":{"value":{"entity-type":"item","numeric-id":4600774,"id":"Q4600774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fd623a20129af7de30f3ac87627b181406d5d80","datavalue":{"value":{"amount":"+0.88011646","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":"Q2968414$F58A3BEA-5980-4BE5-A00B-7462C5D0375E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"453503a6db4f937c2783c29fa8740b67f8cf50d8","datavalue":{"value":{"entity-type":"item","numeric-id":3313855,"id":"Q3313855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35ad691d79e69fb3078a37635693751090af0b61","datavalue":{"value":{"amount":"+0.87858236","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":"Q2968414$06E8DB74-3439-476F-AF18-75C5C6077DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e759ab42122c74af84ac02704168cd9d37baf6","datavalue":{"value":{"entity-type":"item","numeric-id":3337461,"id":"Q3337461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35ad691d79e69fb3078a37635693751090af0b61","datavalue":{"value":{"amount":"+0.87858236","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":"Q2968414$32E578AE-8F4B-4367-BEB2-04259CFC043E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db7bc6bc7524c42e30264621031df737b303646a","datavalue":{"value":{"entity-type":"item","numeric-id":2904625,"id":"Q2904625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"016f46738de4712895298bf912bf700d74974464","datavalue":{"value":{"amount":"+0.87823105","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":"Q2968414$71FA3A5B-BD68-4726-8820-AA1EB1ED7353","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2968414","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2968414"}}}}}