{"entities":{"Q2104539":{"pageid":2115282,"ns":120,"title":"Item:Q2104539","lastrevid":56991711,"modified":"2026-03-25T13:40:00Z","type":"item","id":"Q2104539","labels":{"en":{"language":"en","value":"Cyclic proofs, hypersequents, and transitive closure logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628206"}},"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":"Q2104539$A7978358-F4FC-4FB2-86E7-2DACE3459FAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5398ca2339cf39617fe0e7908eb40d1b61564b8","datavalue":{"value":{"text":"Cyclic proofs, hypersequents, and transitive closure logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2104539$4F5F7749-5FDA-4FDC-9D7E-DE1E31763F00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24ed85ae1707d73dfd23b42af71d46eb35d614e4","datavalue":{"value":"10.1007/978-3-031-10769-6_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104539$C687697C-0D24-4A96-A6EB-90E69392A61B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c255adfc712bad9b4346c358d68a6d24be790f29","datavalue":{"value":{"entity-type":"item","numeric-id":1694470,"id":"Q1694470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104539$CB7A1E3F-A6A8-4674-9D22-5C07264E34F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e045518f6e12ef3786440340940f9f65ccbcbda","datavalue":{"value":{"entity-type":"item","numeric-id":1694455,"id":"Q1694455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104539$AEAD8961-F1FD-4539-8555-59FA92104CF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-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":"Q2104539$D9A47842-CBDA-4CD9-B972-5605E68212F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2034f4775b4c82abd9923cda02045b89560274f9","datavalue":{"value":"https://arxiv.org/abs/2205.08616","type":"string"},"datatype":"url"},"type":"statement","id":"Q2104539$8A30DAF0-0296-47CF-B85A-7CD6E6B9A092","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104539$EC9AF4B4-DF8A-4D89-B18C-23DC379FAF19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81f983393c1d565f98de93cd29e342d9d4c65c10","datavalue":{"value":"7628206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104539$B442FEE6-4404-46CA-B9F7-422A9FF94FE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8255afe24ff623e2eec5328fe47d34a79bf3589","datavalue":{"value":"cyclic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104539$4DB5D073-61F3-410C-BEDD-AA8B342FC24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55118d9d1bbc13007a4b8d4da1af3e6fb042ce73","datavalue":{"value":"transitive closure logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104539$6130D3EE-963A-4BD2-9D77-3C3330CCF868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1cc822e1c26c4cdd2ac493c7178a1c51841e7d","datavalue":{"value":"hypersequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104539$C749B2A9-F764-475E-B4B0-38D7E34B0C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104539$05DB2E37-18A6-4FEC-93D8-769B12C72A5E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f7cbd45ecb73cef1c098eba204d848b9a2d6639","datavalue":{"value":{"entity-type":"item","numeric-id":30358,"id":"Q30358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104539$A498BEBE-B7AA-48BC-AB5D-673B68CFE804","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":"Q2104539$44C34E9B-6823-460F-8363-3D0960077530","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b77b98b121acefa08e21f82a5ed54a1b7f3b27a1","datavalue":{"value":"W4289104024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104539$7520CAB4-4720-4B89-8B1D-3D2A6E389487","rank":"normal"}],"P223":[{"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":"Q2104539$9D44D9B3-3C7B-45E6-9FA1-46C47F4EC958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33f972e3641c3a0ae702912ca836cccd8294c221","datavalue":{"value":{"entity-type":"item","numeric-id":2988375,"id":"Q2988375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104539$1F437911-9BB6-4E8D-93D1-11C49126AF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104539$44396FED-5462-4EA4-9750-E77CD7FC12AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104539$F0B83965-4ECA-466E-9F8B-F03403A0EDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"329632390571b70c858fb813a0e714410ba89992","datavalue":{"value":{"entity-type":"item","numeric-id":5200020,"id":"Q5200020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104539$B084DEAD-499B-47F7-A758-4F160E76D63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65780b8ff63e05ed04842daf28a78e06b919dc34","datavalue":{"value":{"entity-type":"item","numeric-id":3103982,"id":"Q3103982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104539$6A262FE0-EBAB-48EF-9C8B-95C0DF16AED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e6221c4366c110bc041eca69885f2d3d7919f6b","datavalue":{"value":{"entity-type":"item","numeric-id":5079741,"id":"Q5079741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104539$59B1789E-658A-42D2-8819-C1643ABE89DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e31a152812bbc2db39cf67b276790dc73f4b60b","datavalue":{"value":{"entity-type":"item","numeric-id":2096458,"id":"Q2096458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104539$BD8DC4CB-EF0D-41E1-BC38-98D89D73305F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a8de63144335585bf22d8ff3b231b4ddf6a9dc","datavalue":{"value":{"entity-type":"item","numeric-id":5121282,"id":"Q5121282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104539$D0DC07A6-1AD2-43F1-A87F-9FB4885B656C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de429e87d0fc5113640df9de6a0b6403c9ec0505","datavalue":{"value":{"entity-type":"item","numeric-id":5208872,"id":"Q5208872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104539$B7311E6E-C2D9-4734-AC7E-112962CEC72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba3cf41f46f0763793828a02b8681c747ac449a","datavalue":{"value":{"entity-type":"item","numeric-id":1694471,"id":"Q1694471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104539$20066DE7-FA0C-4906-A711-0E57FC2C734D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98625ed8a97eb6d2931df92b273a7f7a72b6d12c","datavalue":{"value":{"entity-type":"item","numeric-id":4202939,"id":"Q4202939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104539$764A8ADF-5001-4221-97A1-4C2564C03C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ca7a1acbb96c14c8f84c4ce6e6462daf757716","datavalue":{"value":{"entity-type":"item","numeric-id":3773337,"id":"Q3773337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104539$E5591CFC-FC6C-43F1-95F6-E3244CBFCE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c6befd6c9a204dbc0e715190e75c5e6af20d1e","datavalue":{"value":{"entity-type":"item","numeric-id":1177930,"id":"Q1177930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104539$0F4D8E80-1D3A-4421-B8D0-C6E1EFCE2883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9956a48c3a4089951daaa4dba3896b58a2cf3531","datavalue":{"value":{"entity-type":"item","numeric-id":4636050,"id":"Q4636050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104539$02304C7A-B004-439B-A5DB-AA6DA8EA2097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a36cd3c96edc83cffb48e1c632947c715824e63e","datavalue":{"value":{"entity-type":"item","numeric-id":3460060,"id":"Q3460060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104539$00CBA5B9-4E9B-447A-B4C0-53B954ABB13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6365fede23c4492f6d5ad9821046aea104cd3d","datavalue":{"value":{"entity-type":"item","numeric-id":671352,"id":"Q671352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104539$9740C44A-76E0-4B67-8C20-EFDDFF8C4B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"611b4b935078a360190ff636d736f887e8acfc9f","datavalue":{"value":{"entity-type":"item","numeric-id":1005937,"id":"Q1005937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104539$0F3C4472-8846-4298-B83D-48AE9622FF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e42f666afe3b457071a11357bcb42a2f8e00fe0","datavalue":{"value":{"entity-type":"item","numeric-id":5920091,"id":"Q5920091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104539$81E00F99-7F90-4D8A-9D33-0936897E6307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28566e3b31c7c737a1b4320dae5d40d29b36f36","datavalue":{"value":{"entity-type":"item","numeric-id":5919481,"id":"Q5919481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104539$B1117010-33D7-4512-88BA-A7B15F743DFE","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104539$A4C41C31-20D9-40C9-8AB6-CBCD38EEA716","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2104539","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2104539"}}}}}