{"entities":{"Q790139":{"pageid":791987,"ns":120,"title":"Item:Q790139","lastrevid":42695694,"modified":"2025-07-08T13:53:10Z","type":"item","id":"Q790139","labels":{"en":{"language":"en","value":"The Birkhoff theorem for varieties of finite algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3847459"}},"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":"Q790139$79FA91AF-D631-443A-9B2A-69534EF8F3CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c1486b3d8b6948581a46664fc18b5806edb12cf","datavalue":{"value":{"text":"The Birkhoff theorem for varieties of finite algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q790139$9C2AD6E7-7ED1-484B-9180-63F60C1073D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b0a041e62d041b3037eeae73cd0c6360fdc363c","datavalue":{"value":"0534.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790139$99095395-20C1-464C-801A-BF68C8033C6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35b7532413dc2bf3d156ec316113bbbe0448c7c4","datavalue":{"value":"10.1007/BF01194543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790139$ACCB79ED-84E0-4DFD-89FB-74E4018D74C3","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":"Q790139$C442F8B5-9654-4B7E-A276-6CBDF5638F0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q790139$88AED3C8-C6DA-462F-89F1-D1B356117EAD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ec8d70f431105dae9f5e7b2cacd41f60ea77ae20","datavalue":{"value":"Varieties of finite universal algebras (i.e., classes closed under finite products, subalgebras, and homomorphic images) are proved to coincide with classes described by implicit equations. This generalizes the result of \\textit{J. Reiterman} [Algebra Univers. 14, 1--10 (1982; Zbl 0484.08007)] who introduced implicit equations and proved the above for finite types. Another characterization of varieties, presented here, is based on an extension of the concept of equation using completions of uniform spaces. Yet another characterization shows them as directed unions of equational classes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q790139$A1699511-8DE8-4FD4-9911-857E87004450","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e0f347ef0578eddd2127c28322dfd018af75e2d8","datavalue":{"value":{"entity-type":"item","numeric-id":171464,"id":"Q171464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790139$E6533904-A5D4-40AE-BDD8-FA2B13D4B866","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790139$9BA7FBF8-B096-4F2F-A27C-BA890B5A2760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"752abe8b003b6f8f5061b539a8ad0dcffa6c0d03","datavalue":{"value":"54E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790139$43D2AC51-1149-456A-88A0-9C3FF4497504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4388e9a976e18bebff2edd807ee73ae25eae8b00","datavalue":{"value":"54E52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790139$623F50D7-6F33-4A56-8A16-B1E5FDAA87C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa9ae447bb33de386df1433b9ed498c434c45081","datavalue":{"value":"3847459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790139$620DAE7F-3DBE-4275-A785-D85B3B39D56A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76cd5e5b39030ba343997b03acb619a296455568","datavalue":{"value":"varieties of finite universal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q790139$1D78CAD9-9181-477E-9563-EF579EE146C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b5bc5a42ee3ccfaaab3b0a20e7737cffa9679dd","datavalue":{"value":"implicit equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q790139$B149F2E3-4F28-44B9-B963-D5F5E0A92CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e2ec6b5c7d1a6a061a2f60ef166bca472c37eb8","datavalue":{"value":"completions of uniform spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q790139$EACDCBAB-466B-4DC2-8C98-83D2C82C0B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"864f36396b7635a27a60766d5c9aaa2f89e1b8a1","datavalue":{"value":"directed unions of equational classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q790139$5DAD6268-15D1-485D-ACDD-81211923BA33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0515b5421feff2368cf40870c6ca8619e9feca7e","datavalue":{"value":{"entity-type":"item","numeric-id":168346,"id":"Q168346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790139$6120E647-A5F9-4D3F-851E-F29F57E248ED","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":"Q790139$ED86D975-1541-48DB-A2A2-437137B5A94F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec3dea166b287e13249dffd393b73c9cf301267","datavalue":{"value":{"entity-type":"item","numeric-id":4093506,"id":"Q4093506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790139$4B44641F-112E-4162-94F6-99FE103BA856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c99fcc8e820c1cc4ac6c486483d65c4601fa543e","datavalue":{"value":{"entity-type":"item","numeric-id":1235274,"id":"Q1235274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790139$1A946816-8C07-46F7-907C-42E36FDE1DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790139$DC3F9205-A130-4A5F-BE62-15C6269F6ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"095218aa1d974bf6bec6e2298b9bd3a73d6d04e8","datavalue":{"value":{"entity-type":"item","numeric-id":4143774,"id":"Q4143774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790139$F373DE0C-6D7F-4CBF-BA0F-EF0981F64CE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbc3cbfb2fc65428edd60a657070bc51b4b6c8a2","datavalue":{"value":"https://doi.org/10.1007/bf01194543","type":"string"},"datatype":"url"},"type":"statement","id":"Q790139$7D368F13-F132-4FD6-A1E6-FE9789329043","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d569f0d5e3d59dc2f5448b8609f53e23767fab7","datavalue":{"value":"W2053731602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790139$38812697-8D3D-483E-A910-9DD035A8C226","rank":"normal"}],"P1643":[{"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":"0077bcb020d10ce68be5e619a80b82d6be6dcce3","datavalue":{"value":{"amount":"+0.9406114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790139$2747D0D9-F843-472C-8D4C-A64611D58780","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":"2561ecc7ac5de1c3fe3a064e724c48c0277b6fee","datavalue":{"value":{"amount":"+0.9298134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790139$076AD0BA-63AA-4418-946E-7C48C5CDDAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ded4968cf629b11b53401ee9348d613bf6c033ba","datavalue":{"value":{"entity-type":"item","numeric-id":4075514,"id":"Q4075514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc159b3e6853641f01c330a31be573fe2381167","datavalue":{"value":{"amount":"+0.91711175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790139$C23EF63E-5888-413D-826D-4A85FBB4DC08","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":"a3b0f348fa1d011df51858f5725e4e3fe5edbf14","datavalue":{"value":{"amount":"+0.916162","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790139$F53FBA64-6C7B-4108-8BA3-317C55AB9756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f23773552b8ca50c3a1c6cfb8cca8c9f9df875fd","datavalue":{"value":{"entity-type":"item","numeric-id":1762479,"id":"Q1762479"},"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":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790139$A4263231-8D72-4174-A13A-B353DF3AFA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f15c9f02ef7322213a014c709f03f74dd3b2da5","datavalue":{"value":{"entity-type":"item","numeric-id":1059653,"id":"Q1059653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6fb85e0350d34cd21b8a670fccc3b35f490bdf6","datavalue":{"value":{"amount":"+0.9099094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790139$2AE4FF02-EF18-46B1-83D8-D9E792F305F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58d956b03bd65af97466d91cebbe9daa429497b1","datavalue":{"value":{"entity-type":"item","numeric-id":1168408,"id":"Q1168408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47924e45b3b052566e28768c238601199e2d7b45","datavalue":{"value":{"amount":"+0.90974253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790139$A3BA0ACD-B1E8-4EAF-B3CA-A09BF96A6FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f492bb1edc01b813d2798fbe66478069bd40a4","datavalue":{"value":{"entity-type":"item","numeric-id":3741690,"id":"Q3741690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90bab6be2a2eda904d7e1112cd64797d217395a8","datavalue":{"value":{"amount":"+0.9072076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790139$73FB8BD4-DB35-4474-8313-71A75E609FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1b080aa5fb5a7faa8b629e2961546e60fbc02ef","datavalue":{"value":{"entity-type":"item","numeric-id":2433109,"id":"Q2433109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ea055cf3d5e6b2dafd72ed64cbcb1382fcc4f0c","datavalue":{"value":{"amount":"+0.90716857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790139$C1C76505-76A7-4525-89E9-46AAEA891965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a583d29ca77a3ac08223f19952b16c5ae652c84","datavalue":{"value":{"entity-type":"item","numeric-id":3792685,"id":"Q3792685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f3808316c3da491999f960e663d6a297214d3b9","datavalue":{"value":{"amount":"+0.90620685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790139$27FEA211-5A7C-4A57-ACF6-0E5A27C6D5E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:790139","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:790139"}}}}}