{"entities":{"Q1921405":{"pageid":1932147,"ns":120,"title":"Item:Q1921405","lastrevid":69307473,"modified":"2026-04-13T06:07:58Z","type":"item","id":"Q1921405","labels":{"en":{"language":"en","value":"A Reiterman theorem for pseudovarieties of finite first-order structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 920798"}},"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":"Q1921405$025265C2-CAB4-4C44-B353-11F7C8C5EB90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95e75fa5bfb1b7131ae491872aa61b66150d4984","datavalue":{"value":{"text":"A Reiterman theorem for pseudovarieties of finite first-order structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1921405$F37611AA-9771-4A14-AB84-322D09CC3670","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"226a80a15521d0e445210fb68631b31057c9c379","datavalue":{"value":"0864.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921405$071A575B-9FA4-4D84-9016-86E55A6F93F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e74772beef0e854793ab2b1b67dec3d93c14e165","datavalue":{"value":"10.1007/BF01243597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921405$458CE098-B952-4C9C-AE30-CE1A8F4C2E1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6749bcdead989847e012c6d63fa055fe98296ad","datavalue":{"value":{"entity-type":"item","numeric-id":230066,"id":"Q230066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921405$20BD7724-4758-48A9-ABD7-61EFFF43954B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2226755ce7b891c6e6ed64b8807df159e949df0e","datavalue":{"value":{"entity-type":"item","numeric-id":711614,"id":"Q711614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921405$E13041E6-0C7F-4CA6-9192-0A59186DBB38","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":"Q1921405$F225790D-B4FA-4386-AAD2-4EFDB01AF1B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5bfc915913f56bda83b8f5a217ba51a7f0094c41","datavalue":{"value":{"time":"+1996-08-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":"Q1921405$E1854B88-62A8-452C-9C11-F7D831203687","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"10fc84f4c2162d69dfe5705bc8825ef58fd907cb","datavalue":{"value":"Birkhoff's Theorem on classes of algebras being varieties was generalized by J. Reiterman as follows: a class of finite algebras is a pseudovariety (that is, it is closed under taking subalgebras, homomorphic images and finitary direct products) iff it is defined by a set of equations in the appropriate free profinite structures. Here, the result is generalized to first-order structures: under certain natural conditions of finiteness and non-emptiness, pseudovarieties of first-order structures are defined by relational identities (pseudoidentities) in some relatively free profinite structures.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921405$2B683564-6009-4143-9702-9749085B4CC1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921405$412B8E99-ACD8-4FAC-B94D-B897A48B07A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921405$EA4D6788-8A6E-492F-AB13-AB66EB762FDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c98350699e5e9b3ab6d986f531c55f2e37a08c74","datavalue":{"value":"920798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921405$8FEAC6A6-B161-473C-9E89-21D0BB55AFA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d432283c5734386ad60a6b53fc100e8665d074c","datavalue":{"value":"pseudoidentities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921405$A78F633C-6215-45BB-BA13-CE97C6AAAD51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ae52c8f67f146f93874234c0534949dab63cc34","datavalue":{"value":"pseudovariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921405$C87B2D0B-172E-4E2F-802A-76B9DA012E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c234b066164da0092f79bec6e2b1b56dc258d488","datavalue":{"value":"finitary direct products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921405$CB560493-61F0-4E6B-B90F-60950D0FEC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3fcad569f259b2508a42a584db05fdbefd6076d","datavalue":{"value":"free profinite structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921405$831890A4-3C79-4172-A76E-BBEE9072B7C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e10916b80b773755913495cf6300d1fb3190a51","datavalue":{"value":"first-order structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921405$2AE215F3-D2A2-4808-A24D-3C8096BF579E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"332fa477c0e34e269af051a5cb0aa88324954b92","datavalue":{"value":"relational identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921405$D4072ADA-B396-4959-9EB6-8CA51C567887","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":"Q1921405$996AE1CB-5ED6-4C93-8986-55BFED0F5B42","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5b75e5917c889134d8a78729f028c28b56c294","datavalue":{"value":{"entity-type":"item","numeric-id":4848740,"id":"Q4848740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921405$974C6A6D-33C3-442D-9709-B87D4BEE4EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e717044fcad99faf06d37ea7847a415e788e2235","datavalue":{"value":{"entity-type":"item","numeric-id":3123634,"id":"Q3123634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921405$3974EE2D-509B-4A5F-979D-FE61BF5D0B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d385c78e4668c04de8e985e6c9fd3c180fdcc559","datavalue":{"value":{"entity-type":"item","numeric-id":1910265,"id":"Q1910265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921405$37C68706-F728-4F9D-A7FF-A31D35D0A16C","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":"Q1921405$68B2E632-398F-4BA4-B5FC-92AF87C28FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97aae996047866e201e0764a961d1290615bba0","datavalue":{"value":{"entity-type":"item","numeric-id":4385543,"id":"Q4385543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921405$E7CC5936-687C-40FA-B27F-D8E46C648E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b8fc65ac85f96f9027cb995115d529f830873c9","datavalue":{"value":{"entity-type":"item","numeric-id":1910276,"id":"Q1910276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921405$C8715945-233A-470E-9A71-B8AA156B8F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a816d15f1a3851350199122015284909d8230ea6","datavalue":{"value":{"entity-type":"item","numeric-id":1361889,"id":"Q1361889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921405$8B28E2EE-8366-458B-9D00-49A8AE88C7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36443093769a6cbdb09ed8569ecd63f4d20d7725","datavalue":{"value":{"entity-type":"item","numeric-id":1163585,"id":"Q1163585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921405$D5941ECB-0BF7-441F-BF9D-B0954C191D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a60472b19ecaed9f8777d5c2e0530950e5d2685","datavalue":{"value":{"entity-type":"item","numeric-id":4285342,"id":"Q4285342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921405$866B30C1-9A7D-4514-B066-CE5156F5AB68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ca3d105176c3bb2cacc161641a3c8dd06ea970f","datavalue":{"value":"https://doi.org/10.1007/bf01243597","type":"string"},"datatype":"url"},"type":"statement","id":"Q1921405$1FE1D77F-C897-4962-84B8-7AFC8CD4C644","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7d076f186d6c49f13905079957e3b8c0ed0a331","datavalue":{"value":"W2009062978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921405$107C54E4-7C73-46B3-B25F-24C8E05EF95A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02591e5ab7cc13f5fa08ef1b30ee1dd79b6c007c","datavalue":{"value":{"entity-type":"item","numeric-id":799720,"id":"Q799720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b1e6170d571a4d953eaeb2459ef77022e698f3f","datavalue":{"value":{"amount":"+0.8179956674575806","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":"Q1921405$7A02D798-2D3B-4BF9-8447-AC19EF2FCAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef2abbaab4dc52dce5d8680fc259afcb9ee6b044","datavalue":{"value":{"entity-type":"item","numeric-id":5056351,"id":"Q5056351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9ed981a5e3e7ec71bb3d873419ed27c83a46bdd","datavalue":{"value":{"amount":"+0.7990420460700989","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":"Q1921405$0F97E84B-4B73-4C8B-BC74-E8AF871D16CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69ae024f7839e32a8e523e709705fe3a44a00c3","datavalue":{"value":{"entity-type":"item","numeric-id":2811362,"id":"Q2811362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"332f4ae21d2636e014a8da564a681f822d051643","datavalue":{"value":{"amount":"+0.7947291731834412","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":"Q1921405$10BECF87-41CA-4855-9E94-AAA9AF334647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88d67f51a3665c6b4fa811c18c9fe29c5073fdb0","datavalue":{"value":{"entity-type":"item","numeric-id":4311228,"id":"Q4311228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25424a77574009c2bbc7a5ce27bd95a61e547849","datavalue":{"value":{"amount":"+0.7945374846458435","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":"Q1921405$604DAB06-E5C9-4B90-BFCB-6256786FEF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ec79271c1a3c51cf0bd18b28bb3cb9f7fcb5a66","datavalue":{"value":{"entity-type":"item","numeric-id":2759837,"id":"Q2759837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6833e724dd954ac152c1a15b3642e5276f997de","datavalue":{"value":{"amount":"+0.7921208143234253","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":"Q1921405$9E687D1B-AE2D-4B53-93E0-98CE421383EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Reiterman theorem for pseudovarieties of finite first-order structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Reiterman_theorem_for_pseudovarieties_of_finite_first-order_structures"}}}}}