{"entities":{"Q1076703":{"pageid":1087455,"ns":120,"title":"Item:Q1076703","lastrevid":66694557,"modified":"2026-04-12T12:07:25Z","type":"item","id":"Q1076703","labels":{"en":{"language":"en","value":"The Birkhoff variety theorem for continuous algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3954993"}},"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":"Q1076703$7DC6E9FD-9003-4E1B-B118-2A124971DED6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c99a6e23d04466b7a5404d2a6fbffdbe3259d859","datavalue":{"value":{"text":"The Birkhoff variety theorem for continuous algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1076703$E61E4607-9AE5-4E3F-8CCD-E262DA57CE0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7454998da39ad40f7a8d13a2dc737f0a501d6abb","datavalue":{"value":"0594.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076703$D0D96408-4A53-4AFB-B1F6-649051858350","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30ca3a6506db79bfdf8857b93d4624a7d2c6a161","datavalue":{"value":"10.1007/BF01195142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076703$88499C24-4AB3-4800-A301-F1E6968243F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ca7f12f19652bd51d566dcf8d18844f5d751616","datavalue":{"value":{"entity-type":"item","numeric-id":762514,"id":"Q762514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076703$2263B26B-6433-4F93-9F1C-BFC5FD190B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df3dd90bf8150cc86ec6cf068d061afde632f05e","datavalue":{"value":{"entity-type":"item","numeric-id":913813,"id":"Q913813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076703$7EA729CE-72E4-4AFE-A82B-1911E5710971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f7716f1ff6bd259f549a07d8b4e740294ad2d7f","datavalue":{"value":{"entity-type":"item","numeric-id":171464,"id":"Q171464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076703$DC58623E-FFFB-48E8-8368-F9DB93D6C6D6","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":"Q1076703$F9DE4BC2-0BDA-483E-856F-FC923FC8D401","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1076703$A534F493-86CD-4894-91BC-7F7B272D4587","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4ca2676a098d0bbc5affaabfd1c34416578e911f","datavalue":{"value":"The paper provides a generalization of the Birkhoff variety theorem for a class of Z-continuous finitary algebras, i.e., ordered Z-complete algebras with Z-continuous finitary operations, where Z, a subset system, is a parameter of join-completeness. Since the terms in the algebras must contain join symbols as infinitary operation symbols they are more complicated than usual ones. The paper develops a syntax for terms and inequalities which is simple and appropriate for the theory. The paper also provides discussions of finitely supported varieties which use finitely many variables, and of algebraic varieties which are characterized by usual terms. Furthermore a quasi-variety is characterized as an SP-class.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076703$5F94D2B5-B6E5-49C6-9460-9C24B1BC6FF0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"06894b1e6928d36ebe66af174c2e7bc2155094b6","datavalue":{"value":{"entity-type":"item","numeric-id":788080,"id":"Q788080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076703$185C2235-CB81-4AED-ABB1-9098EB57F4DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b12e8f01f06133a9720445e365c6f83b034a7e4","datavalue":{"value":"08A65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076703$F8E73BFD-CA51-489D-AA12-C212E78E6F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076703$FDE93313-3494-40B2-B506-769F98FBFAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076703$81F2B427-4E4B-4F2A-85F6-88A4BC0E23CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076703$E2F5D582-A2E0-4D0C-A634-16B26401365D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0ad4a75b32a8d072a36527c87dcc1e31bb01796","datavalue":{"value":"3954993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076703$2CEB0C9B-E7E0-41F3-AEE3-78D3E9147407","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2105c226ff02b02ae564db230940871c108f0eae","datavalue":{"value":"Birkhoff variety theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076703$07452AAE-36F5-40AA-831F-7ABE2881DCEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56f99fdaf6e5a34e6a1f88303aa143721940721e","datavalue":{"value":"Z-continuous finitary algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076703$2CAD1F40-89CC-4120-8E3D-FE086846DBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da7428363d80b6e2ef095daaf5f0f87d77f79ba7","datavalue":{"value":"ordered Z- complete algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076703$9791C316-F2A9-4BA6-A9CE-AB28F223908C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faf76fd6bdb585be21c722563477d25bb8669034","datavalue":{"value":"infinitary operation symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076703$84B8D72A-DE06-45E8-AA17-05EA573C019D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c18e999c601aecdb7228327e2f25822e67c022c","datavalue":{"value":"finitely supported varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076703$625F650D-A8EC-4EFA-A63D-AB8CB865E89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc67cd044da847145365137769abe3e8adbf1c99","datavalue":{"value":"quasi-variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076703$1B96CFB7-0DB0-42B9-A21A-6EA3ECDCF225","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":"Q1076703$6E4CDDDF-0F34-41EF-AE06-466A570AA1E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c7be593dbe28a0cc8d0ed3f039e02a29fdf3c72","datavalue":{"value":{"entity-type":"item","numeric-id":1160149,"id":"Q1160149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076703$9642A8D9-EBBA-4DFF-84D9-A1FCAEF26FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5cacb4ab303cc7c9b6cd6474a07b57d8333f8c8","datavalue":{"value":{"entity-type":"item","numeric-id":809105,"id":"Q809105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076703$F363C58F-22F8-41EA-BD8F-F1901F63BAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9afb9e896ce8bf171e2049d79e3dad949934c4cf","datavalue":{"value":{"entity-type":"item","numeric-id":3955401,"id":"Q3955401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076703$70A6FDCC-56B7-42CC-B7C0-A7BDCFB54D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ec4abd703ba69c5dfd86055856e539b441f730","datavalue":{"value":{"entity-type":"item","numeric-id":1229897,"id":"Q1229897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076703$B7D6F1FC-A81F-42F3-B026-F9DF1FF989CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad77df366de75a5e0c2b70915c0daf8e3d56ee39","datavalue":{"value":{"entity-type":"item","numeric-id":1158947,"id":"Q1158947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076703$68FE5E39-628F-4EBC-B291-1EB95E3EE451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4280cd3d0a555d23ad4c1f097024c9591f5a09ab","datavalue":{"value":{"entity-type":"item","numeric-id":4123496,"id":"Q4123496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076703$ADC4D3CA-69A0-4647-A3D2-626A14DC1450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec9d7d7ab7d982dda890a239a0e00600ad2c2bc","datavalue":{"value":{"entity-type":"item","numeric-id":3954802,"id":"Q3954802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076703$5659546A-EE0C-417D-8FA4-9A91876CEB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd1b6b246852af81e4f50adea3e077c4e4540f42","datavalue":{"value":{"entity-type":"item","numeric-id":1145208,"id":"Q1145208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076703$F74FDA68-84AA-45E6-A6AC-F7F5FE9353FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"410629dd0efc9c31403c6b54cfd41a296601efa6","datavalue":{"value":"https://doi.org/10.1007/bf01195142","type":"string"},"datatype":"url"},"type":"statement","id":"Q1076703$3A6E22D6-DE51-44F7-A4EB-E924E26BCE32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b43adc04f4c50e14c81a02d5b4415de82c0396a","datavalue":{"value":"W2010453304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076703$0A0567DA-6C7A-441E-9234-1434CDCF7AFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"247c02e93b7026a2832a0d6d5d068e5e4225aa90","datavalue":{"value":{"entity-type":"item","numeric-id":1908339,"id":"Q1908339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1622d30d99b71ee6463ff339606aa386e8434f5","datavalue":{"value":{"amount":"+0.8823855519294739","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":"Q1076703$2BAE70B8-B816-418E-AFDC-1D09ED0BFB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6bad7ad7a82151109aab6f18e062008025747c","datavalue":{"value":{"entity-type":"item","numeric-id":3743307,"id":"Q3743307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19a50e8b4737de1de5be3e26ca5abb7c217184e0","datavalue":{"value":{"amount":"+0.7921598553657532","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":"Q1076703$A884E378-DE2F-4EE9-B449-3703439C2DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"018b65a713b488ed8f7cfbe17097e3870a8b695f","datavalue":{"value":{"entity-type":"item","numeric-id":1117960,"id":"Q1117960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20ecda28270c6e4ff41bd01ac89ba2c462cf90da","datavalue":{"value":{"amount":"+0.7806086540222168","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":"Q1076703$F1B193D0-6D3D-47B0-8E00-D85EAE1AD460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d24a7b7c901bd0c14c0bf7a29261828cb217694e","datavalue":{"value":{"entity-type":"item","numeric-id":3705501,"id":"Q3705501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e82c55339cdf74abad512d967109600f86bbbea","datavalue":{"value":{"amount":"+0.7623939514160156","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":"Q1076703$D98D6E85-505F-4E07-9B0A-D64BC5E6EA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a56f032a9d9758a85440526a7200faa582500dfd","datavalue":{"value":{"entity-type":"item","numeric-id":790139,"id":"Q790139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76139a8f3a6169720d171c4ca9094ef85a30595b","datavalue":{"value":{"amount":"+0.7617730498313904","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":"Q1076703$2FCF2947-0566-495A-B805-826EEADAF0C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Birkhoff variety theorem for continuous algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Birkhoff_variety_theorem_for_continuous_algebras"}}}}}