{"entities":{"Q5300580":{"pageid":7330154,"ns":120,"title":"Item:Q5300580","lastrevid":51760133,"modified":"2026-01-19T21:30:51Z","type":"item","id":"Q5300580","labels":{"en":{"language":"en","value":"Cut-free sequent calculi for C-systems with generalized finite-valued semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6182024"}},"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":"Q5300580$72116D5F-69C1-4FEC-B529-094972423758","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39a721a636fa2c47525acf0c3ab004e551d229b8","datavalue":{"value":{"text":"Cut-free sequent calculi for C-systems with generalized finite-valued semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5300580$38FEA0C0-02C8-4EDE-8257-9688E4B12BD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8b3495bed5c0f23bd0c2fed9a26862bb14e5930","datavalue":{"value":"1267.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300580$B2A919AB-00AC-4284-A552-6251156B62FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300580$7AE01C35-0417-44B5-ACED-34B7775341BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffa73845da6faeb3595ac4dea6415bdc68ae4978","datavalue":{"value":{"entity-type":"item","numeric-id":229730,"id":"Q229730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300580$D6DBF1AC-68BF-4156-9AD2-E04FF44C56BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92250fc2468a927e3b41d7dfe7ef750fde052bc8","datavalue":{"value":{"entity-type":"item","numeric-id":408549,"id":"Q408549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300580$5C3D98D1-5C64-4730-83E2-49FDEB8F7F9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3597cb1f80734925febdf12e95bdb9febd2257af","datavalue":{"value":{"time":"+2013-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5300580$30876B24-FA33-4EC7-8E7C-F05F0550455E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300580$C48D687E-6C74-46ED-A571-3C4807A3201B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300580$DE6A66B6-693C-43E6-BBFF-32379ED798D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300580$71E73893-F26D-40AA-A243-668E0BFC853B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"241d3963fe69f401acd3e60e50e07ef3b7fffadf","datavalue":{"value":"6182024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300580$E577E85F-6C4B-40C5-B49C-BA933CBEBB80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300580$383DAA8C-26B1-4D44-BEB8-325575FB3FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300580$4B3312A1-D931-4F90-8EE0-32C19BC695CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300580$43ED3CBC-BDB3-4159-AA87-B20CF46AA266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300580$02A7DAB5-8D56-4C53-A676-05CF1DE51FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300580$562EEA4D-2008-431F-B176-1B24A32B6D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496b9973e3b06473381d8df2748e6ea2128b03fb","datavalue":{"value":"non-deterministic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300580$3DB7A020-3C16-452A-A745-A07F396882FF","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":"Q5300580$F231A3CC-1706-4A93-AF0D-9A72C7A6DB2C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c3f21f7cef224e2e1056a3cf4057fa6d1ff7f67","datavalue":{"value":"https://doi.org/10.1093/logcom/exs039","type":"string"},"datatype":"url"},"type":"statement","id":"Q5300580$87CAB7F2-2253-4475-8ADE-4FB3DA863CC5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d40cdcd9007d909b1edc1e9618f189a6544f278","datavalue":{"value":"W2155776066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300580$42456902-0E1C-4BC3-B6D2-278BF4B15A66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"434d8996d5d303f01d853749b79e0601e84e7150","datavalue":{"value":"10.1093/LOGCOM/EXS039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300580$205CE14A-EBF9-45F8-8C19-4D931C1635F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300580$8E29E6B5-561A-4E76-894F-187BA73898E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db7b21e7a507e666380f33f4b16dd7d399c501d8","datavalue":{"value":{"entity-type":"item","numeric-id":2986784,"id":"Q2986784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07c08d3b71f2cb35875a9492f84709ff012a3c6f","datavalue":{"value":{"amount":"+0.8599627614021301","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":"Q5300580$57C174A1-DB8D-4933-9BFC-3E03BDB7F5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1696632c06752ae8e27f36a7ca286b336eeab49","datavalue":{"value":{"entity-type":"item","numeric-id":3455840,"id":"Q3455840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46e52f65cb9b6f9e625cfd507f5eed79594df358","datavalue":{"value":{"amount":"+0.7974507212638855","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":"Q5300580$99B443E3-5B87-46C9-81BF-CA232C726A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d68796f4d1628ba9a09d4ccf2e692c6216fc811","datavalue":{"value":{"entity-type":"item","numeric-id":2351396,"id":"Q2351396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f4553f68db8a1b6e25a8d3278b541517b43fe3","datavalue":{"value":{"amount":"+0.7862361669540405","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":"Q5300580$F11ADBE9-D008-41B1-A70C-1F3881626746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbf23ed5652572a30139af5779cee94ea55f41cb","datavalue":{"value":{"entity-type":"item","numeric-id":4918414,"id":"Q4918414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8549da023b5e0e5d69fd37a2f049e3f790508721","datavalue":{"value":{"amount":"+0.7793506979942322","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":"Q5300580$8E2F8C8A-02C3-437D-A369-B9A2C1A3C2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd73cac53fba691c91f3c5bb0c0521936e275dcc","datavalue":{"value":{"entity-type":"item","numeric-id":3819043,"id":"Q3819043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f45d9365738470bc9a2fe44a94bb97165d06eb4","datavalue":{"value":{"amount":"+0.777278482913971","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":"Q5300580$22EE3461-0D35-4325-A9EC-63CAB8020C54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5300580","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5300580"}}}}}