{"entities":{"Q800348":{"pageid":802196,"ns":120,"title":"Item:Q800348","lastrevid":64552269,"modified":"2026-04-11T20:39:43Z","type":"item","id":"Q800348","labels":{"en":{"language":"en","value":"Logical matrices and the amalgamation property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3875234"}},"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":"Q800348$E41EC2C1-F45D-41F2-BA74-E44BC1A512FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30dbd3d6986c59b1f9f088d129e144a1557baaaa","datavalue":{"value":{"text":"Logical matrices and the amalgamation property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800348$F12D5FCD-0834-44D2-A60F-B92EDB3E78F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f001aaf3fa00bf717de8dc105fcd23e52a54bffc","datavalue":{"value":"0549.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800348$27D97886-D949-47F2-A8E9-A53F9AA14486","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4dac40396e61597ad1b8f32c277ccfea98a251f4","datavalue":{"value":"10.1007/BF00403332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800348$170CCE0A-91F4-452E-9BFA-6C48A4ED8B19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfccb93685854dae8ab7b7e24e0ca004a6182d99","datavalue":{"value":{"entity-type":"item","numeric-id":178963,"id":"Q178963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800348$8F670088-2B4D-424B-924D-646017AF3FF8","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":"Q800348$C076F3FF-0A11-44AC-89A9-1C686BA7323D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q800348$80510B64-DDB7-4520-BB53-FC62B67FD733","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"76139bf147749328bd63b020a85f7fc05baf0d1c","datavalue":{"value":"The paper generalizes the results of \\textit{L. L. Maksimova} [Algebra Logika 16, 643-681 (1977; Zbl 0403.03047) and ibid. 18, 556-586 (1979; Zbl 0436.03011)] and \\textit{D. Pigozzi} [Algebra Univers. 1, 269-349 (1972; Zbl 0236.02047)]. Namely, equivalence is established of the interpolation and amalgamation properties for a wide class of sentential logics, including e.g. intermediate logics, certain modal logics etc.","type":"string"},"datatype":"string"},"type":"statement","id":"Q800348$FF18616C-55A0-4231-B8BD-FDE770879F37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800348$171EC8A0-C4A3-4428-95E0-4F8A5E32986F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800348$4292B0A4-3B2B-4181-B340-319D61F9A553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800348$39C7251F-44D6-4554-8804-8545124E144E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800348$E4105AD1-DF45-4D46-B4B2-37C4DD45CEEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52e13a930290deb0a0d899b027892fddb727d9d8","datavalue":{"value":"3875234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800348$AF95571B-7922-47B3-B9E7-3C42054CF884","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q800348$F23A0370-74C5-4FD3-8777-0C3282444353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"888dc88b9cfe659a584f5f98d91d3f140e2bff77","datavalue":{"value":"amalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q800348$2D0F5D89-76C3-442E-BEB8-FB7EA738383E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ead7e16d5225b4cd98d2bcabc7c6c792994466","datavalue":{"value":"sentential logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q800348$18C5CF34-FA55-4AAB-ADEF-A1434F082C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ccc36dd4b829a804cb35634e3fec1befde97fe","datavalue":{"value":"intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q800348$50BE1C45-69D8-4935-B258-7A335A831FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q800348$60F726B9-3AF1-4E92-BDCF-9EF2AC70E015","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e08eb8f357cf37bb9650e048ba3d31ac3a05cf8e","datavalue":{"value":{"entity-type":"item","numeric-id":1226868,"id":"Q1226868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800348$EE611B91-CAE4-472D-B96B-8214A4C269F1","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":"Q800348$BC128DA6-0CBC-4226-84C1-9DAC5CDD7245","rank":"normal"}],"P223":[{"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":"Q800348$A20C7839-AA54-4D37-81EA-41A528B5EEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85e76dbdde1f6c0140c066a99f1add9b458d496b","datavalue":{"value":{"entity-type":"item","numeric-id":1159628,"id":"Q1159628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800348$5ED13C3E-6F7D-40D3-91A6-F4D416ABA100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd0181f78190ee2807c47c7405e3c26abb7e3a79","datavalue":{"value":{"entity-type":"item","numeric-id":2531616,"id":"Q2531616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800348$938DFD79-AFD4-4C10-8A73-3F3D782DEAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae58cabc6210877500b69d67f8a52d2647519a6","datavalue":{"value":{"entity-type":"item","numeric-id":3268305,"id":"Q3268305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800348$E26481AD-60E6-4BCC-9124-ECC360CEB780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa98592016b26fa67b4b929ee89a172a4ba385cb","datavalue":{"value":{"entity-type":"item","numeric-id":4187817,"id":"Q4187817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800348$D53C0D46-C34A-4983-BDA1-09BFF8770000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131bf4f50d9e047552a1b8d23a5314c1af075964","datavalue":{"value":{"entity-type":"item","numeric-id":3875897,"id":"Q3875897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800348$DA6F4D95-25BA-4B0F-AE96-4B2DDCEE1977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d79d2d75e0cc9489e964970d4a5af8636670f27","datavalue":{"value":{"entity-type":"item","numeric-id":3905255,"id":"Q3905255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800348$8B5EC9B8-CF89-4785-8E12-25D80D2669F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d7cac17058daac592139b02ba663fc59735fffc","datavalue":{"value":{"entity-type":"item","numeric-id":4405136,"id":"Q4405136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800348$0D3CE19D-FF17-44E0-A5B0-90506D39E01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2351a3fb3d2327ece7cc2eab0e4dfd38b55e7a29","datavalue":{"value":{"entity-type":"item","numeric-id":2552131,"id":"Q2552131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800348$2786C815-3665-4403-868B-1209F11B1E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800348$C4941EB3-1BBB-46C1-9245-9A77CD25EC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4bc69193a585ef90971b9d33f819f68144501c1","datavalue":{"value":{"entity-type":"item","numeric-id":5666518,"id":"Q5666518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800348$6AE3E3CC-7646-43DC-A360-F880E455B2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308073133a440bc56451dfd8bd89c90c2af65f65","datavalue":{"value":{"entity-type":"item","numeric-id":1229698,"id":"Q1229698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800348$F61225B8-EE59-4CA0-8BF3-4CECF958DA4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a20730ee3acb751f30542956c0c998c919c181a","datavalue":{"value":{"entity-type":"item","numeric-id":1580645,"id":"Q1580645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ba2ca15a256906cc191d073cb8da63546738e06","datavalue":{"value":{"amount":"+0.7939899563789368","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":"Q800348$681D5397-D350-40D6-A1CA-41631711DF89","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":"8ba2ca15a256906cc191d073cb8da63546738e06","datavalue":{"value":{"amount":"+0.7939899563789368","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":"Q800348$0FCD09B7-FAEE-4071-8EAB-7D442D037EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f36b75ff87065fe4df0f78d439e1c371eb354103","datavalue":{"value":{"entity-type":"item","numeric-id":3629041,"id":"Q3629041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f134ab2dc69d4a3f7a447b7705de659136f4942e","datavalue":{"value":{"amount":"+0.793043315410614","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":"Q800348$B1B28A40-69FC-46E3-8F1D-C0DAD4B07BB3","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":"2cd27053eafcd26323b5ac6f65bcd4b14ed04ccc","datavalue":{"value":{"amount":"+0.7924548387527466","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":"Q800348$8D50DED8-C5DA-47D6-BFC9-263B390A0F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b762bb767e27731427220832d93c758710f8371d","datavalue":{"value":{"entity-type":"item","numeric-id":3481681,"id":"Q3481681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cd27053eafcd26323b5ac6f65bcd4b14ed04ccc","datavalue":{"value":{"amount":"+0.7924548387527466","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":"Q800348$5C3B25CD-3C95-43F1-89A6-68C1FEBD64E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logical matrices and the amalgamation property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logical_matrices_and_the_amalgamation_property"}}}}}