{"entities":{"Q5418473":{"pageid":7448047,"ns":120,"title":"Item:Q5418473","lastrevid":52008707,"modified":"2026-01-20T18:06:26Z","type":"item","id":"Q5418473","labels":{"en":{"language":"en","value":"Proof theory. Sequent calculi and related formalisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6300406"}},"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":"Q5418473$C040A21F-BE86-41A3-B6CB-62B08595EB0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09df4a7ba2f96710e7a087b1c8f7216f89397aa2","datavalue":{"value":{"text":"Proof Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5418473$8C41D1D9-3DFD-4D35-A703-38F9CCDA1836","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9b5d73679e646a69a874f329c26155f4bcf8ff9","datavalue":{"value":"1302.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5418473$5DC8BDFF-6541-479F-BC9E-E2F56F0793C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66f84fbf84627872ee8e4f09b27f58a25c3028cd","datavalue":{"value":{"entity-type":"item","numeric-id":266640,"id":"Q266640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5418473$DF3B3288-F824-41AE-B272-74A9C5D05F29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0fddd97b3c6b0df70ec750ef42d1239f50e1e71b","datavalue":{"value":{"time":"+2014-06-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":"Q5418473$4C557813-252D-47C2-AE99-77F32FF5B2C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5418473$BE7385F5-F332-48BE-8447-5C3F5C44F11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5418473$095CBD76-67ED-4727-9320-314623ECEB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5418473$326EC417-C3A3-4B98-A076-B4B3ADF5FD78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5418473$C85DCF82-439C-4995-B780-446AD3939D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5418473$5D842D46-D7F1-4401-9032-68AD78FB5A17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9dcf80986d154aa9b9277f36fec7dc48f2c944fb","datavalue":{"value":"6300406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5418473$E4E11B7D-5228-4543-B214-6633FC2993D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5418473$D04FDAE6-19FF-4735-AB81-D456FAAE06F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5418473$1AAE21D5-B44C-48F9-BB0F-11F76565D5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5418473$2B5F9503-39F0-4B2A-AEE0-BC7A7F80073B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5418473$BE76CCB9-8F19-44D7-9FD9-DEC6BC2DDF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5418473$64CBBEB5-4CEB-4DFF-82A6-9DA6AE86D8DC","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":"Q5418473$A4E2BACF-1676-448D-BB9A-5A5F88A6693F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"602cdcd6e480716b99586948b88ca6b6f3718bc3","datavalue":{"value":"https://doi.org/10.1201/b17294","type":"string"},"datatype":"url"},"type":"statement","id":"Q5418473$B06AC73D-AF4E-4FB0-8BCB-D7B3F7A0B2C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f85a43e156b8a29e9dd1fea2ebe5bbf944b18e4","datavalue":{"value":"W4252578296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5418473$735F7FF8-DB41-4486-A7C9-160E90A64735","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d614aa6c8728abccdb32d7e2fba3046ecb601df","datavalue":{"value":"10.1201/B17294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5418473$68507947-A6F1-4CF7-B005-F96EFD666B1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf84873aa607654ff474162add2a713fb0cf02f5","datavalue":{"value":{"entity-type":"item","numeric-id":3452681,"id":"Q3452681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c221ec71c26ba4fe33e747ea4f68896486f578e1","datavalue":{"value":{"amount":"+0.8467556834220886","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":"Q5418473$93021922-BA0C-4620-9F4B-6C7FEF4035EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"809374e3d4886cb8813e625905590f624197e796","datavalue":{"value":{"entity-type":"item","numeric-id":4699355,"id":"Q4699355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd91be4b50105ef5d6cd22d206a042ab18365a5","datavalue":{"value":{"amount":"+0.8196041584014893","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":"Q5418473$BAC1711E-E523-4A22-B483-AE1C66551F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"288a955c766302812835c6cfdaef0e8e005df925","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd91be4b50105ef5d6cd22d206a042ab18365a5","datavalue":{"value":{"amount":"+0.8196041584014893","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":"Q5418473$98A46963-F495-40D2-8ED1-9865A6E60729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b68e8c7fce1511dd882a1df18b4dfc5008db2ebe","datavalue":{"value":{"entity-type":"item","numeric-id":2180510,"id":"Q2180510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e8d33dcd38f51b0bd34c290a6c06517ed4a3d65","datavalue":{"value":{"amount":"+0.8028036952018738","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":"Q5418473$3C3FDAF7-D014-47F2-B58F-6EF1577DB118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c73d711422d6c23d53075714f0de54c1fda117a","datavalue":{"value":{"entity-type":"item","numeric-id":5457385,"id":"Q5457385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f8a2841607623468c97d590ffb5261cd0b80174","datavalue":{"value":{"amount":"+0.8019591569900513","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":"Q5418473$4E8E954B-5AF9-479C-83AD-5A705DDC60B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5418473","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5418473"}}}}}