{"entities":{"Q2207015":{"pageid":2217758,"ns":120,"title":"Item:Q2207015","lastrevid":53855603,"modified":"2026-01-25T20:17:56Z","type":"item","id":"Q2207015","labels":{"en":{"language":"en","value":"On algebras of relations with operations of left and right reflexive product"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7266239"}},"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":"Q2207015$CB064CF9-ABF1-4693-A5CA-AD857B74E6B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34618caeb0a9649bc9d860720d6920d1698564ad","datavalue":{"value":{"text":"On algebras of relations with operations of left and right reflexive product","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2207015$D9F86E80-F5D3-4C85-B2B7-DA205C127C19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6e27fc2b917798ff39c0fcac191c8964b384ed6","datavalue":{"value":"1471.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2207015$D7211A0B-40C2-49C4-A558-93A2AA386B27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf0ca461f2101d5a8eaa320108669f531cac00eb","datavalue":{"value":"10.1134/S1995080220020043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2207015$FCC5CE1A-4492-4443-870E-EB87918BEBAB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fdd8bc36a3bd1e23ed77b21c053f051997e685b8","datavalue":{"value":{"entity-type":"item","numeric-id":69786,"id":"Q69786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207015$6BFA7102-C5E4-4F68-8873-C150C5177D61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e96c211c6c1bd548b28ba402cff609519e380594","datavalue":{"value":{"time":"+2020-10-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":"Q2207015$18BAD306-539D-4BF6-B22B-F56B14844E82","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e45bd5bbe6859cafbc4b90b5bc70f70078496e38","datavalue":{"value":"This paper investigates the classes of ordered and unordered algebras, \\((A, \\ast, \\subseteq)\\) or \\((A, \\ast)\\), where \\(A\\) is a set of binary relations on some set, \\(\\subseteq\\) is set-theoretical inclusion, and the binary operation \\(\\ast\\) is defined by \\[ \\rho\\ast \\sigma = \\{(u,v)\\;:\\;(\\exists w)((u,u)\\in\\rho\\;\\wedge (w,w)\\in \\sigma)\\}. \\] The class of ordered algebras of this type is denoted \\(R\\{\\ast,\\subseteq\\}\\) and the class of unordered algebras of this type is denoted \\(R\\{\\ast\\}\\).  The paper provides axiomatizations for the classes \\(R\\{\\ast,\\subseteq\\}\\) and \\(R\\{\\ast\\}\\). It is shown that neither of these classes is a quasivariety, but the quasivariety generated by either class is a variety, and axioms are provided for these varieties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2207015$3D57A44A-19E3-4032-B6F7-35200DDF2CC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2207015$35D340B5-6BAF-418A-B91E-2CF5444CA27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2207015$E08CB83E-F66E-41CD-A30F-1209AB741087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2207015$134CF823-F9F7-440A-BD74-B6457E3547EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"724b3bd34096c0252648c3adcf16c9521d8491d9","datavalue":{"value":"7266239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2207015$537B96A2-0E7E-4D8C-B46B-571EAD7B90AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b7667c5c617235fce1b95018191b8cbb36b617c","datavalue":{"value":"algebra of relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2207015$03FE6F0D-EC28-4AA5-A28F-F2C754125D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcb25fe24ba0efb0380ac05b749d2e3819fc5aab","datavalue":{"value":"primitive positive operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2207015$0D6CC289-402A-4528-856B-447A36EBE0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63e3f554922f9694348e52a5b28c17b7a78d430e","datavalue":{"value":"identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2207015$081B4A39-9A0B-4B37-AF2C-C0CC339F4B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2207015$9D5DE4ED-67C4-4292-BCE3-EA5A03C0E4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c5d66a98bb18fa91e609345e2fd2a3070761a9f","datavalue":{"value":"quasi-identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2207015$D21771D3-4C3F-4F44-A23D-4D6FF6F8BEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc67cd044da847145365137769abe3e8adbf1c99","datavalue":{"value":"quasi-variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2207015$2519392B-1AFC-4482-A36C-D4C44F00C11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"353994e8fe4ea46c7967e2c391669c471c4ec902","datavalue":{"value":"semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2207015$5C129927-1852-4B26-98E2-D0F230C3F6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0fd0ef3a55cbb7a416fdaad3e95d8ae25e6d8ef","datavalue":{"value":"partially ordered semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2207015$F8F3E316-FF38-4D97-8A81-89C16FAED045","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8aff1958b6fe825799c2ecae24f0added1c456ee","datavalue":{"value":{"entity-type":"item","numeric-id":284660,"id":"Q284660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207015$FB5A1831-CBED-46E6-AF3F-5BC1A1BBD135","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"deb95c6597eb3e9658b0806695ab69531b4d8e03","datavalue":{"value":{"entity-type":"item","numeric-id":331016,"id":"Q331016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207015$13E07B9A-8E9C-425D-83AF-CD8784E3F3CF","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":"Q2207015$4811B3FC-3F7B-4B34-9D56-437FB2306C33","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d76fa1f83944c15b5ff6961f5d9e24eb7e0afa70","datavalue":{"value":{"entity-type":"item","numeric-id":2539869,"id":"Q2539869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207015$19DC3D07-4ECA-47D1-87AB-861B5B9450F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34840df86c87c9142549ad72a38a805922422283","datavalue":{"value":{"entity-type":"item","numeric-id":767129,"id":"Q767129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207015$6459BFF2-366B-4F28-96CC-573F031024C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e208d3d6ab7e266e208bfe8d643670073f816c6c","datavalue":{"value":{"entity-type":"item","numeric-id":2521342,"id":"Q2521342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207015$22BD9771-A535-4CA6-BA8D-13053B2F099D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df7393fc64fa660281f40c8d7a107a08d952660f","datavalue":{"value":{"entity-type":"item","numeric-id":3290738,"id":"Q3290738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207015$025AF246-CFEE-4620-96D4-069CE0204487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a4b203249a14fc71a15948e3789364d7f11df89","datavalue":{"value":{"entity-type":"item","numeric-id":2276988,"id":"Q2276988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207015$E3C2609D-3787-4490-BEB5-504B41A30642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72d4fd1f08969b87f833c028e2c931fbffa4b757","datavalue":{"value":{"entity-type":"item","numeric-id":1894553,"id":"Q1894553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207015$56C4840C-CA7A-4E65-B824-C72BBECAAF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05a91508b0964a7204bd6de944ec82306891c07c","datavalue":{"value":{"entity-type":"item","numeric-id":3979086,"id":"Q3979086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207015$A701A8EA-DF5B-41F9-9749-9BCBC77EF4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"507e101b9cf35bbf1e9d495212e0368fc0c72523","datavalue":{"value":{"entity-type":"item","numeric-id":1363476,"id":"Q1363476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207015$CC79ABDF-EFAD-4241-AED8-5FE9F6E55AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5f8fc9b0e93d13a437141360e932ec564a095e7","datavalue":{"value":{"entity-type":"item","numeric-id":1594049,"id":"Q1594049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207015$C7ADC0C4-740F-46C1-9D8C-EF060A82A9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c88472092ca4eb2e97c46f16b7d6d00641ff7a4","datavalue":{"value":{"entity-type":"item","numeric-id":4011711,"id":"Q4011711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207015$7F43824E-FE58-45AD-9445-874B0BD8A63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"592769d415c603dab33992d15fc58a1b973e23b4","datavalue":{"value":{"entity-type":"item","numeric-id":5339327,"id":"Q5339327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2207015$CE6A7CB6-D3CB-4302-8499-669691900A0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c33e17626348e93bd78c6f012ba97f99e7421f0","datavalue":{"value":"https://doi.org/10.1134/s1995080220020043","type":"string"},"datatype":"url"},"type":"statement","id":"Q2207015$38948326-311C-4E9C-BE96-BCEF299E8E4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"098ece3b7fe9aa55018db5a69fd3dc4043b6ff1b","datavalue":{"value":"W3042506663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2207015$65595815-ABB5-4576-B5D5-3ED064A725D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b120f762f489094703c9b9e313fe34d174b0d05","datavalue":{"value":{"entity-type":"item","numeric-id":5140751,"id":"Q5140751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6738b8d3a9de7429de0b7d55bccf9d35fcf52ae1","datavalue":{"value":{"amount":"+0.8481961488723755","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":"Q2207015$92F5C356-159C-45E4-BAD2-5DF69DE47EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21df5cd685405cb3115c4ffe97555544546812b2","datavalue":{"value":{"entity-type":"item","numeric-id":4273430,"id":"Q4273430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aae629020697d684fc0f2283329237b7aa16207a","datavalue":{"value":{"amount":"+0.7982068657875061","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":"Q2207015$9EC12849-CA5D-42D3-8AE7-2940B3419BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0055a5f9b87547d081579c88e0ef3d2bc26f8c7","datavalue":{"value":{"entity-type":"item","numeric-id":3623220,"id":"Q3623220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa02d0d1ad8e9886c626961dc4dc09412d2338e8","datavalue":{"value":{"amount":"+0.7976819276809692","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":"Q2207015$701C2B22-0C95-4394-AD9B-F8C85A6965EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7938050a350e5478e2b86f00c01eb7d873ed44e4","datavalue":{"value":{"entity-type":"item","numeric-id":1042417,"id":"Q1042417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5066f0d724e1d0411dd3cc4cc7a8005a3be53e7b","datavalue":{"value":{"amount":"+0.7851225137710571","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":"Q2207015$2228BFAD-9FAF-4258-96C7-5F5BAB6CC603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b8bf7765598e48be136b8150734cf851f967c0","datavalue":{"value":{"entity-type":"item","numeric-id":4011721,"id":"Q4011721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b631391e1cef7063da4442406616c4402c5ce44","datavalue":{"value":{"amount":"+0.7750411033630371","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":"Q2207015$DF0C7321-5219-4DC5-B9B8-65D25D13E658","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2207015","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2207015"}}}}}