{"entities":{"Q1372944":{"pageid":1383684,"ns":120,"title":"Item:Q1372944","lastrevid":71538864,"modified":"2026-04-13T22:55:26Z","type":"item","id":"Q1372944","labels":{"en":{"language":"en","value":"Indexed systems of sequents and cut-elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1083184"}},"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":"Q1372944$BCBB409F-DCD4-49B6-A819-868EE9AE5C82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62f6596df1884b689ae254017bebf0f3bccbe8bb","datavalue":{"value":{"text":"Indexed systems of sequents and cut-elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1372944$624C9D58-7B6C-4347-B5CF-565DDCE253EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06229e048763465db3b5b3242f1143e671d8b5ec","datavalue":{"value":"0885.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372944$7BEDFD00-AD3B-441F-9A77-1508055AD87E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c5114e410b47a338a6abc9578a673f3884098db","datavalue":{"value":"10.1023/A:1017948105274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372944$8B89B2C4-88CF-4F5E-973A-83DB53CC2CEA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372944$A3BB1938-0D23-4F37-BDEE-158C4F5F7B7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5428ed54f73e0030d8e31bf1a0a854c10199b1ce","datavalue":{"value":{"time":"+1998-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1372944$9AF87863-99C5-4D6F-8E4E-AF89A5528531","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c95d744cd538b7c3b914ff2ca2f34a8da57e847c","datavalue":{"value":"The author presents a detailed proof of cut-elimination applied to systems of indexed sequents for all propositional modal logics obtained from the smallest normal modal logic by adding the reflexivity, symmetry and transitivity axioms. Moreover, it is shown how these systems of indexed sequents can be translated into theorem-wise equivalent display sequent calculi as developed by \\textit{N. D. Belnap} [see, e.g., Notre Dame J. Formal Logic 31, 14-25 (1990; Zbl 0706.03043); H. Wansing (ed.), Proof theory of modal logic, Proc. Workshop, Hamburg 1993, Appl. Log. Ser. 2, 79-92 (1996; Zbl 0867.03017)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372944$76833AED-3507-4981-9252-8C84612DAE2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372944$36746703-B1B9-43ED-9092-D0369E2E6386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372944$920F5F1F-502D-4FBE-A405-31F6CE2EC67D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0fa3c2638d1800990346ef8272e68dd392b173c","datavalue":{"value":"1083184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372944$DD706028-1210-4D26-AE99-249045064342","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31e097dc4d0737865e3868f546de17bb04bfb267","datavalue":{"value":"indexed tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372944$94931DC5-E46F-462C-8384-D56E04990A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc3a19089d3c475a56535a8622363edd5f36cd5","datavalue":{"value":"display logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372944$88A0AABF-07C2-4246-BBCD-0FD125126D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372944$76C06AF5-BD95-439E-BF0F-B14AC446F347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372944$B0275E20-AA50-4B48-9F63-DA4ABD6B8971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9d6bee02297d73af8b51320307088c1e3578625","datavalue":{"value":"systems of indexed sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372944$9C68F6A1-3524-460F-9948-4495A1DFDA4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372944$9299F63D-FB01-48DB-AEA6-587EBBBC16B5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4ac137399d9f2a1340fb827cf9bcada44aa811f7","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372944$78FE795D-423C-4AF1-8D90-584D7399DB13","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":"Q1372944$4B082C45-86F5-424F-8825-653F1AD8C0FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70c7b3f003527069c2310fc828f8afaad5df5d6","datavalue":{"value":{"entity-type":"item","numeric-id":1838471,"id":"Q1838471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372944$FB84861E-9BAF-4172-B0AC-5D2A03568F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372944$3422B90A-7C9F-468D-B511-B85EC3139320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372944$60C6A8A9-0B7D-421E-93FB-1D2EA202CED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372944$F5CC19B8-2759-4CD0-83B0-FF8A55A381BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91445531e38627bc5ff539b12b28e2ea9323a119","datavalue":{"value":{"entity-type":"item","numeric-id":5813180,"id":"Q5813180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372944$33D1BDAF-F051-4BE8-B3A5-5E456FE67006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372944$7C406C2D-CB17-4FAF-8689-550CCEDD7860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372944$4313EBBB-3802-4F3D-825E-735E8679B206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0080581af6b898632de30fb1a2719f14a7086b1","datavalue":{"value":{"entity-type":"item","numeric-id":4495850,"id":"Q4495850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372944$E61279BE-B99E-4211-9970-465A471A0DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28711599010bca9ffbebf4fe0012f8e3f98c05ed","datavalue":{"value":{"entity-type":"item","numeric-id":3999386,"id":"Q3999386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372944$F85AE77C-DB36-4E12-84AB-8CC37136DE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f74512d1738c9d1ad87a430c2d90edb232ca525b","datavalue":{"value":{"entity-type":"item","numeric-id":3983938,"id":"Q3983938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372944$5BB4EC23-C063-4907-AD98-C1A355DED521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079d26960fbad67a47fb78241cb8cbf2b682033c","datavalue":{"value":{"entity-type":"item","numeric-id":3999539,"id":"Q3999539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372944$3F03AAAB-C886-43E1-8B4E-75BA88F64C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b364519c59a0fab47d2f80de511d01e3b117502","datavalue":{"value":{"entity-type":"item","numeric-id":4291036,"id":"Q4291036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372944$5BC54AE6-53C7-4A1A-8A9B-C7C14EF831F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b3026298cf76cd68235098c7db90560e036b847","datavalue":{"value":"https://doi.org/10.1023/a:1017948105274","type":"string"},"datatype":"url"},"type":"statement","id":"Q1372944$B2C14704-F2AA-4EC4-8614-B324B9E78446","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0073799a7bb681e01fc1bf40f175654d6fabcdce","datavalue":{"value":"W2041248160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372944$C2F9A333-24C8-4D06-A248-71FC5B77B1D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9b793a277f605921d5bfd9c85d25c44ebf23500","datavalue":{"value":{"entity-type":"item","numeric-id":4558785,"id":"Q4558785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30279d48529f1970701d92f77ca90a1c95119f28","datavalue":{"value":{"amount":"+0.9106251","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1372944$4C1D226F-7BFE-42BB-BF4E-903FE719C3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a3ec190934def56b667dd0717430e03d589d5af","datavalue":{"value":{"entity-type":"item","numeric-id":2817941,"id":"Q2817941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30279d48529f1970701d92f77ca90a1c95119f28","datavalue":{"value":{"amount":"+0.9106251","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1372944$7BED0DC3-2736-4F5B-9706-D86CB1C06A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd51efe569759d2e72a0c824752e6829a4649347","datavalue":{"value":{"entity-type":"item","numeric-id":3153288,"id":"Q3153288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"868d2b4312da98f7c16d9d8ea2dcb3b0e356e361","datavalue":{"value":{"amount":"+0.90073997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1372944$9ADCF45B-B8C3-4129-AE1C-E798523FBE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ffab1ec510f63ff1e2a9542c3c3be4322ba4905","datavalue":{"value":{"entity-type":"item","numeric-id":5704011,"id":"Q5704011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1084454b98922745422e6376307481f2c390d93","datavalue":{"value":{"amount":"+0.8947867","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1372944$E5560BDB-6AB1-40B9-A1AB-791C1E06BBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eacba26f64e9b0661a140d49fec758111680ed4","datavalue":{"value":{"entity-type":"item","numeric-id":5425341,"id":"Q5425341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e73e116e95179ed2ccdf341fdc00ee39013082e","datavalue":{"value":{"amount":"+0.8889878","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1372944$16E76F52-0B10-4EC5-AF4B-C56C7D97AD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9baf1303f1a7420f534b58a314cc52a197b5174a","datavalue":{"value":{"entity-type":"item","numeric-id":2075280,"id":"Q2075280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"289c668f80f0339cbe7153b6f09e54d3b15dcfb2","datavalue":{"value":{"amount":"+0.88535774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1372944$97CD3F78-23D0-4466-9E19-77435006BF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3c9696d466114212941c86d3ceec7394aac4b5e","datavalue":{"value":{"entity-type":"item","numeric-id":4910421,"id":"Q4910421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"539cffa2c102ed7535c75e0deaa563fd857f4f69","datavalue":{"value":{"amount":"+0.8849945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1372944$D6F75B7D-398A-404E-8D99-45559D1641EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ad4e5cf2b77e28e0e575b673c2ec6991d250d0","datavalue":{"value":{"entity-type":"item","numeric-id":1577341,"id":"Q1577341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba1185d1e232186df8893bca9f404fd9526ce850","datavalue":{"value":{"amount":"+0.8837166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1372944$C0C3E1C5-8DAA-4638-AD5C-7F257BEA5D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d884fad1be1d006bc9315d659f9d84f8d407e15","datavalue":{"value":{"entity-type":"item","numeric-id":2936239,"id":"Q2936239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a0a1c1cf462e5e22fcf29ec459237648665b008","datavalue":{"value":{"amount":"+0.8786543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1372944$6B6295D3-F9F7-45CE-8A07-0E882B780ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8587af02668957b678a1f76738127339e04949bd","datavalue":{"value":{"entity-type":"item","numeric-id":1694451,"id":"Q1694451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa522bb09581834553c15afdc70577a8ac1485f1","datavalue":{"value":{"amount":"+0.87533534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1372944$D937EAE9-483B-48F2-935C-11E39D3421C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Indexed systems of sequents and cut-elimination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Indexed_systems_of_sequents_and_cut-elimination"}}}}}