{"entities":{"Q874747":{"pageid":876595,"ns":120,"title":"Item:Q874747","lastrevid":65031159,"modified":"2026-04-11T23:51:29Z","type":"item","id":"Q874747","labels":{"en":{"language":"en","value":"Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5141196"}},"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":"Q874747$C5A17D73-84E3-4C46-A9F4-D3F89F37986D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19f9b4a82537fc4b76f7b1585892cf3503971568","datavalue":{"value":{"text":"Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q874747$A29FC6D5-40B7-47D4-8116-C2FD9C458A46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23556bf74a3a7d4753e6f99f016a0b3cfa118134","datavalue":{"value":"1118.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874747$EB8E4C78-C46A-415F-81A1-3E7421C5E0AC","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":"Q874747$02C6E8FD-4305-4EA2-8803-BF719CF378E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ff796d5b70586b12e5e89ae0156c7573ac69ac6","datavalue":{"value":{"entity-type":"item","numeric-id":454137,"id":"Q454137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q874747$EB2358E6-DB08-4996-83AA-EF5DF3B3C6BB","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":"Q874747$774A88D4-F2D4-430E-AFC9-9D45969C29A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q874747$BCACF13B-DE10-4C42-ADA8-5A0CAE65B1BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7130f17776024677519259de1aa3e6f876677651","datavalue":{"value":{"time":"+2007-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q874747$92B09C25-9677-4636-B431-46902DAFA6A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874747$2A537035-F435-4168-B2F5-783521A572D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874747$BCB82777-92EA-4397-BE68-547B61360201","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f5c51e2997c6ec05595a1746ea3ff0a9dd2c655","datavalue":{"value":"5141196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874747$4FCF6E86-5B44-480D-9C83-9EA5918650DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q874747$38636DF7-AD15-4E98-8336-98BAB65D7BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q874747$CCDA3779-7198-43D5-B359-CB021CA272A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5c8cafedf90cad7529aaffc7632bff61f54d145","datavalue":{"value":"nondeterministic matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q874747$6207E8B9-43FB-4F27-BCC7-96DF212A1B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad06303e91f0b2b97e633ce1ec006ae48e5d1187","datavalue":{"value":"\\(n\\)-sequent proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q874747$D185175B-B080-4A44-AE37-95F05CEA3C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b5ba463ecc9239fec966cd6196fb0d93928742","datavalue":{"value":"finite-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q874747$F1B42FE6-3391-4C39-A528-0E320D1F0D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q874747$6E73148A-9F3D-48DD-A9E0-8C02B3A68702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dabf0147a2477f9d5b36f07617332c9ddcf9e122","datavalue":{"value":"many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q874747$550C1B44-80F5-4687-A32F-8113E3DE965C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d527a7efe8515992b7f16fbe9d1f1fdf64fcd4ce","datavalue":{"value":"information sources logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q874747$4DB80E6A-2C96-47D7-B1B8-3F5B8E334853","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":"Q874747$52E5F6DC-9119-403B-B080-CEDC247A08E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"492d82c5dbd8bbde3c7f2fded68a5e1581f06eee","datavalue":{"value":"https://doi.org/10.1007/s11787-006-0003-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q874747$C7D7B474-6A6F-463E-84FC-D78EAD0895A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94c23d0175846176aefb114d20121030aecfcfc7","datavalue":{"value":"W2037995299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874747$2611002E-6DF3-412E-BABE-362F6F73F509","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"359ec6ff4e26c194ea3594c32fb5f19f9519febc","datavalue":{"value":"10.1007/S11787-006-0003-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874747$94813A3E-8016-435A-BB7D-FD13AC70E6A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c7b00e947b5f3de3e3fc2923a5b5bf078d2ade4","datavalue":{"value":{"entity-type":"item","numeric-id":4012975,"id":"Q4012975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"748fb27653d88a2eb7263b0c4516a7eba89fdad6","datavalue":{"value":{"amount":"+0.7528223395347595","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":"Q874747$492A9A2B-833C-417A-8147-EE237DB52443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"827bd3ad20f35ba7a16e52d1924b4f856da1f871","datavalue":{"value":{"entity-type":"item","numeric-id":5300580,"id":"Q5300580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"004771dd9d40d768ed3bcd121f62695536e3bd92","datavalue":{"value":{"amount":"+0.747997522354126","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":"Q874747$AC7D9AE1-044E-40FC-8F9A-7CFB8226CC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e601bcd11c5d6beac3f57be30f3cebfe806f6cda","datavalue":{"value":{"entity-type":"item","numeric-id":5169620,"id":"Q5169620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2baaa6b8e2626fecba0a593fec49f493d8764bdf","datavalue":{"value":{"amount":"+0.7433444857597351","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":"Q874747$3836AA9F-F12E-498D-ADEF-0CA27076EB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e9852b6076c444d5064bb46d63ab13495875d23","datavalue":{"value":{"entity-type":"item","numeric-id":3147361,"id":"Q3147361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"566837d9b85246540b6a15ee6d29cebf3beff783","datavalue":{"value":{"amount":"+0.738442063331604","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":"Q874747$2417D26C-0358-44D0-B4F5-3F91E6AE4F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b05d18c6325ebb1828de43f9776f16ed12645a3","datavalue":{"value":{"entity-type":"item","numeric-id":2810128,"id":"Q2810128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c70ea09070c3d544f762b40ea5873b5bef654eea","datavalue":{"value":{"amount":"+0.7370194792747498","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":"Q874747$F9608D36-7BFA-4011-93A9-885460B55C3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cut-free_ordinary_sequent_calculi_for_logics_having_generalized_finite-valued_semantics"}}}}}