{"entities":{"Q1744402":{"pageid":1755144,"ns":120,"title":"Item:Q1744402","lastrevid":43304008,"modified":"2025-07-24T13:01:06Z","type":"item","id":"Q1744402","labels":{"en":{"language":"en","value":"Deductive argumentation by enhanced sequent calculi and dynamic derivations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862940"}},"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":"Q1744402$9D9CC7D4-ACA6-4CE3-8BD0-0F59726BEB88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"078496fc9f66e062b2a72e91191219ceb2d31d2a","datavalue":{"value":{"text":"Deductive argumentation by enhanced sequent calculi and dynamic derivations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744402$45CBC8F8-3338-4726-97E7-DAFAB800790E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecab040c26722bf92bbdabf2610629b80401fd92","datavalue":{"value":"1394.68364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744402$9D4BBBD9-A9C1-4745-B240-452F6AA69815","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4246eab1adb041f023781618ea34cf444fa24b1","datavalue":{"value":{"entity-type":"item","numeric-id":541818,"id":"Q541818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744402$C045DDCD-03A0-4ECE-BF5B-99FB193F854C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"218130659cf675c6c09cfab13bda2304e895e29a","datavalue":{"value":{"entity-type":"item","numeric-id":332073,"id":"Q332073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744402$EF9C8C2E-C642-4B80-B9BC-4D92270C2840","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1744402$643016D3-3F85-4E6F-B4B2-79CB1A7E03F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744402$CA3FACD6-0720-43FC-A172-E0764A362DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744402$45C3058C-4C46-4023-A734-E32555439782","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b313e7299488b6d1b695b30203b6e42bfa4901f9","datavalue":{"value":"6862940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744402$37405AB8-A402-403A-A3F8-6FE60D143E05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6300a052c2aea58f2ca76a2fb56b32d8c004d804","datavalue":{"value":"logical argumentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744402$9E1D4619-85A5-402F-920A-7BC4C73D5DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744402$01F82454-7525-4538-AD91-02823986E2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be31e5d7f6c28ba2991a9a806db4aa372a61ec57","datavalue":{"value":"dynamic derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744402$11916D12-845B-4D6B-A225-9C85DC35DF68","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9e44b4fa02d55f5c04e69f1e511f37135efdd86","datavalue":{"value":{"entity-type":"item","numeric-id":38059,"id":"Q38059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744402$3A6EB49B-984C-4BD6-AF6C-6E0BC375EA63","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":"Q1744402$354CA3AC-F5B7-4101-AB54-9F620D45F656","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7493dd8afca7da4f854e1d5fe36768310d4a92d","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2016.06.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744402$7BA63149-DD9D-4F46-ABA8-8CD08A95BD9C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3cc1f6a60497a8bffb80ed67bfa5e1c22f9b9f3f","datavalue":{"value":"W2469001723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744402$3FBE4BB3-70B8-4F35-A517-0685DDB3EDA1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"76444357eefa75729bb29c6e20d7a6e8bc91ac1c","datavalue":{"value":"Q113317686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744402$EDD9E552-7556-44FD-BC33-2EBB2B22D7D3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"41973287d9b44abf25d4942040906a8aa068e11a","datavalue":{"value":{"entity-type":"item","numeric-id":2851959,"id":"Q2851959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744402$523E2D86-CF42-4A48-BEA5-CBFEB725AE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"294e86e20ffe1087016bab85923669ca8c6e3c3f","datavalue":{"value":{"entity-type":"item","numeric-id":631512,"id":"Q631512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744402$F246FB89-D34E-4A8D-A1C4-A9D9EFC87D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"645b5fc276a5cf7e95e16ababc50eab501d32574","datavalue":{"value":{"entity-type":"item","numeric-id":874757,"id":"Q874757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744402$D9ADFF2E-7A80-4BB9-A63E-B8C177322682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76976b7b8d12e43bceb1d92eff4101267df29f65","datavalue":{"value":{"entity-type":"item","numeric-id":5941137,"id":"Q5941137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744402$B0884B09-0209-4EFF-BC74-1A31AB3872F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ebd3c1485bfb307534e31cfc4eea5466ee1888","datavalue":{"value":{"entity-type":"item","numeric-id":2552121,"id":"Q2552121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744402$24DBDBA6-999C-4E65-9F11-109CA440CF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17346a948e93ca0127d7c9f941e453c6f4645fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1399119,"id":"Q1399119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744402$59A3BE93-36D1-40BF-84C2-7628AECEB84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef0f7e101a0ec1c49d6dbda6afd04acdf641c074","datavalue":{"value":{"entity-type":"item","numeric-id":1855240,"id":"Q1855240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744402$1BD3E0BC-7F55-45F1-8F5D-D70F15511D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b219d7c7a936f563b4aeddfeffaeae1456f445de","datavalue":{"value":{"entity-type":"item","numeric-id":1594817,"id":"Q1594817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744402$18CBB45F-31AE-4B4C-B45F-1BB7C0651E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a75d3b9a917b171f8f6b545de95a96722ae52e5","datavalue":{"value":{"entity-type":"item","numeric-id":646494,"id":"Q646494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744402$F17A0FC2-9393-4E73-BF74-ED2FAC2A3358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae58cabc6210877500b69d67f8a52d2647519a6","datavalue":{"value":{"entity-type":"item","numeric-id":3268305,"id":"Q3268305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744402$2B54F454-4F49-4112-92DA-A81D4E11DBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd52fe2be71f0c5089fe2f51512be4d5e372f6f5","datavalue":{"value":{"entity-type":"item","numeric-id":1775871,"id":"Q1775871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744402$A9E70DED-AAD5-4EB2-BD77-C80CFCE7A4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1dfd51121a90fd24cbcb8685728f1d504494bc2","datavalue":{"value":{"entity-type":"item","numeric-id":1199924,"id":"Q1199924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744402$01C09FC3-392A-4684-92F0-A264221EDB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b71c2e0f820861b502c74a2f7e203a983e2f6ceb","datavalue":{"value":{"entity-type":"item","numeric-id":1922822,"id":"Q1922822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744402$5759BC3B-83B7-4461-9314-8D4101C7E140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac6dcc84e03f2a151ea8571a73318c92a0b1b8ea","datavalue":{"value":{"entity-type":"item","numeric-id":2544606,"id":"Q2544606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744402$3CC87589-B2A1-4F63-A5D4-C665A4522F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e77ad725e339be851f753da065055021f0b126b9","datavalue":{"value":{"entity-type":"item","numeric-id":989158,"id":"Q989158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744402$4D79F1DA-6150-4F42-9BDD-35362A594F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d951611f6f64969cfedf30866173233cac358d5","datavalue":{"value":{"entity-type":"item","numeric-id":2517310,"id":"Q2517310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744402$1E34FBF5-9731-459C-86E9-B51644D66D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3132d9d41ad4b916794e10e5108fef7d55667ac","datavalue":{"value":{"entity-type":"item","numeric-id":2879304,"id":"Q2879304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744402$0306B8AE-EF63-4CF5-B5EB-88EB3299D463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16070969458b7dabde1d7588493fc368a6ec2b81","datavalue":{"value":{"entity-type":"item","numeric-id":4789456,"id":"Q4789456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744402$D28CCA87-13BD-4371-8191-D74D7A5F70DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d1b70f59e128edb421cafed4ccc857b05f399ba","datavalue":{"value":"10.1016/J.ENTCS.2016.06.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744402$5B8C075F-1094-4C4D-84F3-3C9510B5FBCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776d3c788a7136f17f8337302acf65ae766f7330","datavalue":{"value":{"entity-type":"item","numeric-id":2424889,"id":"Q2424889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93fd162eb8ef1f923eecd096ac7677870a917797","datavalue":{"value":{"amount":"+0.9222979","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":"Q1744402$D3A53F76-8436-4E0D-99DE-AE8A8C49120A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71ff6800b29c6bb9fa9f5558e78c8fb0639030d0","datavalue":{"value":{"entity-type":"item","numeric-id":4362904,"id":"Q4362904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65fb5dd318ed26dc2fe1597ee7560dcb23c6a66c","datavalue":{"value":{"amount":"+0.918737","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":"Q1744402$ACB18906-0973-4B37-9B8B-5FACC8CB3630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e14de22dc015904c917c07f23e673796cb2f1eb9","datavalue":{"value":{"entity-type":"item","numeric-id":2851959,"id":"Q2851959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc22c4ae671c835caba7f26e5a0a1defadd1eebf","datavalue":{"value":{"amount":"+0.91642034","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":"Q1744402$D0828096-36DA-408C-8FFD-838C5155167A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"448074a0310d62e0950911fdc046c3050c3d82fb","datavalue":{"value":{"entity-type":"item","numeric-id":4647578,"id":"Q4647578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e504e6908cf4e1e1862b01c97d4ea1dac247600e","datavalue":{"value":{"amount":"+0.9049359","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":"Q1744402$EB440DDA-254A-407A-9942-4149527514C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1de943de8774227defc7d6e1e631d1151ebfcc1","datavalue":{"value":{"entity-type":"item","numeric-id":2021565,"id":"Q2021565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adbdd28168caf5acb87b6a2e96a2c7447ac45753","datavalue":{"value":{"amount":"+0.9005877","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":"Q1744402$6D9C637C-F25C-43AF-8063-F86970DE754E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bc5e546cf6b8f32f69d3769332e8719ff7abe6c","datavalue":{"value":{"entity-type":"item","numeric-id":2835878,"id":"Q2835878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33d748dee615ddaaf1fdb65b8844d9cd49dcaf3a","datavalue":{"value":{"amount":"+0.89552003","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":"Q1744402$9EAF3156-2723-4213-AADC-0CA39F44FAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0987db3ffa1a6ab311eb02ef5c2d1e2ebf46c128","datavalue":{"value":{"entity-type":"item","numeric-id":1045994,"id":"Q1045994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e020758b32b434a8f55483b1146d801f07777697","datavalue":{"value":{"amount":"+0.89243287","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":"Q1744402$748E260F-7670-4E5A-BAD0-17790A2EF92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaba4a23abbaa3de1534a3479e04bbcfe8b62e75","datavalue":{"value":{"entity-type":"item","numeric-id":4327844,"id":"Q4327844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"292fef0438821c2db61cd2a804f957326eb4ff94","datavalue":{"value":{"amount":"+0.8866755","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":"Q1744402$64AF5A09-2AFB-40D5-B8C9-E413CE95A587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f7c5754f60abbf7f20b501a023b62603ab7b078","datavalue":{"value":{"entity-type":"item","numeric-id":5215682,"id":"Q5215682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ce208df5912e443712ece004dcf75c56af3e7c3","datavalue":{"value":{"amount":"+0.88553333","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":"Q1744402$D7BD0673-BF81-493B-B34E-09B0625A34C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1744402","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1744402"}}}}}