{"entities":{"Q790801":{"pageid":792649,"ns":120,"title":"Item:Q790801","lastrevid":64494354,"modified":"2026-04-11T20:16:12Z","type":"item","id":"Q790801","labels":{"en":{"language":"en","value":"Principal type schemes for an extended type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3849200"}},"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":"Q790801$B070DA04-EB57-49DD-9027-1FEF3C66915C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c266726ba81816e0fbc5658c68909402775c4ee7","datavalue":{"value":{"text":"Principal type schemes for an extended type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q790801$0B66FEAB-D05B-4790-95B5-4EAE02B5C59C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0b24c8b03812ba300d68f9f237426679ba55418","datavalue":{"value":"0535.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790801$9F2D19D3-F665-4C7D-9946-2A93FD02C72D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ad6b58aa5f4645ef5d7af0bab486f929bdf6acc","datavalue":{"value":"10.1016/0304-3975(83)90069-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790801$B0AC73EF-5235-4711-95EC-FDC8EB5CAD98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790801$50E46D71-F631-403C-8D42-99A459CE41A7","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":"Q790801$1B37800D-3DFD-4B06-97D7-B0455ADEFCFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q790801$F823D123-283F-4054-89EE-F80FA8DDBED0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"12024de6d1de48404c306db7495c39c369858a90","datavalue":{"value":"The authors present an approach to the definition of the principal type scheme of a term in an extended theory for functionality [\\textit{M. Coppo, M. Dezani-Ciancaglini} and \\textit{B. Venneri}, Z. Math. Logik Grundlagen Math. 27, 45-58 (1981; Zbl 0479.03006)]. They also present a set of operations or deducing type schemes from the principal type scheme, and those operations are complete w.r.t. the definition of the principal type scheme.","type":"string"},"datatype":"string"},"type":"statement","id":"Q790801$2835E96F-4975-4228-A507-8CAA4A14C99D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790801$8C564EE7-BFC8-435E-BC6F-FB436D02F0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790801$72C1812F-408D-420F-B83A-91D16532A42D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6a650e24051b4c0aea7e579d9f3dc8e5d64cd3a","datavalue":{"value":"3849200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790801$72714C18-1BA4-4A1B-8F5A-4879EDA93B37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q790801$D2F60E44-F72E-4356-8BE7-2DBA31FE2236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b718e48fe341633490fa2ced729b418e18c3ad8","datavalue":{"value":"polymorphic types","type":"string"},"datatype":"string"},"type":"statement","id":"Q790801$1DDC6B5C-4492-4632-8E6F-5411197EC919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q790801$4A39C59F-41D7-4E80-A5DE-9219F48F2925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4457b0a3f850554cedcdc256abc653b6581b787","datavalue":{"value":"principal type scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q790801$0FB71FF8-C1FE-4920-BA28-96A575B83549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a684e7114f8c0650618c8a9c686a3a9a86979b7f","datavalue":{"value":"functionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q790801$DF4D5774-47DD-4169-ADCA-64A181209E99","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0952533bb8ddf126d68f7cc4b1c2c4ed19555944","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790801$2879DD3A-F3C5-4E98-8E41-505A69D036B1","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":"Q790801$0B408F35-4B02-44FB-BEA9-459AE3ADDBE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b19bd2458b17d457913eb359044a2b8e8226af1","datavalue":{"value":"https://doi.org/10.1016/0304-3975(83)90069-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q790801$151CC8E2-0EA2-4AE6-9D5C-CCA4718D7427","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4a76d2f6c4ee6e4b57d4bcb4fe5d102805f8561","datavalue":{"value":"W2167904762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790801$5129983C-E5DD-4454-AB33-B05889252C00","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790801$2A1ADF85-E5F4-4D5C-B3E5-F9D1039E1568","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":"Q790801$6E95F373-4984-4BD9-A638-83BBA68DAE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a538718f218d7316878b6a0f618e6f4b8fbe9436","datavalue":{"value":{"entity-type":"item","numeric-id":4198724,"id":"Q4198724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790801$8C6789C8-8760-4CCB-8C3D-4BDE925B5C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f434d785ed24cbcd005c3f7acdcb5c12ab96aa52","datavalue":{"value":{"entity-type":"item","numeric-id":3936713,"id":"Q3936713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790801$B5B18D37-FF7C-4C51-B6B2-ACE44A54C463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790801$C7D097DC-0BD9-4FB6-A48E-EA438D06C8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b570dc51ad23d1e9cb47c7083a0b7b043b06071","datavalue":{"value":{"entity-type":"item","numeric-id":5592242,"id":"Q5592242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790801$99BAEF5D-DF0C-4980-A669-E97FD72A83B0","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":"Q790801$0E8A0BD9-7DC3-4C1B-9C03-886FF6F98526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790801$C36A427C-26A5-4B11-9043-E981E754D20E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a4fa3dc06a7ec04c149955b20385bac0a0d8354","datavalue":{"value":{"entity-type":"item","numeric-id":1110311,"id":"Q1110311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3de93c25e3675ae8c16b0a3d9b85e3d08ee23df3","datavalue":{"value":{"amount":"+0.9200782","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790801$5CCDB1E2-DEE9-4168-A1CC-CCBA7616FB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a288f2fc28ec2baab271cdb8106dc6e506c062b0","datavalue":{"value":{"entity-type":"item","numeric-id":4632162,"id":"Q4632162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45cdecf9cd22fe57c66c7580b4d41cad6436b396","datavalue":{"value":{"amount":"+0.9178783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790801$BDA44B4D-3597-4B45-A7A1-3E370D8A8569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a753a5604230ff8337211b7bff52651723cd64c8","datavalue":{"value":{"entity-type":"item","numeric-id":4286211,"id":"Q4286211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52707e5bfeec8a0b946629f96fbe164965e56d40","datavalue":{"value":{"amount":"+0.911131","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790801$12BC57C5-EB77-4AD6-8F63-CCD16C122E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9ad3ae406a2c925ed49825c3d6fe3596eeddc94","datavalue":{"value":{"entity-type":"item","numeric-id":1900315,"id":"Q1900315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89d3a5030642aa44f4be4c7dda148bad7795f752","datavalue":{"value":{"amount":"+0.9010904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790801$EF1C6960-DAFC-465E-9B84-998AF3710487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"073941fe171251f742afe8160161189f34dde366","datavalue":{"value":{"entity-type":"item","numeric-id":3489979,"id":"Q3489979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f83a11d35c206eb67d47867f0422bbe8d98ec32b","datavalue":{"value":{"amount":"+0.8992625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790801$C0A99ED0-6210-4C6E-A291-EA17B6DA4947","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":"2c7351d4464c49d06b7ed3ba3f4aae8ee70d1b47","datavalue":{"value":{"amount":"+0.89925003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790801$8231EF65-C9B9-48D6-83F1-B2E0B0266BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4544bd11938687cc440f27412e6c0ada43f99c9b","datavalue":{"value":{"entity-type":"item","numeric-id":3507473,"id":"Q3507473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4394ae2278670a86e4a260604b325a50f918ce8f","datavalue":{"value":{"amount":"+0.89693224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790801$769D7EE3-024E-4522-BC57-A2F18B3407CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f193da7d9d3653a5704cd320c5ba1998c8c99f5","datavalue":{"value":{"entity-type":"item","numeric-id":4737219,"id":"Q4737219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"734125c49c7ff5b66329df18736487f8834e720b","datavalue":{"value":{"amount":"+0.8967764","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790801$872FAA37-CCBB-4AEE-A19F-F0AAECA8A619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e580dd738879786e1ecfa8dc2115c1331ef374","datavalue":{"value":{"entity-type":"item","numeric-id":4835538,"id":"Q4835538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe277d74c87dc313bb71c581976dfc9e900806c8","datavalue":{"value":{"amount":"+0.8967274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790801$BF92FF86-13F1-4A51-90A2-37707982C918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9bc2e7220520971cc32d52ecb120acd3aeac839","datavalue":{"value":{"entity-type":"item","numeric-id":1194107,"id":"Q1194107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb6a95e5eb427e9fec49b2553022e602b9e94b9a","datavalue":{"value":{"amount":"+0.8946254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790801$3A845B50-0676-4E41-91F8-89A7398464EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Principal type schemes for an extended type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Principal_type_schemes_for_an_extended_type_theory"}}}}}