{"entities":{"Q3147361":{"pageid":3158077,"ns":120,"title":"Item:Q3147361","lastrevid":79980698,"modified":"2026-05-06T15:09:43Z","type":"item","id":"Q3147361","labels":{"en":{"language":"en","value":"Intuitionistic sequent calculi for finitely many-valued logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1802911"}},"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":"Q3147361$FD781AF7-529C-4166-B280-5468C015F5D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7163de4a4b7295f386e3ee558151c9ee79a38b4","datavalue":{"value":{"text":"Intuitionistic sequent calculi for finitely many-valued logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3147361$2DDBC9C0-2DD6-4733-93A2-70077DF79D63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"decf20e1458cab47c1b3c14e94745bd61c6dfb2f","datavalue":{"value":"1013.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3147361$B417206A-AC10-47CF-A38B-1547FFCA4071","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"447a550b7d991a94c15056ac19f1f8501736677a","datavalue":{"value":{"entity-type":"item","numeric-id":3147359,"id":"Q3147359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3147361$AAC71086-68EA-47A1-AD87-C7B99F6F1537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfa84bc01046e880324041bb4ccc78ef438598c9","datavalue":{"value":{"entity-type":"item","numeric-id":3147360,"id":"Q3147360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3147361$1EE9CB64-0E48-45F2-A37E-6EDCD7FB3215","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fdea2695bcade5fceafd69e2823569e828acd9c","datavalue":{"value":{"time":"+2003-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3147361$2233D456-7F19-4953-B674-73F91A8CA63B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3147361$A9DB382A-575F-4819-B171-169F7AD7B778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3147361$F610AE01-7A99-4C11-B830-CAD5A2809402","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eab09cb633e85bb31499f281276557a91a387684","datavalue":{"value":"1802911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3147361$6B7314C5-7BED-43B6-97FE-29F9842B567C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a18ddc7486fe5bec60f653548a43c594cc214fcc","datavalue":{"value":"finitely many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3147361$508BFF70-3BD4-4E83-8487-034D38E68642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3147361$6185CA79-985E-40C6-B3A6-84D2C3E5765A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3147361$D3C36345-0BFF-4E46-87CC-A51E5CBF6673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3147361$A9EE87D2-6221-446C-93DA-12FB4329AC9A","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":"Q3147361$AA98E797-8CCA-4669-A939-308E54AED445","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cead2b83789df89ddc0566ab4ff53e8b287f36e5","datavalue":{"value":"https://doi.org/10.1093/jigpal/9.6.793","type":"string"},"datatype":"url"},"type":"statement","id":"Q3147361$87308F95-E43D-4EFD-8ECA-AD2D60C9DF11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb7f191f13ec1e866336f9d05f6b91a51c796d38","datavalue":{"value":"W2149581652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3147361$AB7E421C-261D-44BC-81DA-5A65449C4B8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c03b6bb0d2520115061f5b16ab0cea175f22f29","datavalue":{"value":"10.1093/JIGPAL/9.6.793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3147361$7CC8FE16-5B62-4F6D-955B-AE93816ACA9A","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":"Q3147361$EE2596E5-425D-4DD8-A126-5906AB38C0C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87f454aed6b8c34fb7ae5e0df0c33533026f9703","datavalue":{"value":{"entity-type":"item","numeric-id":1094408,"id":"Q1094408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e4462b58d84e8506796b253ab8e1163d785eb8e","datavalue":{"value":{"amount":"+0.852118968963623","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":"Q3147361$18A3FE66-CE5D-428B-A056-38C9D5EA2246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46b5a6d83c8bf78c369b5dc9de3fd884d49717fa","datavalue":{"value":{"entity-type":"item","numeric-id":3792660,"id":"Q3792660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fca5080db0cf38223f048245dd5bc2391f20ac32","datavalue":{"value":{"amount":"+0.8186458349227905","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":"Q3147361$0D0DA714-B472-41CB-957D-6B2C62A18D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a51c65abf01061d4fae5f1012b8aa2f430285e5","datavalue":{"value":{"entity-type":"item","numeric-id":1931344,"id":"Q1931344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fabb100060888756bc7a33f3bfe4f6e628f5e35b","datavalue":{"value":{"amount":"+0.8069890737533569","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":"Q3147361$21536E47-AD69-47CD-A2BE-BD705DB432EB","rank":"normal"},{"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":"497316f97efb08a4d4ed9733722caf27485e1931","datavalue":{"value":{"amount":"+0.7949177026748657","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":"Q3147361$CD42CB90-4EB0-4B6D-9642-C9DD4D4C65F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"737f55dcc5561a4a3e74d15291cf2a3a1e7aa5c9","datavalue":{"value":{"entity-type":"item","numeric-id":4487257,"id":"Q4487257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b2057d86a2b18fdefeb6d251b1e55c97961fae6","datavalue":{"value":{"amount":"+0.7926876544952393","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":"Q3147361$7F15659F-9D4B-46F6-9C73-3C9A2ACE915E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intuitionistic sequent calculi for finitely many-valued logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intuitionistic_sequent_calculi_for_finitely_many-valued_logics"}}}}}