{"entities":{"Q2885171":{"pageid":2895896,"ns":120,"title":"Item:Q2885171","lastrevid":51472436,"modified":"2026-01-18T10:11:07Z","type":"item","id":"Q2885171","labels":{"en":{"language":"en","value":"Interpolation and FEP for logics of residuated algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6037242"}},"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":"Q2885171$AA3679F6-1D75-49F9-AA3D-E6683DF04830","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4abdda577ce06a4553acaaccb9641a704feb1b3a","datavalue":{"value":{"text":"Interpolation and FEP for logics of residuated algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2885171$9CE4562C-E9D8-4B4C-B42C-16C923A1F426","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3a35d513cb5c6e555944dc7ff48e20fe0e25e98","datavalue":{"value":"1259.03085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2885171$04041ABE-1C1E-4D88-831F-B865F30D606B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51fb4f23bdc175743a0a666e747264424e0a3577","datavalue":{"value":{"entity-type":"item","numeric-id":935017,"id":"Q935017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2885171$F6A82ABF-BC58-48D7-A82A-461EE8F72342","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59c77f9a8b23c994c57efbed811891089ca76628","datavalue":{"value":{"time":"+2012-05-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2885171$49333999-6FA3-4707-957B-FE8B747DB7DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"557130764ef32bd084f5d37995484cd10b1ea80b","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.718.5944","type":"string"},"datatype":"url"},"type":"statement","id":"Q2885171$44AECD96-B811-43B1-BEC9-6908B1B5A231","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2885171$26481057-9008-42C8-97AE-7324E4AFF155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2885171$6B229087-E453-4DE2-8083-9115C6FA792F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68d31f04f71c8551441b06f3d2aee5919c9468ef","datavalue":{"value":"6037242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2885171$E9E8ED61-159B-44B6-AF89-81D4C63ECCE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17fe6f8c33bd0c983a18b7441826e53c916fbfce","datavalue":{"value":"residuated algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2885171$C3A5EA05-76C1-4251-820A-89EA116A6CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2885171$30C14EFF-68A5-4F99-ACD6-26B381D34033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a7c0e0d58a6bfb60b6437fdebe5cdff3fbbaa5c","datavalue":{"value":"generalized Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2885171$3E51305A-0F1A-48B3-84BA-57232133F7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c323fc98d37610defec708b5b5efc701bf2bc863","datavalue":{"value":"finite embeddability property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2885171$EF77712A-5227-4868-8077-C8C1F5C3067B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2885171$A7D02020-E720-4A66-B50B-15B8978F8243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5811ee01be7b6090e46931f12c7b72244d4806da","datavalue":{"value":"sequent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2885171$634F2CFC-5A24-4AA6-9515-57E15B420E4C","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":"Q2885171$2210F643-A72C-488B-A720-CF8F65EADA26","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c946b7a5aeba9eb5c66e20996a41d1d83172a997","datavalue":{"value":"W1996712532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2885171$E1C0B0B0-A808-4956-AC0A-8A424C89EB42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70762c7ff107976e25e316171ff01bfd9c35d0f6","datavalue":{"value":"10.1093/JIGPAL/JZP094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2885171$0F286BF3-45AC-45D6-9796-AD7A890B71A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2885171$E13F2DB0-5033-4545-A41C-3AC81CBC3897","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11c44498a5b46914ddaf12a95212465fa818f95e","datavalue":{"value":{"entity-type":"item","numeric-id":3505075,"id":"Q3505075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6546d34f51b082eff12f927475519e082d5b1989","datavalue":{"value":{"amount":"+0.7626343369483948","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":"Q2885171$66BF0EBB-CF5D-4779-A5AA-AF88D3AB85BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3eed53a5699aa5e087612bf42bac76dc8dfa06b","datavalue":{"value":{"entity-type":"item","numeric-id":993327,"id":"Q993327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b605e4709acb89e85ec1cede545ab9a31a5556a1","datavalue":{"value":{"amount":"+0.7549254894256592","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":"Q2885171$463162B4-7B3C-4378-8BF5-26625D7F3EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b31396bbcd2d7ef32d1667bdffa410fa8e9524e9","datavalue":{"value":{"entity-type":"item","numeric-id":4913809,"id":"Q4913809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3ecdd4814e9c2b3a9069a87126155927a04e745","datavalue":{"value":{"amount":"+0.754768967628479","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":"Q2885171$7FD5AAC3-14A7-4277-B5C7-FC742B5C3395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352e3d8e89fe89f54408e397d60cad9597c7b0bd","datavalue":{"value":{"entity-type":"item","numeric-id":4646922,"id":"Q4646922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c734d3a9e1f71be955ee3629bd4644c4d5b7db6","datavalue":{"value":{"amount":"+0.7544540166854858","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":"Q2885171$DDCBE700-60CA-44E2-A8AF-685B24EF3B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b31df8d4aeeffbf11d36c4116defaf3568e2cf56","datavalue":{"value":{"entity-type":"item","numeric-id":2510712,"id":"Q2510712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2e15665dee5670769c601c1dc8b48baa5b1e7d7","datavalue":{"value":{"amount":"+0.7505164742469788","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":"Q2885171$951157E4-699D-4F2C-8FF1-72A69635E5A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2885171","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2885171"}}}}}