{"entities":{"Q1272103":{"pageid":1282853,"ns":120,"title":"Item:Q1272103","lastrevid":68423532,"modified":"2026-04-12T23:36:45Z","type":"item","id":"Q1272103","labels":{"en":{"language":"en","value":"A polynomial characterization of congruence classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1226202"}},"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":"Q1272103$55513E18-902E-4B57-BA2D-1A73CA915097","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6efd63e461cc2366ef126d7916321706ed831867","datavalue":{"value":{"text":"A polynomial characterization of congruence classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1272103$1236C725-9388-4DAA-9B04-570B712794BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18592f250048bf7cddfb64b767ad1b72ec8e49f3","datavalue":{"value":"0902.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272103$F3B32F77-8A5F-4776-8922-46EA6E5D8242","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6df8e8ef43472738ac01c452fe02fb68cd3d706","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272103$E03E12FE-031A-4EA1-A522-B8490524356F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dedf5ac4920c49d1b1f5ba71ec39cf19a7fb7ed0","datavalue":{"value":{"entity-type":"item","numeric-id":192274,"id":"Q192274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272103$5C284FB6-3813-448A-B3F0-18CA1EAF534C","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":"Q1272103$ED265E7E-D468-4304-80BE-DB8219C088EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53fb7273221ce117f6a427df8be22cfe791bdb36","datavalue":{"value":{"time":"+1998-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1272103$2D31966B-41AF-4714-A98D-1FA7017867FA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e31d04335561870bda9b38221ea67cc8cc984cfc","datavalue":{"value":"Let \\(C\\) be a nonvoid subset of an algebra \\(A\\) from a regular and permutable variety \\(\\mathcal V.\\) The authors give an explicit list \\(L\\) of polynomials such that \\(C\\) is a congruence block in \\(A\\) iff \\(C\\) is closed under all polynomials from \\(L.\\) If \\(\\mathcal V\\) has a finite similarity type, \\(L\\) is finite. If also \\(A\\in \\mathcal V\\) is finite, polynomials of \\(L\\) can be considered to be unary. Finally, it is shown that the problem of deciding whether \\(C\\) is a congruence block of a finite algebra \\(A\\in \\mathcal V\\) is in NP but for arbitrary \\(A\\in \\mathcal V\\) it is in P.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272103$581DC3F1-1D5F-400F-9760-7FB0807210FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272103$1A922C65-447B-45FC-8F3C-EAE4A5E13F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272103$B44FC48B-A462-42F9-B9D6-526C2252C088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272103$69ED7C34-75D7-42C2-9E60-2280D26B036C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272103$310C5DF1-2BFD-4128-A867-C0E629395C25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fdf7a34b0fadb39a7fa681870ad3ed3f1522b5b","datavalue":{"value":"1226202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272103$9A809878-1EBB-49D9-B127-052BFDA97FF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebc37196ad852a392197c47999df9403956eeacb","datavalue":{"value":"congruence block","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272103$8EBE50E8-5A13-447D-9B76-80D30D76C9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cb3018a1df5121e3dac79ac406ee443d5f5e215","datavalue":{"value":"permutable variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272103$1F51B345-1D92-46BF-AAF8-870BC80BCE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bde2cf8b0eea3e4927d61da4b6a2864a90137f6","datavalue":{"value":"regular variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272103$547B6F6B-DB25-4849-B817-D11B2DB966A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7a609ae2c21271342f267522dda74375687f014","datavalue":{"value":"polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272103$0282AC20-5391-4F40-AC4C-EC78204A985B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a688c369468f577af7c7d403e8a5e55d9b715d1d","datavalue":{"value":"finite algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272103$FA534FDC-64A0-4822-BAEA-DDB0A352476F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"132effc0cc5e6f5b97c410501e6db3f17df8ce91","datavalue":{"value":{"entity-type":"item","numeric-id":587913,"id":"Q587913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272103$A31CAB31-4A3C-489D-9D6D-746C136938EC","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":"Q1272103$2F08CC37-D810-43EB-AF9E-10049BABB24D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2554bdf7903c78cf7e6d45d904c273076653bac4","datavalue":{"value":"https://doi.org/10.1007/s000120050015","type":"string"},"datatype":"url"},"type":"statement","id":"Q1272103$D56FDA8A-21F4-4CD8-B9E5-A50C9EACB43B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"621261b28b42a557f1b54bf32a6f670729324a35","datavalue":{"value":"W2090226092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272103$B18B299A-8B6E-4456-A741-B6C8DA30A8F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fbe0faae668871594c9cf079a634b52f59e5dde9","datavalue":{"value":"10.1007/S000120050015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272103$2F796F07-D716-41F4-BA73-18F49C26FDB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"728cd9b630dd0212f16821612436da76e6fad5ba","datavalue":{"value":{"entity-type":"item","numeric-id":4261828,"id":"Q4261828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16758a9b85007cf76a9f384b8c4b22bdf207d0d8","datavalue":{"value":{"amount":"+0.8412656784057617","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":"Q1272103$0DC91211-8752-4954-AD0C-BFCE42C67BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e02e5a45daccac6050d7640b62735267f8223614","datavalue":{"value":{"entity-type":"item","numeric-id":3726184,"id":"Q3726184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a106a5d7cdd7e2b17427efe8e12426d8f41a978","datavalue":{"value":{"amount":"+0.7750617265701294","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":"Q1272103$043F42A0-415F-4DB6-BB1E-722D5C3E167B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ede1cc0a13833f1a0ef7e1b461a1d128dfc883d","datavalue":{"value":{"entity-type":"item","numeric-id":3837506,"id":"Q3837506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"469f8a17cdc4921e8e45bd8d05d2ee2ed33cb0c6","datavalue":{"value":{"amount":"+0.7722475528717041","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":"Q1272103$6DB03C9F-DB68-495B-A5B7-93DCC151999C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdbc9557649b23392dd8d54aa2c01ca9bcc42309","datavalue":{"value":{"entity-type":"item","numeric-id":5958321,"id":"Q5958321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f4476b08729773487e5ac4e9ddd12713be4fa9b","datavalue":{"value":{"amount":"+0.7662429213523865","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":"Q1272103$C1D7329D-0EE6-44FD-BAA0-F305D4AF38E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A polynomial characterization of congruence classes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_polynomial_characterization_of_congruence_classes"}}}}}