{"entities":{"Q6922546":{"pageid":21038122,"ns":120,"title":"Item:Q6922546","lastrevid":97059470,"modified":"2026-06-05T13:09:59Z","type":"item","id":"Q6922546","labels":{"en":{"language":"en","value":"On structural proof theory of the modal logic \\(\\mathsf{K}^+\\) extended with infinitary derivations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8100461"}},"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":"Q6922546$2A9A2038-8E37-412F-B61F-3CE008821CB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8fe5a9099f8f6abd8bed050c945851544d9507c8","datavalue":{"value":{"text":"On structural proof theory of the modal logic \\(\\mathsf{K}^+\\) extended with infinitary derivations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6922546$463C6C05-65CD-4BFD-9A39-D2CDDE4734CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba61cddcbfbf87ab3e02ec556a0caef1c00522d4","datavalue":{"value":"1573.03201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6922546$D7ED9532-BFE1-45A2-8D1E-6D20912F8CCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcd424022220d3da2d5495fcb2a987b17458b687","datavalue":{"value":"10.1093/JIGPAL/JZAE121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6922546$634489F1-BAF8-4B48-8B28-7F2755A2FC47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2545c44efdf44b760ece3b3a59fac112c3266fc","datavalue":{"value":{"entity-type":"item","numeric-id":1685936,"id":"Q1685936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922546$26460716-4DD3-4401-8DA8-FAF3A201BE9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922546$0A6B86A2-B264-4562-8791-F38C050FECDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"67b571ae3ce5d75bc39c8248f19a512a27075c5d","datavalue":{"value":{"time":"+2025-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6922546$7B6C337A-2354-4C8A-A901-F28CC65FD30A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6922546$5C472C86-BD8A-44C6-B979-65F81AB1787B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6922546$E8584A44-5C77-4068-8161-687BB3192DB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e904f60acc746587d6b47a2f235161167158091","datavalue":{"value":"8100461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6922546$154727FA-AD5B-4F7A-95FF-ADB633AAC4A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2efd6ca2e632b6ca823bc98fefd73c07a1f518da","datavalue":{"value":"transitive closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q6922546$C0EBD436-8D4E-46CD-800C-4DE14BFDDAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec765a026ae5a3fdfb19263b408fb41c6220630","datavalue":{"value":"infinitary derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6922546$ECF706A5-F657-4756-B230-243EFA711D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a24d14bd0e7f89a2e34311c00f42033983e8d95","datavalue":{"value":"non-well-founded proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6922546$0E969396-3D2E-4595-8493-1CC7889C346F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22758077275a6d87d9965d6d439eac67d5b1ca30","datavalue":{"value":"continuous cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6922546$6F3B2D32-ED57-47FF-9472-81F05E134659","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":"Q6922546$073261B6-8ADF-471E-BAA4-E21FFEBB4887","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa6853a43667485d2d0fca4284963af6a244ee94","datavalue":{"value":{"entity-type":"item","numeric-id":6649500,"id":"Q6649500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922546$B494E841-2574-4A05-80D7-BCB7C1020B5C","rank":"normal"},{"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":"Q6922546$C4DFCA24-231D-486A-B663-0DB70BF1962C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9942e9f1e7dd047feb564c1ebb997f32e1d2a390","datavalue":{"value":{"entity-type":"item","numeric-id":1346621,"id":"Q1346621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922546$0A1B48DE-8740-4908-B82D-4AD70CD0CD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"972a3e7915b05f2f257a6f5673968f3e31d105bc","datavalue":{"value":{"entity-type":"item","numeric-id":3185764,"id":"Q3185764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922546$5527F1F2-EF10-4B54-8E01-7FC8A89E3E34","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":"Q6922546$5F3529B6-9159-4BED-B6BE-FB37C7BE6F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b3e1967e831b2be25499403de77c0bbae04267","datavalue":{"value":{"entity-type":"item","numeric-id":5079762,"id":"Q5079762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922546$D17F6053-96AA-4637-B1E3-A4DB9F7FCCA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8465229f1314ca485971299fba6aa8e5b3b8a447","datavalue":{"value":{"entity-type":"item","numeric-id":4435467,"id":"Q4435467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922546$E6137560-2B9B-467F-A207-62D92F54D6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3a83e9d4b2466541daabb18a182df31c046f1ca","datavalue":{"value":{"entity-type":"item","numeric-id":4916063,"id":"Q4916063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922546$A288F179-3E4E-4752-A43A-5AECB916D1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d71a17761c190ee78fb9d5f9e16c0f31fd0ccec9","datavalue":{"value":{"entity-type":"item","numeric-id":2958526,"id":"Q2958526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922546$6806C21F-1186-427B-8AE1-A03F116D59EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75f427ddc5c43e49aa77c876e4ec5144f75165cc","datavalue":{"value":{"entity-type":"item","numeric-id":1496469,"id":"Q1496469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922546$DC53BF59-BF8B-4847-8B32-816A55F1F649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c52a16e426b07fb3d6112e080a28145b5248047","datavalue":{"value":{"entity-type":"item","numeric-id":5224693,"id":"Q5224693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922546$46AEA341-8A00-429B-A6AD-7AA29B3F45EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf040db36e0ba975ada91611b1a02521f12b545","datavalue":{"value":{"entity-type":"item","numeric-id":2904055,"id":"Q2904055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922546$36D0BB6B-D166-400B-A2D2-44A8705C76AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37d192af74ccc0896572c0c5bf1f225087b13b8c","datavalue":{"value":{"entity-type":"item","numeric-id":5104715,"id":"Q5104715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922546$2AD00845-4FD3-42EC-9EBE-F8E7E30597CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922546$E60B1524-F75D-4D3C-A041-740031F0E2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2ea91f086b71185301d64507c73cce91f741de","datavalue":{"value":{"entity-type":"item","numeric-id":3002404,"id":"Q3002404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922546$BC46D5A9-70BF-45EA-B0CE-56E5BF0FBFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"124703e354436e05e38af0d041c0728a96e40c3e","datavalue":{"value":{"entity-type":"item","numeric-id":3299587,"id":"Q3299587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922546$9F4A32E7-9CB5-4A9E-B668-0532E0BFB970","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":"Q6922546$E3AAB0F8-1DB2-4FEF-8182-97955D3AD2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53ab6dad1b7831fcc561506d507866174a555db3","datavalue":{"value":{"entity-type":"item","numeric-id":4201614,"id":"Q4201614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922546$CFD0C54A-7436-4266-8805-4DDF0C47956B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01baa0875b000adc190a7be304de990eb7aa7c29","datavalue":{"value":{"entity-type":"item","numeric-id":1173663,"id":"Q1173663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922546$2772B20E-E743-4109-8658-82D57389E87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c557b69da0c34b215192f213d25803f76d629a32","datavalue":{"value":{"entity-type":"item","numeric-id":5001550,"id":"Q5001550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922546$F9B51C97-7D47-433E-B66E-1E5774450D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f6f8d015c1c14c8b98b81d2a26785a84323a412","datavalue":{"value":{"entity-type":"item","numeric-id":4440913,"id":"Q4440913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922546$9360B9EB-AFBA-4B8E-845F-E06208CBA220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d4122b64f2a48133554d036ec47e473d3341746","datavalue":{"value":{"entity-type":"item","numeric-id":2343897,"id":"Q2343897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922546$6B340EDB-9583-4A9C-A6C4-2688A0CE1B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e1081c8ee93bdbfc1a292bb4c73e80ea7c96774","datavalue":{"value":{"entity-type":"item","numeric-id":6639563,"id":"Q6639563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922546$2F5E41EB-EBF2-4250-B7F4-1D9DD9F444B9","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":"Q6922546$D0F3C75E-05A5-46C8-A18F-1048D2AE71DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98a7868470ff575c450bc5bf1ed5f0ae6ca7d9f","datavalue":{"value":{"entity-type":"item","numeric-id":5941193,"id":"Q5941193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922546$A93F0D18-9538-446F-80CD-467D63530BB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6922546","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6922546"}}}}}