{"entities":{"Q817679":{"pageid":819527,"ns":120,"title":"Item:Q817679","lastrevid":64565226,"modified":"2026-04-11T20:44:45Z","type":"item","id":"Q817679","labels":{"en":{"language":"en","value":"On amalgamation in algebras of logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013019"}},"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":"Q817679$17345500-84DF-4D24-869D-52F355DD6F53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32e906cedb1282180dfd75b2d7cdbc77c74fa64e","datavalue":{"value":{"text":"On amalgamation in algebras of logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q817679$EB867DF9-0A42-4776-90AB-B2B4F2F05206","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d725aa62c80bf6aaeff44e7dfd182e9f2921352e","datavalue":{"value":"1102.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817679$4E5A5428-951B-4432-9D3A-6AA8353B2270","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":"Q817679$F49F69F6-683F-4BB6-BB08-299AA2C6B0A2","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":"Q817679$3C8699EB-B86C-4D18-81E8-14FB7062FAB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46a32b96026a1aa43ce9bf7d3e87290deb94d5e1","datavalue":{"value":{"time":"+2006-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q817679$C6F2D02E-7397-429C-A181-9661374983D9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"de509db97df79120bc38b1ab25b31208b8ed3212","datavalue":{"value":"The main theorem is that not all epimorphisms are surjective in \\(K\\) and \\(K\\) fails to have the strong amalgamation property if \\(K\\) is one of these classes of algebras: \\(\\omega\\)-dimensional cylindric algebras, \\(\\omega\\)-dimensional substitution algebras, \\(\\omega\\)-dimensional quasipolyadic algebras, and \\(\\omega\\)-dimensional quasipolyadic algebras with equality.","type":"string"},"datatype":"string"},"type":"statement","id":"Q817679$2345FB21-67D7-4A0E-AFBB-C32A74DD5255","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817679$DDD18567-6EAA-406E-BD17-7E0D2FF4CAE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d723eda3e0dcda4806d5edcd4bc43186c701367","datavalue":{"value":"5013019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817679$83E2A907-8B7A-4468-91D8-10BC18A4BA1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c121d0b4540e7ec170cfab417fe7f119976eb282","datavalue":{"value":"algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q817679$19A244A0-0C1A-433B-80C7-CB70356A8ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e522e3d53ad5525dc0151bfa5b83dc55a0e70d90","datavalue":{"value":"cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q817679$00360DCB-471A-40C1-8560-51BC88F29AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd50392b8692eb8d1fe167ff34a4b61502f0b379","datavalue":{"value":"substitution algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q817679$5807AD40-0B1F-438E-A388-140DE46DB07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c22be129b0d1ce1f532c97cd67fe030434a65cd1","datavalue":{"value":"quasipolyadic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q817679$E70D35EF-D817-4959-8800-D14B418AE875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"888dc88b9cfe659a584f5f98d91d3f140e2bff77","datavalue":{"value":"amalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q817679$6C9B34F3-2868-468E-985C-4C3A56E26408","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":"Q817679$0BB01E78-5486-483B-993B-2539390F9DEF","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":"Q817679$141D962A-066E-43C5-AA39-4F8AC4F917AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"903c2f7994efd63f0712d67fac4b26ec0acbf78a","datavalue":{"value":"https://doi.org/10.1007/s11225-005-2802-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q817679$3285CD0B-61B0-4109-9656-8B1053DFFE07","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8472906ee1be03eba20f55f84fe0513cc82b4c73","datavalue":{"value":"W1967137295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817679$907E7D67-758D-4A18-8064-52C86CEFC89C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"06793f8be208802b4fd8a1db2fe40ab89337a9f6","datavalue":{"value":{"entity-type":"item","numeric-id":2583600,"id":"Q2583600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817679$DBC7052C-00BB-4723-8092-7900AFEE4D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b40f9c9601fd5885efb556e2dd6a8ec97375767","datavalue":{"value":{"entity-type":"item","numeric-id":5954709,"id":"Q5954709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817679$59D3A64F-FEF8-43FC-93AE-B1A131680442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b47545d737298ec8ec51129f8941307ae65dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5616133,"id":"Q5616133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817679$BE51D2D4-B89F-45FA-BBB3-CC5BD4F932FE","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":"Q817679$8231967A-5774-439C-9E5B-38EBAD633E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0fe4f2ec891ea5354922117aec22dd0ca0f5ffd","datavalue":{"value":{"entity-type":"item","numeric-id":4011731,"id":"Q4011731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817679$BC6562D1-0C49-4DAF-BC8F-79C13FA08D98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a5a3bc576c4d6d26c864ccc60219b18e70ad2d8","datavalue":{"value":"10.1007/S11225-005-2802-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817679$6B0112B8-B7D7-4E19-AC00-9731F720F5DF","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":"5eafd4a036191d54c573e57b8f41d5a71ae7de3c","datavalue":{"value":{"amount":"+0.8370587229728699","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":"Q817679$0A2DB760-2745-48FC-9335-DD58C5CEF400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d6e8ecc93fb7fa96dee757ec2c1926403d3f23","datavalue":{"value":{"entity-type":"item","numeric-id":2903748,"id":"Q2903748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72c7cb7abb31a110bf0e5365949d8b8b0482ee9f","datavalue":{"value":{"amount":"+0.823993444442749","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":"Q817679$934EFC04-C18C-49A4-A005-0EA87687FD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6439a3339666dc36b1e1e48ab3c947941615ab71","datavalue":{"value":{"entity-type":"item","numeric-id":1047108,"id":"Q1047108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7073138a77145b2a9f07b0f780d262429cb427a9","datavalue":{"value":{"amount":"+0.823374330997467","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":"Q817679$BE2985F4-891F-4A7A-9633-4095AFFD75D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab6a8e77e038c59db4a721b90b4139c4715dbe6","datavalue":{"value":{"entity-type":"item","numeric-id":873743,"id":"Q873743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"860842ff4b8a3f2c68c9b68bc7741314b2e64982","datavalue":{"value":{"amount":"+0.8033109307289124","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":"Q817679$4C88A71D-CACC-4749-8F4F-4EB9B7781BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0b030550610ac337608c0e5b70fe9a4ae12a4f5","datavalue":{"value":{"entity-type":"item","numeric-id":3650859,"id":"Q3650859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f256237a00c568e3d75bd880206f5e54710e3d98","datavalue":{"value":{"amount":"+0.8026434779167175","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":"Q817679$E8E22ECA-22C8-4C50-A2BD-2F59EA9F92C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On amalgamation in algebras of logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_amalgamation_in_algebras_of_logic"}}}}}