{"entities":{"Q2758081":{"pageid":2768820,"ns":120,"title":"Item:Q2758081","lastrevid":83109881,"modified":"2026-05-07T06:06:03Z","type":"item","id":"Q2758081","labels":{"en":{"language":"en","value":"Cut elimination theorems and a canonical model construction for some implicational substructural logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1679374"}},"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":"Q2758081$344B50DF-6599-40CE-9C0D-635F127D38FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7dadfa75f6acfe9f0e20c81a3b37d206068b2888","datavalue":{"value":"0985.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758081$F7A80B6E-E0EF-4287-865F-184A89FC91BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758081$75F1DD78-4514-48E8-85BA-0C8349721E04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"def0cffebab58f04bd345066e6bd772a76144df6","datavalue":{"value":{"time":"+2002-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2758081$7AB46272-3532-470C-920C-5EA476300D02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758081$EB3CAED1-3184-4D02-9F2C-B412443A0828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758081$04EB1565-6A83-4416-B694-198B0AFB2BD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f44aded336e47bad6089cd3a99969baba6e35e6","datavalue":{"value":"1679374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758081$3D439256-22CA-4C7B-9EB7-F05A471C1AA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70e6230853178ae07c963996ccc88c435cbb674e","datavalue":{"value":"BCK-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758081$1359E1CD-136A-4018-ABDA-19CFD1CD3F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758081$C22766E1-CAEE-449A-B776-CAEAB31B1E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758081$D67E2849-9860-4229-B3CC-E00FA1C4EA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ec041487db9c7257a114955ca127662a3487671","datavalue":{"value":"cut-elimination theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758081$3AC13CE3-4384-4F81-B592-BB2EF2C6304C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758081$D8A5450D-CF64-4B92-B388-6109D91619E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d980ae75ff5ef2abb0f93846575f5a3dd795b450","datavalue":{"value":"strict implication S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758081$16E3897E-2948-4269-BE02-4A6A60223122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ea851423aa508f2d3ff47e233a829a245fe0d5e","datavalue":{"value":"Lambek logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758081$AAE0DE46-1AFA-449A-A61A-13188F3D6546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51aef2761ab754ade9483c76fb4c09a033890497","datavalue":{"value":"Kripke type semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758081$6A20E4D2-9EA2-4561-B4EF-9E6026165C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"637cab94c87a5b556b1043f03f56b4600824940f","datavalue":{"value":"implicational fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758081$3D4D852F-D632-4D82-8E9D-D72E86F2312B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57c9f9b2573250964cfd5665cfe165274f015ca4","datavalue":{"value":"canonical model construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758081$686FFD25-1C42-42F9-BB90-45F527BB996B","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":"Q2758081$0CB72912-53BF-4F80-B2C5-2FDC6057B10D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fab2a2c4e7e9aeec0773f10c70f93400e9a530a","datavalue":{"value":{"text":"Cut elimination theorems and a canonical model construction for some implicational substructural logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2758081$786F1E40-C634-4EA8-84D5-F78F23C39216","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e62c90d3a2296d719d91b2e9d262ae0e151cce0","datavalue":{"value":{"entity-type":"item","numeric-id":6653154,"id":"Q6653154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758081$CBC74E53-8962-4F86-8E34-A1406D28AE2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3126d67cabd946ebb835ecb9f2feeb5892228129","datavalue":{"value":{"entity-type":"item","numeric-id":1970643,"id":"Q1970643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c0b776ac832519c4bfe02fc5407daac30db84f","datavalue":{"value":{"amount":"+0.8939158916473389","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":"Q2758081$A9F3B85C-3E8A-400D-89DC-B5893A4756E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfcf38ee87304823dc3e9df88b70135155fc0752","datavalue":{"value":{"entity-type":"item","numeric-id":4703130,"id":"Q4703130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0bf06a16944b8aa20734e3ebd5df39a586f11d6","datavalue":{"value":{"amount":"+0.8172047734260559","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":"Q2758081$EB497F53-90C1-4AEA-A4F7-52D1F69C3123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05c4cb7ed150fd903f5a4174fd804f9490e25ac5","datavalue":{"value":{"entity-type":"item","numeric-id":5892512,"id":"Q5892512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"350d76e1d3b18e486465b221ef692c9efe419dd9","datavalue":{"value":{"amount":"+0.8172045350074768","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":"Q2758081$B4270A58-D761-4AEE-9D23-74EC03F7908A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e741157abed225931720fbdec8a83611ec6b184a","datavalue":{"value":{"entity-type":"item","numeric-id":4520811,"id":"Q4520811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27af674da5b8da1da5b0f22289628dde1e8fa6e3","datavalue":{"value":{"amount":"+0.8128136396408081","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":"Q2758081$DA180463-5A6A-499B-956C-3A1F77674C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47175f8f0b426346e8e899829e3d14cca601894","datavalue":{"value":{"entity-type":"item","numeric-id":4383724,"id":"Q4383724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f78df53825ffe2ac607f185fc0121c4dcbf9645","datavalue":{"value":{"amount":"+0.805395781993866","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":"Q2758081$B653F00D-B9A7-43E6-B187-0087AFEC439F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cut elimination theorems and a canonical model construction for some implicational substructural logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cut_elimination_theorems_and_a_canonical_model_construction_for_some_implicational_substructural_logics"}}}}}