{"entities":{"Q5739978":{"pageid":7769530,"ns":120,"title":"Item:Q5739978","lastrevid":58597125,"modified":"2026-04-05T22:34:14Z","type":"item","id":"Q5739978","labels":{"en":{"language":"en","value":"A deep inference system with a self-dual binder which is complete for linear lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6601624"}},"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":"Q5739978$F89030E1-74C7-455D-BA0F-8EA3C875AABE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4252ff39f515f726993b77ffb3c33c70814f9155","datavalue":{"value":{"text":"A deep inference system with a self-dual binder which is complete for linear lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5739978$F8624084-50A4-43AB-AFE7-D47E7F5AF1D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b64277d0236ea6840b6fb82f4e155451fe813867","datavalue":{"value":"1403.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739978$D3A5C0AF-EEC3-482B-BECC-33278EF455C0","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":"Q5739978$EF2990C7-F203-4879-862D-8173E5CEEF34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83a193227d6ba6906cd45e4bab84652b56c48091","datavalue":{"value":{"time":"+2016-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5739978$91DEA213-7871-427C-B0E0-4F7E70D76AF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3678e14416a8aad45ac5a9ff7a4297a4ab395c19","datavalue":{"value":"https://arxiv.org/abs/1212.4483","type":"string"},"datatype":"url"},"type":"statement","id":"Q5739978$EFEA26F1-BB32-4CC8-9B1D-3110D2A9CC33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739978$E92CFF43-8F80-475B-9625-1B8ED7774673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739978$973A1981-8A78-49DB-9EDB-39E7B0AA96D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739978$E53E7821-D175-4415-9EB8-DC0EA7B5DCCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9390f7e82317aa582ebc4e1cfde5201a3035df6","datavalue":{"value":"6601624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739978$A428025F-C52D-4295-8246-754F5EBBF4E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4378301378a4894c21a5999cf134beae101d5914","datavalue":{"value":"structural proof-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739978$68CBB73A-2ED6-4C9D-8CF9-C6F19C1E8010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739978$3E6D3970-75AB-4458-A053-793921397C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ca216c9bb39fab1074ba17a4d77046e86cb96ea","datavalue":{"value":"linear lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739978$4605A350-CE92-4218-B52C-25292E07F653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fe8107509c3504f323398a17d0ffacfc00f02ff","datavalue":{"value":"calculus of communicating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739978$06EAEC69-0BB6-4DE7-81F0-CF3A938B915E","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":"Q5739978$433135A8-23CF-4DDB-9F03-8535BD469D80","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad7abb4e5792d9d8e8bc5ad6cd158399679af134","datavalue":{"value":"W1487302275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739978$525097BF-7FB7-4CCB-BBC0-88E551754B2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e92526d8b20723f2c6d481ffce337bec3cb181cf","datavalue":{"value":"10.1093/LOGCOM/EXU033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739978$A6F4CEE6-CE62-4533-9F82-050A3C4CB94D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739978$7B1892F0-97A4-44F9-9030-AF03C0494486","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61e026f96b6b6430150c3a15de7fea11eda5a0b2","datavalue":{"value":{"entity-type":"item","numeric-id":3007666,"id":"Q3007666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9b81711f5d7c3a6e1c375121ef16725e61bcfcd","datavalue":{"value":{"amount":"+0.8755192756652832","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":"Q5739978$65AA8095-D3F4-45CB-9F4E-173F4F3F1B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5593f45110a7f3260cdff3094265b40896fdfba","datavalue":{"value":{"entity-type":"item","numeric-id":5310657,"id":"Q5310657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8819af8a5e09dc207a39c8cb344ef9c4f42e8d95","datavalue":{"value":{"amount":"+0.7679551839828491","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":"Q5739978$3E401606-F76F-45A1-837B-0AB37EB611F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da8899e5ae5170fbd3bb4bfd34daa3d5fa2ae1bc","datavalue":{"value":{"entity-type":"item","numeric-id":5277766,"id":"Q5277766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73007c44f30441b80151425990fb5c3a62eee4cf","datavalue":{"value":{"amount":"+0.7281083464622498","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":"Q5739978$B6BB1E8D-DAF6-43BF-8635-DF73381B1190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250015501770d2b4eb23c8c45a374d617434f0c3","datavalue":{"value":{"entity-type":"item","numeric-id":452333,"id":"Q452333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"762655f1c02e493991cd3bc1ee8ca822ac26c919","datavalue":{"value":{"amount":"+0.7238161563873291","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":"Q5739978$E488BB21-9091-4C66-A6CD-A38BD611D493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d74465c155a44dd034da0a2fe7c997591e1b1b","datavalue":{"value":{"entity-type":"item","numeric-id":5505576,"id":"Q5505576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4be79d9a038098897427b87f02a090f3b398c83d","datavalue":{"value":{"amount":"+0.7194984555244446","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":"Q5739978$D52A74DA-72C9-4DD3-AFF8-2F672E364139","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5739978","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5739978"}}}}}