{"entities":{"Q1127527":{"pageid":1138276,"ns":120,"title":"Item:Q1127527","lastrevid":69843168,"modified":"2026-04-13T10:43:13Z","type":"item","id":"Q1127527","labels":{"en":{"language":"en","value":"Bounded existentials and minimal typing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1189762"}},"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":"Q1127527$ED3FFD82-B1C7-45D2-81B5-84C7DC5FAA5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c5822661308407469d1613f2d05fc434de5effb","datavalue":{"value":{"text":"Bounded existentials and minimal typing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1127527$9C190D1D-9CFB-4ACB-B195-F74362FD4014","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2d773aa250c18a6ee4750cf292c9575ec76ab8b","datavalue":{"value":"0909.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127527$4E905F20-7813-47C0-A08F-336E24A18BE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ed343c8adffd7883e8b10e33811bcacaecc5e8e","datavalue":{"value":"10.1016/S0304-3975(96)00300-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127527$0BA7DC62-4DB8-41AE-86E9-88E7C1AFF9A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee23461be9262b029750fffafa71dd9be63b3f19","datavalue":{"value":{"entity-type":"item","numeric-id":673965,"id":"Q673965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127527$F555BDAD-AE18-460B-A4C6-A388DE8377D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99eac199dd442a993b294694241ddae3fe5dfca6","datavalue":{"value":{"entity-type":"item","numeric-id":879362,"id":"Q879362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127527$D2F6DF07-B9F2-4051-BA25-E68C58159264","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127527$56A933A0-2A21-4A8D-9610-5124143E538F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1149445dbfd9f2ca7dd0bddef406ecc8c892dc","datavalue":{"value":{"time":"+1998-08-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":"Q1127527$A0518CAB-3FB8-40A2-A7FB-9CD77CA6741A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"993577f1fac8b64c4e7d63bd8430761fae0b6ec9","datavalue":{"value":"\\(F_\\leq\\) is a typed lambda-calculus combining subtyping and second-order bounded quantification. It is shown that in the system obtained by adding (as primitive) bounded existential quantification the minimal type property fails. It is also shown that when the system is restricted to ``equal bounds'' (the introduction rules are of the form: If \\(A\\leq S\\vdash T\\leq U\\) then \\(\\vdash\\text{All } (A\\leq S)T\\leq\\text{All } (A\\leq S)U)\\), then the minimal types do exist and an algorithm to get them is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127527$E3A22B4D-EFC7-4A13-9EC2-7EE824C9AD18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127527$AB69339D-38B6-453D-8AD5-A7AADE71D2B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0167bdf70b0ed179371b076ddee04f91077d91f","datavalue":{"value":"1189762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127527$15C003E4-6D78-420B-B673-C985F601CB60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe403560b16acc6be8aae0480f4c9361f09c2f9c","datavalue":{"value":"typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127527$97D72AFB-6CA6-4012-BBEE-BE71E6B93954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127527$C372F4DA-D5CC-461F-B78E-137C3B4319B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e15a3cb1e52473ebabff02d5fa2eee751e759f00","datavalue":{"value":"second-order bounded quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127527$5009D083-51A7-48CB-B325-CE5B0C69766E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f8d1cd90c4bcb5cd8320adec18e66a935ee5fe","datavalue":{"value":"bounded existential quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127527$5D5BE80A-4B00-45AA-A9DF-7CA9CD770849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f317f0c8240c0eeb0dc92984e4e4d3741717b21a","datavalue":{"value":"minimal type property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127527$4DBFE09C-6D5E-45D8-A622-C81F5276895A","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":"Q1127527$D85CD337-E755-44CA-B1FC-0790236B8CE7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8be63c5f271ce7f1f200c26e0ab76283f6d86ebd","datavalue":{"value":{"entity-type":"item","numeric-id":1322473,"id":"Q1322473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127527$45951BE2-067E-4CB4-84D5-E665C22F15B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd8d9ead5f4aef6a0df48651eef887001e51c4a5","datavalue":{"value":{"entity-type":"item","numeric-id":4005456,"id":"Q4005456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127527$28F4F44A-178F-4589-A1C5-37659F234C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fadb98706e8c9ab659cb856584ca2086f4fff623","datavalue":{"value":{"entity-type":"item","numeric-id":4281471,"id":"Q4281471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127527$6CC6F3B3-9AFD-4C0F-B62A-07E847E9E482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88588b78926ae4bb8fbe9ab2d45780f703ce3cee","datavalue":{"value":{"entity-type":"item","numeric-id":673966,"id":"Q673966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127527$930003A8-0E45-44F7-8515-0B2984D116EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4436008312f50bedb48fa8d06ec6ec3a3a0daa26","datavalue":{"value":{"entity-type":"item","numeric-id":1327694,"id":"Q1327694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127527$27735BC7-6FD1-4C41-902E-C3AF6610407D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7714fa4b0099b24b98d42ae2ddf8dc82c7b15b30","datavalue":{"value":{"entity-type":"item","numeric-id":4005456,"id":"Q4005456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a5fd6d08c6f2052376b4c7190dae5ab6e53ae46","datavalue":{"value":{"amount":"+0.8177792429924011","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":"Q1127527$FB985C87-4EF5-43CF-893A-D977FC38B621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfd09690e3e8e3f10f5f1e81dda72e632260f3df","datavalue":{"value":{"entity-type":"item","numeric-id":1854309,"id":"Q1854309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"393e385be9d88332790547bfc97bb31a6dcac6d5","datavalue":{"value":{"amount":"+0.8022321462631226","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":"Q1127527$7374CE44-3366-417A-A8AE-7CF8F03128EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9edc535a49624d795add1c1d71a3ac0b8f178f67","datavalue":{"value":{"entity-type":"item","numeric-id":1327694,"id":"Q1327694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7a112af07ced1dca5ef44b16db4f35eaa197e38","datavalue":{"value":{"amount":"+0.7849010229110718","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":"Q1127527$6A90547D-4048-4B9F-A6B8-237F055D494A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da613220951a6ff0da516ba157f14995da7c95cc","datavalue":{"value":{"entity-type":"item","numeric-id":4855344,"id":"Q4855344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ac7fa287b1505fde5bc707f0cf5353790c6b50","datavalue":{"value":{"amount":"+0.7844696044921875","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":"Q1127527$E31FB628-ED39-48E0-A0FE-3D7ED28A917A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounded existentials and minimal typing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bounded_existentials_and_minimal_typing"}}}}}