{"entities":{"Q636359":{"pageid":638207,"ns":120,"title":"Item:Q636359","lastrevid":63168249,"modified":"2026-04-11T11:03:51Z","type":"item","id":"Q636359","labels":{"en":{"language":"en","value":"A minimal classical sequent calculus free of structural rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5943647"}},"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":"Q636359$BDFC33E8-E8CE-474D-B153-C64FFE778C97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e22ee17bfc734570a0528e240d0e9347cf2e51b","datavalue":{"value":{"text":"A minimal classical sequent calculus free of structural rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q636359$6BA8F117-57AF-4D65-8B63-57229B355C92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91fa7c3e3c5121b5a862c067aed02fb075b59e86","datavalue":{"value":"1225.03073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636359$E9B7DF09-A9CC-46A0-B221-899102C6F900","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636359$354EE5FE-91B5-431B-A444-D4A64976C8DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8f347fb3b92d10259e32e7ae3b68d43ebb98729","datavalue":{"value":{"time":"+2011-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q636359$09B7548B-BDB1-4590-BA3E-C7C884F9F0E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bed113b4696ca25cef4dd16e4af2e20b93ce96f4","datavalue":{"value":"https://arxiv.org/abs/math/0506463","type":"string"},"datatype":"url"},"type":"statement","id":"Q636359$729F6609-2DE1-4325-B22A-B912B619EBA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636359$6D0DBFAA-3B19-4443-B0F9-1769D0FE95A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636359$D867F543-10CB-406A-B22F-7D5120657AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636359$9F6930D8-D54E-4C03-BA41-FCCE61C712AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636359$72D8FFA9-FC5A-4501-B946-926CFCA53496","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11c7082b361f39c047b1bc5e6da7a37c4524da7c","datavalue":{"value":"5943647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636359$38C74CF5-0086-41A8-B056-B42C29D07269","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q636359$8B48CB0E-936A-40BF-9A56-612F0786C052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q636359$A341E374-75A1-4BFB-85EA-EB180E52EDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5a25798920f381cdf9fe9d0cd4bfdb22158b101","datavalue":{"value":"Gentzen","type":"string"},"datatype":"string"},"type":"statement","id":"Q636359$BA2B5635-B1F9-4178-B435-3A5BD2D8F188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"604af6e25dfc03012279f2650702ecd9346f7e7d","datavalue":{"value":"structural rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q636359$2B16E6C8-C085-4081-8EB4-54624692322E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91f5c09b5145beb9895e9a35451f643e912c82f0","datavalue":{"value":{"entity-type":"item","numeric-id":1936109,"id":"Q1936109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636359$C156E0C5-99FA-4EDE-863B-2FDF9F298065","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":"Q636359$5E556965-14DE-4285-9EAC-AB87E3DF46DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe5bd8c99a61be69827c5d2c344b5003858a275c","datavalue":{"value":"W2594450757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636359$51362634-E535-4606-9CA5-599F686B3E93","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c28807a9a7ce2ea9d0a5c6e9f5f1724972d807ad","datavalue":{"value":{"entity-type":"item","numeric-id":4410005,"id":"Q4410005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636359$5252748C-64E4-4AFD-AA31-75057B4AEACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636359$CAAC1301-54D8-405D-9BB0-35A4585DA162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636359$A017AC3B-0B9E-4521-8E0B-F2111CE8AC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636359$8F084424-2D4F-4EF9-B774-2F534919A690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb103918e031217ff37d103578191225b1a433c7","datavalue":{"value":{"entity-type":"item","numeric-id":5843956,"id":"Q5843956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636359$EEEB4482-2B38-41A9-9E07-0F01CABACCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"203318c557c82294d1a13a7b0ee8923a35f083bc","datavalue":{"value":{"entity-type":"item","numeric-id":2648344,"id":"Q2648344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636359$C42C4E7A-F135-4FFC-BB23-826F3F0C0924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be85b3951fe2b4ee7f07bf10003c515b5749abc6","datavalue":{"value":{"entity-type":"item","numeric-id":5605873,"id":"Q5605873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636359$4F91432F-F6AF-4C22-9F85-B634BA1846F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636359$711EA332-6F68-444F-947A-F314B4652882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d79204b93c70135fd2326679c160b7bc12322e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2708321,"id":"Q2708321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636359$1DC595A6-CEB8-4D11-B3E6-36C9E180F256","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45791d35fdfba1c6f122bdb4a6a7e193070e8803","datavalue":{"value":"10.1016/J.APAL.2010.03.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636359$A7B2F91F-0082-4A11-9946-321CF833CFE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a88fc679e4c4dcce0c819549fd2c8233bae20b2a","datavalue":{"value":{"entity-type":"item","numeric-id":4227869,"id":"Q4227869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee22c128224b3aa4d179a4593f791a7b6b0bb20a","datavalue":{"value":{"amount":"+0.7657533884048462","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":"Q636359$81061AD8-990F-46A3-BF49-C69A6D8D6D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bd94739e752d60e63ee977894d56d8cf7e482ac","datavalue":{"value":{"entity-type":"item","numeric-id":5173184,"id":"Q5173184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a2d38ee8f387d1fde57faa351a87d73ea7290b","datavalue":{"value":{"amount":"+0.7650270462036133","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":"Q636359$C9396146-6346-400C-80E1-5E5F39C21E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e26ce1230c9b8bee351f13d20c5d280087553d","datavalue":{"value":{"entity-type":"item","numeric-id":4328835,"id":"Q4328835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"346699c00b4f8fc1e536b736ab481231d60b3a39","datavalue":{"value":{"amount":"+0.7640969157218933","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":"Q636359$008AFBC2-2101-4732-A6C5-012EB642A3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37fbc8ec4488041cf884d90b36add61e2e731594","datavalue":{"value":{"entity-type":"item","numeric-id":2309499,"id":"Q2309499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0416647679dcf05e2665c079fe1716f4e7556865","datavalue":{"value":{"amount":"+0.7593824863433838","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":"Q636359$4CE44474-0C29-4C0F-AFB7-DFDE0968CEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3feb2d7767cadabafe75b0c04b8ed9452a5643d","datavalue":{"value":{"entity-type":"item","numeric-id":4694214,"id":"Q4694214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3711483c53222c5d596c8ac847303d9517276288","datavalue":{"value":{"amount":"+0.7530317306518555","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":"Q636359$BD659BA1-8685-466F-B566-EA71A95F7703","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A minimal classical sequent calculus free of structural rules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_minimal_classical_sequent_calculus_free_of_structural_rules"}}}}}