{"entities":{"Q1192333":{"pageid":1203082,"ns":120,"title":"Item:Q1192333","lastrevid":66819024,"modified":"2026-04-12T13:03:59Z","type":"item","id":"Q1192333","labels":{"en":{"language":"en","value":"An intuitionistic theory of types with assumptions of high-arity variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 60738"}},"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":"Q1192333$1D30850D-C76F-4ACA-80FE-B7FF498091B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b583543fb08a5a9be3bdd0985356eb2dc93012b8","datavalue":{"value":{"text":"An intuitionistic theory of types with assumptions of high-arity variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1192333$07F8E204-C80F-4457-A729-EDE4ABE0990C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecc178704008a333d4c2d6f70e336f4854a0a02c","datavalue":{"value":"0785.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192333$3B1339AC-4631-4D63-A177-176B8E156770","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87048ed0d806161ced233c166ec58e891a8ffd83","datavalue":{"value":"10.1016/0168-0072(92)90023-S","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192333$FA00D9D4-62E7-48F3-B449-D1CCB0BE507F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192333$49B6D96F-5468-4181-B9C4-F0282480E008","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1192333$FCAB46A8-CFEF-4115-ADF2-63BD8F7191BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192333$A2A6184F-B9A7-435C-9C0F-A280F27B0659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192333$D6078F54-17AC-4CA2-B2DC-5704C7C711FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192333$3EC96601-5B68-481D-AD92-442681A326FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3743be13b2ebbc7b7090e98c9626c66d7ea8bd7","datavalue":{"value":"60738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192333$9B98230F-C6D9-4E1C-B4EA-7A62257511C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a873b1249320401a540139f73cb4923b785b2111","datavalue":{"value":"Martin-L\u00f6f's intuitionistic theory of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192333$0D15A84C-8517-4FA7-B6BA-D647CAD3FFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43b6822466d36a86f38b7a43194ddacc390c95e6","datavalue":{"value":"high-arity variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192333$21019A81-2C5D-4661-BA30-9E16B9EA28BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9d8bc31c314d5d0bc758d21c21c5ec1118a6bc6","datavalue":{"value":"normal form theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192333$EE2AD8D5-F103-425D-BB55-DC6CE0BA2D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9376fc55d74d810c3d1ff550a4cbfb0cfffca6b4","datavalue":{"value":"canonical form theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192333$0A08C400-4B53-4FF8-9057-CB8936837F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a9fb3a412647a528f3793db43004fa806900eed","datavalue":{"value":"computational interpretation of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192333$2E8A6C67-C9EB-4B07-A716-9B8C8E7B12FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3faf292e740a06b6804efee0d51063b54182cc69","datavalue":{"value":"correct program","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192333$CC23FFC6-5ED5-4ED3-8DF9-0173C2762809","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8746e3e542fcb2c86c5c4dd73da00ffe7d92d6ab","datavalue":{"value":{"entity-type":"item","numeric-id":1035701,"id":"Q1035701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192333$5BDBE8C1-B9F6-4774-A513-0A98ECA95D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d0979bbcd7d577f2b6333689cfdba669a470be","datavalue":{"value":{"entity-type":"item","numeric-id":651320,"id":"Q651320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192333$71C05850-3E57-4515-9FD6-C70640411F08","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":"Q1192333$47C98583-DCAE-4C1E-AF16-FCFBDA22B915","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7931dc29f3e5a2a167917b66423fa0388ae2206f","datavalue":{"value":{"entity-type":"item","numeric-id":911744,"id":"Q911744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192333$851E15D3-38C9-432A-89CC-DE182C42D9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192333$01977B34-9696-4013-9C28-FF12111953C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ee0734545600fd465e287744ccc384cc681549c","datavalue":{"value":{"entity-type":"item","numeric-id":1820596,"id":"Q1820596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192333$12125771-08D7-4832-8E78-237A6C7366E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0abf65c499a2acb50eb37174e27c93ee329f542","datavalue":{"value":{"entity-type":"item","numeric-id":3914980,"id":"Q3914980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192333$A7849E54-A1D7-4021-B2E0-257C58D67637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ebca66772d138dcb1b6ad2d0c3612f116db46e2","datavalue":{"value":{"entity-type":"item","numeric-id":1192333,"id":"Q1192333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192333$7B73CDD1-A98E-42CB-BC48-E8F60A8C0294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e94e0a7bc58887caf8ea3b84d3a676ee2dfdb61e","datavalue":{"value":{"entity-type":"item","numeric-id":757027,"id":"Q757027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192333$BF4374C2-BC04-4970-889D-0A36F7C61B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a296d5968de653db0529f8303b6736f8f062015a","datavalue":{"value":{"entity-type":"item","numeric-id":5638283,"id":"Q5638283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192333$A45EFB8E-AFDC-47FC-8245-9487CB0B362A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192333$E25A1329-66CF-4379-B8A1-D836A95D742B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f69e4e3c6e6db6273645f322c23116e1ad1c80","datavalue":{"value":{"entity-type":"item","numeric-id":3343983,"id":"Q3343983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192333$B8432F92-F471-481D-84BE-D10992623B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192333$4C0B8423-46C3-4740-9C43-95CA6C2785C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96310a9c72bc22486ece60af1982afb0e77d8790","datavalue":{"value":{"entity-type":"item","numeric-id":800719,"id":"Q800719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192333$164F6C71-C5BD-421E-8CD0-B47A43836CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81429eb2dd6645fafa5c678a2982c0878ee38eae","datavalue":{"value":{"entity-type":"item","numeric-id":3740203,"id":"Q3740203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192333$A55E94AA-EF49-452C-8E66-B69CC67561B2","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":"Q1192333$D19A6D60-1315-4832-BE0E-CF0E859A8874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192333$49D7A158-683C-4F09-8F49-A219985D3FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20f26a27356d39f30de150c562ffeee04fbf14f0","datavalue":{"value":{"entity-type":"item","numeric-id":1099173,"id":"Q1099173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192333$FF869549-4C19-472B-A1A9-ACB736387204","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74c98b5a48e2ad52f2ae1ef2655d9c93c15c5d6","datavalue":{"value":{"entity-type":"item","numeric-id":3322097,"id":"Q3322097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"310b207aea6e6bc204e77e74d23424c07c3585bf","datavalue":{"value":{"amount":"+0.7618153691291809","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":"Q1192333$FEA8255F-BF9D-4FBF-B967-B6793434C039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc0a43a649037aff843d9e62cc66bf2911a8e7b","datavalue":{"value":{"entity-type":"item","numeric-id":3312222,"id":"Q3312222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f95c4929024f0002001eceb5c61b771bd226e373","datavalue":{"value":{"amount":"+0.7561946511268616","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":"Q1192333$580E2A8A-A83F-4C3E-A814-AE07EF3BC0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696d83aaec159cdf8ddedd031545e8cc3910de03","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3c776906fd219f86bea9ca596dd356b5e8acf05","datavalue":{"value":{"amount":"+0.7445306777954102","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":"Q1192333$9921B608-069E-4015-862D-4C27A978E893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2397fade5c4f2cc3ab5fbe5a3a21d58401c456bc","datavalue":{"value":{"entity-type":"item","numeric-id":3553922,"id":"Q3553922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3c776906fd219f86bea9ca596dd356b5e8acf05","datavalue":{"value":{"amount":"+0.7445306777954102","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":"Q1192333$C7719BD6-7DC5-4C71-AC0C-36D3AF6CF0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cc3e932e7760daaadb77d898716e1973b9a7d02","datavalue":{"value":{"entity-type":"item","numeric-id":3371147,"id":"Q3371147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6fd0b3d22ea39fff40764db21511b4d2687c036","datavalue":{"value":{"amount":"+0.7343416810035706","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":"Q1192333$CF3B94A0-E4F1-420A-B764-45610CE7F2FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An intuitionistic theory of types with assumptions of high-arity variables","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_intuitionistic_theory_of_types_with_assumptions_of_high-arity_variables"}}}}}