{"entities":{"Q913792":{"pageid":915640,"ns":120,"title":"Item:Q913792","lastrevid":65336439,"modified":"2026-04-12T01:53:08Z","type":"item","id":"Q913792","labels":{"en":{"language":"en","value":"Alpha conversion, conditions on variables and categorical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4148086"}},"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":"Q913792$58BE96ED-D42B-4490-960C-CE3C932D94EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f803f99ebc3b6cc936166911bf2d74fc3078f39","datavalue":{"value":{"text":"Alpha conversion, conditions on variables and categorical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q913792$C1852E1A-425F-4F17-BDCB-39DE4A07C890","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5349ae22a9a03f8c71b544c0d6d036c1128b87b4","datavalue":{"value":"0701.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913792$98655794-C211-4565-A658-A32C279E6175","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e9cef58579c773651703393ab5c6d5629dcd107","datavalue":{"value":"10.1007/BF00370828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913792$24400A9C-C442-492F-9540-64684D7C1774","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913792$57A85A64-B3BF-49B0-993D-2F3A3BE77880","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q913792$B0859F05-AFD5-4370-B428-C52BA6305D65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913792$FF953C25-81D4-47CD-8AB9-E1017B829268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913792$B2EFE75F-10FA-4F5F-826D-EDE9702FAC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913792$8F94685A-CF62-4B03-8A55-9F38F30DC5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913792$637DE3D4-E2D7-411A-B757-FB20E5E561D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffb7aea20eb3f6cf12546878092638fa1137b171","datavalue":{"value":"4148086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913792$B082A78A-877E-4464-A42D-A8567E68579C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"098859660e45b32ad72cda1cbec790af681f50bf","datavalue":{"value":"sequent formulation of natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q913792$644B11BC-CD7F-4CF6-8AA0-B4409DAA7E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fae97273d9eb6fa23478872030dc30f3939f3a9","datavalue":{"value":"categories-as-syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q913792$133C32FD-965A-445A-80B7-AF64413BA6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc63158e3b5900e98ad83cfdeb445f4fa3b66d97","datavalue":{"value":"categorical combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q913792$41288E0C-8473-4B11-9415-DA276CDBE80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1105fcc0b74c7a1fbaa65e95eeb7525fdf97d4ba","datavalue":{"value":"indexed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q913792$25DCE4F1-8F43-4B15-A71B-28C469971FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"691b35693eee36e313a015b10eeffefcc355b710","datavalue":{"value":"description of quantifiers as adjoints","type":"string"},"datatype":"string"},"type":"statement","id":"Q913792$666F6B96-E306-474C-BD5B-E0B12982F45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da3bf55ed09dd3352254fc379263d1036de1ca9d","datavalue":{"value":"equational presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q913792$02ADE21B-EC67-4988-9CB1-00D60FE49BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q913792$3EA02CFB-96F3-4A05-99A2-78A3BCBBB9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c30ac6e06a2a88feac7ee1bf71e687161e1581f","datavalue":{"value":"contextual categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q913792$706712C4-671D-4B09-BD9E-8CB0E7CCBA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e77f6b122613ab28ed1949959e76bf4107c78456","datavalue":{"value":"\\(\\lambda \\) -calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q913792$A1B3D1E6-3364-45AD-B9F7-F0E552CAD6DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cb313c50586523a1a82ffb573c59952e4111e32","datavalue":{"value":{"entity-type":"item","numeric-id":418199,"id":"Q418199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913792$47F433AD-8D6D-40DC-9AA6-1548C4F74CEE","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":"Q913792$AEE31964-6A32-4D58-A879-5F2AD8C172D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913792$48FD464A-224E-4D9B-AE46-32AA5C1B7427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af68ceb104dba542fd65d08f5dbc99f264f002a3","datavalue":{"value":{"entity-type":"item","numeric-id":4855338,"id":"Q4855338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913792$0A1DCC97-AF8E-4B8C-BE34-3FCAD6F9D498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67891ff95f931d7292afcccd5c58693ada0d7672","datavalue":{"value":{"entity-type":"item","numeric-id":3792655,"id":"Q3792655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913792$3FC984B2-8312-4204-BA09-02B403EA03A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5f8f362da434ad441cbfa7aaf92ed7c49fc378","datavalue":{"value":{"entity-type":"item","numeric-id":3784072,"id":"Q3784072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913792$A15B3B76-F5AB-486F-AC77-D36714EC1C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de30bc71fa2f80f80d10bc8645b2c869132c82fa","datavalue":{"value":{"entity-type":"item","numeric-id":1824612,"id":"Q1824612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913792$62648298-30FC-4B93-9BEF-4206B8DA4672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0bc180311b57c62eeb872b6b44fa7298188cae","datavalue":{"value":{"entity-type":"item","numeric-id":1097043,"id":"Q1097043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913792$EA1C292C-50A8-49A9-98D9-E34BA36302A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5c0a322641e0fb0bfcedb9760d56ea332ad04e","datavalue":{"value":{"entity-type":"item","numeric-id":3745827,"id":"Q3745827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913792$AFF9D70A-B6D3-4467-A712-7F9782B18BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8128be7a2395e4b6b58abe3d71613f69ea9d0962","datavalue":{"value":{"entity-type":"item","numeric-id":3785893,"id":"Q3785893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913792$EEA5DA0B-EC49-447F-A4DD-62631F50AEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33650ff905d8145c53473a6e0b65912f87f54e13","datavalue":{"value":{"entity-type":"item","numeric-id":3831475,"id":"Q3831475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913792$1BF8EBA0-5451-4C21-B7EA-3F791B76D018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913792$BA209A8C-B1CD-4449-82FA-C7FB3766569C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913792$DD18EE2B-08F8-4688-BAE9-F13A9347BA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c3aea8ba4374fa6afd6fa009a7280cc68d9953","datavalue":{"value":{"entity-type":"item","numeric-id":1822494,"id":"Q1822494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913792$CDE0DEEC-2DC1-43DF-8114-35D265156863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36e4ce17cede867a82574cebccb1c77ad33605d","datavalue":{"value":{"entity-type":"item","numeric-id":5752573,"id":"Q5752573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913792$6E6B1874-0D00-487D-8717-14A17990BC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c955b55aa93e4322e27fdf7cf9c017b56661300b","datavalue":{"value":{"entity-type":"item","numeric-id":1117204,"id":"Q1117204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913792$4CE7D564-3240-43D1-8FE0-D596241FCE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"477a21e9bf6d6c513ed36c29e31db833edada1a1","datavalue":{"value":{"entity-type":"item","numeric-id":4732603,"id":"Q4732603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913792$4EB4F2A3-9606-4216-9BB3-830EC2C2D529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913792$80D92E47-1DD7-4889-84D9-288D59F665A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b66726964d3d433ff18e1b52294538dcbb75fa","datavalue":{"value":{"entity-type":"item","numeric-id":4108488,"id":"Q4108488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913792$26688FC4-56CA-41F3-9934-D9F993FB079A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540ed27ea355ebe0450e53de6a86ead29b974567","datavalue":{"value":{"entity-type":"item","numeric-id":5642701,"id":"Q5642701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913792$75866D9B-DFB8-4D5C-BD62-FD4CE336AE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94cf9631c9e91afb0e168451174422010e0452e","datavalue":{"value":{"entity-type":"item","numeric-id":4006232,"id":"Q4006232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913792$567F4D8D-4B62-4DEA-9861-B18CB56725EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913792$E08EB02D-2B80-4E5B-9CB9-D2D5D31C2B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff195701c0a951481f573bb7459fc69fbbed7fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3786612,"id":"Q3786612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913792$5D5513DF-D960-4913-BC2A-AAD197025B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adbf2d5b157e5fb4d1745288b32c2de045384528","datavalue":{"value":{"entity-type":"item","numeric-id":3679177,"id":"Q3679177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913792$76D74838-2702-4E46-A810-D2A61285EAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913792$5C433AAC-C50A-4B57-B06C-41DC3C746037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777260a5123151297d232c2d79bc36758c0492f6","datavalue":{"value":{"entity-type":"item","numeric-id":3783264,"id":"Q3783264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913792$AEC5C19D-3829-439C-83E8-ADF52556BFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91acc10d9280ae3d49da96b6130063e041a3319a","datavalue":{"value":{"entity-type":"item","numeric-id":4733863,"id":"Q4733863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913792$CB97D283-04CA-4DA4-8E80-F3EA651FE947","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd61c7dca6f04275027a1d1efbc76ff2ff8e33fe","datavalue":{"value":{"entity-type":"item","numeric-id":3714049,"id":"Q3714049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bf3c8e487111e299a161470680a8d136175d6f5","datavalue":{"value":{"amount":"+0.7865958213806152","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":"Q913792$69F3AB40-FA75-4B52-B880-BD39F18A415A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a29c8080c8398810792809b9de8d3af270a10c94","datavalue":{"value":{"entity-type":"item","numeric-id":3351348,"id":"Q3351348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7149b69b5da579928d44ed56019ee4321e09686c","datavalue":{"value":{"amount":"+0.7678557634353638","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":"Q913792$E8B814D5-5A85-48D4-A15C-53905379478E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25036cb7ecd232d6eb024f82d928c3f01c56d499","datavalue":{"value":{"entity-type":"item","numeric-id":3745827,"id":"Q3745827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad3a7141f77909718bfa771df88c42e21d279b54","datavalue":{"value":{"amount":"+0.7539427876472473","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":"Q913792$423E3FB1-14DB-409F-98EC-8D9C980CA4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a4c87b0c14b080abcdcb2516758f6a0ba60161e","datavalue":{"value":{"entity-type":"item","numeric-id":3768900,"id":"Q3768900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eab83d0cd126ebe6cc6f85386c598630bf3d3f3","datavalue":{"value":{"amount":"+0.753097414970398","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":"Q913792$47E7B130-3DB7-482B-9986-5F51A0FD6646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84ab3de1e2f31deaa6c35b6e7aae26e544d9ca83","datavalue":{"value":{"entity-type":"item","numeric-id":3784072,"id":"Q3784072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a156ad04f0b5b06541d1c79cf76e9c52dbd77d0","datavalue":{"value":{"amount":"+0.7517909407615662","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":"Q913792$472D8EF0-C08B-47EB-A0AC-F0033FFABBC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Alpha conversion, conditions on variables and categorical logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Alpha_conversion,_conditions_on_variables_and_categorical_logic"}}}}}