{"entities":{"Q1074573":{"pageid":1085325,"ns":120,"title":"Item:Q1074573","lastrevid":69812685,"modified":"2026-04-13T09:33:30Z","type":"item","id":"Q1074573","labels":{"en":{"language":"en","value":"Interpolation and the Robinson property for logics not closed under the Boolean operations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3948235"}},"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":"Q1074573$E461717C-5450-4B52-ACC8-39E3F4CF1C57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a2752d65fcf009ef2f5592fe92cc68f119390e9","datavalue":{"value":{"text":"Interpolation and the Robinson property for logics not closed under the Boolean operations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1074573$108E8CB6-ECDF-42D6-81B2-594C5913B495","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f176c681cf4aba82ac163c5bedc9f099bc0da89","datavalue":{"value":"0591.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074573$3AE64BD2-64FB-4DFC-BB15-6FAF4D500BBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa74f16fe1283489148026c00be9d17397684179","datavalue":{"value":"10.1007/BF01237716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074573$761F84DF-0231-40BD-9243-63C5E21514C3","rank":"normal"}],"P16":[{"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":"Q1074573$E6CC4B52-F79B-4ED5-A72F-921FECAEC8F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074573$FF46AB06-51AE-47B5-B779-B48C1B938005","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1074573$4604DE5E-5D30-422C-91BA-D9442C3512AF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e8c81705e64eb56e352b5b486e88e2191edd61e0","datavalue":{"value":"A variant of the Robinson property \\((ROB^*)\\) is introduced. The property \\(ROB^*\\) is equivalent to the usual Robinson property and hence is equivalent also to the interpolation property, in any compact logic which is closed under the Boolean operations. On the other hand, it is shown that in general, \\(ROB^*\\) is stronger than the usual interpolation property, and is weaker than its strong form, when a logic is not closed under the Boolean operations. Next, \\(ROB^*\\) and various forms of interpolation properties in equational logics are studied. Of course, equational logics are compact, but are not closed under the Boolean operations. It is shown that an equational logic has \\(ROB^*\\) if and only if it has the amalgamation property for isomorphic embeddings.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074573$4D8C5ACD-CA12-4485-9F1B-26231DA76A36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074573$27D8C706-D796-4896-845A-9AAB97D4CF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074573$C1D68F70-E4C8-41B6-9C27-DDF36DB66FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074573$7F6A78AC-4E5C-4960-A730-37C5F381AF9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b7fdf45d39da1a0bc906c0d4ca6c9e223a3951e","datavalue":{"value":"3948235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074573$B152579B-8657-4912-9E89-1ADF190A9FDE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eef45ecce33081eec2874715d3f928e2bef4358c","datavalue":{"value":"model-theoretic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074573$C6743BDC-0F0B-48B2-BF91-764697ECF043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63d9d2e5da2113d8dea0da55a27eec1de0d8b4bf","datavalue":{"value":"compact logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074573$EB22DA60-17E1-40A6-A61A-87357AEB7D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1488f9a366e224f4e9f874b07c7a8b57cf50236b","datavalue":{"value":"interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074573$27C94722-447D-440A-9A89-81BFDC8BB9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51e613da7871ec189bf745a786fda2aca9d60247","datavalue":{"value":"equational logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074573$45FAAC07-D2BF-48E0-B5B9-C0CEB0BE3614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87ab00d8c6d004f508ae7223b0711ed16c3c98cb","datavalue":{"value":"amalgamation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074573$F4FC9B0A-F08B-4CC5-BAD2-7B3CBF3E9C24","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":"Q1074573$01A2E879-84EF-44C1-94F1-D8F363817012","rank":"normal"}],"P223":[{"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":"Q1074573$C521755C-2B7E-4BBF-B0C9-8C8396E4059C","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":"Q1074573$B59EAAF2-1650-4488-9005-00A1CE0AD9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb019838f7e83d63569fdc9c7d517b95c9c37f34","datavalue":{"value":{"entity-type":"item","numeric-id":3714043,"id":"Q3714043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074573$DD57451A-7CF2-4B9B-996D-1553F4C2E9DA","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":"Q1074573$B1024D5A-3C16-4C33-A387-8D1442B54EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff6b235d7cd022fdca839be70d852df12c4c7aae","datavalue":{"value":{"entity-type":"item","numeric-id":1076010,"id":"Q1076010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074573$67D622B9-6DD1-4FF1-84F3-CACE53BB01C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fe333a25dd49cf0ce35c8fde9b5b3b9da044cac","datavalue":{"value":{"entity-type":"item","numeric-id":4354884,"id":"Q4354884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c63795c5f18e001d576381e7fe9dd93ef1116a4d","datavalue":{"value":{"amount":"+0.7777761816978455","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":"Q1074573$2322E56B-647F-4A00-8B50-AECDDA4ED353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48b41cb569500e4fe327eeb903003990245a0181","datavalue":{"value":{"entity-type":"item","numeric-id":393904,"id":"Q393904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c63795c5f18e001d576381e7fe9dd93ef1116a4d","datavalue":{"value":{"amount":"+0.7777761816978455","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":"Q1074573$21F4253F-2CD6-4A2F-88A7-B35A63E4773B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a324843149713fa13b2c7edd2429fc59a0b240a","datavalue":{"value":{"entity-type":"item","numeric-id":1913298,"id":"Q1913298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd72365812af3dbc3ea8020c33fb9a84a8cd75ee","datavalue":{"value":{"amount":"+0.7755504846572876","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":"Q1074573$B60AE8AF-716F-4395-8FDC-5E7C70A4C494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0edce4ed7e90500306ae38efe5549e19b8a77ff","datavalue":{"value":{"entity-type":"item","numeric-id":2498905,"id":"Q2498905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd72365812af3dbc3ea8020c33fb9a84a8cd75ee","datavalue":{"value":{"amount":"+0.7755504846572876","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":"Q1074573$5E0D577F-D40D-41CC-8C53-509492736835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92895791c0fce285495bb8107cfe586d60a155fe","datavalue":{"value":{"entity-type":"item","numeric-id":4249028,"id":"Q4249028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"382c4e597fd1b2d17cbbfdcb94919fdb3cdb628c","datavalue":{"value":{"amount":"+0.763569712638855","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":"Q1074573$84CDED35-A4B9-40ED-93DF-CF3E53021738","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpolation and the Robinson property for logics not closed under the Boolean operations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interpolation_and_the_Robinson_property_for_logics_not_closed_under_the_Boolean_operations"}}}}}