{"entities":{"Q1575877":{"pageid":1586617,"ns":120,"title":"Item:Q1575877","lastrevid":67909062,"modified":"2026-04-12T20:09:01Z","type":"item","id":"Q1575877","labels":{"en":{"language":"en","value":"A classical linear \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1495169"}},"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":"Q1575877$A6106CE8-CAB3-4005-B4DB-B427BBE3DC3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b60caedf31c5e2e86804b5edeb3ac0a60b31781b","datavalue":{"value":{"text":"A classical linear \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575877$7235AF7C-5A15-4BDE-B582-33C3C634957E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7de446256e627ff3dfea891a7a273bcabf36e132","datavalue":{"value":"0952.03071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575877$107F8B4B-B560-4678-A140-97C4DB5503C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc489b28830a21eafebc884cf257f60675f099d2","datavalue":{"value":"10.1016/S0304-3975(99)00048-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575877$F7E33227-9EC3-42DB-86B5-D04A11B9ACD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38c1f622ca5a8e1981406df5479b2fddfe8cfc72","datavalue":{"value":{"entity-type":"item","numeric-id":1575876,"id":"Q1575876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575877$75EC330E-B8CE-4435-AC5D-D88AD7CFDB4F","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":"Q1575877$4559D5E5-E7CD-4AAB-A159-5BD46C98D323","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b75bb4814c2bf285f873da0d0a308eb99ddd7a4c","datavalue":{"value":{"time":"+2000-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1575877$B2125B8A-20E8-4963-986C-D1FB6AFED25F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575877$5C5EE63B-EE9B-446D-8A3B-D5C4E6036BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575877$79698960-A270-4160-8954-0CFB9477E1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575877$0C35C26A-3D76-4170-8393-5EADEAF9892D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"184d5e0ddcda2de921cc56fa339df6524dcbb4e9","datavalue":{"value":"1495169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575877$641CBDC0-F4F1-4C2C-8774-C30361EFFB79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575877$D1DC761A-2585-4427-AD9A-605B972C5652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575877$90FE6D53-BEC2-405D-8240-D2D53464EA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f182e86329a34e1b4cc75d54bcc34cbb69c421c6","datavalue":{"value":"typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575877$F68F2EB0-2A01-4A76-AE01-09604D3C06A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0077a8f3ee7a3e9641775c68ecac296a4a8d252f","datavalue":{"value":"classical linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575877$DAC0FFB2-798A-4D6B-967D-D8166EA2878B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575877$72F3D459-4BC0-413C-8B04-E70C0176F9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575877$4ED135E2-7D1E-434A-9BF7-744809691316","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":"Q1575877$67C30081-9A49-413D-BC2A-7801CFDE9D3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aecca6027bc125cf7076244288893b276b5182eb","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(99)00048-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1575877$74179E85-79A9-4E39-B9C4-A3B68488CA3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8373f056a09d7ae7baf17484703653303ce8d61c","datavalue":{"value":"W2060269912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575877$9E9F0E0B-1B3E-4F6D-AA14-859A3EEC26EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"869135bac15d9543c59bc2a25d5e145a706361f3","datavalue":{"value":{"entity-type":"item","numeric-id":4222823,"id":"Q4222823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3b80eab091ef26a5385c8ae3fab602f22afd573","datavalue":{"value":{"amount":"+0.93790036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575877$3BC7D213-95D8-45A6-8672-585325D705A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"982e65de43aa8aba239f0007ef6a6ecea64e2970","datavalue":{"value":{"entity-type":"item","numeric-id":2980972,"id":"Q2980972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a131d2dff30c975c4fc17be41d93190cfb86290","datavalue":{"value":{"amount":"+0.90955573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575877$FE9BC4C2-B70C-4ABE-86F8-DDD0C64E54E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ad432a7c4c937f3e7513e7461c48d27a05f3f8","datavalue":{"value":{"entity-type":"item","numeric-id":4952053,"id":"Q4952053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fa9eb6aff175119e467bc84e887da3331d0ebd8","datavalue":{"value":{"amount":"+0.9017533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575877$B5FCB0E9-3BD4-4D45-AC03-B21088CBDB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aefecd13ad75ccea943623188f60531f378e8bf9","datavalue":{"value":{"entity-type":"item","numeric-id":1850952,"id":"Q1850952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8868d4b6cdd11b71db1bde6021f2a7b1454eb896","datavalue":{"value":{"amount":"+0.8875534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575877$C1F3E8E0-A3CE-4492-BEA6-D9E3CD8227F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc5e11eee860428ebcd4ef314ee9e234f223a776","datavalue":{"value":{"entity-type":"item","numeric-id":4500177,"id":"Q4500177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b224aca2a123a7c997dd3f22c07c51b4efedba7","datavalue":{"value":{"amount":"+0.87718385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575877$D628C073-C355-4306-B078-0166724B74D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"712576e596f6617f303ee8b32bb91d309c5147b3","datavalue":{"value":{"entity-type":"item","numeric-id":3527292,"id":"Q3527292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"191af0c603eb5345984d64a51a7523bfd4818128","datavalue":{"value":{"amount":"+0.8771288","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575877$1736753B-16DB-4FD7-BFEB-26EC61C470B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01e5990c72c20b2ffd15922238cdcf2caddf8c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4635902,"id":"Q4635902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9feea42bef6fc04e4196568676a84eef7e4fec27","datavalue":{"value":{"amount":"+0.8764327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575877$1FD02837-4077-4082-9D3A-19E85D7AD01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24f5a0aa81fdeda03ebc6f5253102881119a9e78","datavalue":{"value":{"entity-type":"item","numeric-id":4490747,"id":"Q4490747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bebc09a091f2a3bac93de1a89e4d5922c49c186c","datavalue":{"value":{"amount":"+0.87605345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575877$9AAED80B-E549-4BA0-8446-55D9A7319FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68e8b1f86535197a6c989c0a63f77bcb56e463f6","datavalue":{"value":{"entity-type":"item","numeric-id":529049,"id":"Q529049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc6c44efa1786102039a11d0790323d4b6871cae","datavalue":{"value":{"amount":"+0.8754416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575877$620BBE71-B1F8-42B7-81EC-6CB36DBA3173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff347230f343bb1e918392d882c83b0aea3f05aa","datavalue":{"value":{"entity-type":"item","numeric-id":2963995,"id":"Q2963995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"048e4fbea2b88bc53153fb1794e534a62dc0a26c","datavalue":{"value":{"amount":"+0.8726774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575877$53069F2E-26BA-4025-B378-AD396C4A1428","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A classical linear \\(\\lambda\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_classical_linear_%5C(%5Clambda%5C)-calculus"}}}}}