{"entities":{"Q1380049":{"pageid":1390789,"ns":120,"title":"Item:Q1380049","lastrevid":46961643,"modified":"2025-12-25T22:50:49Z","type":"item","id":"Q1380049","labels":{"en":{"language":"en","value":"The class of embeddable semigroup amalgams is not finitely axiomatizable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1121679"}},"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":"Q1380049$7617BC49-6448-4FF1-887D-DADBCD2692E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6c12bc3f100a15c7133229e21685c9a8d31932a","datavalue":{"value":{"text":"The class of embeddable semigroup amalgams is not finitely axiomatizable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1380049$8435BA56-4E26-4F5C-AB74-83EA29A07E65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7803dfc504a9acee92b747f16f3a12a09addf2d","datavalue":{"value":"0905.20036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380049$EE55FF8C-5019-4953-936F-E52C9D1E9B4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4314d0e07ae6ebf684abc095992ed0666ba36cb4","datavalue":{"value":"10.1016/S0022-4049(96)00146-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380049$738280A1-865F-4F80-A05A-887FC901EA86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc6382fd8378ec9b145bfcbc962b850004ed2bf6","datavalue":{"value":{"entity-type":"item","numeric-id":1175719,"id":"Q1175719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380049$6248BEDD-D62F-41B4-9282-A0FA98206B5B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380049$F0B7C064-16BC-4475-8B07-8D91108EA167","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65eef03691321bd10012d5ce599a1fd5fff18a27","datavalue":{"value":{"time":"+1998-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1380049$47475840-A637-4217-8668-195FD203B02C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"79c6ec1d518a2578d2c1df8da818a5766ef1968c","datavalue":{"value":"Let \\(\\{S_i\\mid i\\in I\\}\\) be a family of semigroups, \\(U\\) a subsemigroup of \\(S_i\\) for all \\(i\\in I\\) and \\(S_i\\cap S_j=U\\) for all \\(i,j\\in I\\), \\(i\\neq j\\). The semigroup amalgam \\({\\mathcal A}=[\\{S_i\\mid i\\in I\\};U]\\) determines a partial groupoid \\({\\mathcal G}({\\mathcal A})\\) on \\({\\mathcal G}=\\bigcup\\{S_i\\mid i\\in I\\}\\) in which the product of two elements is defined if and only if they both lie in the same \\(S_i\\) and their product in \\(\\mathcal G\\) coincides with their product in \\(S_i\\). A semigroup amalgam \\(\\mathcal A\\) is called embeddable in a semigroup if the partial groupoid \\({\\mathcal G}({\\mathcal A})\\) is embeddable in a semigroup. The author proves that the class of all embeddable semigroup amalgams is not first-order finitely axiomatizable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380049$8CE7F263-6157-4C1A-8D9C-0A3A47718B4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380049$30A9E76D-DE90-4508-862C-351100649039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380049$B387C7EF-280A-407B-9B9C-8A2ECE10C108","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34c5baf63cf1d43bdd41c0b0859a462a1586f609","datavalue":{"value":"1121679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380049$E6B14864-E088-48C5-A083-CB6D96670BDE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f0c0cf14499548f74725d37fed9c2703e6d8b6a","datavalue":{"value":"embeddable semigroup amalgams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380049$49D1323B-49AB-459C-B2E1-26EE35CF222A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8cdf6dcdef34f7cdb4ea06434513dedaeac46c8","datavalue":{"value":"finitely axiomatizable classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380049$33085972-8E7D-4B85-84B2-1C1C0931991C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c86019e96b106a6c60a62e5ea16d1905afbdf129","datavalue":{"value":"partial groupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380049$B9C65738-187C-411F-B726-ACB96B6A6CA4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b14ac833afc72247aace02692250d7eb69a8515e","datavalue":{"value":{"entity-type":"item","numeric-id":312201,"id":"Q312201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380049$49B246A9-FF20-4B4F-9248-0E0892CC4C0B","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":"Q1380049$9615BB8E-19C6-4D47-8ABC-A4A435EFDFFE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c87ee90b08c596b9d85919774ea22174a8eb272","datavalue":{"value":{"entity-type":"item","numeric-id":5790921,"id":"Q5790921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380049$3514288E-BBC1-4679-976D-CB1FB444BCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed85cd03af69b0b3414e61da74ab7e3d313c1c7e","datavalue":{"value":{"entity-type":"item","numeric-id":5564342,"id":"Q5564342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380049$163F3636-B3DB-4A5E-8CA1-99FDCC291B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37fcf0ff488ca46ab68053d8fcf73ebf351561d3","datavalue":{"value":{"entity-type":"item","numeric-id":3249812,"id":"Q3249812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380049$1B1C45A1-D0D6-4761-BA05-6371024A089F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f287e4c90d37582a35047df79d880d0dce45be0d","datavalue":{"value":{"entity-type":"item","numeric-id":1175720,"id":"Q1175720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380049$877B24D5-EEA8-47E8-B8FF-0BBB0E62660C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cfe278dd178d684e314182a319d4dfa867f7d0b","datavalue":{"value":{"entity-type":"item","numeric-id":1206781,"id":"Q1206781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380049$42D7CCD5-135F-4706-81E8-0CCAC797D343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa660592743deba2c2012446e745ff40381cd7e","datavalue":{"value":{"entity-type":"item","numeric-id":1328449,"id":"Q1328449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380049$58DC544A-A8BE-4A7F-9E98-D630DDDD92BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa6b5fb40cf0576bcac4dda5508ace84e785766","datavalue":{"value":{"entity-type":"item","numeric-id":4876319,"id":"Q4876319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380049$74B548C0-2E87-433C-87EF-33988896A7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6abb2e4f94eadc3b2f403c6b0d70e5f46d563df","datavalue":{"value":{"entity-type":"item","numeric-id":1225688,"id":"Q1225688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380049$7C3E6B4D-2C65-424E-914E-C64493F01B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ecfa5475daa40acf63b6387fd013fb60e6cca68","datavalue":{"value":{"entity-type":"item","numeric-id":4186555,"id":"Q4186555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380049$AF949937-F2A8-4B5B-8CCF-0E56139F0334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a771da5a4143614d66e61e5eb1c065796a9fe46","datavalue":{"value":{"entity-type":"item","numeric-id":4126563,"id":"Q4126563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380049$28486A6A-A7C5-45C7-9A54-D6D68E719508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec31fcaf74b9d56a302745ce9dc768a850b4118","datavalue":{"value":{"entity-type":"item","numeric-id":3848245,"id":"Q3848245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380049$B4EFAAA5-83A0-480A-A10B-F18EF1BD00A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63629824212af201ff960b281ff32630ae63345e","datavalue":{"value":{"entity-type":"item","numeric-id":5720225,"id":"Q5720225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380049$E301AE88-7A31-4ABB-AFF1-D995D101AC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d092668fb4e78801593b5d689683f6eb18640d6d","datavalue":{"value":{"entity-type":"item","numeric-id":5737122,"id":"Q5737122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380049$CC26CA90-BD02-49F1-80A0-C2DABBF54B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fefd3a70df4d04111929abb4b9bee4cb36c52ea6","datavalue":{"value":{"entity-type":"item","numeric-id":5733557,"id":"Q5733557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380049$A1B733FF-2981-4B3E-8CA2-91B274E1E862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6892807ee42208d6c4968741af554c71c988b17","datavalue":{"value":{"entity-type":"item","numeric-id":5548285,"id":"Q5548285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380049$52CCB74E-F82D-426F-BAFA-D3C3C2FA0D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ea70696f7bf390ae8163d05ecdeddc1e2ab7fcd","datavalue":{"value":{"entity-type":"item","numeric-id":3242211,"id":"Q3242211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380049$200B43A6-3089-40E2-A206-89F43B33B774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b95a21c101de4e3aa30cb37a2960fbdb57f37e6","datavalue":{"value":{"entity-type":"item","numeric-id":5333047,"id":"Q5333047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380049$26224AA6-CAE3-472E-97E8-BB685E96B062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c56621148a884cecd03207aa336f4c77871f9f4","datavalue":{"value":{"entity-type":"item","numeric-id":4079819,"id":"Q4079819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380049$7F8E3383-9540-4F4E-BC3B-5732219CD78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4754897fcaab59c6e5bc8424804226fba71a476b","datavalue":{"value":{"entity-type":"item","numeric-id":5648571,"id":"Q5648571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380049$1149E4BD-716A-46EB-983C-76BBDF6EC7FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e788d54011526adc908e6e29a75130d82f1c33e9","datavalue":{"value":{"entity-type":"item","numeric-id":1293382,"id":"Q1293382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e03ce04d64d0267625eb2d2de8b2c91e2da62ae","datavalue":{"value":{"amount":"+0.8046281337738037","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":"Q1380049$7275D988-709C-4051-BF61-B8849D69CD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0950c07dbf785601bca7ffead3487c0e2a59c6","datavalue":{"value":{"entity-type":"item","numeric-id":3988085,"id":"Q3988085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcdf38d2c4d547c08a4f87a10be3b6d7699cb637","datavalue":{"value":{"amount":"+0.7982388734817505","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":"Q1380049$D2371FE4-09B8-4443-9113-3FA36B41C46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fc70048d0030919baa91a6f7257c0716d1fa7de","datavalue":{"value":{"entity-type":"item","numeric-id":4761443,"id":"Q4761443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed7e9a0637a70c58154c2f5cd9d220c4def79676","datavalue":{"value":{"amount":"+0.798063337802887","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":"Q1380049$EAD3C9AE-0651-4582-9F3A-2B5759A9230D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1380049","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1380049"}}}}}