{"entities":{"Q2583600":{"pageid":2594343,"ns":120,"title":"Item:Q2583600","lastrevid":44403003,"modified":"2025-11-22T17:08:46Z","type":"item","id":"Q2583600","labels":{"en":{"language":"en","value":"On amalgamation of reducts of polyadic algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2248074"}},"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":"Q2583600$D5901E4B-AF82-4B63-82C1-CCD1D0CF141F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08792d799bc1747a98a8659089d9e6d8eb286dd4","datavalue":{"value":{"text":"On amalgamation of reducts of polyadic algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2583600$FDFFF995-4220-4006-93F6-83197A183080","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bde91d57eb6530645f21a468bbad84c2da5b735c","datavalue":{"value":"1126.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583600$19CE3212-0C7C-4943-852C-6D73001AB6CD","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":"Q2583600$04134BFF-D398-404D-B530-7C1B589CF08B","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":"Q2583600$50773087-F5A3-4F9F-91EC-CB892B7B683C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4df1b8b5707fc4a42b8f50fc6476f3b8f097b1e","datavalue":{"value":{"time":"+2006-01-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":"Q2583600$DE1ADEE8-018F-4A3E-86B0-957B9DF80556","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"df7db9d4761c7521ddaaab8c670128d30f70667e","datavalue":{"value":"For each \\(G \\subseteq \\omega ^\\omega\\), polyadic \\(G\\)-algebras are obtained by restricting the (similarity type and) axiomatization of \\(\\omega\\)-dimensional polyadic algebras to finite quantifiers and substitutions in \\(G\\). The main result of the paper states that for certain \\(G\\)s (in particular, countable and rich, satisfying an extra ``finitary'' condition) the class of \\(G\\)-algebras has the strong amalgamation property.   As a consequence of this result the author obtains that the logical system \\(\\text{KL}_G\\), corresponding to this class of \\(G\\)-algebras, has Craig's interpolation property, Beth's definability theorem, and Robinson's joint consistency property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2583600$8466DFBB-4183-4FE5-A838-BF32F0BA56C0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"92c4f981aadc914f96d132d85a17d7a2385b5878","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583600$A9344081-2FEC-4BD5-83C7-95B5DEAB93A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583600$54D46D79-F969-4726-8ED2-608B2254022D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583600$E299CECF-DD05-4FC3-8F4D-D4BB9AB37683","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e67736833296482076e67a878ad14a306db67ad0","datavalue":{"value":"2248074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583600$217B05DD-5A7A-41EE-94BA-21B86483E4E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c121d0b4540e7ec170cfab417fe7f119976eb282","datavalue":{"value":"algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2583600$DB316018-F28A-4CE9-9E61-122A596C6E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17fb308078ee73f2c22e3ee49b062e69efd4ae5d","datavalue":{"value":"polyadic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2583600$F86E3B70-CBDF-4764-9EE4-AD1E73D2C378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6d8f19f6211ca14ed17621bceb119f7b41d21a7","datavalue":{"value":"rich semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2583600$4025B104-DD1F-4695-97B4-6ACA5925A22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f4c98a315c6e5e5d1f89075b61b78c958935222","datavalue":{"value":"neat reducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2583600$5B4698DB-C5F5-4F22-8F52-69D865011254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"888dc88b9cfe659a584f5f98d91d3f140e2bff77","datavalue":{"value":"amalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2583600$62249EFA-27BB-47BA-9798-D30142D63939","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":"Q2583600$D517C17C-303C-464E-981C-383317738354","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79897b1a2e2765007516523aa4f4c79ad280a2d7","datavalue":{"value":"https://doi.org/10.1007/s00012-004-1807-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2583600$BC378E1B-A912-446D-9FB7-DCDAA92BD41C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88a6846c75b649066624b888cb4ef949fcc5bdc4","datavalue":{"value":"W2074105006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583600$1D4E6A35-3E3F-4CB1-968C-533EF90A2BFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51295d7e61f36a5c91326ade58f9b58887b55f31","datavalue":{"value":"10.1007/S00012-004-1807-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583600$B6F79A55-E536-4863-801A-5ADCBE1CA817","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1e909e8991194b758edaf08881bb458d7bab6d2","datavalue":{"value":{"entity-type":"item","numeric-id":5411423,"id":"Q5411423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d34c243e958d1fb6544825d0a9a7c1079d6d719d","datavalue":{"value":{"amount":"+0.9332539","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2583600$41D14AAE-F801-420D-A279-93F22D444870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"511f31ebfeadd935aa8bb5ed7012e1c21437a3f3","datavalue":{"value":{"entity-type":"item","numeric-id":5192262,"id":"Q5192262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d02d81b4c893bfdff3b61a251eccdc1e299d695f","datavalue":{"value":{"amount":"+0.92382085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2583600$078E6D02-9826-46B9-BB0D-FAB9CC2A42C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b978c9f9e438c9831570820888b3ce1f2ddcc73b","datavalue":{"value":{"entity-type":"item","numeric-id":3618754,"id":"Q3618754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26f22b8ccc4270e149cbbd81650137364d62c9c3","datavalue":{"value":{"amount":"+0.91732347","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2583600$DADE9CC2-24DE-41C9-BF17-18559440C039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0edcf062d1d49379f707d6bead8998488ab6bfc5","datavalue":{"value":{"entity-type":"item","numeric-id":1005935,"id":"Q1005935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7d39bc1ee262c741a56b85e77245138cffa1a72","datavalue":{"value":{"amount":"+0.91145265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2583600$E54F358C-C4F0-45C4-988A-62BAA2AC60C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1450af70deaca6edde3401fc65838cd3336039d","datavalue":{"value":{"entity-type":"item","numeric-id":1810817,"id":"Q1810817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c68a3e8f8d939ae284c59e53f4dccf6847a8d0b0","datavalue":{"value":{"amount":"+0.8957694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2583600$3377C259-25E4-4AFF-A56E-18B5566B7B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0d1cfd9aaa74f33391da2779d5573a2ef6e0be1","datavalue":{"value":{"entity-type":"item","numeric-id":5389361,"id":"Q5389361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"194ddcc910ee62b2debcc166676898b74fc9795e","datavalue":{"value":{"amount":"+0.8938515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2583600$692E82AF-0955-4D88-B50D-86A9A0824645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46af6005d9aa68acfdc8ee5533f6a6d90ea6124f","datavalue":{"value":{"entity-type":"item","numeric-id":1866797,"id":"Q1866797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"692dfba2e83108443e671ecfacfa6ab77fd2f752","datavalue":{"value":{"amount":"+0.8935877","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2583600$36690EC7-01B6-4A07-A93C-29F6D2AE1A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8622498f086b53f6758a4c94e2f7f2dd0695aa72","datavalue":{"value":{"entity-type":"item","numeric-id":1342127,"id":"Q1342127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00a3ceeb78bc078f92164b276cadd6010126c448","datavalue":{"value":{"amount":"+0.88771296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2583600$2AF1F73C-83E0-4E5E-B3C2-727A2D443C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8e17b1b29ca82f730a6f313dd72bdd6e565e5c4","datavalue":{"value":{"entity-type":"item","numeric-id":5536239,"id":"Q5536239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f71506dddeed0105d3fa3529e7c09766bcef2af","datavalue":{"value":{"amount":"+0.8848527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2583600$33CAABAF-6AB5-4977-BDAC-6DE8556F9BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07377dea1463dd2f51b8b70027104815c28af2e6","datavalue":{"value":{"entity-type":"item","numeric-id":2806095,"id":"Q2806095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d13e26490098b85cc2b3b0db853a887860693089","datavalue":{"value":{"amount":"+0.8825734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2583600$AD797632-7A7D-4494-9AF9-12B3E6C756DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2583600","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2583600"}}}}}