{"entities":{"Q5094136":{"pageid":7123712,"ns":120,"title":"Item:Q5094136","lastrevid":55971319,"modified":"2026-02-21T15:34:51Z","type":"item","id":"Q5094136","labels":{"en":{"language":"en","value":"Circular proofs as session-typed processes: a local validity condition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7566064"}},"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":"Q5094136$EC5B7D58-9AED-4A6E-AEC1-E63248B5D932","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05fc647e64320cf5a3b6ad886596321391a58068","datavalue":{"value":{"entity-type":"item","numeric-id":2069870,"id":"Q2069870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094136$24525B11-C6B8-4613-B6BC-4CE2703791CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094136$CD8B81D9-A755-4889-B7AB-BB13A8934614","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad9afbe138412ffaaaf6109d22a748c988081a7b","datavalue":{"value":{"time":"+2022-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5094136$FF428155-9A9F-4343-8292-CFD3629FBB2E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d18f6d1681eaba9a0c5250e11ba8a1d36fd14e6a","datavalue":{"value":"https://arxiv.org/abs/1908.01909","type":"string"},"datatype":"url"},"type":"statement","id":"Q5094136$BB6078E1-3A8A-470F-919F-36FBF0080294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e5396241d81283c2ea7105007943256fcc43fdc","datavalue":{"value":"https://lmcs.episciences.org/9444","type":"string"},"datatype":"url"},"type":"statement","id":"Q5094136$52E95D43-CD6E-49B6-828D-9C5324AF8B04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094136$A29F6FD9-E16B-464B-AA7A-B3C9AF3A1DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094136$1A66A275-C955-4F0A-A88B-F4C681976D9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17aa94180f8d8a56ee6e89cec94fc14a4ddf8403","datavalue":{"value":"7566064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094136$CB1825FC-B87A-4237-BBF5-97E4AE78637A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7dbc9c45eeeebda94a7a1591d5ed6936b62077b","datavalue":{"value":"circular proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094136$9C018128-F025-4001-BA8F-1CE7544A1402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094136$AB1A8079-EED4-4440-9C55-BF44E842002E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5868b428e5fddcc3b3870c65bd0281075a54c28","datavalue":{"value":"subsingleton logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094136$D04054B6-CF22-4640-AF84-44F936EA291A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094136$D27E33D6-F756-4BCE-8899-C6B564900266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56dd37b947bda5a6427b7991d62f3e7539df1588","datavalue":{"value":"progress","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094136$4EC11B08-303D-4508-BEEA-2FB1BB0A6A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094136$355E2283-CA59-4363-BA50-DF6295A3779F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094136$3331489A-BACE-4949-93A6-6590A6C8F631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094136$B1CD5CF8-54B3-4E82-9216-28B36D77756F","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":"Q5094136$406BF345-E601-4B7D-BFB5-88D121CEBB1F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"435cf13af67db4829ca178e89f130660572eba08","datavalue":{"value":{"entity-type":"item","numeric-id":5371960,"id":"Q5371960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094136$B29D6235-C5F6-49DC-8298-BF8426D64402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cacb44a942285d9baaf5031e5170ae5058e91948","datavalue":{"value":{"entity-type":"item","numeric-id":5278431,"id":"Q5278431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094136$14B576F9-5BE6-407B-A1BC-EF5F7F8D1F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c116516ecd0d94e751e535d829183a84da376957","datavalue":{"value":{"entity-type":"item","numeric-id":5271058,"id":"Q5271058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094136$18B36CB6-8AA7-4174-A84A-1DD017642365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339e9b87b316ce7468c84c4cc47a6905a2b7929d","datavalue":{"value":{"entity-type":"item","numeric-id":3584932,"id":"Q3584932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094136$72967178-7012-4A0F-BAD1-957EF0EF29C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f080bd9d18faa50e0b3693b31b7b9f5e94c2b86","datavalue":{"value":{"entity-type":"item","numeric-id":5741566,"id":"Q5741566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094136$E93C282A-4F37-4E97-954E-D28F6968D659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ac95a97664ee433af6430c2c176331df8f4ba1b","datavalue":{"value":{"entity-type":"item","numeric-id":4649549,"id":"Q4649549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094136$831399FB-2861-42E3-9F97-6DF3ED86FBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cb4c44053722d7d89141d98a75a5ec1bd92c3cf","datavalue":{"value":{"entity-type":"item","numeric-id":5144621,"id":"Q5144621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094136$6FFA15AA-F462-4BB7-874C-1CFB107CEE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86893aada1d79a1bcee7b731ef1745202598a38b","datavalue":{"value":{"entity-type":"item","numeric-id":3179272,"id":"Q3179272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094136$58580CAE-6544-4162-8529-DE850027F113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989f361bfc77f34b4d1069fcf2c9336d696522aa","datavalue":{"value":{"entity-type":"item","numeric-id":5079743,"id":"Q5079743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094136$3B88E4B5-FA42-4946-B88F-1EB9490F9AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d71a17761c190ee78fb9d5f9e16c0f31fd0ccec9","datavalue":{"value":{"entity-type":"item","numeric-id":2958526,"id":"Q2958526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094136$4842365B-86B9-436E-A1EA-4B07B7E9153E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094136$4685073F-6E36-4F31-BD8D-221FF4351912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96a974f70fdf30a806f290add5387a2e33b647fd","datavalue":{"value":{"entity-type":"item","numeric-id":2948548,"id":"Q2948548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094136$1990A8DE-5481-4482-A5D4-308EB9041915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4e8e29d8772f6e638866432d4891bb06c3eeab","datavalue":{"value":{"entity-type":"item","numeric-id":5189644,"id":"Q5189644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094136$C4C6E23B-14AD-4B1D-BAEE-68E600461656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21004028781a3f321d3a8c9ddc142b01afd3d6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4937113,"id":"Q4937113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094136$E4B77C7A-83B7-4CEF-90A9-D143CBAEE212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24739089f4c270b5d658e0b6d374309533b70e08","datavalue":{"value":{"entity-type":"item","numeric-id":5145339,"id":"Q5145339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094136$CAB48CC2-592A-486B-BA82-80E19DA95273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9066fe12e44dee0d16dd44d69d94302fb7ebb8fd","datavalue":{"value":{"entity-type":"item","numeric-id":2985793,"id":"Q2985793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094136$52066514-1DE3-4F59-87B7-17E42B8F6273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f4ab5c57cbd9fbc5d4e08c361870179894ae3d","datavalue":{"value":{"entity-type":"item","numeric-id":5079760,"id":"Q5079760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094136$910A01C8-DB57-4EC1-82A4-4AFC42FF9E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e368ff5d15897e0f850f0554d5b844437aaccf46","datavalue":{"value":{"entity-type":"item","numeric-id":1694474,"id":"Q1694474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094136$E8F54DD6-314C-44C5-95A3-980317CC5220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9363e79fa8e536824709fd691a9d6976fe6f88","datavalue":{"value":{"entity-type":"item","numeric-id":4738237,"id":"Q4738237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094136$60CA231C-E294-46A9-96D3-1583B22F9004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4155ec1979bcff48fbade25963b9a4724d46a2","datavalue":{"value":{"entity-type":"item","numeric-id":5960406,"id":"Q5960406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094136$D2F319A8-E7BD-4B2E-BFCB-968DE44E1DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e96310515fa9f689db558384312e5be0e59750e","datavalue":{"value":{"entity-type":"item","numeric-id":2842563,"id":"Q2842563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094136$3CC144AC-E237-4304-9350-B73A5FA25B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3949f528e82fd47768844b622a1e2504534da3c1","datavalue":{"value":{"entity-type":"item","numeric-id":4787834,"id":"Q4787834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094136$7A12EE79-B14B-42D1-BD1D-5E3875B285AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79af7c6c26413e6cf62b9d55caa06072ad927ad","datavalue":{"value":{"entity-type":"item","numeric-id":4417874,"id":"Q4417874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094136$D839BA7E-E187-4D1F-8750-27E15AC0F1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2b3c64205d4c40af3ff992b08da0a8c0d27b403","datavalue":{"value":{"entity-type":"item","numeric-id":5326295,"id":"Q5326295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094136$152CB6E2-3BFC-4AB9-BCA8-9449DB3A06A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2827317bb2e92396671730e13e22367e2721f7f9","datavalue":{"value":{"entity-type":"item","numeric-id":5168904,"id":"Q5168904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094136$2C3D544D-8AC6-48B5-82A4-2CAA58BF6F64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e699bbefc9664a9a1df1e940d3cf8f4583562bf6","datavalue":{"value":{"entity-type":"item","numeric-id":5079760,"id":"Q5079760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5107e4f1f7e5d2979c2c7220f694dd086ee5f463","datavalue":{"value":{"amount":"+0.7821270823478699","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":"Q5094136$FB44C334-2668-4AB5-873A-7A0D95880F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ee198f92a677c2980dbcd0aadc163e3e30b9901","datavalue":{"value":{"entity-type":"item","numeric-id":6649500,"id":"Q6649500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fc30e374a1b15632e1d04fb77e0292170f6983e","datavalue":{"value":{"amount":"+0.7750114798545837","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":"Q5094136$9FA64A2D-1011-4914-8A71-4E98FCDE8A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe587eb3e96c13cf4958f80a9d0180da1eb9c53b","datavalue":{"value":{"entity-type":"item","numeric-id":3584932,"id":"Q3584932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dafaf857098f7daec9b185132fc8b04a1d909138","datavalue":{"value":{"amount":"+0.7609146237373352","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":"Q5094136$3BF702F6-3E62-4D26-8AC4-CA6E1ADFF478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee04dd8c5cbe0df74580c97fad466feff2ae68b","datavalue":{"value":{"entity-type":"item","numeric-id":1652969,"id":"Q1652969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e5df706eeb4c875af77c8039bf2f8a565e586f0","datavalue":{"value":{"amount":"+0.7588903307914734","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":"Q5094136$80C0A50E-CDC5-4010-9BBF-4E803E9A7C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0465c972df9046a55c3a08f415d7cee5441ef46","datavalue":{"value":{"entity-type":"item","numeric-id":5357720,"id":"Q5357720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"883f64de58ac41407df7dddfbe1c80e23270f238","datavalue":{"value":{"amount":"+0.7562331557273865","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":"Q5094136$81B99C1C-14F7-4374-BB33-C3F0BC95642F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5094136","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5094136"}}}}}