{"entities":{"Q1035840":{"pageid":1037688,"ns":120,"title":"Item:Q1035840","lastrevid":69473298,"modified":"2026-04-13T07:14:35Z","type":"item","id":"Q1035840","labels":{"en":{"language":"en","value":"HSP-type characterization of strong equational classes of partial algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5625034"}},"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":"Q1035840$D11E1AF4-FC38-4679-A0B4-444A1C0382A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a41c3b6aa54b519226795a4a39519321c915f0bd","datavalue":{"value":{"text":"HSP-type characterization of strong equational classes of partial algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1035840$AF27AD95-E992-4CF9-96DE-87715EF8D255","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ad63671134a318f940602a40500913f8e713bcb","datavalue":{"value":"1183.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035840$67E52D2D-93AC-4891-8B11-816FA3BBE188","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa879ce8a51ce7da336e6e415a6a227601724b5b","datavalue":{"value":{"entity-type":"item","numeric-id":813078,"id":"Q813078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035840$D55E4F50-5F89-41A2-AC97-09C96970E1B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035840$B0920F97-A0AE-4DBA-B213-4C908A860D25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef2b4a391107c8565fc25ba0caa09f7f59741046","datavalue":{"value":{"time":"+2009-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1035840$D6B016E9-3492-4232-A865-7F6C110C04AD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"57f5b933e89129f77b66070320f23a40e5a7a822","datavalue":{"value":"Let \\({\\mathcal K}\\) be a class of partial algebras, \\(S({\\mathcal K})\\), \\(In({\\mathcal K})\\), \\(P({\\mathcal K})\\), \\(H_c ({\\mathcal K})\\) be the classes of all algebras isomorphic to subalgebras, initial segments, products and closed homomorphic images of algebras from \\({\\mathcal K}\\), respectively, and \\(E({\\mathcal K})\\) be the specific extension of \\({\\mathcal K}\\) (preserves all strong equations). It is proved that a class \\({\\mathcal K}\\) can be defined by a set of strong equations iff \\({\\mathcal K} = H_c EInSP({\\mathcal K})\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035840$FDBB40EC-3777-4E0E-A30D-1501FC8C8B48","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4e1df29911c330da2d8d89435a35b182dae9e523","datavalue":{"value":{"entity-type":"item","numeric-id":589408,"id":"Q589408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035840$3C4A0505-57C2-4A5D-A381-D97D3351EE0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"88f26c5e5c8e9b1a1b9fcd1e726cfac3efaf2593","datavalue":{"value":"08A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035840$2D0CC3B5-4C56-440B-8F23-6CB296CC0BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035840$D2AF7703-58A5-4AAF-B08A-C02997FCF23E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62135d61c5c00beee36c73b112ed84f0518189d0","datavalue":{"value":"5625034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035840$97D6EDE1-BC53-480D-B5A9-CDBE55733E8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a2d5827cd131a61bcf16534f2772a9020266437","datavalue":{"value":"partial algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035840$11561BBE-7D9A-4042-B689-65DFA8BE2581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035840$353EAA9F-F9AA-47B8-949C-29D32C738D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63dd6f1f573477c4cb01a4fbcf63d61531382935","datavalue":{"value":"strong equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035840$20DC810D-4298-400F-8187-27C7134196B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea719b363176bc9a50fff27fab38bff9497aa667","datavalue":{"value":"equational class","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035840$9F1BB12B-F761-44F2-B847-A5D651EAFF52","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":"Q1035840$C6441FE8-13DF-4BED-9EA1-CDD8D3A1ED54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d27849266cfbd1f8aca2f0639ceb2d3d85e054f","datavalue":{"value":"https://doi.org/10.1007/s11225-009-9208-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1035840$EFDA6361-6936-4945-AF02-98E0C540C1CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a74ce7997920558a620e69b8a0d008ad5ca16750","datavalue":{"value":"W2015737004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035840$FAD87162-471C-4413-A04A-3D242E2C3E80","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4464e122f457f0f0f5b5549af7b0accad0c7cc56","datavalue":{"value":{"entity-type":"item","numeric-id":5589324,"id":"Q5589324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035840$D832DFEE-7B3C-47C9-B3C9-CB3A21DA9E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e9a6be1b5191961a72bfc3e566efae6e25eb9f","datavalue":{"value":{"entity-type":"item","numeric-id":1838960,"id":"Q1838960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035840$938EFFC3-8EDF-4B3B-ADEA-CD001C15CEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07700503ce4299f2b802ac0bfc01f5648401a4c","datavalue":{"value":{"entity-type":"item","numeric-id":3731650,"id":"Q3731650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035840$65098935-65C9-4106-9AD5-69D3638D2EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00dd4766c9807e174232a37c19c6c5d60ac971e3","datavalue":{"value":{"entity-type":"item","numeric-id":3478389,"id":"Q3478389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035840$FAF13466-297E-432C-8AB8-DBA5C3E32481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c75580643d772423a05d1fac08b5a9bd8daef4d","datavalue":{"value":{"entity-type":"item","numeric-id":5597551,"id":"Q5597551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035840$93D8F89E-0C51-4FF7-A955-7E8AF7DAF95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f592db478f8204e2731d6e52b5b691695fadf57","datavalue":{"value":{"entity-type":"item","numeric-id":5537657,"id":"Q5537657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035840$5B3EAEC7-876A-4176-B07D-26CD5EEEF582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ead0739bbe4b1d28a9f236eac595b15ac9c3666","datavalue":{"value":{"entity-type":"item","numeric-id":1319050,"id":"Q1319050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035840$127A5467-C0A4-4BA8-BD90-3CEA25259320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6718addc247cce8086a8856a109d122d511fa1be","datavalue":{"value":{"entity-type":"item","numeric-id":4870686,"id":"Q4870686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035840$C815E9C1-1B51-457F-8FC1-8A09EF301C0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba9aeb40180a6b02f141308b17a5881ddf708d5d","datavalue":{"value":"10.1007/S11225-009-9208-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035840$41F99DBB-C7F9-4BD5-B0C8-9A8AF3A266A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8af7ae98c8754d2e5a5a694f1100d99692e026c","datavalue":{"value":{"entity-type":"item","numeric-id":3791204,"id":"Q3791204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9423d3e6bb60cc4d264e163ba60570ca8a53b4a1","datavalue":{"value":{"amount":"+0.8556709289550781","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":"Q1035840$8AC0964C-12B2-449E-8A9B-76321D4E035F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83815f5cfa839c0bb1dea99d40e874095fa26e44","datavalue":{"value":{"entity-type":"item","numeric-id":4870686,"id":"Q4870686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"676fb75026aa981128cd60f429e7452b1e65c06b","datavalue":{"value":{"amount":"+0.8249378800392151","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":"Q1035840$D47BAC4A-292A-4FFB-B5EC-7526A90624A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ad07cec1bf4a4ea8d401e23fcdcb9108915a92d","datavalue":{"value":{"entity-type":"item","numeric-id":1177859,"id":"Q1177859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58a49333c2068a81ca2e31715367d1acd429e8a7","datavalue":{"value":{"amount":"+0.8213247656822205","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":"Q1035840$3A9CF0F4-5439-4CA7-9342-38281B47EED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83ffc1dd8edf5220091ffde2b6236dc3d6f7069f","datavalue":{"value":{"entity-type":"item","numeric-id":3626029,"id":"Q3626029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"019d9496c28b162e36a26a11b6bbf831bc518d93","datavalue":{"value":{"amount":"+0.7997164130210876","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":"Q1035840$CDC3FA1E-4FA0-451B-8552-FFE828CA9399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5361532777a9be6c0e83010cc9480e363d4871d6","datavalue":{"value":{"entity-type":"item","numeric-id":1319050,"id":"Q1319050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"239a843ba53336bfe82c9d89f769279351924317","datavalue":{"value":{"amount":"+0.7727082371711731","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":"Q1035840$C1690D03-2A8B-4BCA-B3E5-5B571FC78539","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"HSP-type characterization of strong equational classes of partial algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/HSP-type_characterization_of_strong_equational_classes_of_partial_algebras"}}}}}