{"entities":{"Q530853":{"pageid":532620,"ns":120,"title":"Item:Q530853","lastrevid":62533782,"modified":"2026-04-11T06:44:43Z","type":"item","id":"Q530853","labels":{"en":{"language":"en","value":"Yet another bijection between sequent calculus and natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6608306"}},"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":"Q530853$93638BFB-2EC2-41EB-B7BF-2627D0E09FE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d11b74720954be33752603f223de80db40c84ce","datavalue":{"value":{"text":"Yet another bijection between sequent calculus and natural deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q530853$D661AF36-1C62-4A70-87DE-BE891A198FE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e253ef0e9033fcd81c4713e8543f86abbb4a401d","datavalue":{"value":"1343.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530853$52427BDC-F53C-4499-9569-AE9B729A7206","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db36abf52e8c90ceee4dc6bec9a68b63e8350846","datavalue":{"value":{"entity-type":"item","numeric-id":530852,"id":"Q530852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530853$47FFDBFC-A08A-4EF4-AEFE-2DB053781EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f681530f1e601559ae451198ac16d4e80569d32e","datavalue":{"value":{"entity-type":"item","numeric-id":436401,"id":"Q436401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530853$6B4F0BB9-46E7-4234-BF60-9046D00AD026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"523eb1c9f92e29e52a82edbd2df5947e22806cd3","datavalue":{"value":{"entity-type":"item","numeric-id":281153,"id":"Q281153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530853$24A65375-BFAC-43DF-8BFF-613827D88A50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"54b54adebb79dfabd07c0151545b3468c800875b","datavalue":{"value":{"time":"+2016-08-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":"Q530853$9CDA48AE-30F8-4A95-B904-BC30883BAE43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530853$9AFC702E-770F-4D9C-9532-10011C2D2B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530853$25A35B67-312C-4E30-A88C-CD50AE6C772E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8dc1d19c4ca39222aceaacabf689093a498e0d0e","datavalue":{"value":"6608306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530853$1CC6FFD8-2BB6-4DA4-8C42-1D9186BA7506","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q530853$02AC59F5-9D1F-4498-9A83-148B14BE9DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q530853$D1AED9D3-46B2-4EDF-9A93-E6457517F14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q530853$26A5C188-FC48-40CF-8B4C-08C22B9C5869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q530853$CBE72E11-6A6D-4D7F-B510-039A70B888F9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530853$23A476CA-FAC4-494C-A5F6-94EC3BCF672F","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":"Q530853$8518E0AB-DDAE-4B59-A637-823EBA704E28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a66c6d3382fab95504326622153d92ca52fcd195","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2015.04.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q530853$DFD3D1D8-8B47-4ECC-A0E5-D05929EBC3C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"396779e0eaac4810620e5f1e774dd580fbaaafe9","datavalue":{"value":"W2017264513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530853$B15E27C9-4A84-46C3-A915-8F4F0BCEB0EC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7e22c0121edd18769fb4e130fc304e0b3e21d57f","datavalue":{"value":"Q113317807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530853$503AC8C0-CDD4-4780-928C-83FFFD72C881","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d0c3c520266c0eb0c8719af10bc93260259779f","datavalue":{"value":{"entity-type":"item","numeric-id":4842975,"id":"Q4842975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530853$4BFE0785-A893-495D-BF63-1A0CB39C8810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530853$E4051022-8DE4-4E10-B0AD-CEC6C41E9414","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":"Q530853$0072B6AF-CFB0-47A2-B843-8C4948C06543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106507d2ad7198eda87b14657c5af01d30112965","datavalue":{"value":{"entity-type":"item","numeric-id":4474830,"id":"Q4474830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530853$DC53F9EC-9944-4D77-89AE-CB8F2CBAAEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f640a1285c30f843eaafd6f39c5351d33d20f13d","datavalue":{"value":{"entity-type":"item","numeric-id":3608427,"id":"Q3608427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530853$B9D29982-988C-47A7-B941-39FD3DA267E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f16cf29a6be511b5490d0e9bb1ee22c0133e4fb4","datavalue":{"value":{"entity-type":"item","numeric-id":707742,"id":"Q707742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530853$6B1FD18A-27DA-47AA-B6B5-4EA1E3F3150E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"318f662845e996eb181df473ff519adfb475c0e2","datavalue":{"value":{"entity-type":"item","numeric-id":4156419,"id":"Q4156419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530853$64696DED-0612-49AA-ADB3-2FCFB6D152A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530853$C4EFFE97-986E-41C6-BC54-E16A43CC5466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90b2e0ced1298041d18e0c665831758c400276e","datavalue":{"value":{"entity-type":"item","numeric-id":4052084,"id":"Q4052084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530853$0331FA6D-F7FE-491D-A182-4EA65A459BF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"382da58c30b158b6240c3075e6d66c886cc6f79b","datavalue":{"value":"10.1016/J.ENTCS.2015.04.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530853$C5C167F3-EC45-4329-B38C-D7F4CFB4BF9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Yet another bijection between sequent calculus and natural deduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Yet_another_bijection_between_sequent_calculus_and_natural_deduction"}}}}}