{"entities":{"Q1340967":{"pageid":1351706,"ns":120,"title":"Item:Q1340967","lastrevid":68506680,"modified":"2026-04-13T00:10:11Z","type":"item","id":"Q1340967","labels":{"en":{"language":"en","value":"Reduction and unification in lambda calculi with a general notion of subtype"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 704961"}},"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":"Q1340967$1A0C2AD4-818F-4438-AA24-8F69028B3C58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9152c2ddec0cf50193752850a621b85e5d28467b","datavalue":{"value":{"text":"Reduction and unification in lambda calculi with a general notion of subtype","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1340967$0E206677-F228-49E6-AEA8-B19C3B355E45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81a7c7ed5c65da8c8bb87c7816adc9ef25da4aae","datavalue":{"value":"0808.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340967$439F845E-D894-4CC7-8DB7-261F2290EA19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8a7a179128e553c7d812b22f847aeab1f2bb186","datavalue":{"value":"10.1007/BF00885767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340967$034433ED-9983-47D5-A9C7-7DD2FF02911E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f1c1a63c0b1d1f059654b48fe9e830d57cbf3ac","datavalue":{"value":{"entity-type":"item","numeric-id":674755,"id":"Q674755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340967$6DB9817B-7F13-4F75-BE4D-93D2FBCE1EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd39997decddd4925a8ef09cbbffc4f41d2b1f00","datavalue":{"value":{"entity-type":"item","numeric-id":670700,"id":"Q670700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340967$428BB139-E83D-4C3A-957F-AA6257698E6E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340967$E9A936A6-5C70-4E49-97A5-81CFD4A96CA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89a5af496da52109cb9fd8ee43aa6e112a9ba241","datavalue":{"value":{"time":"+1994-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1340967$76C5BBBD-D4D8-4126-9891-16A51E4173FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340967$C4688518-AEE1-4A7F-B7E6-1A5F934C47AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340967$25A7F366-F845-457C-8FA1-FEF93C871B82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f082ef68d0f32eabaa3e4697e10e875fd3612480","datavalue":{"value":"704961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340967$704ECE38-C6D4-4DF1-9A62-36B5BBF57F1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47e23d02d23dc9aab5ad319bb8a7dedde4cdae9e","datavalue":{"value":"simply typed \\(\\lambda\\)-calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340967$631FEEE7-F4AE-46D0-90E5-6E13B8014B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5934bfe488ad6ac441a2d887e283b8ccc7bca59","datavalue":{"value":"subtypes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340967$8633AE42-5F25-4BA9-B156-47E0D5603477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340967$C7703093-7A0E-496A-BE48-8DDF03F106B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bd5e640143d97b736be60c5040f4374a126b75b","datavalue":{"value":"higher-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340967$1B940095-6051-4D5F-B779-31AF3CAC7F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad055cf9b4b7a650dded60171515dcb98767c25c","datavalue":{"value":"generic algorithm for preunification modulo \\(\\beta\\eta\\)- conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340967$0E96E847-3D45-48D8-851C-EC360414EB26","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c40cf9a35904f638a7cabef2bc178bad46391f7","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340967$5EF628F1-2634-463B-B9BC-BC1DF8F35CDF","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":"Q1340967$76B620CF-81E2-416F-BB12-853ED0DB4B9B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ad0eeac3b2d9aea59d4e0a75de4182d01753ee","datavalue":{"value":{"entity-type":"item","numeric-id":1923825,"id":"Q1923825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340967$7D1BE4B7-62B4-4B28-A014-18A0F91861C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340967$FE25C853-9868-48C6-9E8F-FD0FF073B188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee7f876fb42c53e997157b1419d079fb01f54d06","datavalue":{"value":{"entity-type":"item","numeric-id":1106652,"id":"Q1106652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340967$C7D07F4D-D124-4BCB-AF07-7C579C424ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340967$239E3445-138B-4530-9710-102C28E9F3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d0de0ba52048b2594da38e4815945e3a42363a","datavalue":{"value":{"entity-type":"item","numeric-id":1251063,"id":"Q1251063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340967$5EF2D1A6-D85C-4A04-B1CA-B8F4BFD24BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340967$D992C970-343D-4F45-B66D-D9819F59D0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bbe63c42c351a315dabe14e649afaf16535549b","datavalue":{"value":{"entity-type":"item","numeric-id":4255519,"id":"Q4255519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340967$8E226FFD-88AC-4BA0-9B18-3F1BF9F6DB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340967$47D1E01B-53FE-491F-BAE6-04AAB8196A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8a9169f9863dd0cf907a7ea462945e74c6dee2f","datavalue":{"value":{"entity-type":"item","numeric-id":4939703,"id":"Q4939703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340967$7CF7ECDD-2FB7-4167-B2A8-D49E6EBB7D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626360b19484c605a96c967a546d1aee007f849d","datavalue":{"value":{"entity-type":"item","numeric-id":4281481,"id":"Q4281481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340967$8F20A947-B141-4900-BB8E-44A0768FA39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f03718703b8bc824a8185cf5e489ddc38eb3037c","datavalue":{"value":{"entity-type":"item","numeric-id":4264719,"id":"Q4264719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340967$571E2A14-253D-47AF-8102-1EE5259D9E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7182ce57f503c6c9134e2d3cac4f980e58f65963","datavalue":{"value":{"entity-type":"item","numeric-id":1323318,"id":"Q1323318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340967$C2C94304-84A9-4DEB-8495-10D60025163D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0019d907973d7569cdd61ec3c8c4f916896acc5b","datavalue":{"value":{"entity-type":"item","numeric-id":1801289,"id":"Q1801289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340967$3D64A14B-2830-4179-B279-CFB013DC854A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed17d1d7b1ff67830dae739e9417248cd25f604","datavalue":{"value":{"entity-type":"item","numeric-id":1823936,"id":"Q1823936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340967$938FD7AF-5476-4D02-A0C0-9D10AB31B241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09289f6833573b3dfe785ef27b87fe1f0ccbfbc3","datavalue":{"value":{"entity-type":"item","numeric-id":1060859,"id":"Q1060859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340967$EF96F6F1-B41D-459F-AC9E-9F382117C262","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87a26a59db67d10f608635b9dbb7561994137b7c","datavalue":{"value":{"entity-type":"item","numeric-id":4249224,"id":"Q4249224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"040e084a7852c5b70ca219d9c4587c668f326ced","datavalue":{"value":{"amount":"+0.7866264581680298","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":"Q1340967$3F2364DB-B787-4C97-8569-85E2BD3306C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2842a69ce505d76f527982e81a57a0ca07074c7d","datavalue":{"value":{"entity-type":"item","numeric-id":5286030,"id":"Q5286030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c74070833449b3d78e69de09651ae353455d1c69","datavalue":{"value":{"amount":"+0.7684531807899475","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":"Q1340967$4DEC1CD9-32F5-4C3A-B5B5-991B96695127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec2f0bb38b56f759cbb69a7dc3cbce032e16f8c6","datavalue":{"value":{"entity-type":"item","numeric-id":5055716,"id":"Q5055716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c74070833449b3d78e69de09651ae353455d1c69","datavalue":{"value":{"amount":"+0.7684531807899475","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":"Q1340967$B38FD30D-3FCC-4682-B545-145E241542C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aac00bfb186d8dda9d55b5cac0875f10e393feed","datavalue":{"value":{"entity-type":"item","numeric-id":5096246,"id":"Q5096246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0882e0ec5545c413f34f4cfc2e3dfca1784a9df6","datavalue":{"value":{"amount":"+0.7517319917678833","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":"Q1340967$28590642-8DD5-46C5-8A15-0E5BEDFC5928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b95f93fd90cad66d67d245ce96649add6270b51f","datavalue":{"value":{"entity-type":"item","numeric-id":4259970,"id":"Q4259970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"601ad8830e79c9542243f8b9402edbe5433af6f1","datavalue":{"value":{"amount":"+0.7514399886131287","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":"Q1340967$35BA956F-2700-4073-8A0B-17F6E86CC3A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reduction and unification in lambda calculi with a general notion of subtype","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reduction_and_unification_in_lambda_calculi_with_a_general_notion_of_subtype"}}}}}