{"entities":{"Q2576018":{"pageid":2586761,"ns":120,"title":"Item:Q2576018","lastrevid":48607951,"modified":"2026-01-05T09:07:20Z","type":"item","id":"Q2576018","labels":{"en":{"language":"en","value":"A notion of functional completeness for first-order structure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2236320"}},"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":"Q2576018$4E35A965-9F31-4CE1-951D-0439AC81AF03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15042c98561bc226a0bda514e7af2b37eef4b0ee","datavalue":{"value":{"text":"A notion of functional completeness for first-order structure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2576018$298C04E9-42A9-4373-84F9-117828A6B06F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4159cd597dc64dccdd59ffff0b46e2b60e6ff9f5","datavalue":{"value":"1084.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576018$DA3C0287-15F2-4979-9906-ADED738AA10F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f16fb9efe7b68f635eeb1463603bb6e0849b89a","datavalue":{"value":"10.1155/IJMMS.2005.2207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576018$77294BBB-F090-4A83-982E-7DFC8CC2F5CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a060e548ea1432298432068888a76c769e6a445b","datavalue":{"value":{"entity-type":"item","numeric-id":880227,"id":"Q880227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576018$5DE55419-8A7A-4CD6-9FB5-4A99C207CD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2601d3c3f504ce6bb5d4474c46c659fb8d17ba71","datavalue":{"value":{"entity-type":"item","numeric-id":354936,"id":"Q354936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576018$BF4C9592-2885-45E0-A723-9A315D737D7F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4d14f6de16fedb57ef2f0703ad32e93709741b1","datavalue":{"value":{"entity-type":"item","numeric-id":162459,"id":"Q162459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576018$74F86955-9DCC-4516-8819-E74CCA44D93C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a6b2dab0c1a850c148e524dd23e597ec7eb88d7","datavalue":{"value":{"time":"+2005-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2576018$79850F0D-B3C6-4A6C-876C-7B4C468AEE9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae48a507a9e67a12564af30b6ee6ea5086b87323","datavalue":{"value":"https://eudml.org/doc/52210","type":"string"},"datatype":"url"},"type":"statement","id":"Q2576018$9B25271E-5471-4F94-BA7A-6AEA9B8B9D92","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9eee5ffd1cfabf9a0f066233d526e38a770d2bef","datavalue":{"value":"Summary: Using \\(\\star\\)-congruences and implications, \\textit{N. Weaver} [Algebra Univers. 30, 27--52 (1993; Zbl 0799.08002)] introduced the concepts of prevariety and quasivariety of first-order structures as generalizations of the corresponding concepts for algebras. The notion of functional completeness on algebras has been defined and characterized by Burris and Sankappanavar (1981), Kaarli and Pixley (2001), Pixley (1996), and Quackenbush (1981). We study the notion of functional completeness with respect to \\(\\star\\)-congruences. We extend some results on functionally complete algebras to first-order structures \\(\\mathbf{A}=(A; F^{\\mathbf{A}}; R^{\\mathbf{A}})\\) and find conditions for these structures to have a compatible Pixley function which is interpolated by term functions on suitable subsets of the base set \\(A\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576018$281D1E74-FE4E-40FD-889C-C06FB52DD32F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576018$AC9C5FAC-0558-4572-86C4-B99965CFBD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576018$DAEFA81F-7047-4990-9BFF-F526BAF82969","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8a240de1140fc919cc61cc7e6cc9aa1cf12612f","datavalue":{"value":"2236320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576018$B0676552-DE7C-438E-A93D-632D66B1B879","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c33630e7ee6ca852baa3d7aa683b3bf9990c42fd","datavalue":{"value":"\\(\\star\\)-congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576018$CD699F61-3B6D-453F-8B73-E3230703472A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b2a686453e14a185e61ba8ab41c1133001eb230","datavalue":{"value":"prevariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576018$0D04D76E-136D-4566-89AB-2A7CBBA29B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b43d879f6ad89d85edb85af43e0f14cd501c1f","datavalue":{"value":"quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576018$8A189FAF-4218-44E8-9301-DEFB49A9CE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e10916b80b773755913495cf6300d1fb3190a51","datavalue":{"value":"first-order structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576018$7F87FDA9-646F-41A4-A520-5667BEB1FEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7c57587a9cf6cfbf4920d0ba76515e57df4b14","datavalue":{"value":"functional completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576018$13A704DC-95BB-454B-A8FE-ED270BA54A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5a9d02dc1c6e44fafe2a1b51ce55b72ef50c9e4","datavalue":{"value":"Pixley function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576018$172D0522-4A1C-46CA-BE86-58016DECE0DA","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":"Q2576018$7D43016C-0AFD-407E-8F12-8FD7B3DEE17C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"302f710284744c536f04235c18441319b85a5466","datavalue":{"value":"W2075140856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576018$7BCEB944-17F8-4B3A-8620-6791EC78F3B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffe14f814c173ef7e06418cb0350e0ccae6ceeb4","datavalue":{"value":{"entity-type":"item","numeric-id":880228,"id":"Q880228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ca07d87ccc7ebf3ced05811e2d1c03d581de2b9","datavalue":{"value":{"amount":"+0.8637842535972595","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":"Q2576018$2295CF99-511C-4F50-B3A7-B26880A5A6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea82d5eb63b571dd220803733edb46a71ac0427f","datavalue":{"value":{"entity-type":"item","numeric-id":2759857,"id":"Q2759857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcdab13ebce8c780283271cd4d2a88a1543c8282","datavalue":{"value":{"amount":"+0.740168035030365","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":"Q2576018$B48CE10C-1780-4A46-A890-D08662EF5C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ddf3474273013aa86ea89bc7579b538b35f2abf","datavalue":{"value":{"entity-type":"item","numeric-id":497872,"id":"Q497872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcdab13ebce8c780283271cd4d2a88a1543c8282","datavalue":{"value":{"amount":"+0.740168035030365","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":"Q2576018$ED073180-15B9-44F2-80B2-747E5ED2EF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a54c00b7960d5a48ca1d48277b0f7a8aa708761d","datavalue":{"value":{"entity-type":"item","numeric-id":5411449,"id":"Q5411449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eab95ec47f85ca351da506c42552bfd809238842","datavalue":{"value":{"amount":"+0.6980622410774231","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":"Q2576018$AD74DCB4-A37E-4EE3-8BBA-B2AADBABDA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef73dc2addfca0860caa6c65339df574c304768d","datavalue":{"value":{"entity-type":"item","numeric-id":1208069,"id":"Q1208069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34788aaecc4c4cb6761d4490b45fd50576e081bd","datavalue":{"value":{"amount":"+0.6961733102798462","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":"Q2576018$AC7D1BDE-1566-4FD9-B90A-C01D84A5B5C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2576018","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2576018"}}}}}