{"entities":{"Q1762479":{"pageid":1773221,"ns":120,"title":"Item:Q1762479","lastrevid":72908988,"modified":"2026-04-14T08:42:02Z","type":"item","id":"Q1762479","labels":{"en":{"language":"en","value":"Birkhoff's variety theorem in many sorts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6110488"}},"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":"Q1762479$CA5E7385-D32A-4F56-BA80-C5E0B4A38843","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"883b914f301af68d4a1470c0cd000492882a91e7","datavalue":{"value":{"text":"Birkhoff's variety theorem in many sorts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1762479$C9DE4B01-DB5D-4578-B7A4-BD8F869BE2F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d20b635a2ff9fde94e37c63b37a41120cf5fb4a","datavalue":{"value":"1257.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762479$1427A246-5C93-4B1D-BB56-FC5F0B1447AA","rank":"normal"}],"P16":[{"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":"Q1762479$304B9205-BF64-4263-AAE2-1084609019A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b93a7088f0f3f3d6d8299d78aae3a1d1876d975","datavalue":{"value":{"entity-type":"item","numeric-id":178140,"id":"Q178140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762479$1777AC23-9582-4666-9C03-AEFD21BB5469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f5499a165bf90c74d3d4e8bdeabf75e52130200","datavalue":{"value":{"entity-type":"item","numeric-id":308151,"id":"Q308151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762479$39D9AB1B-DBDF-466C-A6BB-BBFD17716D3A","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":"Q1762479$7D89D9A9-9205-4310-8BED-8EDDCC0AFD8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95e36ecb600c934bbc19d79b7ffc96af390338f1","datavalue":{"value":{"time":"+2012-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1762479$CDA5E7FA-B881-4081-AC56-AB3EB3BD3981","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d1b96f25fd117960b82b36357a6c36e19a0c11ad","datavalue":{"value":"In this paper, Birkhoff's characterization of equational classes is proved to generalize the case of finitely many sorts:   For every set \\(S\\) of sorts and every \\(S\\)-sorted signature \\(\\Sigma\\), the equational classes of \\(\\Sigma\\)-algebras are precisely the full subcategories of \\(\\Sigma\\)-Alg closed under products, subalgebras, regular quotients,and directed unions.  For infinitely sorted algebras, closure under directed unions needs to be added.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1762479$637B724B-B13F-408E-B24C-BA6F21242EEF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f88fa41ef91c2abf95c7a1edf27437cbf5cacbaf","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762479$EFCA7EB7-F15F-4E88-9E5D-A902B2540215","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8fc08c53879b93dc998e9f9ac3fd791c57770a30","datavalue":{"value":"08A68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762479$FC0C31B6-E8B6-45A0-9503-9A8ED21BD442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762479$79CBA18D-4F4F-4770-9DA0-74F6F0578A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762479$D37A8BD3-00F3-4645-91FE-4AF426ADFCBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fea0b195bcdd56f6bd6e54fc8f79fafb664f1758","datavalue":{"value":"6110488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762479$B18FEA39-2001-43DF-AFB5-6CC64768939C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92e51fa732238809c6a3465b0ff5c440258aec32","datavalue":{"value":"many-sorted algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1762479$B56699FF-DE2C-431E-BFB8-BAAAA81E6883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2105c226ff02b02ae564db230940871c108f0eae","datavalue":{"value":"Birkhoff variety theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1762479$2964053B-1227-4F05-A827-238B512F9751","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":"Q1762479$B7DD4BC5-8330-4649-9A19-25ECA9EDBC8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46ae2ffbbcf21d67b30ff1196c7956c372aa4c63","datavalue":{"value":"https://doi.org/10.1007/s00012-012-0185-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1762479$0BA52F51-F592-4526-8FDA-200839E8084F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02ddab2591d5e19e82227837fe8510cc1b6ee626","datavalue":{"value":"W2101082039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762479$8D85ACBE-E20D-4777-9794-666E06B6FAA0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762479$B6BAF531-D252-4E8A-BA22-B4833A201E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a95559a4d80f773d72a450145ac01751def5111a","datavalue":{"value":{"entity-type":"item","numeric-id":3164468,"id":"Q3164468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762479$0770F86E-A63A-4F95-9A85-0AC7255744D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762479$0E6BC118-7C13-4BF8-B57A-B8B063F3B2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3198643895c4e17fa96b7321331bcf34a99b2fd","datavalue":{"value":{"entity-type":"item","numeric-id":4002149,"id":"Q4002149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762479$F1F4E6D0-EA6A-44B6-AF56-109FF6FDB13E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b57ad426a6fb1ae222b7d7d723594d18ab3f435a","datavalue":{"value":"10.1007/S00012-012-0185-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762479$EB2F91B8-B410-4A2A-BE24-D1FEECBA0C7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"357ee40889d67f5703464c84cf0d209b8388b06d","datavalue":{"value":{"entity-type":"item","numeric-id":3645736,"id":"Q3645736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f25bf97f64490b9e6cf31d552acd4ae43d9c992","datavalue":{"value":{"amount":"+0.9190104","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":"Q1762479$654F06C8-3F6D-4FE6-81CB-3B4CD17D21BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06b89b1dd55ebb27a0a553235cd660018879afe1","datavalue":{"value":{"entity-type":"item","numeric-id":4489059,"id":"Q4489059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79cd27fb48aef4b422ae29b5de1f2c6298395690","datavalue":{"value":{"amount":"+0.91378117","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":"Q1762479$3090F190-F5A8-4871-A2DB-65E80870806C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24254a6d64a0537c4fcc7897e2a4a1e07b7b5681","datavalue":{"value":{"entity-type":"item","numeric-id":1966156,"id":"Q1966156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79cd27fb48aef4b422ae29b5de1f2c6298395690","datavalue":{"value":{"amount":"+0.91378117","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":"Q1762479$4D4F566B-AD71-4238-89C4-8AA6933F2713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efb861b66c3c7da53b7652e860ad9ccd512380ff","datavalue":{"value":{"entity-type":"item","numeric-id":4391028,"id":"Q4391028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b3d9863c010a925424f76d788648c20f026e80","datavalue":{"value":{"amount":"+0.91320896","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":"Q1762479$7F306C1F-37C0-49D2-8ACD-485E9F3BF3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b214e80b625bf294922a0a32afb5139061c71dc","datavalue":{"value":{"entity-type":"item","numeric-id":733677,"id":"Q733677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f51bca0687860911df78043590cbf2b4f7b4329e","datavalue":{"value":{"amount":"+0.9106056","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":"Q1762479$C7203B5B-6B85-4FB7-8182-25DDB234C254","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":"d36f7b824bba220ad56ada78b149ad0109c01bce","datavalue":{"value":{"amount":"+0.91054666","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":"Q1762479$428C5D4B-C218-4E7F-9740-BD065FBFD58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebaf71332c5cfc6c37862a576cf3b58285bcccf","datavalue":{"value":{"entity-type":"item","numeric-id":1076703,"id":"Q1076703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d31f806e27ab00ee6d9424488b5ddcde44ae7e04","datavalue":{"value":{"amount":"+0.9073365","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":"Q1762479$EC3EA698-54CD-4210-894C-393F78E1B248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"425e9916b59e4d19e5b73ce34892c7926aafe40b","datavalue":{"value":{"entity-type":"item","numeric-id":5715379,"id":"Q5715379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c9a9508b9a8639a3322a5940e8cec5a0f49d0f","datavalue":{"value":{"amount":"+0.9071845","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":"Q1762479$E49A9960-23BD-4E07-8A23-36576345BEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"618f402e27a359593b1b5a74650035e277c13285","datavalue":{"value":{"entity-type":"item","numeric-id":2922516,"id":"Q2922516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1023acae79f6472a581cfcc83414905972d8068","datavalue":{"value":{"amount":"+0.8962636","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":"Q1762479$9F21249E-167E-410F-9375-78057F4798FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6cfcd788d4616284646352ad6923659c0072a5d","datavalue":{"value":{"entity-type":"item","numeric-id":2759839,"id":"Q2759839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df1088bed9bce38aea90bed3aba330d02aa01cef","datavalue":{"value":{"amount":"+0.89481986","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":"Q1762479$8B51ED3D-7DC5-415C-B8E7-800EEB734467","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Birkhoff's variety theorem in many sorts","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Birkhoff%27s_variety_theorem_in_many_sorts"}}}}}