{"entities":{"Q5234702":{"pageid":7264270,"ns":120,"title":"Item:Q5234702","lastrevid":53547215,"modified":"2026-01-25T06:05:59Z","type":"item","id":"Q5234702","labels":{"en":{"language":"en","value":"Connection-based proof construction in linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7111173"}},"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":"Q5234702$852C86C8-6FF2-44EF-B218-4675196C8CA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fd1ac120c624bba9ed7d628dc7f1c990d8349f6","datavalue":{"value":{"text":"Connection-based proof construction in linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5234702$494E07B3-47BC-4C1B-BEE0-ADAE8E35E761","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33c39a4ca9aa13ebfec09fbd61c8d317366e2956","datavalue":{"value":"1430.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234702$51E2849C-E592-499A-AA76-FFB1331E3078","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac0d562c8a497806d94d6a989e5cafe5f64f398b","datavalue":{"value":"10.1007/3-540-63104-6_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234702$424DA460-EEF6-42D7-B319-2F3563F6A7BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f5895b753a2581412a8b72570b484e8af47e3a8","datavalue":{"value":{"entity-type":"item","numeric-id":229738,"id":"Q229738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234702$6985AA8E-AE59-451C-95B9-5CB62EB2BF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f59f2b238bcce2cb167eae8f1644fc8816001400","datavalue":{"value":{"entity-type":"item","numeric-id":681468,"id":"Q681468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234702$1060F86E-ED08-4DAE-9D11-5B9AA26E01A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2d00c1197e57bdc49c1c8779be1049cb4d10dbd","datavalue":{"value":{"entity-type":"item","numeric-id":877896,"id":"Q877896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234702$B4999609-D854-469A-8A41-884FD79FE985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79124b11e1fe5bc59a11a739fe63a4a20df1773d","datavalue":{"value":{"entity-type":"item","numeric-id":1854381,"id":"Q1854381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234702$CDDEE81F-86CE-4C54-8E2B-3DE846713D5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d3860a2f9767fdefbee4661adcdc84432183bcd","datavalue":{"value":{"entity-type":"item","numeric-id":5234680,"id":"Q5234680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234702$D0A34D7E-619A-4203-AAF9-92C362163768","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dea1ace5968cb70ccc50b025abd55a0016bafdf0","datavalue":{"value":{"time":"+2019-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5234702$33710FB9-A03E-48C3-A4C9-377EDB52F6E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234702$25E369F8-9965-4A53-920E-DDE12C9CA1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234702$239C44BF-EF42-4FF9-B8F5-3A9B8A37D213","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8187f995f258cc4d2b8c9012284c4edffb021a9","datavalue":{"value":"7111173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234702$724C78BF-788B-4B8A-BD32-216E044EA649","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234702$9EA6BDF4-3781-40E1-9202-73919CE5C5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234702$40CFFFB5-D79E-49A8-BCA3-2D15F572A13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9503f7dbc877f64c6b30ed39def320b56c3aa88","datavalue":{"value":"sequent rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234702$065EFEAE-4C70-46C0-8680-95C80D673687","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9bea83566ad047ec39e22bd8867e363c00af7d87","datavalue":{"value":{"entity-type":"item","numeric-id":5975143,"id":"Q5975143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234702$DF396FA7-5104-4234-BCD5-BC6B11B545A0","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":"Q5234702$0DB40630-35E5-4992-85A7-8C7C66764C62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8673d7337558dc11b738d2c8f21ff68906bd6d27","datavalue":{"value":"https://doi.org/10.1007/3-540-63104-6_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q5234702$44B845AD-692A-4443-A03B-DB6927E971C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9716e939d9c76233e47aeba0512d6cbef1a96b0f","datavalue":{"value":"W2124044295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234702$5384DA9C-F8D8-41FB-8241-6C7AA9DB8BB0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234702$50822A85-3CC7-4356-98A9-236EA6E4DA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82285947ecd1d65d80e17696025cdf5ddb799be6","datavalue":{"value":{"entity-type":"item","numeric-id":3922205,"id":"Q3922205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234702$4CCFE61A-31E4-4E91-8375-2AB88BFD9A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d3e41df6b1f820a18f3dae9a7bd419f3c1f6f91","datavalue":{"value":{"entity-type":"item","numeric-id":578927,"id":"Q578927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234702$1CA0415E-1CDD-4A53-8AB8-0C4A3EA24410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb4aa8dad638334a86cbf0de6c1439e4250b0ce","datavalue":{"value":{"entity-type":"item","numeric-id":4692618,"id":"Q4692618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234702$57BA672E-09A7-4F58-925C-5A6FABE66D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234702$DAD42200-78F7-405E-8DE2-027EC9DE1CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33bd6897f61e37e17a42d13a58bb4545975ae091","datavalue":{"value":{"entity-type":"item","numeric-id":4255504,"id":"Q4255504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234702$FA1E959C-E2A9-4C73-B9DF-D807C9D1890C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e10d811ba2353d8a61d15e121c0fa1ef3eee2c","datavalue":{"value":{"entity-type":"item","numeric-id":1342248,"id":"Q1342248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234702$38B0887D-5EB3-46E2-9D92-14406E6858E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234702$BC3138DD-BDAE-4487-AC12-EDB5C1E9A067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38da14e132b6ed87ebd6a06d39b0509028cb9550","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234702$A5BCC65D-57F2-4B10-9B4D-FAA235A769CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483505c109466864c272a9800591d657b7054034","datavalue":{"value":{"entity-type":"item","numeric-id":1327384,"id":"Q1327384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234702$8A7CCC58-F977-496E-8AD9-8D9AB6595D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234702$53510A6C-4887-412E-8C9E-B66169A3251A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf531efb88e664c8c46dc4bc5cb42d48408b96c","datavalue":{"value":{"entity-type":"item","numeric-id":3976054,"id":"Q3976054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234702$5A524E5D-2958-406A-A8B1-9F434DD72315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727e4fcb174852dbf7f8d1745be850a52bb6ad4b","datavalue":{"value":{"entity-type":"item","numeric-id":5633670,"id":"Q5633670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234702$BCE5A69C-FD1F-46A3-B241-FAA775401288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24c43ac445635282dee6e89db178fe88ba09f072","datavalue":{"value":{"entity-type":"item","numeric-id":4645241,"id":"Q4645241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234702$59A78FF9-168F-418D-9E6E-27F081086ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"584b0a5f836e827cd0cf945b4c1a7db2631a4eea","datavalue":{"value":{"entity-type":"item","numeric-id":4610335,"id":"Q4610335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234702$B50EBB60-FD02-4FF4-B3BF-B8EA84294F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8314d7f406de87b971b9374dd89093fd0a2b0d8c","datavalue":{"value":{"entity-type":"item","numeric-id":4647538,"id":"Q4647538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234702$E2C2FC2B-2FAB-4ABF-A502-2D44E2CDD6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ccc7c2664c0c14b360adc4b5633850507be50af","datavalue":{"value":{"entity-type":"item","numeric-id":1854382,"id":"Q1854382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234702$7C0C4F58-4963-43F3-999C-E57ECD033D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56f148de05de98f52f121398c20edb4b8bf5cdb4","datavalue":{"value":{"entity-type":"item","numeric-id":1340963,"id":"Q1340963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234702$DDE0507E-9740-4F4E-BB7E-55F5EDD8271C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079d26960fbad67a47fb78241cb8cbf2b682033c","datavalue":{"value":{"entity-type":"item","numeric-id":3999539,"id":"Q3999539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234702$CFF28F09-BA47-45DE-8CB4-EEE7D7ADD2C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03979710e327ad0eadd7eb073743bae8e4fb672f","datavalue":{"value":{"entity-type":"item","numeric-id":4246968,"id":"Q4246968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a830680321cca0d5bdf49e760d9a33a443e1d7b0","datavalue":{"value":{"amount":"+0.8639329075813293","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":"Q5234702$0022D363-7C3E-4152-95F3-024931BB820B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4fcfa0cc7fb93c848d7e89da379ee52bc6845c7","datavalue":{"value":{"entity-type":"item","numeric-id":1876098,"id":"Q1876098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"711f5a3c8917df985d405d9772692825d0bb8e9b","datavalue":{"value":{"amount":"+0.8499764800071716","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":"Q5234702$C9CF986D-1ED7-45E8-9344-7E77A370787C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff82554da5ecd24fdda7ed049927ea2c3356fb1","datavalue":{"value":{"entity-type":"item","numeric-id":1575926,"id":"Q1575926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9bc5fb9934631cbede75b2b4a89ef8ae36f3230","datavalue":{"value":{"amount":"+0.842448353767395","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":"Q5234702$EFDF23C1-6646-4AE6-904D-F271D4A3BEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b531bc4ae3dd17503f84b03137871c2ebf042d07","datavalue":{"value":{"entity-type":"item","numeric-id":4520768,"id":"Q4520768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af4351a63847e31baa046e877e0e592ac712cf54","datavalue":{"value":{"amount":"+0.8203427195549011","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":"Q5234702$E23E0817-9B40-4679-919D-3526CBF8D741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd7981ba232c8847b9a162827d20a710c9039428","datavalue":{"value":{"entity-type":"item","numeric-id":4255504,"id":"Q4255504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca70265843e95a3586b9c16eeab505890b91d5fa","datavalue":{"value":{"amount":"+0.795146107673645","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":"Q5234702$D03BAD3F-D4E0-462A-81F2-2836FA0EC0A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5234702","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5234702"}}}}}