{"entities":{"Q5963202":{"pageid":8140004,"ns":120,"title":"Item:Q5963202","lastrevid":52472570,"modified":"2026-01-22T18:05:03Z","type":"item","id":"Q5963202","labels":{"en":{"language":"en","value":"Rule-irredundancy and the sequent calculus for core logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6550123"}},"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":"Q5963202$FE57E635-16C1-4D43-A453-4E032E989BB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9960035a87334fd3d60a2bdfc697b47e07e0bee7","datavalue":{"value":{"text":"Rule-irredundancy and the sequent calculus for core logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5963202$9912E199-A207-4913-8DF0-2A65DFB36652","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6862850811459ec5aee042f9c4ea8b35aed6dc5","datavalue":{"value":"1403.03117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5963202$FF364DB2-8FD1-4815-B22F-F47E69F7AA34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1066b558a40d46aa42940bb24f9177c674c0f11","datavalue":{"value":"10.1215/00294527-3346463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5963202$2DCAED0D-5876-4FDD-AC8A-66D5381573A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27254c1d2f89d1ba738a7f8c09db866c62eee8c2","datavalue":{"value":{"entity-type":"item","numeric-id":246764,"id":"Q246764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5963202$764DFEE1-6103-4E06-B50E-0A8BBE0BDA74","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5963202$E5F67B04-F8C0-475B-AF10-73C265758FE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9baa329984daf997c3bf5a084a91839bc1428d33","datavalue":{"value":{"time":"+2016-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5963202$41BB83BA-B19D-4CD1-A736-19675A5D48C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1851c11c15099f47db0ccd912c3d52f8b693fa4a","datavalue":{"value":"https://semanticscholar.org/paper/418ed58f24a249b0ca8968aa32c8f73007b77bc0","type":"string"},"datatype":"url"},"type":"statement","id":"Q5963202$0C593381-73AD-408E-814E-ECCEA3A1C0B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5963202$94F323EC-CD43-48FF-AF01-EB9F33654D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5963202$9B99C606-7D5F-40D8-B510-A0A9DD15C64B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ff22fada28c4f038913d06b8223cafac7b1d7b8","datavalue":{"value":"6550123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5963202$B778DC76-98B2-42A2-89A0-D1D0CC1B7320","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"604af6e25dfc03012279f2650702ecd9346f7e7d","datavalue":{"value":"structural rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5963202$CA87FD7E-FDD1-45F8-8A25-DE613BD01A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3424431df135e46c28d7003d889f1ab8b67187b8","datavalue":{"value":"logical rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5963202$1ED9E514-84C8-45CA-B1BA-518798037640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abab6d51bc0722532b523ea42f8eaf8ed745f963","datavalue":{"value":"cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q5963202$9BFE1918-56EE-415A-8A1C-8F1703B4671D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e698733d7ab8320f6c4cc1347291648bc4530444","datavalue":{"value":"thinning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5963202$F3664791-D0E7-4C08-9477-F390BAB62BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcd1481cd07837daa6f4d4f3a5232f49a1a26e74","datavalue":{"value":"reflexivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5963202$A4E3D315-B5A4-428E-B1D7-08043FE96A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5963202$D722D570-A651-457A-BC7D-C5528A901DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9af31b67d4c74ea7b33c5a7875f63197773f991","datavalue":{"value":"thinning-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5963202$1ABC390D-7503-4CD7-837D-7DD03C1948C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fe387e69843ae188169fa4d613d91b0b4e210e2","datavalue":{"value":"logical strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q5963202$E2EA7872-C2F6-4DE4-B372-0146CF96782F","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":"Q5963202$E82E4395-408E-4713-B73E-200E8AD37116","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1555afddf286901c8891be67fb2d6a8e221ef738","datavalue":{"value":"W2272896729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5963202$CEB17D3D-FAB4-448A-BA0A-78783C24E471","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca74b8299148564339540e6f1ef3c7960509c1c","datavalue":{"value":{"entity-type":"item","numeric-id":5259721,"id":"Q5259721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3150c4a0a22f46db2f1b415d5a7e7273fea66a72","datavalue":{"value":{"amount":"+0.8150548338890076","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":"Q5963202$BB8FC474-EE5D-4D3A-BEDD-4A0CCB89CF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcbb9a4569fa8a3870645d360df16159132aec3f","datavalue":{"value":{"entity-type":"item","numeric-id":2919946,"id":"Q2919946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82609586ee7332014edc47484e6485e101418c33","datavalue":{"value":{"amount":"+0.7986139059066772","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":"Q5963202$14AB3702-7C9D-4D89-B3FE-1BDD200121B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31ecd5f0f936f1627b9b3961afe3757d7381b62","datavalue":{"value":{"entity-type":"item","numeric-id":3797160,"id":"Q3797160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f634c13a2fb8af6113a1ae491f0f9f32b2d8036b","datavalue":{"value":{"amount":"+0.7867528200149536","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":"Q5963202$15CECB20-A853-4260-A53C-778F91858416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a22860814a549f6d2381505fa4c4fdc08fe96fdf","datavalue":{"value":{"entity-type":"item","numeric-id":5366876,"id":"Q5366876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7ce902d8da9fc843f5d55a522ca3270faa66231","datavalue":{"value":{"amount":"+0.7410354614257812","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":"Q5963202$E40B5748-7509-4476-933F-032E5AD7A7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b8dcd8df300661aa3bb06e3c099f7fcec67e20b","datavalue":{"value":{"entity-type":"item","numeric-id":1304543,"id":"Q1304543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22fae6b46c617f307542b4a618cb616bf2f6defb","datavalue":{"value":{"amount":"+0.7359796762466431","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":"Q5963202$2E181ACE-7DB3-4290-8871-0A92B2BEF0E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5963202","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5963202"}}}}}