{"entities":{"Q3196338":{"pageid":3207046,"ns":120,"title":"Item:Q3196338","lastrevid":58142913,"modified":"2026-04-03T23:50:14Z","type":"item","id":"Q3196338","labels":{"en":{"language":"en","value":"On nested sequents for constructive modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6501854"}},"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":"Q3196338$60E48127-F62E-418A-B8FE-A7AFAAEE7359","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a2162f6246ce066777ed7c31890c2bbb52af0a9","datavalue":{"value":{"text":"On Nested Sequents for Constructive Modal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3196338$22EBEAE5-0FC3-4DC6-94A6-8C691BBF952A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f94e7e542ee7c87ed34f2539df04c38db4f0d6f9","datavalue":{"value":"1347.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196338$A12D61AD-1114-4E87-80F8-49C90F369955","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c751262a6361793dd2f70be726dadff9276c7f46","datavalue":{"value":"10.2168/LMCS-11(3:7)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196338$F10EEE22-676A-4BD3-97A2-FBD786E86E42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0437270f5b7769eeab81770f38f70886eedac4a7","datavalue":{"value":{"entity-type":"item","numeric-id":3196337,"id":"Q3196337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196338$253EFF5B-0395-452F-91E8-5A5FAC7A82C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c255adfc712bad9b4346c358d68a6d24be790f29","datavalue":{"value":{"entity-type":"item","numeric-id":1694470,"id":"Q1694470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196338$03F92109-F6F8-496E-8478-4FEF3236C28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47e9ac37086b3bbcbf1225cf6575ab3c2b196e0c","datavalue":{"value":{"entity-type":"item","numeric-id":714730,"id":"Q714730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196338$BB1B26F8-E6AD-4327-9301-290639BDEF15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196338$7DD07BFF-AA24-44F2-A423-AA9247245886","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bdde30cb0823a415fe067202cfd3663abd98a96","datavalue":{"value":{"time":"+2015-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3196338$321FD4F8-3BC8-44A5-A11F-624B0E94B9A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a9baac2cb4f335ff38f0c7f832f26d2507e282b","datavalue":{"value":"https://arxiv.org/abs/1505.06896","type":"string"},"datatype":"url"},"type":"statement","id":"Q3196338$2ACDC2A1-5794-400C-B87C-43093C777C22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196338$6FDCC3F8-CAAB-4885-A5CA-C0BE1F750927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196338$348BE6B7-8B37-416D-B594-806FE5157E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196338$48B2994F-1F9F-4C41-853F-4C4DB599F15E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"833b7deff12f70645ee636f709d7bee9bb8d20ee","datavalue":{"value":"6501854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196338$C22E3624-68F3-4532-92BD-25DA304475B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7703d39a27a27281175ecfee2e3e3ef8e18d9ab1","datavalue":{"value":"nested sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196338$B504842B-B2A2-4767-8363-5CD1C06CCA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196338$D63F645A-5F7C-4A06-96AF-E691F489E25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196338$ED6A3199-097A-4612-B3C9-A432797D9986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196338$21A948B7-463F-4A1C-850B-2C3C6F5F22A5","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":"Q3196338$AF76CDBD-CD40-488C-A163-39D62D44A10F","rank":"normal"}],"P1643":[{"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":"99e2654c8f561558a160b3f5dd316fe465040e0a","datavalue":{"value":{"amount":"+0.8673352599143982","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":"Q3196338$50E12260-72DB-4C74-8CB9-1261DD7B5CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca80663566cfbef6d55160b2b09040f6d4b91045","datavalue":{"value":{"entity-type":"item","numeric-id":3648728,"id":"Q3648728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3af576472ce0de9475248fa7d94fe927cfcd7083","datavalue":{"value":{"amount":"+0.8589254021644592","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":"Q3196338$BF7B78EF-6A8C-4A3C-9469-AA411E929830","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":"8f4d57438fe988cb5a7b59bd350004c41dbdb6f7","datavalue":{"value":{"amount":"+0.8183671832084656","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":"Q3196338$1106174D-665D-4524-A210-F7625D926B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c745365d72f15e1f383418bdd3ea9fb7ef7e2f6f","datavalue":{"value":{"entity-type":"item","numeric-id":4636304,"id":"Q4636304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d821dcbcac1b4e7050808c6220413d7b962d082d","datavalue":{"value":{"amount":"+0.811177134513855","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":"Q3196338$5644C9C3-A4C2-4429-A91F-DDB4ACCBE4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5895df49c0eac7c40b39c023ceea80503bf50939","datavalue":{"value":{"entity-type":"item","numeric-id":750417,"id":"Q750417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44df5699a1f8ee1249cbb8f67f59a3ee700c1e03","datavalue":{"value":{"amount":"+0.8062591552734375","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":"Q3196338$2CB90F1D-879A-451C-9EC2-43491FB15631","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3196338","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3196338"}}}}}