{"entities":{"Q6920847":{"pageid":21027802,"ns":120,"title":"Item:Q6920847","lastrevid":84140564,"modified":"2026-05-11T04:11:36Z","type":"item","id":"Q6920847","labels":{"en":{"language":"en","value":"Sequent systems for consequence relations of cyclic linear logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8102016"}},"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":"Q6920847$CF606E7A-719D-40AE-B911-4153C8B49AE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2365a16721d80a1426ec38020dae46ad51593518","datavalue":{"value":{"text":"Sequent systems for consequence relations of cyclic linear logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6920847$7BBD0476-82B7-4F54-AA90-16D0E4321EC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5973125afe0c3b5364eaa8d39ffad8992a5881e2","datavalue":{"value":"10.18778/0138-0680.2024.06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6920847$22CB0A9D-1208-4174-A5E9-E1BA705E35C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c9ce6e8217e034c8a6545e72391441777efb16d","datavalue":{"value":{"entity-type":"item","numeric-id":4999463,"id":"Q4999463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920847$16893DBA-E890-4027-9785-DB7268DFD1C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c85c25b73093295d7585b178d7954cc9bdf2689d","datavalue":{"value":{"entity-type":"item","numeric-id":2810124,"id":"Q2810124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920847$A071C879-C949-4366-BBA0-E79CC2C6139A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8f9bbcbc314fb12f350c638ec64c57700f49d71","datavalue":{"value":{"time":"+2025-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6920847$7D051C86-5ACF-4607-A1F5-706F20D67A4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6920847$7D2A0C24-EC4D-4EDE-B20F-B2E6736D803F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6acded42a80e9d8300286d7073b159aee906a34f","datavalue":{"value":"8102016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6920847$16E02F8E-E073-418F-95A7-A734E0A1EE03","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920847$FCA7CF94-71A1-4681-B042-F41D394582F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6920847$911BF5AD-F5F9-4F22-9D18-5DF0E2E2971B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6920847$163B266A-F85B-4055-A152-A70C4BA4B015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e806e0fef1f0cb027889764f6cc89fac37d472fa","datavalue":{"value":"nonassociative logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6920847$4759AA8A-6194-4779-93FB-BF2DA9F674C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4e0bfeeabec45b565f740ed30eed9dbfd480e0","datavalue":{"value":"noncommutative logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6920847$6A33E5ED-EFF5-4B53-A1D3-03E990C0B0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6920847$AF399D06-C787-49BF-8AD7-4D1CC0FEBEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c67ea07d8b0208e6dbdc28dc1eb63af6e7fd381","datavalue":{"value":"consequence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6920847$AC396B2F-3E8E-43C4-8FC8-0B3AC3667DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43ae27012e1efcb8359cba915a78ae77f3fa6cea","datavalue":{"value":"nonlogical axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6920847$C7EA0EE7-3EAD-4600-B946-063A964EFECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90ea63d90345c02ab94acb217ffe530386868b8c","datavalue":{"value":"conservativeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6920847$A05E65E9-5FFE-40C9-A2EC-D047A3A1A6F0","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":"Q6920847$0693A8BF-7271-4066-AD6F-6EE619C9FF55","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4792b5729ccd751666a738991241637d65618b98","datavalue":{"value":{"entity-type":"item","numeric-id":3984416,"id":"Q3984416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920847$E107ADBC-4FAE-4E5E-B565-113775D69F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff335355e78f8ab519c9af3d7a359f533c90e7b7","datavalue":{"value":{"entity-type":"item","numeric-id":1850949,"id":"Q1850949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920847$86732A1D-33A2-47E5-AC33-1070A9D1DA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9751ba466f3c37a70fb9a480d3b6b8e9c6fbe394","datavalue":{"value":{"entity-type":"item","numeric-id":5431598,"id":"Q5431598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920847$21E1CA5B-43AB-420B-8B75-88EA3350F59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a6951add7b713fc48f54ddb5e2622ffaac86bb2","datavalue":{"value":{"entity-type":"item","numeric-id":2963995,"id":"Q2963995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920847$DB5B3371-3214-406E-A290-E54726524307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af3cef7c34859f80e76eadfd3c25778992dd7eb","datavalue":{"value":{"entity-type":"item","numeric-id":4608556,"id":"Q4608556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920847$70B69F63-F640-4EF9-90C7-219367F967BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836a981a523fb26c9fe7e590b4dde49af9cc85de","datavalue":{"value":{"entity-type":"item","numeric-id":5501771,"id":"Q5501771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920847$0FAAB258-49E2-42C6-9B39-591E74A6E117","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":"Q6920847$C66CB2D2-311E-4C87-A0DF-81D3932C369C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472dc9372bb0dd59c93566504c1379a2c88d3bf3","datavalue":{"value":{"entity-type":"item","numeric-id":4327830,"id":"Q4327830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920847$26123A5D-23C8-4AF7-816E-3E24FD915301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d75526f2385ecc7200bcab2aa884a4689865a70","datavalue":{"value":{"entity-type":"item","numeric-id":3564882,"id":"Q3564882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920847$4F4BE61D-8755-42BF-9A5C-F9679E24C4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c786352733fe5d2b875a1654adf542251381724","datavalue":{"value":{"entity-type":"item","numeric-id":4999464,"id":"Q4999464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920847$95D8915D-FB0E-4CE4-9F82-8EF3637A6C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422cef0c9a9929cf6babf24e2aeeba55fa17104","datavalue":{"value":{"entity-type":"item","numeric-id":3478401,"id":"Q3478401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6920847$F7242D21-7513-48CC-BB74-E492B3984A02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sequent systems for consequence relations of cyclic linear logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sequent_systems_for_consequence_relations_of_cyclic_linear_logics"}}}}}