{"entities":{"Q2433102":{"pageid":2443845,"ns":120,"title":"Item:Q2433102","lastrevid":73404216,"modified":"2026-04-14T15:48:16Z","type":"item","id":"Q2433102","labels":{"en":{"language":"en","value":"Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5068036"}},"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":"Q2433102$A9F4867B-DD3F-43B3-BF63-C9CE72967DA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2eb17ccd243746c9ea1b3448f4d3ab772700f54b","datavalue":{"value":{"text":"Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2433102$AE5F34A5-11E4-4B4E-8214-4EB796BDF405","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1c6e1191acdb6c0ac5b39753c5630cb18fa41dd","datavalue":{"value":"1105.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433102$6328ACAD-03A3-4824-8F8A-575BDC2CF9AC","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":"Q2433102$E0D66CA6-5056-40CE-8920-41EA5F08993D","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":"Q2433102$F0E86360-FFB9-456C-A798-437A8C36643C","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":"Q2433102$05E3F935-08F5-4F12-8D24-010EBD84EB62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50b7fd0a0c44a7cc6c2f9a66104698377fd376f1","datavalue":{"value":{"time":"+2006-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2433102$632F764F-25F5-489B-807C-BECDF31B9C28","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6987b62589724de7231eb0709748eab9c49f145f","datavalue":{"value":"The authors establish for substructural logics over the full Lambek calculus FL an algebraic foundation by pointed residuated lattices, with which a systematic investigation on the logics is developed from a global viewpoint. As one of such observations, it is shown that any substructural logic over FL enjoys a weak form of the deduction theorem, called parametrized local deduction theorem. The authors also examine interpolation properties, for there can be considered various types of interpolation properties under a substructural context, particularly. The analysis explains, among others, how they imply the amalgamation property for certain varieties of residuated lattices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2433102$B6DB3039-7136-4CB3-92BE-1382AC6F457C","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":"Q2433102$0924748D-36EB-4953-B146-0592C03EBBF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433102$96C92E11-C4C6-4EBA-A5FC-53DEDB823685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433102$FF71C98E-7581-4801-9757-4F816F868C8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"694e5ebaac5f3ef01cf4e48ca1335436af65baf6","datavalue":{"value":"5068036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433102$9DE5E4BE-BBB7-45BC-A9D0-9B9FC09A727B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2433102$80B9F7A3-FE0C-4F1B-801F-C074D678389F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cb921246da71c014604ec93eb9234bd444d739a","datavalue":{"value":"pointed residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2433102$2D40F4A4-7285-416E-B103-5CDA027179BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2433102$9F7E8BE6-0CAF-4018-B106-BD4B25C10D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ed2884791f4e596608c89df0fed399e01c84a1f","datavalue":{"value":"parametrized local deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2433102$DAFDD2F8-A9DB-43EA-B0AE-0A52F0A90CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2433102$BDF7F8F2-0673-4815-9AB4-90145B805D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87ab00d8c6d004f508ae7223b0711ed16c3c98cb","datavalue":{"value":"amalgamation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2433102$5F67D835-8802-42B2-80E5-8DC43AEBF9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b76b88230f365a3c50d1fc2b7b82246d978f88e","datavalue":{"value":"full Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2433102$8E27D8B0-4796-493B-A1AE-989D7FE5B47F","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":"Q2433102$A6B8A0E9-A916-4135-8100-87E75E692222","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36180e575574c6b631894714fc6328ae25120dc0","datavalue":{"value":"https://doi.org/10.1007/s11225-006-8305-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2433102$82BCD9A4-C9D1-42DB-A539-AF38BBAF4F05","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd9f7c1607d9177cebd01b6313d117047df7a710","datavalue":{"value":"W2062581225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433102$F78D60A6-CA16-4FEB-A3FB-AEAD14843973","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c7ff17d186eeec961fee84f228f3f7d74176a9","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433102$A6B43238-E63C-4A61-8AD3-3EACC310AE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59707804629648bce28ec673c549b016146e85a4","datavalue":{"value":{"entity-type":"item","numeric-id":5616135,"id":"Q5616135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433102$3C1A6668-BCD6-49C5-BD9A-0C8738824036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8a99ddd1a42985fec7f60dc1306460fd6182155","datavalue":{"value":{"entity-type":"item","numeric-id":1224578,"id":"Q1224578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433102$F5F43FB6-06F1-461C-9894-B1F1343CE246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c549f63c89ca628db1aaf60ad68fa52a69200a3b","datavalue":{"value":{"entity-type":"item","numeric-id":2496161,"id":"Q2496161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433102$7C623C6F-C29E-4A1E-8CC8-61F055AF183F","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":"Q2433102$CA66E660-C38D-49DE-B6C2-56CB7B455D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b446099905b56cfa9e33fe33268817567c38830","datavalue":{"value":{"entity-type":"item","numeric-id":4011710,"id":"Q4011710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433102$46CEAD0D-D540-4DB7-A735-DBB8561938E3","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":"Q2433102$26D6BB88-F693-45C1-A476-D8427D257CBC","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":"Q2433102$02B6334B-AA71-46CB-919E-BAD1C1D6125A","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":"Q2433102$7E0F8295-1FBF-4C30-9D94-96D4230568F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cabc196162aa5129a29002b49eb14619d4ddf836","datavalue":{"value":{"entity-type":"item","numeric-id":1189891,"id":"Q1189891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433102$81979333-0787-4D14-A55C-40BD359BDFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639c40721d4ad9e8192f54d6b51a3c839e4356ff","datavalue":{"value":{"entity-type":"item","numeric-id":4249028,"id":"Q4249028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433102$53E5063E-7864-46F2-9B0C-0E3DBAF9E889","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":"Q2433102$83D622EC-0757-4753-BAF1-312DEA3308C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48451130fa325b4302f0c1189496cfa710a55098","datavalue":{"value":{"entity-type":"item","numeric-id":2577691,"id":"Q2577691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433102$B1F13481-E95B-401C-B3CD-295C8D798C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05b380f76aa9cd5aab3b531e2f5bc4566bb014be","datavalue":{"value":{"entity-type":"item","numeric-id":1826928,"id":"Q1826928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433102$D09212ED-3547-499A-B1E6-36DEDB7F8226","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":"Q2433102$6A9D7572-8992-4F32-9FD7-2A33E3A26598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40008f3bf42685fa48509529f90bde4322fbdb7b","datavalue":{"value":{"entity-type":"item","numeric-id":636346,"id":"Q636346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433102$61E065F4-7CDD-4430-95F7-505F73127AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb552d82d874f5d37464ae5768e2173b717cc8c0","datavalue":{"value":{"entity-type":"item","numeric-id":1770973,"id":"Q1770973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433102$B406938B-65CC-4891-9338-4F9D524490DF","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":"Q2433102$CD15AECF-70B6-4F5D-898D-3F811E9F92F3","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":"Q2433102$527C0CCC-E581-4411-90C9-E555C53BAE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0f377cd1f758bb7a1b2206d4153fe35903f24fd","datavalue":{"value":{"entity-type":"item","numeric-id":4786332,"id":"Q4786332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433102$F5AD8E3A-E807-481A-8473-5DEEA376272D","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":"Q2433102$23486C21-A26A-4F78-8CB3-083F7B632426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c637a10fc0009385d68516e4488e8462becaac26","datavalue":{"value":{"entity-type":"item","numeric-id":1140079,"id":"Q1140079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433102$23AAA1CC-DFC3-46E8-A3D8-B76CF6E4B9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"080f5c3564b097dc410b5da5e13d13fb87d22fe0","datavalue":{"value":{"entity-type":"item","numeric-id":3772222,"id":"Q3772222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433102$4C2EEDCB-92E3-4CC9-B171-B60703FBBB45","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":"Q2433102$3846F799-3365-42DD-B736-7C97F1B71C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70bf0350ab78431b2d1340c6680da27a7a44a1b7","datavalue":{"value":{"entity-type":"item","numeric-id":1074573,"id":"Q1074573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433102$137874C6-80F2-4AD4-952D-51609D68F2D4","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":"Q2433102$41841F38-8B86-4637-9545-CDC0E0B00EAA","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":"Q2433102$396054B1-4401-4327-8E69-102AC5C09688","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":"Q2433102$518CEFA7-4D06-4A8B-B6D4-CF0438ED72B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8965609ffa143394f477cc0a620d9b3d32b71117","datavalue":{"value":{"entity-type":"item","numeric-id":4511319,"id":"Q4511319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433102$AFA3EF2E-917D-4A0C-BA98-E3B70B827591","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":"Q2433102$CEA3FCF8-49D2-4307-A2D9-EF95BC164235","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":"Q2433102$20A4C1D8-5395-4AB1-BAB4-A0B408386E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ded6abc887cddb850e851fe51986de8244a57bd","datavalue":{"value":{"entity-type":"item","numeric-id":1348684,"id":"Q1348684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433102$B6798DD7-3931-42AB-BE91-199EF1E8F7D4","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":"Q2433102$AC576850-54B3-4BEC-82B3-53253836D588","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ecd72a04e9eee2ccf651f4c37c1b79beaf987c9","datavalue":{"value":"10.1007/S11225-006-8305-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433102$7EEF5F46-BFBA-4A18-9CF4-4C8A728821A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b40a2eca6ad41d23d50353bc5540f433ad9f7238","datavalue":{"value":{"entity-type":"item","numeric-id":4011710,"id":"Q4011710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7e106a1fe10a53fcfb7f65e58306b3c773d90b4","datavalue":{"value":{"amount":"+0.8876846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2433102$B2B326FA-FAEE-4254-92C2-3FB52F3B0ED3","rank":"normal"},{"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":"2fd3f33a54722d689a53b2d3a0fffaac97845bd4","datavalue":{"value":{"amount":"+0.8848521","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2433102$C342A353-66E0-468D-8EDD-CCEA4E56D087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97bc117e48b450296cd5fc53a169ca3af18a6d3","datavalue":{"value":{"entity-type":"item","numeric-id":2370373,"id":"Q2370373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c66b063df0ef4344fec333db8e7f74efbb3a599e","datavalue":{"value":{"amount":"+0.8841062","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2433102$357A25F4-408B-4FBE-A3D7-76CBB52F6777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a21222c20327fbb0efd11927d10fed7d73956be7","datavalue":{"value":{"entity-type":"item","numeric-id":3416119,"id":"Q3416119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"448ca485201acfc7169463bf2472055a42e51552","datavalue":{"value":{"amount":"+0.8819041","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2433102$8E6A0BDF-0089-4ADD-908F-2652DA03CF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b46418a1d6f9eb14a82a7323aab223943ffa1574","datavalue":{"value":{"entity-type":"item","numeric-id":3474636,"id":"Q3474636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a652c0b05062bca5f24179b03078a0cd7caa7b1","datavalue":{"value":{"amount":"+0.8817924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2433102$3A537EA8-362E-4387-997D-1E3E2BF8E521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8f6f27d40ca545d527bebbd5a920baf93d67e60","datavalue":{"value":{"entity-type":"item","numeric-id":4704742,"id":"Q4704742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e99fca841e1c2ed10674d090c796b1ce19b75195","datavalue":{"value":{"amount":"+0.8787186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2433102$B5E1B733-9B4F-471C-B565-8F63D790C2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4534f7db60fffde8d688ab452b32f9543984788","datavalue":{"value":{"entity-type":"item","numeric-id":2425350,"id":"Q2425350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"414fbdfa3b1f617dae7294bc2e44c7d670fc2656","datavalue":{"value":{"amount":"+0.87726957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2433102$94C6F0A9-2AA7-4398-B914-4C77E271EB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17969058e4e1979bbf4cdfbb6d911669131201f1","datavalue":{"value":{"entity-type":"item","numeric-id":1918964,"id":"Q1918964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce2b5805f3c7689561bb8aab6abfce87177e0b83","datavalue":{"value":{"amount":"+0.87073994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2433102$ED43F00A-828B-4264-A197-FF00FFBB8C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fe52a8fff88e3d9a3e985efe82fddfd5b7e6b35","datavalue":{"value":{"entity-type":"item","numeric-id":2995003,"id":"Q2995003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3da6cc2463e73aa137fbf0c4e858f50aa6fbfbe9","datavalue":{"value":{"amount":"+0.870662","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2433102$9AD8CBA2-FFA4-4156-9364-6A1D5719A308","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraization,_parametrized_local_deduction_theorem_and_interpolation_for_substructural_logics_over_FL"}}}}}