{"entities":{"Q873743":{"pageid":875591,"ns":120,"title":"Item:Q873743","lastrevid":64999179,"modified":"2026-04-11T23:38:24Z","type":"item","id":"Q873743","labels":{"en":{"language":"en","value":"Amalgamation, interpolation and epimorphisms in algebraic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5139582"}},"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":"Q873743$199895BB-3939-4F24-AF93-58AF91978E21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24f622cafcf2d06bb6e214603286d1f0dcbdeb85","datavalue":{"value":{"text":"Amalgamation, interpolation and epimorphisms in algebraic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q873743$0C0C44D9-2C84-4BED-BA2E-E656CD33FF39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c3ceced06a7f46a745eb2d19ed776e64b95422f","datavalue":{"value":"1122.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873743$A2DB9285-B0B5-45C7-BEF1-6292B441C443","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6651d4e4947d930a461f076a4ae17f7da77e1b31","datavalue":{"value":{"entity-type":"item","numeric-id":227768,"id":"Q227768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873743$B8065FA9-5AC9-46C9-835B-956738007211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e050e82d7b75f5a470560eb320af72b5ea38cf9f","datavalue":{"value":{"entity-type":"item","numeric-id":382999,"id":"Q382999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873743$A77D0BB0-6290-465E-BE30-94DB419E3512","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":"Q873743$E85DAD0A-4D66-468F-A082-3AE0B0E5A3B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76a53f1eb14babcafe8609d74553b403b724b70f","datavalue":{"value":{"time":"+2007-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q873743$E523171F-68C8-491B-8FD5-4E3DC0065496","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8e9d2a6f1d006404580a6bfabc019599c2a7a0b8","datavalue":{"value":"This useful, interesting, and well-written survey paper is based on [\\textit{D.\\ Pigozzi}, Algebra Univers. 1, 269--349 (1972; Zbl 0236.02047)]. Pigozzi's two large tables of results concerning amalgamation, congruence-extension, embedding, and interpolation properties of cylindric algebras left many open questions, all of which have been subsequently solved by the authors and others. This paper presents a survey of the answers plus many closely related results and open problems, along with descriptions and comparisons of proofs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q873743$09FEB683-846A-41B5-84D5-B5D0F9AB7AC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873743$745E0061-2BA1-4C69-8102-D15EDAD82EE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b270ccdb7b0c170c309a91ec63264d1a6c29aab8","datavalue":{"value":"5139582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873743$941A584A-29DA-487E-B740-5133454B4B8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"888dc88b9cfe659a584f5f98d91d3f140e2bff77","datavalue":{"value":"amalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q873743$7288F5C6-1B76-4A27-917F-02DBE8CD0B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q873743$D4013134-E2E2-4563-987A-936885F1F3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2b6c8188de2edf4670b2250ba1015e8a7fb991","datavalue":{"value":"congruence extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q873743$A5B0E7DC-6260-4128-B76C-BB7D1DC53C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2623482d506ba9b0910ea240cae9555481970203","datavalue":{"value":"epimorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q873743$6BC463D6-753A-4C82-B520-D81741B34D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e522e3d53ad5525dc0151bfa5b83dc55a0e70d90","datavalue":{"value":"cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q873743$B7A0B132-5F2B-41B8-B9A0-75D768A7F2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q873743$F3351751-F3C1-4B50-B694-26C2BD3D5425","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"042c8aa768666ba25bf6e8d6cb402290a13f8333","datavalue":{"value":{"entity-type":"item","numeric-id":406454,"id":"Q406454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873743$DEE303B2-F286-4519-BE4A-9FC3182DCA45","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":"Q873743$E6995D42-6118-426D-9431-D903F1AFBC39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a162d7111efbede5c914c1bf652abdedaa0cff3e","datavalue":{"value":"https://doi.org/10.1007/s00012-007-1987-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q873743$34D3A0D7-8C9D-4B72-90D4-9DD2FC81A37D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"50ac2bc250dd6786a857bc072df12a9222ce147b","datavalue":{"value":"W4248037667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873743$12509602-8D2B-4B83-8FA9-BE676E0237A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2948cba2f790b34efbbd4ce4e9a4c3fd42af3aa2","datavalue":{"value":"10.1007/S00012-007-1987-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873743$369C25D2-032E-4FEB-B28D-7647A96E9A99","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4b2aa51eef51b79b7656947ac2f3552223c6b67","datavalue":{"value":{"entity-type":"item","numeric-id":2853710,"id":"Q2853710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd9c0f40a7a210c032ca5904b5ac1739af7b4180","datavalue":{"value":{"amount":"+0.8458976745605469","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":"Q873743$9AB1FC99-B6CD-4F85-B299-C6F27D5E89F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dc91e4cb139683a7b33f7b887c6942526ab36c2","datavalue":{"value":{"entity-type":"item","numeric-id":3433108,"id":"Q3433108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8da2c247d6c24eade8d63d8bd715245f05af9499","datavalue":{"value":{"amount":"+0.8440283536911011","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":"Q873743$C8CC89D8-88B9-4255-804B-0F1407B69B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a234fee0278bef15ecf5fe5baf7b912a05042401","datavalue":{"value":{"entity-type":"item","numeric-id":3653148,"id":"Q3653148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3894eba49e240a6b56dc2b95bdd164d4c68dc68d","datavalue":{"value":{"amount":"+0.8302756547927856","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":"Q873743$9DE137D1-40A1-4BD1-A05C-0E7F910E76C0","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":"2344468541fdc4aa8d6b433f26f92e289a81efa1","datavalue":{"value":{"amount":"+0.823439359664917","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":"Q873743$63B96DE6-3B75-4CF1-8EBB-E96C0C862762","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":"e7d0906ae594aca59430a53987f86f01e8013d0f","datavalue":{"value":{"amount":"+0.8036626577377319","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":"Q873743$D901C3BB-DA07-4EC4-8C67-9DDD7D525581","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Amalgamation, interpolation and epimorphisms in algebraic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Amalgamation,_interpolation_and_epimorphisms_in_algebraic_logic"}}}}}