{"entities":{"Q1744443":{"pageid":1755185,"ns":120,"title":"Item:Q1744443","lastrevid":72418605,"modified":"2026-04-14T04:46:32Z","type":"item","id":"Q1744443","labels":{"en":{"language":"en","value":"Formalized meta-theory of sequent calculi for substructural logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862970"}},"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":"Q1744443$7975B673-A627-4798-8973-9ECC267B870A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9bce741428fd5757667c9ae8e701bb7f8aa5519a","datavalue":{"value":{"text":"Formalized meta-theory of sequent calculi for substructural logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744443$B3B3C70C-86A2-47E0-A679-BBEB0D6340DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ed0e176b2016e950edebf26839ffbcc78a90dab","datavalue":{"value":"1401.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744443$2184A45A-98F4-4C15-856D-877219A9D8A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dcf8b29f998e6586890411a08c34f70ea4883f1","datavalue":{"value":{"entity-type":"item","numeric-id":1717924,"id":"Q1717924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744443$58D809DE-BE46-4E8F-8A09-7771D7DBFD91","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":"Q1744443$B52B9946-BB3B-47CB-8513-8F3C8F554321","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744443$3E5CD9E9-7E40-4FAB-B4B3-288FE1CF0068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744443$AFE4FF36-3335-4058-BF2A-FF25F194647E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744443$060E8635-CCBB-4D5D-8713-2519B14D3974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744443$710051A2-0148-4C3E-A3FC-38E531551CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744443$20417022-42C9-4C73-BF46-6913452C435B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5364e83c22e7d0afde5568d5880cba39fe8b9d47","datavalue":{"value":"6862970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744443$26DC8C70-9A3D-465C-B8F1-C9DC9E684013","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744443$7F9CE6C1-52FF-44D7-ADF2-CAABCC1846F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744443$133B3F3C-529E-4B52-8BB7-7B0EA0BD4ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f62bc72cd7c2ce6fef31273f8a1eb2ea63b91f47","datavalue":{"value":"formalized proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744443$CC28EB17-E18E-4AD0-B325-5A946508D8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744443$A53C09D1-2C6C-4982-B90D-BB63C39888BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8406968025e0692654c0c5f96b5c915be553a42","datavalue":{"value":"Abella","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744443$442B3656-1557-47AA-9186-36FCDB746F8B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8e56b54ce67b3f3451fae93e0a157bd7197fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21444,"id":"Q21444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744443$B431553B-0759-470B-9955-6124EBDDBA25","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":"Q1744443$4CA0A6FA-0010-4A92-B5F9-053A851CB163","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d276606a99505670f4c25cc47a95f35fc9b73dcf","datavalue":{"value":"Q113317596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744443$A5DCD42F-2220-4886-88B3-08F284B776B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1d3295e1851d4fbd493f0f799cf89431e01530b","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2017.04.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744443$D8967C6E-5A15-4524-9A35-B3E97E739EB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"294df60fd17b0677c4302736ebb516917e13634b","datavalue":{"value":"W2650704808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744443$D4D9108F-8BA3-44AB-864D-DDCC571D7EBC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ef8bd5491561954e053fb17a1031115fe3ad2f","datavalue":{"value":{"entity-type":"item","numeric-id":5195258,"id":"Q5195258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744443$34C07E27-4952-4674-85C4-84BA88F7E7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8eafabf0cddf70d8185a67fa02863c2bd424ef","datavalue":{"value":{"entity-type":"item","numeric-id":1919548,"id":"Q1919548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744443$6A563004-9E64-4818-95E1-3BEE52177893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66f272d7287f994bc6a285690f7059c71fa20c01","datavalue":{"value":{"entity-type":"item","numeric-id":4933310,"id":"Q4933310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744443$C3BC6822-C2EE-4404-B32B-EA971A570E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975b2bde1b83feb55eaa9c825c633af636d80354","datavalue":{"value":{"entity-type":"item","numeric-id":617715,"id":"Q617715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744443$67113C62-510C-43B3-B6E5-CD786877B9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7bdcd14d65b5cd3ec901aa441c6b2c1bcfe6ea","datavalue":{"value":{"entity-type":"item","numeric-id":2392484,"id":"Q2392484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744443$B3A5E8FD-2975-4820-B742-1508FABC3E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba4829fd07b9b49631e42171c8fc19ce2487bfe","datavalue":{"value":{"entity-type":"item","numeric-id":2890695,"id":"Q2890695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744443$449D3EC1-ABFB-4199-8D55-F6A679E6302C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45f6bff68c8ebf66dfda0b239fbc2871c6c95c89","datavalue":{"value":{"entity-type":"item","numeric-id":4636304,"id":"Q4636304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744443$A2199131-7EB2-43BB-BB0C-950223FC8103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565ac6744fd227e7126e0753fcf431afcfd7f97b","datavalue":{"value":{"entity-type":"item","numeric-id":3648737,"id":"Q3648737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744443$8CF67C30-6AFD-47D8-9853-2FD878379C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2221baf7e4bab4cc38963939c795119dc4b2829","datavalue":{"value":{"entity-type":"item","numeric-id":2946730,"id":"Q2946730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744443$AD20E4E7-2C4A-4399-AFC8-5D70680F7E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d1643fcf2d89699448315101028c4fe10eaca99","datavalue":{"value":{"entity-type":"item","numeric-id":2851950,"id":"Q2851950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744443$58618FFD-0FC1-4BFA-BC02-54ED26F7A0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"455355a9794293f543b7bf16bf2d2d8b9e273478","datavalue":{"value":{"entity-type":"item","numeric-id":3522034,"id":"Q3522034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744443$FF9AE1FB-1FFA-457C-84D5-58C4E2595EAB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0588acf542b7907d902cc2ef3d457219437ba2fa","datavalue":{"value":"10.1016/J.ENTCS.2017.04.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744443$97A50B05-B63E-489D-A379-60452ECFCE3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80b44a08bec48344b2562fc1b487c788db7bd5fd","datavalue":{"value":{"entity-type":"item","numeric-id":2424887,"id":"Q2424887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6d23a2eaae430398a7730c606d24af6d23faf44","datavalue":{"value":{"amount":"+0.9520135","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":"Q1744443$5BDB5638-DE7A-43A6-9CF6-E436B53893EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4ffb0122775a78b10a5c673931ce40e7acdafe6","datavalue":{"value":{"entity-type":"item","numeric-id":2118968,"id":"Q2118968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff27c0884a415b39fc7e5a74c15fe4efda48b4da","datavalue":{"value":{"amount":"+0.9410825","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":"Q1744443$5FDB8B7B-F74A-4552-B07E-08694B4AA558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6026c1052ec073d8619536ece4211fd654b728dc","datavalue":{"value":{"entity-type":"item","numeric-id":1935554,"id":"Q1935554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d5017e1756ea1b7149fda2adf82c0eeadc8657f","datavalue":{"value":{"amount":"+0.92238975","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":"Q1744443$A24041F1-9D37-4288-829B-BAA5F691B908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9d8d863addf67f18ba4690b0c90645d9398405","datavalue":{"value":{"entity-type":"item","numeric-id":4940727,"id":"Q4940727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e371926e7952c32a40d5dd93bea9eca6ed9489e0","datavalue":{"value":{"amount":"+0.90938854","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":"Q1744443$7040D160-9181-4F65-8E6F-9E58D4028235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be3f05429549b9d951331c9213ed29711f5b19a5","datavalue":{"value":{"entity-type":"item","numeric-id":5411445,"id":"Q5411445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"224fd53f70f721a1be89566a2f15c693bf30d6a5","datavalue":{"value":{"amount":"+0.90788716","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":"Q1744443$F2BDB4C3-341B-4F61-8B67-788A8441D9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2300390ad198d7f42ef982166184164ff9cf64d0","datavalue":{"value":{"entity-type":"item","numeric-id":4460849,"id":"Q4460849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a401dbf80ac88d1cadaf75d65727dc8b30f54dd","datavalue":{"value":{"amount":"+0.9035995","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":"Q1744443$EA0B4C56-3010-4000-8F17-8E441ED815E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f598427d80ad1eb3f871ca5717acee26027b0fc","datavalue":{"value":{"entity-type":"item","numeric-id":4933310,"id":"Q4933310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"231accbe142ce07bd1c312a216361f1876794595","datavalue":{"value":{"amount":"+0.9035777","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":"Q1744443$B18393AB-EDFE-4142-A382-B1FC2AC553AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"996d502087be506f23f1ab7bdbb9f73a35c69267","datavalue":{"value":{"entity-type":"item","numeric-id":2938143,"id":"Q2938143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d419e2057778a692417246a1d47e66a8fcdaab1f","datavalue":{"value":{"amount":"+0.90256757","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":"Q1744443$E56AB334-81EC-4A7A-8F6F-044D069263DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b7dc9418057f06a53b63781288396607ce78fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4609965,"id":"Q4609965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2725c48c424b5684a780fc78b89e412c4f000d7","datavalue":{"value":{"amount":"+0.90031","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":"Q1744443$26BCC9E1-0FDC-42F9-9909-159C944EDF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a91a0eafbe4dfa7a08c84b3b2806010939cecc37","datavalue":{"value":{"entity-type":"item","numeric-id":5435112,"id":"Q5435112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec6abd77224714105d09dd6c06aa0cd6cab10231","datavalue":{"value":{"amount":"+0.8998349","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":"Q1744443$E7B687CC-5CE8-46F7-A9AA-4F59F4F810BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalized meta-theory of sequent calculi for substructural logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalized_meta-theory_of_sequent_calculi_for_substructural_logics"}}}}}