{"entities":{"Q636346":{"pageid":638194,"ns":120,"title":"Item:Q636346","lastrevid":63168150,"modified":"2026-04-11T11:03:49Z","type":"item","id":"Q636346","labels":{"en":{"language":"en","value":"Cut elimination and strong separation for substructural logics: an algebraic approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5943640"}},"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":"Q636346$D33ECD01-51F3-4EC2-99EB-61E7D0B69416","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"394f17e8bdfbf54387d25964c10166d4099d1cef","datavalue":{"value":{"text":"Cut elimination and strong separation for substructural logics: an algebraic approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q636346$3C2BA9EA-FD65-4CB5-8E0B-090296F68CDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95776e494c8f23ebb6928612b896fd414332c7c8","datavalue":{"value":"1245.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636346$02C04321-49DD-4FC1-9306-E73FCBE0AA59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6eef00978e3a2dc6158a2b54f6d535aa32515c68","datavalue":{"value":{"entity-type":"item","numeric-id":287481,"id":"Q287481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$CA1D1D04-3E0B-4BD9-A94C-F8547D4964CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f946dfe6b3be96d34da1ef7b14a483222b37bfb9","datavalue":{"value":{"entity-type":"item","numeric-id":190257,"id":"Q190257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$BC323020-6C24-405A-9AE8-C7351FEC4D2D","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":"Q636346$8477FA04-8010-4224-B713-DD6D724A8493","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":"Q636346$3A3E8730-75AA-45AC-A30D-B870DD725BCA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2c3694b2760c0155e506c65269999c36dcf18e46","datavalue":{"value":"By their previous works the authors have already established an algebraic foundation for the study of substructural logics over full Lambek calculus FL by means of residuated lattice-ordered monoids with unit. This paper extends the framework for the sequent system, called GL, obtained from FL by removing the associativity of comma in a sequent. Accordingly, GL is shown to be algebraizable by the variety, called RLUG, of residuated lattice-ordered groupoids with unit. The lack of associativity brings about some technical complications, which however are passed by generalizing the notion of logical matrix and applying the method of quasi-completions to obtain an algebra as well as a quasi-embedding from the matrix to the algebra. On the base of this algebraization the authors show some general results, from which follow several important logical and algebraic properties such as cut elimination for GL, the strong separation of the Hilbert-style system HL equivalent to GL, the finite generation of RLUG, and so on. Moreover, the formalization of GL is presented by taking account of the uniformity and modularity for some principal extensions. That is, depending on how to interpret metavariables used for the formalization it gives rise to FL, Gentzen's LJ, etc., in such a way, for example, as non-associative sequences for GL, sequences for FL, sets for LJ, and so on. Thus, some observations for such extensions are also absorbed in the general results as a matter of fact, and the authors suggest some of the methods developed here would be useful under a still general setting of algebraic logic as well.","type":"string"},"datatype":"string"},"type":"statement","id":"Q636346$5FB6C78E-38ED-4342-BD2A-D2BDA7EF150E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$B3579D84-1B14-4513-8427-2F40EBFEA874","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636346$37B45AF4-7AB6-4709-AC12-D2DC4FC06F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636346$E362BA02-39C3-46B8-AD9E-25A8FA9C934B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636346$AF0B673A-3F1A-42A5-85F4-1FEE1B6E0CAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8be3fd822126df2a60c06bfc453daa3a74771f68","datavalue":{"value":"5943640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636346$49127446-97DE-4317-B5C8-407366602CBA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q636346$B0C5F9BD-3969-4772-8E15-C629CB0B67EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q636346$1B695A14-38CD-4509-92F6-2C22B523C736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5283df4a3e6fba36dfdaa02872f5cce52e343a83","datavalue":{"value":"strong separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q636346$9919D6FC-6F22-45AB-BBFE-0CF4CB83CFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7e5d568140a653e809fe0aab6e5f93619204cfe","datavalue":{"value":"Gentzen system","type":"string"},"datatype":"string"},"type":"statement","id":"Q636346$7C4DE07B-D071-497C-9A36-D38E1318306C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ee50d25ca4f6ea5e6142a8f9e49e790bed8617a","datavalue":{"value":"Hilbert system","type":"string"},"datatype":"string"},"type":"statement","id":"Q636346$4BCBE3B9-5FBF-4EE0-8D7C-BE65B7A4FD88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871576db775750977e6332ef2b11f3b536053055","datavalue":{"value":"residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q636346$8F94C222-A464-4CAD-81E9-EB0D94886184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ddc38e96760d2e8fa65a795ad39825f178006a0","datavalue":{"value":"MacNeille completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q636346$FCDFDAAF-D7D6-4B6F-9922-6E19C362B47F","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":"Q636346$B6F78D05-48FD-44F6-B6AF-61CE86D508DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e65f2a5237c52ea45c17885ffa497fbd7f8934d3","datavalue":{"value":"https://doi.org/10.1016/j.apal.2010.01.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q636346$4457F2B0-2669-433D-99D5-6BEE279F5913","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8fa5addf9c0449706bf35fb51ae856a483295c81","datavalue":{"value":"W2073214104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636346$FE0EA6F3-F8F6-44DC-9433-D5F316E12D21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4792b5729ccd751666a738991241637d65618b98","datavalue":{"value":{"entity-type":"item","numeric-id":3984416,"id":"Q3984416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$D3EB25F5-AEE3-479D-AD62-206CE633EB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"607032864cb06dec4fa711d9a8c97f9a6304f17b","datavalue":{"value":{"entity-type":"item","numeric-id":1770974,"id":"Q1770974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$35EE21A2-9615-4198-BB2A-7987BA15DBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$B77D6F94-7A8B-464A-BF2E-D831202D73D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89ae055654c7b0bba962f111039627962ea47f89","datavalue":{"value":{"entity-type":"item","numeric-id":2752417,"id":"Q2752417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$677EA576-92F2-4CC6-968B-2F543C6E73B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60286d36984eaf65882c51a5abddcc0df15a9a5b","datavalue":{"value":{"entity-type":"item","numeric-id":1771949,"id":"Q1771949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$6AB35D92-B656-4730-95A7-D8F736561CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"769ab7eea22e285d14090ca2aab7e5754427dff4","datavalue":{"value":{"entity-type":"item","numeric-id":5461379,"id":"Q5461379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$B62D0A53-E804-42F5-A833-B23BF948571B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd83a0e0c158e73a35d24382dd524323f3a8f2d","datavalue":{"value":{"entity-type":"item","numeric-id":3043517,"id":"Q3043517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$ACE7B9D8-E1DB-447E-AA92-52D57DCF2986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbf47437dde536cfcefddb5901c3ce0ea9e4ff5","datavalue":{"value":{"entity-type":"item","numeric-id":4056047,"id":"Q4056047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$F6ED980B-1096-45D7-A93A-4E15AAA033B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$054CB2DF-CB6E-47B5-AFA5-F61FD583D48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"794e881a21233b5e71621321195089beb55f1a52","datavalue":{"value":{"entity-type":"item","numeric-id":2563452,"id":"Q2563452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$332093CC-EF52-475F-AC4D-E39DBA034521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3027e3f92dc546fe71540e36147d586524c4fe96","datavalue":{"value":{"entity-type":"item","numeric-id":2776810,"id":"Q2776810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$013FCA5B-34A7-45B7-8AA6-614DE3C71D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9291780fa49d906483f3b2217ba1558a6098769","datavalue":{"value":{"entity-type":"item","numeric-id":3437263,"id":"Q3437263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$AE4D5BFE-4262-4198-A6C9-C1FD27D6BC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df3ad1f8454cf565a906b63e6d46fe85aea2c4b","datavalue":{"value":{"entity-type":"item","numeric-id":1119625,"id":"Q1119625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$AFEEC9C7-FA0E-44C5-B5CB-B50C9694391E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f43829d43dfd204590a2a8da27cb28b9bf029cb","datavalue":{"value":{"entity-type":"item","numeric-id":1422446,"id":"Q1422446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$94BA137D-0B65-4417-99CE-C73D5CA69C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfa8c8929c768f224e83dab433f989c2dc6bcac","datavalue":{"value":{"entity-type":"item","numeric-id":4913809,"id":"Q4913809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$5DB7A49A-EDA6-49BB-AC2B-745615C87C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$22BA4DB2-6488-45B6-ACE6-1B694A95BA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe042fd73b0f564590539742ad031432d6096563","datavalue":{"value":{"entity-type":"item","numeric-id":2433102,"id":"Q2433102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$CDE11FFE-5F25-4A05-92B5-1D8B71905C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cdcbdd459a37534f48a0a2976d04a84e7022c8d","datavalue":{"value":{"entity-type":"item","numeric-id":3416119,"id":"Q3416119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$EA52C911-B198-44FE-B71D-94A99B6EE0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d52f87bfff5e15844694cf22d79c2b75967d95b2","datavalue":{"value":{"entity-type":"item","numeric-id":1770501,"id":"Q1770501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$82E59486-3590-4D0C-80AB-B8FE4AB667A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f166ac1f9e147a2629ceac56164a7da1f094654","datavalue":{"value":{"entity-type":"item","numeric-id":3399178,"id":"Q3399178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$5F8996E1-F0F9-4877-81BA-1ECF771640B1","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":"Q636346$BF0A90C1-B8EE-4E6D-A22D-1F30889D57A9","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":"Q636346$FF5493C2-2BE9-48D5-B236-1AD08204759E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e153dcad108c14c9a55e8f1c726ec817dd7f4","datavalue":{"value":{"entity-type":"item","numeric-id":5693612,"id":"Q5693612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$D54C8BAB-5967-4484-9C34-6DB88D1A5C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f2ea4b7302711e45c80acc4661a39cf1bc13b4","datavalue":{"value":{"entity-type":"item","numeric-id":2270232,"id":"Q2270232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$F6A1C07E-8B10-4D85-BD52-29033C4B443D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf570b4f8cfc364a1cf37af2845b521d40478adc","datavalue":{"value":{"entity-type":"item","numeric-id":1192582,"id":"Q1192582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$A747E76F-1674-46D0-906A-4483894DB63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c47ac64788248a40d8543304d3dd3bc25cb13b","datavalue":{"value":{"entity-type":"item","numeric-id":1603701,"id":"Q1603701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$C219D89A-22A6-4BA7-85AE-F4936F75D193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e93ef4dc600baabf1caa2d6a4d97f42bc019d1","datavalue":{"value":{"entity-type":"item","numeric-id":4262585,"id":"Q4262585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$3CFE38BB-57C9-411C-97D1-3B6B2079E7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad6a31ccd986ac68d738b4166a45d437dbce48cc","datavalue":{"value":{"entity-type":"item","numeric-id":4694214,"id":"Q4694214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$E62AC464-0B2F-4D55-9771-9BE00E9DBA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c444c6ec3cb9757a686662251d3648e5a1703ba","datavalue":{"value":{"entity-type":"item","numeric-id":4940727,"id":"Q4940727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$C80B85DF-0AFB-4C62-A0E1-30411E65EA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a1c588c740fe3cbe85a8b068c195d5be3a6020","datavalue":{"value":{"entity-type":"item","numeric-id":4699355,"id":"Q4699355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$8F6023AF-6F3A-40E1-9325-40F6E88B1334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61393b72d6444769c992a0ba8b4957381869f4fa","datavalue":{"value":{"entity-type":"item","numeric-id":1402589,"id":"Q1402589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$A755E9AC-DBD3-491E-BA3E-DF0C51D2A7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0effd301bc9740561be89cd2f0dd6430b0df3860","datavalue":{"value":{"entity-type":"item","numeric-id":4463933,"id":"Q4463933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$C4069741-B67F-4BF7-B6E8-0B4329E71E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$B6A16357-8780-4252-A347-0158860D4B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567cbf453cf982ee25f2260ca76b08c37bd022e1","datavalue":{"value":{"entity-type":"item","numeric-id":3142030,"id":"Q3142030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$FAAB4573-E636-45D8-AFFF-702644748E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$2024FCB6-E4C7-40BD-A749-31F0B1DB4CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d9c3668ea584e7e103519b83bcedef3ef40cd89","datavalue":{"value":{"entity-type":"item","numeric-id":1235197,"id":"Q1235197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$5F038B81-EBF2-45B7-865A-2C5DECAA5D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556023de527f0a47926ace58f6081826c5c14adb","datavalue":{"value":{"entity-type":"item","numeric-id":5422301,"id":"Q5422301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$C2DFACD4-D128-46A6-9C74-78FDBADE2C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36e49f392424b9baaa94092e94396694c4a6dc3","datavalue":{"value":{"entity-type":"item","numeric-id":4943158,"id":"Q4943158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$0C2D2341-3651-4EA2-B9FB-4F62F6D5D54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a13768b34375dc68714bd0d6e8aa436172a3738b","datavalue":{"value":{"entity-type":"item","numeric-id":1826930,"id":"Q1826930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636346$A5D453E1-F3CD-48E1-B21E-4ACB401E6D10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"015f38eaa50b1274e2f9df219dc61a5d7d66889d","datavalue":{"value":"10.1016/J.APAL.2010.01.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636346$B9DE1DED-4625-4D11-9133-D8DA112F56E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a051622b200274dead32cc611d9db4b218b82018","datavalue":{"value":{"entity-type":"item","numeric-id":409322,"id":"Q409322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9aa0c3190f18bdec9bcce3401af63f1ac730500","datavalue":{"value":{"amount":"+0.8270648121833801","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":"Q636346$820FCAFF-FDD3-459A-BE54-294FE6D038C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8464bab5a30f574750be428e653196b46b0e4d84","datavalue":{"value":{"entity-type":"item","numeric-id":5402233,"id":"Q5402233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d5d6b93387df0bdd9fe4b62044885bbeabeb8b2","datavalue":{"value":{"amount":"+0.8262915015220642","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":"Q636346$7A88DCD4-99F3-4356-B91B-400D568BDD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8550fccf3774e4120c1211d5dfe2270eb97c5cf3","datavalue":{"value":{"entity-type":"item","numeric-id":4463933,"id":"Q4463933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"123ef26e9ca28cddd76269db36db67ea39060a96","datavalue":{"value":{"amount":"+0.8199707865715027","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":"Q636346$6699F32B-3F15-40BB-BB46-A76B2A506B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47175f8f0b426346e8e899829e3d14cca601894","datavalue":{"value":{"entity-type":"item","numeric-id":4383724,"id":"Q4383724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e06b648b87bc742ac6d04fbe0581072ac9ba4466","datavalue":{"value":{"amount":"+0.8163657784461975","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":"Q636346$CB93417E-D79A-4190-9385-88F3F561DEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68343b4643f8d7a8cfbc94b8e5bc4c4a731ce469","datavalue":{"value":{"entity-type":"item","numeric-id":3466596,"id":"Q3466596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47ba6d00e4e066a8583279a870825f26a097835b","datavalue":{"value":{"amount":"+0.8101067543029785","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":"Q636346$337CDE9C-5F21-47AC-A269-614CEF262611","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cut elimination and strong separation for substructural logics: an algebraic approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cut_elimination_and_strong_separation_for_substructural_logics:_an_algebraic_approach"}}}}}