{"entities":{"Q2243550":{"pageid":2254293,"ns":120,"title":"Item:Q2243550","lastrevid":71663478,"modified":"2026-04-13T23:44:00Z","type":"item","id":"Q2243550","labels":{"en":{"language":"en","value":"Free logics are cut-free"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7424400"}},"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":"Q2243550$A5F87FB1-5FA7-4301-8CCC-0C465A604EFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e96da19939e22447fe5df361734650b55dddd784","datavalue":{"value":{"text":"Free logics are cut-free","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2243550$06E801F7-6EF5-4866-9FC2-F8140B4AA227","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":"Q2243550$58865945-2B70-4828-B34F-B2E55A81A6C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243550$0854FD8C-9021-4B16-B3C8-30811590D0B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff0991cde18ec724825a8f6357cb1656c5a612de","datavalue":{"value":{"time":"+2021-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2243550$B3AFC438-8646-472F-8EC5-4CDAFA4FAE03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2243550$A3C0E55F-8685-4436-B93D-B79FD29705F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"389a1263b4f5a398d440e2bcc26e4b3c8827ec46","datavalue":{"value":"7424400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2243550$0F06F38E-2B6F-4AEF-B213-DFB8D10CF02F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2243550$D967B707-10F4-4564-91ED-95B8FAAE10C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b6d645c45f0a8bf710d638ba22831599423f9c0","datavalue":{"value":"free logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2243550$B1B3B3CD-8DB6-4D40-8EB3-79F620475A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a51f60c4cc752bbf5c65c3a5784f5ee3859fa8d4","datavalue":{"value":"definedness logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2243550$FF10B1E5-B0B2-49AC-B479-96958BADC589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f661599f62849e447e76ea12310841b60c86f1a6","datavalue":{"value":"logic of partial terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2243550$59981626-9AC2-4AC2-B158-A09DC4E6CAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ab5129747ffe451402efbf1ceb963d6ab592709","datavalue":{"value":"logic of existence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2243550$25715312-D69E-48BE-90BA-9ADC375F1025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2243550$268E3372-F88E-4634-929D-C485B03B508A","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":"Q2243550$94F95E31-42C9-4712-8231-6F2A04FF261C","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":"Q2243550$002DC581-69A6-494B-9AAA-B351A1A9186B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8845437da682f691f737dd23baf781ad8132ceea","datavalue":{"value":"https://doi.org/10.1007/s11225-020-09929-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2243550$790C839E-EA11-4939-8C78-48C78B32C67D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f7ae52e7d2cfb728a35e8025166ae5afc86a997","datavalue":{"value":"W3120352477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2243550$38B7BB45-6E33-4FB6-9886-AABB21C12FD8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4349a4945383fab5f883bdef5abc9122ae1b876","datavalue":{"value":{"entity-type":"item","numeric-id":817698,"id":"Q817698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243550$00D9860A-5C88-4D65-B11B-9AE6C228CA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243550$848E6BCC-3769-4F6A-8BA0-F635412DD4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f000988fa170769c1376d6e16c8e429234f3d5d","datavalue":{"value":{"entity-type":"item","numeric-id":4342084,"id":"Q4342084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243550$4FA6B8DE-85DC-421C-93B9-12927C27868A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"beff482ef1531b1306bde060b6ed99e88c4ccb1c","datavalue":{"value":{"entity-type":"item","numeric-id":4023225,"id":"Q4023225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243550$0F0424FC-1EA0-4985-ABC7-7A20AC799AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1d2b184db23631f35a7de90ca0357cff037d4f","datavalue":{"value":{"entity-type":"item","numeric-id":2270235,"id":"Q2270235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243550$9D420A43-6C3A-41D6-B056-CE39AB82BC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243550$0659A136-B0A2-460F-ADBB-DB14BAF5E616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f34b77e9616af68856c2fef9e864836767c008fc","datavalue":{"value":{"entity-type":"item","numeric-id":3414345,"id":"Q3414345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243550$45B30A44-F461-48CC-A764-9A518D980B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f067eeced13646b151c9cc24b679133f1813f8b","datavalue":{"value":{"entity-type":"item","numeric-id":622624,"id":"Q622624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243550$06E6FC42-6E05-4991-860C-C539EE182180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320cb5dd93c53309305af20028f069a1035ae5a2","datavalue":{"value":{"entity-type":"item","numeric-id":5955617,"id":"Q5955617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243550$AC616675-3654-48E8-A82F-594935BD45BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f995501f3b2c4fbc92b29fa48435a1a179936de0","datavalue":{"value":{"entity-type":"item","numeric-id":477584,"id":"Q477584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243550$5808C900-CEFE-480D-818D-3807BEC300C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb867c632570d39793ce1d0ab002fa1960ed0b81","datavalue":{"value":{"entity-type":"item","numeric-id":5224577,"id":"Q5224577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243550$C65B23DB-1F12-4B20-A3B9-9CA604CFF3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a74042be5441e3b3e34639cd7aa8a9bacff7d215","datavalue":{"value":{"entity-type":"item","numeric-id":5742616,"id":"Q5742616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243550$5E764F1A-4CA9-4B4E-89C9-C46267145C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc5e736fdb59c09be039bf4467a4ca6c3513913b","datavalue":{"value":{"entity-type":"item","numeric-id":5216979,"id":"Q5216979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243550$D7C7A9EA-B6FB-4111-AEB7-1B684F13F202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20b0a38c811ddc7b609d98f221aa37397909d9c1","datavalue":{"value":{"entity-type":"item","numeric-id":5104714,"id":"Q5104714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243550$84E5390F-AA5B-4FC4-B122-44F8368849C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c52cd1a25a23d6ee1d2d790b85193089c176c154","datavalue":{"value":{"entity-type":"item","numeric-id":1840387,"id":"Q1840387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243550$B445314A-3F9C-4B39-937A-4F7C71C3693A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6cdd6030337d08844ed9b1765f7abd837ae16f4","datavalue":{"value":{"entity-type":"item","numeric-id":5241408,"id":"Q5241408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243550$D845EE99-EE7B-4C34-9EDE-89726B2B6A55","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":"Q2243550$4ACEE6A5-17D2-4523-9810-B92E834F479F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d8425e0dfadac6ffc495ddc05b72321e3f19c94","datavalue":{"value":{"entity-type":"item","numeric-id":3114184,"id":"Q3114184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243550$A09DFFB3-A988-4773-ACF4-3AE2ABC23792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5fd2421c0b9830a5368cacf5d87639027a60f94","datavalue":{"value":{"entity-type":"item","numeric-id":830379,"id":"Q830379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243550$1A056FAE-164C-4B0D-8160-451A3A98A9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d4f6cb2d520e094401e2b9c919689c522d88ccc","datavalue":{"value":{"entity-type":"item","numeric-id":2748497,"id":"Q2748497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243550$58B40C63-B5A6-402E-A883-7062F9BBC341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b47e427b41b4173e50108f0857c520d19a8b62","datavalue":{"value":{"entity-type":"item","numeric-id":3208629,"id":"Q3208629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243550$C92920DC-C5C3-4111-BB82-4DD53FDA02D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243550$90645DDA-9CFF-4DA4-A448-E6D29B60C9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f372f89de7bf317c3abd74c1ef99e85415014e","datavalue":{"value":{"entity-type":"item","numeric-id":3941377,"id":"Q3941377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243550$5C23E290-BF6B-44FE-8D11-F6E92678BF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc639adc9b53292b1016003b20b0697f7e3799d","datavalue":{"value":{"entity-type":"item","numeric-id":5608742,"id":"Q5608742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243550$2439D4E8-882C-46A8-9E15-7C629E2235FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243550$5B49D69C-BC4B-473D-A0E7-3FC3E63AD68E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6333fa3de472788ef923fddd9c6afa91715d270","datavalue":{"value":"10.1007/S11225-020-09929-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2243550$ABEF0BEE-E484-4AAC-8202-7F36A382EF3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1de9097df2e2eb5ec130b3f9eb970a0cd3c9cdd7","datavalue":{"value":{"entity-type":"item","numeric-id":622624,"id":"Q622624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e20d79af27702293d0627f5ccc4e08bed5f8cb0e","datavalue":{"value":{"amount":"+0.838316798210144","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":"Q2243550$2904B152-1937-4B2D-A04E-BFEC54CAE7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b676da501a4388c7d8600a676797eb561342b91","datavalue":{"value":{"entity-type":"item","numeric-id":5006839,"id":"Q5006839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d61d9439f9f36700fb2f791c4d8333bc90b6d485","datavalue":{"value":{"amount":"+0.8066694736480713","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":"Q2243550$5607F3BA-CA0F-4EAC-B0EB-0A0E707EF814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f984a756906cfb1dce1489979f95c15ae7718deb","datavalue":{"value":{"entity-type":"item","numeric-id":4532198,"id":"Q4532198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdbdea8013ca4e74b61ce6f9dc55d0b0332e6067","datavalue":{"value":{"amount":"+0.7986214756965637","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":"Q2243550$6E231D0B-16C1-4180-B2E5-793EF425A7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c763c7ba6ed3dd942918268df1a94d79b8db1ef","datavalue":{"value":{"entity-type":"item","numeric-id":830379,"id":"Q830379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59d963ea8a424baa481935ef94e57ea77c8602e6","datavalue":{"value":{"amount":"+0.7962134480476379","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":"Q2243550$7D30440E-3CB8-4ED9-800B-8FE15D1A7441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"640c845025dcf098847a39ddcc17182f22e4adf5","datavalue":{"value":{"entity-type":"item","numeric-id":5271653,"id":"Q5271653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76746439b9946762907dd67115d684c0bcb7b117","datavalue":{"value":{"amount":"+0.7696872353553772","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":"Q2243550$0420C65B-6DEF-4F54-A17E-89F86AE2D11C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2243550$8947261F-1E50-4FE8-8058-CA1D538EC0D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Free logics are cut-free","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Free_logics_are_cut-free"}}}}}