{"entities":{"Q1378432":{"pageid":1389172,"ns":120,"title":"Item:Q1378432","lastrevid":67506591,"modified":"2026-04-12T18:28:13Z","type":"item","id":"Q1378432","labels":{"en":{"language":"en","value":"Lambda calculus and intuitionistic linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1117772"}},"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":"Q1378432$A0457A50-F25C-4DE0-B5D0-0980840B11FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3c89dee3d72543291f60f182806d5fa0b8d8dd8","datavalue":{"value":{"text":"Lambda calculus and intuitionistic linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1378432$EAB697FB-BE60-4247-8E82-5AE1FF2B1647","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a493d4fe83cda91c2d5caf21bfc64e2dc68cb2c2","datavalue":{"value":"0894.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1378432$566A7252-03C6-4B69-97F2-54A441A2EDA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"985fe8395a6d8576ce577a61f3c1084a0a759c6f","datavalue":{"value":"10.1023/A:1005092630115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1378432$1120F5D7-3118-4117-A5E5-D96835A6D5FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7fe2e34ceb1a5a0fc819d5b27ac5700ee0e0306","datavalue":{"value":{"entity-type":"item","numeric-id":737108,"id":"Q737108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378432$E3837C26-8B60-41D4-9C21-067A5DFFC706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5548a7b3c7ed4d552de9e4afd56242ea9f22139","datavalue":{"value":{"entity-type":"item","numeric-id":1198660,"id":"Q1198660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378432$228D5FE6-1BC3-4919-97EF-D011A2BB837A","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":"Q1378432$84AD0816-9C02-4139-B374-9967C0A3F5BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6731495957fce69e0c4829616a87e0bb5b599fc8","datavalue":{"value":{"time":"+1998-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1378432$6137E9F2-7E71-4B39-981F-2720A104D473","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1378432$FC1C9A8D-EB78-4982-A27A-491313923CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1378432$EB54E709-E795-49B3-9D94-8A3135E4B787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1378432$D660B216-37F5-4214-AA18-13D035D68534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1378432$064D79B9-3BD0-402B-ACE8-B706903CE36C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b227a65c0c5697a6888fa20e6d8835a081f0876f","datavalue":{"value":"1117772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1378432$8416E031-755E-4DA3-80FB-6B21A2665126","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1378432$E5445FB5-0354-415A-A94B-F94290051AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6df162fa746f798a6e5546045b1619c16eab6dc","datavalue":{"value":"typed functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1378432$3C5522D3-EC10-431C-A26F-582305F0B5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"995d2a6fb36579ccb06958a9c61cfb4666ba60a3","datavalue":{"value":"typed functional language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1378432$DBB84106-499B-4FED-B5AA-8A89726003E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdaa8bcbc0661cbee7adb3770b0a662ef045f112","datavalue":{"value":"categorical model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1378432$88370BFC-29C5-4C4A-A004-497DC58997C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1378432$07C032FB-9C86-4991-B4B9-BCB997D43560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35e6898b50088c8e1117289cebdd88933d79821d","datavalue":{"value":"Intuitionistic Linear Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1378432$E3CF1A2E-A61D-41BF-8BC5-03B2F08D865E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"330a7528450a554cbabd80b7894415a012ce0f2a","datavalue":{"value":"Curry-Howard Isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1378432$A31E6802-B9EF-42B6-B3E9-0547E5107896","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":"Q1378432$7C5DE198-4768-499F-B118-A3DF5BE05AB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"120fdcd1318fa3e35f23622fce148a477fa28afb","datavalue":{"value":"https://doi.org/10.1023/a:1005092630115","type":"string"},"datatype":"url"},"type":"statement","id":"Q1378432$9FC5C2C4-9404-428A-8C16-6C7BAF543E27","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f85848fa2637f5c9be69b1f2b8bf9ada68ee22cc","datavalue":{"value":"W1582221715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1378432$4793F3FF-6DF6-4C12-AC41-A04F99A87CE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24038ea68fd5d99a595393d7e5350ce065a3561d","datavalue":{"value":{"entity-type":"item","numeric-id":4764609,"id":"Q4764609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f812f27b0e3b54eb5a03412b512176f28b01093","datavalue":{"value":{"amount":"+0.7951979041099548","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":"Q1378432$B5A524C9-F376-4C18-BC0F-FB5DAADF28BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118577ddedbdc165434b3660dd665ac30c43ed79","datavalue":{"value":{"entity-type":"item","numeric-id":3413927,"id":"Q3413927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46fcca162680112b6ae013f4bc5e72bfc02b01ca","datavalue":{"value":{"amount":"+0.7827312350273132","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":"Q1378432$55ED0431-1DC5-40F5-9B1D-2EC224AA5765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dc128b3765315f4bde23200628156e28f24084f","datavalue":{"value":{"entity-type":"item","numeric-id":1577345,"id":"Q1577345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e35407fe2fe513376a1d408fb27fd8495dd19ad","datavalue":{"value":{"amount":"+0.7815564274787903","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":"Q1378432$E0E91700-F2D2-449F-B09F-9ECD4B96A2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd60909211ac8bcf8806b37033c59bf74f211030","datavalue":{"value":{"entity-type":"item","numeric-id":3363460,"id":"Q3363460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcfee32583a5668309ad1e05d531587b110bacd5","datavalue":{"value":{"amount":"+0.7807613015174866","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":"Q1378432$81DA1A46-5286-40A3-90C9-B7DF8E822F7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lambda calculus and intuitionistic linear logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lambda_calculus_and_intuitionistic_linear_logic"}}}}}