{"entities":{"Q4565826":{"pageid":6595415,"ns":120,"title":"Item:Q4565826","lastrevid":53115377,"modified":"2026-01-24T06:10:44Z","type":"item","id":"Q4565826","labels":{"en":{"language":"en","value":"Tautology elimination, cut elimination, and S5"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6888019"}},"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":"Q4565826$A5C225F2-ED64-47A4-9D67-E82D17FC28F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0deef18beaadcf30148e740ea1823de644f4131","datavalue":{"value":{"text":"Tautology Elimination, Cut Elimination, and S5","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4565826$7BA1E106-AC4D-40C5-852D-00BB1AD7FDFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53b4086236fdb8b45bacc4ef3afb94b0fd0033d1","datavalue":{"value":"1417.03284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4565826$DDF25124-EABF-49CF-868E-6A41C54E01B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"992405821eb2ce225a0a5989afd8ad03b07f307c","datavalue":{"value":"10.12775/LLP.2017.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4565826$6E764825-CF76-4EA8-A450-DC1149150495","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da6035cb69d114e94ed992b557e83e58d19a50f3","datavalue":{"value":{"entity-type":"item","numeric-id":477583,"id":"Q477583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4565826$40757D4B-4453-40F4-A9F1-CEEAB7198281","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a7550770f278a5ae7822f33ceafd222bb55c95","datavalue":{"value":{"entity-type":"item","numeric-id":2725723,"id":"Q2725723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4565826$BA30F0BF-12CC-408C-AF63-5F5D9D80E51E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c48da118f42ae63a4e13b0d14c7f6767c5b84da","datavalue":{"value":{"time":"+2018-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4565826$C24D8F48-48CE-4465-BBB2-832E24AA87C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4565826$B417A94C-D20B-4222-919C-CF30C09B3EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4565826$E7AFB7B5-246E-459F-8CC4-724C5070CED7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c965fa3b6b885d34f404f70eaa449812841f5f0","datavalue":{"value":"6888019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4565826$BC5FDFFC-D624-49E1-AE82-08BD3210D08B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4565826$6D775531-C35F-488D-A97C-095A75B3090E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eeaa2b1f9cf7f168f1c615f811a54163b69e724","datavalue":{"value":"tautology elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4565826$DBCFFCAD-E766-4061-A20C-34EE486537D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4565826$3CC08D94-7794-4986-BC01-76AD6138E4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b4fc300135272819ca8d44a23bff86b0f2235a9","datavalue":{"value":"modal logic S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q4565826$474E1B01-2260-44B4-87F9-ED3362D9A9EE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4565826$F5878840-FF7F-4E3A-A908-7E85DB7FCAFD","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":"Q4565826$D9C13F62-F02D-4441-BF5A-C053033E6527","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3a9192ba70313d578f72b18f3e6569f6312686","datavalue":{"value":{"entity-type":"item","numeric-id":288243,"id":"Q288243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4565826$25EBFE16-1B44-4D9C-9071-FE0EB3B397FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a39781d06877ba27d2313921bd2c18dab58225fb","datavalue":{"value":{"entity-type":"item","numeric-id":2987741,"id":"Q2987741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4565826$86D57394-AA65-423C-BE58-73FFE68B0456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4565826$4E1F6300-2615-43E3-AEB3-411C3F2CAD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4565826$F6415363-5047-4671-9332-B0013022EFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb21afd36ce282508c2606e7ec78f126cae9c7f","datavalue":{"value":{"entity-type":"item","numeric-id":1295438,"id":"Q1295438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4565826$5844CB40-1610-4FE2-BB39-767F17C63ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4565826$D4DC53FA-D471-4C9E-8E3C-B00A56EB7056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e7d84ccd98afe76719cb73b1a7a1ef3519157cb","datavalue":{"value":{"entity-type":"item","numeric-id":2810127,"id":"Q2810127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4565826$64A4922E-EEE5-4658-9B7D-033D93C2A0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0395f1e17ae9c240094e0f799b833b5c8875f4db","datavalue":{"value":{"entity-type":"item","numeric-id":4591503,"id":"Q4591503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4565826$33AD2664-363A-4D2C-B4AD-6F249A2A8C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4565826$304B62DC-9E77-46E2-9924-23A89C2D89A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b193fe960fc7f19e24d6d068b46e526b1b801aa","datavalue":{"value":{"entity-type":"item","numeric-id":3247119,"id":"Q3247119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4565826$8B6BC64B-79B5-45BA-AB4F-F4DB5E9A2295","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5fed31833b4e5dc9bdbc5c76578b383f37d1119b","datavalue":{"value":"https://doi.org/10.12775/llp.2017.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q4565826$8874916B-90A2-4FD3-889D-15DABBE2DCD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fdcfe2d150d1d77030000afe8a67092b35ef0205","datavalue":{"value":"W2606283603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4565826$BB046C92-BE61-4BB3-B461-9203D7909AB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb7051288014263ab7e27ee69689e8865a31e7b","datavalue":{"value":{"entity-type":"item","numeric-id":4392661,"id":"Q4392661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d28abc6852190344d6eb28871b2d987c3d6eb44c","datavalue":{"value":{"amount":"+0.800128698348999","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":"Q4565826$B68E0838-420E-4579-B016-34C5C3A741A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51656c76c992c1a0edd06e476466ecbe6b5ae5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d28abc6852190344d6eb28871b2d987c3d6eb44c","datavalue":{"value":{"amount":"+0.800128698348999","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":"Q4565826$0E2CE790-F8C2-4D0A-94FE-86F2571A0692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde24f2dc05d718c17873e27325a3ec9b3ed0755","datavalue":{"value":{"entity-type":"item","numeric-id":3580655,"id":"Q3580655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81105881e6f4cc7ee5b4b7c76ccfb7f2a1db810b","datavalue":{"value":{"amount":"+0.7770368456840515","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":"Q4565826$BBD59906-A71C-4930-B8B6-DA51DA0D990D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a50b448ca2ddb9ee66e64ca64d548758fd3bf612","datavalue":{"value":{"entity-type":"item","numeric-id":5283968,"id":"Q5283968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32e8fc86525551b1bf9103ac5a84eefaf0b7ec42","datavalue":{"value":{"amount":"+0.767169177532196","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":"Q4565826$F8606DA5-3F0A-4765-B770-7D2755E7B778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"154147a13c9d60a29b39367a8cdaf3b6f48c670c","datavalue":{"value":{"entity-type":"item","numeric-id":2810012,"id":"Q2810012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"564ade26fe580ea992910746df96655e755d78b2","datavalue":{"value":{"amount":"+0.7669286727905273","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":"Q4565826$A550BD97-710B-4F30-896D-300C63C63851","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4565826","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4565826"}}}}}