{"entities":{"Q7361215":{"pageid":31519184,"ns":120,"title":"Item:Q7361215","lastrevid":105364049,"modified":"2026-10-07T13:35:14Z","type":"item","id":"Q7361215","labels":{"en":{"language":"en","value":"Invertibility in Sequent Calculi"}},"descriptions":{"en":{"language":"en","value":"AFP entry SequentInvertibility"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"beef0f5786b4d1d0cce15834980442100f6e27d8","datavalue":{"value":"https://isa-afp.org/entries/SequentInvertibility.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361215$4855D2FB-AC54-4639-B509-DDA30322C363","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c0611717ef71ee46573031df81985c2de92e547","datavalue":{"value":{"time":"+2009-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361215$E6BB0978-8A1B-4A56-98C0-5F7B72FED130","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"4cd1ba4ff73419c1abecc0c23ae7ffbcc2f8d59e","datavalue":{"value":"Peter Chapman","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361215$D825C2AC-E26C-4139-96DA-83F782AA5ED8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35852e953492fb5753b69edbe3d66d2720fcb84f","datavalue":{"value":{"text":"Invertibility in Sequent Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361215$A3FD6FB2-6906-432D-B28D-F9F0CE881F07","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e309fdcc86d90dbff81f5a9882a402d2f03a81ea","datavalue":{"value":"The invertibility of the rules of a sequent calculus is important for guiding proof search and can be used in some formalised proofs of Cut admissibility. We present sufficient conditions for when a rule is invertible with respect to a calculus. We illustrate the conditions with examples. It must be noted we give purely syntactic criteria; no guarantees are given as to the suitability of the rules.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361215$962E3D30-81F6-4C8A-97F2-95CCDECC25CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3a7c1faf671a42f888a143ca6d231a4f3b4f0a","datavalue":{"value":{"entity-type":"item","numeric-id":2871861,"id":"Q2871861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$34AEA6F8-9B63-4BE7-A991-771A9988DDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e1d811262dd8c2250bea4bc0f676125b4798fd","datavalue":{"value":{"entity-type":"item","numeric-id":4539639,"id":"Q4539639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$E289F242-B3AC-46D7-9DC1-C6EF617605FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c434b6534caa8d7aae026f7b80e8e45e51931c","datavalue":{"value":{"entity-type":"item","numeric-id":809992,"id":"Q809992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$38956FBF-4F06-4EB0-93CD-5CE7FB00B038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"801b1538f99aa48b66aefd04d1f35c276a6a3f5a","datavalue":{"value":{"entity-type":"item","numeric-id":3613413,"id":"Q3613413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$BFA3152C-E7C2-4C5E-8C45-6E1EBAD38303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$3115697C-EFA5-44C5-BD92-8CDDBE2BFC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$C473B30F-06DF-4F00-B8E7-0C45B8F1FF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70c7b3f003527069c2310fc828f8afaad5df5d6","datavalue":{"value":{"entity-type":"item","numeric-id":1838471,"id":"Q1838471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$A207CF5F-2068-41B7-91F2-1D33AF706C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$A229F461-0C86-4795-8317-DE1DB7AB6BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29dee98229347c3ff5d61b43b45d8e001f181167","datavalue":{"value":{"entity-type":"item","numeric-id":3608761,"id":"Q3608761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$360ACB74-C96C-4942-B901-4A0962BC6D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3da372b485edc3122e090a05d4c846d87d9a3445","datavalue":{"value":{"entity-type":"item","numeric-id":5898803,"id":"Q5898803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$3CD05D19-F190-4034-A4E6-688B44EA9CE4","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":"Q7361215$886679AC-F20B-40E2-8BB2-A4059E039482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$6202104F-5218-4A9C-B20F-E1FD64A0E3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0758f72807700be2ef4efdfd5f60020d8db3403d","datavalue":{"value":{"entity-type":"item","numeric-id":5505488,"id":"Q5505488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$CD222309-A320-4314-B618-295542354184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b06809062082b8f9f5dbc080e3987837376fa3d","datavalue":{"value":{"entity-type":"item","numeric-id":3499750,"id":"Q3499750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$72445F10-B9F2-4B6E-825D-77D2CB03D95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6398ee602b21d03896197f5b09fe5f5f8560bc1","datavalue":{"value":{"entity-type":"item","numeric-id":817704,"id":"Q817704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$0D8BE102-D80F-4CF1-A197-6B6540345F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dc6a226313366f6abdfe35a622a472cc49a98f7","datavalue":{"value":{"entity-type":"item","numeric-id":5387889,"id":"Q5387889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$E160DE1E-68D6-4140-86D2-06510D2BADB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$504DA893-616E-44B9-9F27-21D373F59D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$B7E775F5-B9D5-4BF7-BC16-B238E0219E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d688eb5488507450c43d16b496956e64c1779de","datavalue":{"value":{"entity-type":"item","numeric-id":2703745,"id":"Q2703745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$62F17040-31E1-4886-B101-50B4E4258CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12ca673b668f2b75998f61be11911f94c91cad52","datavalue":{"value":{"entity-type":"item","numeric-id":4484337,"id":"Q4484337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$F53AB9B8-CE06-4E08-ABA1-AC85113A29EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d06f1f65753eae8f4eae77900c2cbf9741594d6","datavalue":{"value":{"entity-type":"item","numeric-id":3613419,"id":"Q3613419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$EC50FEA1-0B1B-4974-86A5-328CB829D3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdc04fe1d8a0b4fc167ea978de23099648f6768e","datavalue":{"value":{"entity-type":"item","numeric-id":5898815,"id":"Q5898815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$290B5D4F-BE3F-4B83-A41F-8F512E5B92EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$D42EFE2E-D925-4020-A756-FE359625E179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca4d17c35cbefb6a8aa866435f2f3edb60233e13","datavalue":{"value":{"entity-type":"item","numeric-id":2710593,"id":"Q2710593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$1E141805-3ADF-4B29-A8F0-97B163B30098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3974826730c6cd32f5a0b39902b286982f03f9f","datavalue":{"value":{"entity-type":"item","numeric-id":1275625,"id":"Q1275625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$CC4E2F87-7F19-46E1-83B2-8F98F261C5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7efca8e4596d9afd2a5ad9c3a14e955093b5ab3","datavalue":{"value":{"entity-type":"item","numeric-id":4039813,"id":"Q4039813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$E9DD1FF0-05ED-403E-96C4-425D36DBE604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$B3F0E047-2BA5-4137-86EE-1AF53ABC6D6F","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":"Q7361215$66735211-B49D-44A8-BA68-3BCD2C30A587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6c515c53cd15526b8909325376b292606ea9c5","datavalue":{"value":{"entity-type":"item","numeric-id":3024834,"id":"Q3024834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$1BF09E6D-20AB-4224-B9BF-1FAC65559881","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":"Q7361215$BAE3D481-4A11-4714-A6BC-8FB1F8359C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$1B194C38-3711-4FC1-AC59-F9C4B616A955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e10d811ba2353d8a61d15e121c0fa1ef3eee2c","datavalue":{"value":{"entity-type":"item","numeric-id":1342248,"id":"Q1342248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$AB5B3899-9CF9-4BCF-BB89-0EF0F84F108A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509550bb15dc4a24dd6e031ebb52f20544819d09","datavalue":{"value":{"entity-type":"item","numeric-id":3638285,"id":"Q3638285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$61801CAE-AF27-4F96-8319-386CFBAFB335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"613196c1ebb5efd26c81cbdcd44f5b10522db4db","datavalue":{"value":{"entity-type":"item","numeric-id":1344438,"id":"Q1344438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$ED95B957-DF2E-4675-A9B4-949855BEFCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b83592ffe861aca3198948b3c2b96ca5082aefc","datavalue":{"value":{"entity-type":"item","numeric-id":4272505,"id":"Q4272505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$624BF185-8F06-45BD-99F4-B07270FCF6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59952b81e0c5561a3960659f42a8c0f87be78073","datavalue":{"value":{"entity-type":"item","numeric-id":5758131,"id":"Q5758131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$5773369E-5DFB-4FD7-B564-2E7B71739359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc269e493e4107178e30446815723fe9060edb5","datavalue":{"value":{"entity-type":"item","numeric-id":2503400,"id":"Q2503400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$D607769E-E9EC-4F2F-A4BE-F516CA28B399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$D7216C73-C13C-4EA1-839E-D886A94F5CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f103fa401cdca02160ebee26851f7a4dbd4e17e","datavalue":{"value":{"entity-type":"item","numeric-id":5813181,"id":"Q5813181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$F46B2D94-1AB5-4FB1-850D-2A225B3AE325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9a76de50b66bd0532b4c2569dcfb50abebb2b32","datavalue":{"value":{"entity-type":"item","numeric-id":2848048,"id":"Q2848048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$2F7ADED0-9229-498F-AF1D-5640FDDE769F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cfd356224155dbd75db29249481baba3510e2a8","datavalue":{"value":{"entity-type":"item","numeric-id":5394302,"id":"Q5394302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$EF2BB75A-C58C-4EE6-A07B-A2DAF02EE1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f54bc0e2f92beb50e9c6902664de23aa76daffd","datavalue":{"value":{"entity-type":"item","numeric-id":5703754,"id":"Q5703754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$E7C149E3-6650-44A2-9D3E-265CC374A7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$3F01C062-AAA1-4279-968E-89ABC94A44A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3893e24895c818d766b4ac601e2292c1956a8e2a","datavalue":{"value":{"entity-type":"item","numeric-id":4819653,"id":"Q4819653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$50D807EB-A63E-4688-8261-5B061BADAEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"347ff5e243a44fe280b61636b43f4d0e72b66679","datavalue":{"value":{"entity-type":"item","numeric-id":4281480,"id":"Q4281480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$5E00DC69-9413-41B0-8FF1-F6D91D0B4189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06ce65b366ea27e58c7fffc25863f35a8053f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5277739,"id":"Q5277739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$8E4B456B-2E9D-47D8-A651-8E27A9301674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$685B8CEC-A9D4-4FC5-89A1-B077121CFE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8219577a178b5e6bc0cc5aede73996c94784449","datavalue":{"value":{"entity-type":"item","numeric-id":4435474,"id":"Q4435474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$359DB504-9AB1-4D83-AF6A-2D2DEEC15B2C","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":"Q7361215$CBDBD1CF-7D08-4D1B-A3BF-56C56F04A9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd741c8f779448cca2e557d9c65f69f1eb3195f","datavalue":{"value":{"entity-type":"item","numeric-id":1854335,"id":"Q1854335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$CA330989-2862-4248-BF80-1253854E2183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$17E8FF7C-75D2-4220-AF3D-F2276E743BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"352f7fce03df140efe1bf6ee86c2e7250270ba00","datavalue":{"value":{"entity-type":"item","numeric-id":5887516,"id":"Q5887516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$D90484B7-A268-4D21-99D1-424386793BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cfb0d2ade58232332214dc54a5ef14b4d99f877","datavalue":{"value":{"entity-type":"item","numeric-id":2461191,"id":"Q2461191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$316F906C-0827-4AB6-9564-C433EECB35C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566b0c163a36b7b7dabcdd14884ed1324b40841d","datavalue":{"value":{"entity-type":"item","numeric-id":4805593,"id":"Q4805593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$B79C3686-FC7E-4AFB-9E03-12F6F25F08F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$6A15A7A4-0875-48E7-96F3-31C0090F1B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4cf7a10bff66d836e836dc6763a8738e552c50f","datavalue":{"value":{"entity-type":"item","numeric-id":4264720,"id":"Q4264720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$B6192D34-C03C-4965-B802-696BCEC0BFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$B6B96418-4016-4201-B68E-747E978DFE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$2CC87D59-BE8C-41E1-8CE8-0C7440726299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$CA0858D5-FA98-4EE4-AF71-34DC2A7D3B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$C7051477-DC62-4CC9-AB6E-1F9BCB886211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f8f6dff394ac274489a2a8165abb84f760b4be","datavalue":{"value":{"entity-type":"item","numeric-id":5394605,"id":"Q5394605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$B9BF9D25-A2AA-4A30-BBA6-8C25A2EC0AF2","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":"Q7361215$1C2B94AF-4437-48E3-B0D2-E930C4CDA14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e9916acae3c5f1fa2203775504b75059dc2c908","datavalue":{"value":{"entity-type":"item","numeric-id":5608767,"id":"Q5608767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$3908F066-A6EC-4FE0-BBC9-865B3223088C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84db7b031663473052f5c9fdfcfae885713c2faa","datavalue":{"value":{"entity-type":"item","numeric-id":5756773,"id":"Q5756773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$CBE47218-1DF9-4479-BC1E-010E3F433424","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$CF5BE7A6-5F09-4323-8482-9648C5CC4AA9","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"0010e22d998484f218097f7f79d7fc22bc7427c6","datavalue":{"value":{"entity-type":"item","numeric-id":7360817,"id":"Q7360817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$00452FA7-E5FF-43AE-9364-EA3422795C9A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361215$794843EC-9268-4439-93C0-C03B34F83454","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Invertibility in Sequent Calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Invertibility_in_Sequent_Calculi"}}}}}